(* 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 || #⇓# *)
(** printing ==> #⇒# *)
(** printing ==>* #⇒*# *)
(** printing ==>+ #⇒+# *)
(** printing -> #→# *)
(** printing <- #←# *)
(** printing <-> #↔# *)
(** printing forall #∀# *)
(** printing exists #∃# *)
(** printing /\ #∧# *)
(** printing \/ #∨# *)
(** printing ~~> #⇒# *)
(** printing <~~> #⇔# *)
(** printing |- #⊢# *)
(** printing Gamma #Γ# *)