utf8.v « ide - coq - the Coq proof assistant

about summary refs log tree commit diff homepage

path: root/ide/utf8.v

blob: d0d94dc5187440d878730d8f0de5b1172f22ee2f (plain)

1 2	`Notation "∀ x : t \| P" := (x:t)P (at level 1, x,t,P at level 10). Notation "∃ x : t \| P" := (EXT x:t\|P) (at level 1, x,t,P at level 10).`