Apparent missing unicode support for Coq

Issue #1395 new
Anonymous created an issue

The following is accepted by the Coq compiler, but raises errors in pygments.

Definition logeq_both_false {X Y : UU} : ¬X -> ¬Y -> (X <-> Y).

Unicode is supported by coq and used widely.

Comments (0)

  1. Log in to comment