(* 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 #Γ# *)