forked from owainwest/software-foundations
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Symbols.v
27 lines (23 loc) · 1.58 KB
/
Symbols.v
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
(** * Symbols: Special symbols *)
(* $Date: 2013-04-01 20:39:05 -0400 (Mon, 01 Apr 2013) $ *)
(* This file defines some HTML symbols for use by the coqdoc
preprocessor. It is not intended to be read by anybody. *)
(** 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 <-> #<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># *)
(** printing Gamma' #<span style="font-family: serif; font-size:85%;">Γ'</span># *)
(** printing Gamma'' #<span style="font-family: serif; font-size:85%;">Γ''</span># *)
(** printing |-> #<span style="font-family: arial;">↦</span># *)