SymbolsSpecial symbols


(* This file defines some HTML symbols for use by the coqdoc
   preprocessor.  It is not intended to be read by anybody. *)