-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathSymbols.v
22 lines (18 loc) · 1.2 KB
/
Symbols.v
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
(* Special symbols *)
(* $Date: 2011-03-02 14:21:03 -0500 (Wed, 02 Mar 2011) $ *)
(* This file defines some HTML symbols, for use by coqdoc... *)
(** printing || #<span style="font-family: arial;">⇓</span># *)
(** printing ==> #<span style="font-family: arial;">⇒</span># *)
(** printing ==>* #<span style="font-family: arial;">⇒*</span># *)
(** printing ==>+ #<span style="font-family: arial;">⇒+</span># *)
(** printing -> #<span style="font-family: arial;">→</span># *)
(** printing <- #<span style="font-family: arial;">←</span># *)
(** printing <-> #<span style="font-family: arial;">↔</span># *)
(** printing forall #<span style="font-family: arial;">∀</span># *)
(** printing exists #<span style="font-family: arial;">∃</span># *)
(** printing /\ #<span style="font-family: arial;">∧</span># *)
(** printing \/ #<span style="font-family: arial;">∨</span># *)
(** printing ~~> #<span style="font-family: arial;">⇒</span># *)
(** printing <~~> #<span style="font-family: arial;">⇔</span># *)
(** printing |- #<span style="font-family: arial;">⊢</span># *)
(** printing Gamma #<span style="font-family: serif; font-size:85%;">Γ</span># *)