From: Stefano Zacchiroli Date: Thu, 28 Jul 2005 13:20:36 +0000 (+0000) Subject: added reverse mapping from unicode to TeX like macro (needed by rendering X-Git-Tag: V_0_7_2~20 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=d429195565f96b9d70e7d798e2f5c54655c7fc87;p=helm.git added reverse mapping from unicode to TeX like macro (needed by rendering to string of markup) --- diff --git a/helm/ocaml/utf8_macros/make_table.ml b/helm/ocaml/utf8_macros/make_table.ml index 89b928605..cca1d13c4 100644 --- a/helm/ocaml/utf8_macros/make_table.ml +++ b/helm/ocaml/utf8_macros/make_table.ml @@ -63,7 +63,7 @@ let parse_from_xml () = let add_macro macro utf8 = debug_print (sprintf "Adding macro %s = '%s'" macro utf8); Hashtbl.add macro2utf8 macro utf8; -(* Hashtbl.add utf82macro utf8 macro *) + Hashtbl.add utf82macro utf8 macro in let fill_table () = List.iter @@ -74,18 +74,24 @@ let parse_from_xml () = xml_tables in fill_table (); - macro2utf8 + macro2utf8, utf82macro let main () = let oc = open_out Sys.argv.(1) in output_string oc "(* GENERATED by make_table: DO NOT EDIT! *)\n"; output_string oc "let macro2utf8 = Hashtbl.create 2000\n"; - let macro2utf8 = parse_from_xml () in + output_string oc "let utf82macro = Hashtbl.create 2000\n"; + let macro2utf8, utf82macro = parse_from_xml () in Hashtbl.iter (fun macro utf8 -> fprintf oc "let _ = Hashtbl.add macro2utf8 \"%s\" \"%s\"\n" macro (String.escaped utf8)) macro2utf8; + Hashtbl.iter + (fun utf8 macro -> + fprintf oc "let _ = Hashtbl.add utf82macro \"%s\" \"%s\"\n" + (String.escaped utf8) macro) + utf82macro; close_out oc let _ = main () diff --git a/helm/ocaml/utf8_macros/utf8Macro.ml b/helm/ocaml/utf8_macros/utf8Macro.ml index 51465046b..3d0b5bc4c 100644 --- a/helm/ocaml/utf8_macros/utf8Macro.ml +++ b/helm/ocaml/utf8_macros/utf8Macro.ml @@ -38,3 +38,8 @@ let unicode_of_tex s = else s with Macro_not_found _ -> s +let tex_of_unicode s = + try + "\\" ^ Hashtbl.find Utf8MacroTable.utf82macro s + with Not_found -> s + diff --git a/helm/ocaml/utf8_macros/utf8Macro.mli b/helm/ocaml/utf8_macros/utf8Macro.mli index 9220365d1..d92f60b37 100644 --- a/helm/ocaml/utf8_macros/utf8Macro.mli +++ b/helm/ocaml/utf8_macros/utf8Macro.mli @@ -35,3 +35,6 @@ val expand: string -> string * unchanged command if not *) val unicode_of_tex: string -> string + (** ... the other way round *) +val tex_of_unicode: string -> string + diff --git a/helm/ocaml/utf8_macros/utf8MacroTable.ml b/helm/ocaml/utf8_macros/utf8MacroTable.ml index a97e8faf1..040c82c0a 100644 --- a/helm/ocaml/utf8_macros/utf8MacroTable.ml +++ b/helm/ocaml/utf8_macros/utf8MacroTable.ml @@ -1,5 +1,6 @@ (* GENERATED by make_table: DO NOT EDIT! *) let macro2utf8 = Hashtbl.create 2000 +let utf82macro = Hashtbl.create 2000 let _ = Hashtbl.add macro2utf8 "nscr" "\240\157\147\131" let _ = Hashtbl.add macro2utf8 "LJcy" "\208\137" let _ = Hashtbl.add macro2utf8 "dd" "\226\133\134" @@ -2314,3 +2315,2317 @@ let _ = Hashtbl.add macro2utf8 "ltlarr" "\226\165\182" let _ = Hashtbl.add macro2utf8 "PrecedesEqual" "\226\170\175" let _ = Hashtbl.add macro2utf8 "lessapprox" "\226\137\178" let _ = Hashtbl.add macro2utf8 "Lcaron" "\196\189" +let _ = Hashtbl.add utf82macro "\204\130" "Hat" +let _ = Hashtbl.add utf82macro "\t" "Tab" +let _ = Hashtbl.add utf82macro "\203\152" "Breve" +let _ = Hashtbl.add utf82macro "\203\152" "breve" +let _ = Hashtbl.add utf82macro "\n" "NewLine" +let _ = Hashtbl.add utf82macro "\203\153" "dot" +let _ = Hashtbl.add utf82macro "\203\153" "DiacriticalDot" +let _ = Hashtbl.add utf82macro "\203\154" "ring" +let _ = Hashtbl.add utf82macro "\203\155" "ogon" +let _ = Hashtbl.add utf82macro "\203\156" "tilde" +let _ = Hashtbl.add utf82macro "\203\156" "DiacriticalTilde" +let _ = Hashtbl.add utf82macro "\203\157" "DiacriticalDoubleAcute" +let _ = Hashtbl.add utf82macro "\203\157" "dblac" +let _ = Hashtbl.add utf82macro "\226\137\171\204\184" "nGt" +let _ = Hashtbl.add utf82macro "\204\145" "DownBreve" +let _ = Hashtbl.add utf82macro "csc" "csc" +let _ = Hashtbl.add utf82macro "\239\187\191" "NoBreak" +let _ = Hashtbl.add utf82macro "!" "excl" +let _ = Hashtbl.add utf82macro "\"" "quot" +let _ = Hashtbl.add utf82macro "#" "num" +let _ = Hashtbl.add utf82macro "$" "dollar" +let _ = Hashtbl.add utf82macro "%" "percnt" +let _ = Hashtbl.add utf82macro "&" "amp" +let _ = Hashtbl.add utf82macro "'" "apos" +let _ = Hashtbl.add utf82macro "(" "lpar" +let _ = Hashtbl.add utf82macro ")" "rpar" +let _ = Hashtbl.add utf82macro "\226\139\155\239\184\128" "gesl" +let _ = Hashtbl.add utf82macro "*" "ast" +let _ = Hashtbl.add utf82macro "*" "midast" +let _ = Hashtbl.add utf82macro "*" "ast" +let _ = Hashtbl.add utf82macro "+" "plus" +let _ = Hashtbl.add utf82macro "\226\167\144\204\184" "NotRightTriangleBar" +let _ = Hashtbl.add utf82macro "," "comma" +let _ = Hashtbl.add utf82macro "." "period" +let _ = Hashtbl.add utf82macro "/" "sol" +let _ = Hashtbl.add utf82macro "\204\178" "UnderBar" +let _ = Hashtbl.add utf82macro ":" "colon" +let _ = Hashtbl.add utf82macro ";" "semi" +let _ = Hashtbl.add utf82macro "<" "lt" +let _ = Hashtbl.add utf82macro "\206\147" "Gamma" +let _ = Hashtbl.add utf82macro "\207\128" "pi" +let _ = Hashtbl.add utf82macro "\207\128" "pi" +let _ = Hashtbl.add utf82macro "\206\147" "Gamma" +let _ = Hashtbl.add utf82macro "=" "equals" +let _ = Hashtbl.add utf82macro "\206\148" "Delta" +let _ = Hashtbl.add utf82macro "\207\129" "rho" +let _ = Hashtbl.add utf82macro "\207\129" "rho" +let _ = Hashtbl.add utf82macro ">" "gt" +let _ = Hashtbl.add utf82macro "\206\148" "Delta" +let _ = Hashtbl.add utf82macro "\207\130" "varsigma" +let _ = Hashtbl.add utf82macro "\207\130" "varsigma" +let _ = Hashtbl.add utf82macro "\207\130" "sigmav" +let _ = Hashtbl.add utf82macro "?" "quest" +let _ = Hashtbl.add utf82macro "\207\131" "sigma" +let _ = Hashtbl.add utf82macro "\207\131" "sigma" +let _ = Hashtbl.add utf82macro "@" "commat" +let _ = Hashtbl.add utf82macro "\207\132" "tau" +let _ = Hashtbl.add utf82macro "\207\132" "tau" +let _ = Hashtbl.add utf82macro "\206\152" "Theta" +let _ = Hashtbl.add utf82macro "\207\133" "upsilon" +let _ = Hashtbl.add utf82macro "\207\133" "upsilon" +let _ = Hashtbl.add utf82macro "\207\133" "upsi" +let _ = Hashtbl.add utf82macro "\206\152" "Theta" +let _ = Hashtbl.add utf82macro "\207\134" "varphi" +let _ = Hashtbl.add utf82macro "\207\134" "straightphi" +let _ = Hashtbl.add utf82macro "\207\134" "phi" +let _ = Hashtbl.add utf82macro "\207\135" "chi" +let _ = Hashtbl.add utf82macro "\207\135" "chi" +let _ = Hashtbl.add utf82macro "\206\155" "Lambda" +let _ = Hashtbl.add utf82macro "\207\136" "psi" +let _ = Hashtbl.add utf82macro "\207\136" "psi" +let _ = Hashtbl.add utf82macro "\206\155" "Lambda" +let _ = Hashtbl.add utf82macro "\207\137" "omega" +let _ = Hashtbl.add utf82macro "\207\137" "omega" +let _ = Hashtbl.add utf82macro "\206\158" "Xi" +let _ = Hashtbl.add utf82macro "\206\158" "Xi" +let _ = Hashtbl.add utf82macro "\206\160" "Pi" +let _ = Hashtbl.add utf82macro "\206\160" "Pi" +let _ = Hashtbl.add utf82macro "\206\163" "Sigma" +let _ = Hashtbl.add utf82macro "\206\163" "Sigma" +let _ = Hashtbl.add utf82macro "\207\145" "vartheta" +let _ = Hashtbl.add utf82macro "\207\145" "vartheta" +let _ = Hashtbl.add utf82macro "\207\145" "thetav" +let _ = Hashtbl.add utf82macro "\207\146" "Upsilon" +let _ = Hashtbl.add utf82macro "\207\146" "Upsilon" +let _ = Hashtbl.add utf82macro "\207\146" "Upsi" +let _ = Hashtbl.add utf82macro "\206\166" "Phi" +let _ = Hashtbl.add utf82macro "\206\166" "Phi" +let _ = Hashtbl.add utf82macro "\208\129" "IOcy" +let _ = Hashtbl.add utf82macro "\206\168" "Psi" +let _ = Hashtbl.add utf82macro "\207\149" "phi" +let _ = Hashtbl.add utf82macro "\207\149" "varphi" +let _ = Hashtbl.add utf82macro "\206\168" "Psi" +let _ = Hashtbl.add utf82macro "\207\149" "phiv" +let _ = Hashtbl.add utf82macro "\208\130" "DJcy" +let _ = Hashtbl.add utf82macro "\206\169" "Omega" +let _ = Hashtbl.add utf82macro "\207\150" "varpi" +let _ = Hashtbl.add utf82macro "\207\150" "varpi" +let _ = Hashtbl.add utf82macro "\207\150" "piv" +let _ = Hashtbl.add utf82macro "\206\169" "Omega" +let _ = Hashtbl.add utf82macro "\208\131" "GJcy" +let _ = Hashtbl.add utf82macro "\208\132" "Jukcy" +let _ = Hashtbl.add utf82macro "\208\133" "DScy" +let _ = Hashtbl.add utf82macro "\208\134" "Iukcy" +let _ = Hashtbl.add utf82macro "\208\135" "YIcy" +let _ = Hashtbl.add utf82macro "\208\136" "Jsercy" +let _ = Hashtbl.add utf82macro "\208\137" "LJcy" +let _ = Hashtbl.add utf82macro "\207\156" "Gammad" +let _ = Hashtbl.add utf82macro "\207\156" "gammad" +let _ = Hashtbl.add utf82macro "\207\156" "digamma" +let _ = Hashtbl.add utf82macro "\208\138" "NJcy" +let _ = Hashtbl.add utf82macro "[" "lbrack" +let _ = Hashtbl.add utf82macro "\206\177" "alpha" +let _ = Hashtbl.add utf82macro "\208\139" "TSHcy" +let _ = Hashtbl.add utf82macro "[" "lsqb" +let _ = Hashtbl.add utf82macro "[" "lbrack" +let _ = Hashtbl.add utf82macro "\206\177" "alpha" +let _ = Hashtbl.add utf82macro "\\" "backslash" +let _ = Hashtbl.add utf82macro "\206\178" "beta" +let _ = Hashtbl.add utf82macro "\208\140" "KJcy" +let _ = Hashtbl.add utf82macro "\\" "bsol" +let _ = Hashtbl.add utf82macro "\206\178" "beta" +let _ = Hashtbl.add utf82macro "]" "rbrack" +let _ = Hashtbl.add utf82macro "\206\179" "gamma" +let _ = Hashtbl.add utf82macro "]" "rsqb" +let _ = Hashtbl.add utf82macro "]" "rbrack" +let _ = Hashtbl.add utf82macro "\206\179" "gamma" +let _ = Hashtbl.add utf82macro "^" "circ" +let _ = Hashtbl.add utf82macro "\206\180" "delta" +let _ = Hashtbl.add utf82macro "\208\142" "Ubrcy" +let _ = Hashtbl.add utf82macro "\206\180" "delta" +let _ = Hashtbl.add utf82macro "^" "circ" +let _ = Hashtbl.add utf82macro "\206\181" "varepsilon" +let _ = Hashtbl.add utf82macro "\206\181" "straightepsilon" +let _ = Hashtbl.add utf82macro "_" "lowbar" +let _ = Hashtbl.add utf82macro "\206\181" "epsi" +let _ = Hashtbl.add utf82macro "\208\143" "DZcy" +let _ = Hashtbl.add utf82macro "\206\182" "zeta" +let _ = Hashtbl.add utf82macro "\206\182" "zeta" +let _ = Hashtbl.add utf82macro "`" "grave" +let _ = Hashtbl.add utf82macro "`" "DiacriticalGrave" +let _ = Hashtbl.add utf82macro "\208\144" "Acy" +let _ = Hashtbl.add utf82macro "inf" "inf" +let _ = Hashtbl.add utf82macro "\206\183" "eta" +let _ = Hashtbl.add utf82macro "\206\183" "eta" +let _ = Hashtbl.add utf82macro "\208\145" "Bcy" +let _ = Hashtbl.add utf82macro "\206\184" "theta" +let _ = Hashtbl.add utf82macro "\208\146" "Vcy" +let _ = Hashtbl.add utf82macro "\206\184" "theta" +let _ = Hashtbl.add utf82macro "\206\185" "iota" +let _ = Hashtbl.add utf82macro "\209\128" "rcy" +let _ = Hashtbl.add utf82macro "\226\139\172\204\184" "nvltrie" +let _ = Hashtbl.add utf82macro "\206\185" "iota" +let _ = Hashtbl.add utf82macro "\208\147" "Gcy" +let _ = Hashtbl.add utf82macro "\206\186" "kappa" +let _ = Hashtbl.add utf82macro "\209\129" "scy" +let _ = Hashtbl.add utf82macro "\206\186" "kappa" +let _ = Hashtbl.add utf82macro "\208\148" "Dcy" +let _ = Hashtbl.add utf82macro "\206\187" "lambda" +let _ = Hashtbl.add utf82macro "\209\130" "tcy" +let _ = Hashtbl.add utf82macro "\226\164\179\204\184" "nrarrc" +let _ = Hashtbl.add utf82macro "\206\187" "lambda" +let _ = Hashtbl.add utf82macro "\208\149" "IEcy" +let _ = Hashtbl.add utf82macro "\206\188" "mu" +let _ = Hashtbl.add utf82macro "\208\150" "ZHcy" +let _ = Hashtbl.add utf82macro "\209\131" "ucy" +let _ = Hashtbl.add utf82macro "\206\188" "mu" +let _ = Hashtbl.add utf82macro "\206\189" "nu" +let _ = Hashtbl.add utf82macro "\208\151" "Zcy" +let _ = Hashtbl.add utf82macro "\206\189" "nu" +let _ = Hashtbl.add utf82macro "\209\132" "fcy" +let _ = Hashtbl.add utf82macro "\206\190" "xi" +let _ = Hashtbl.add utf82macro "\206\190" "xi" +let _ = Hashtbl.add utf82macro "\209\133" "khcy" +let _ = Hashtbl.add utf82macro "\208\152" "Icy" +let _ = Hashtbl.add utf82macro "\206\191" "o" +let _ = Hashtbl.add utf82macro "\209\134" "tscy" +let _ = Hashtbl.add utf82macro "\208\153" "Jcy" +let _ = Hashtbl.add utf82macro "\208\154" "Kcy" +let _ = Hashtbl.add utf82macro "\209\135" "chcy" +let _ = Hashtbl.add utf82macro "\209\136" "shcy" +let _ = Hashtbl.add utf82macro "\208\155" "Lcy" +let _ = Hashtbl.add utf82macro "\209\137" "shchcy" +let _ = Hashtbl.add utf82macro "\208\156" "Mcy" +let _ = Hashtbl.add utf82macro "\207\176" "varkappa" +let _ = Hashtbl.add utf82macro "\208\157" "Ncy" +let _ = Hashtbl.add utf82macro "\207\176" "kappav" +let _ = Hashtbl.add utf82macro "\209\138" "hardcy" +let _ = Hashtbl.add utf82macro "\207\177" "varrho" +let _ = Hashtbl.add utf82macro "\209\139" "ycy" +let _ = Hashtbl.add utf82macro "\207\177" "varrho" +let _ = Hashtbl.add utf82macro "\207\177" "rhov" +let _ = Hashtbl.add utf82macro "\208\158" "Ocy" +let _ = Hashtbl.add utf82macro "\209\140" "softcy" +let _ = Hashtbl.add utf82macro "\208\159" "Pcy" +let _ = Hashtbl.add utf82macro "\208\160" "Rcy" +let _ = Hashtbl.add utf82macro "\209\141" "ecy" +let _ = Hashtbl.add utf82macro "\209\142" "yucy" +let _ = Hashtbl.add utf82macro "\208\161" "Scy" +let _ = Hashtbl.add utf82macro "\207\181" "epsilon" +let _ = Hashtbl.add utf82macro "\209\143" "yacy" +let _ = Hashtbl.add utf82macro "\208\162" "Tcy" +let _ = Hashtbl.add utf82macro "\208\163" "Ucy" +let _ = Hashtbl.add utf82macro "\207\182" "bepsi" +let _ = Hashtbl.add utf82macro "\207\182" "backepsilon" +let _ = Hashtbl.add utf82macro "\209\145" "iocy" +let _ = Hashtbl.add utf82macro "\208\164" "Fcy" +let _ = Hashtbl.add utf82macro "\208\165" "KHcy" +let _ = Hashtbl.add utf82macro "\209\146" "djcy" +let _ = Hashtbl.add utf82macro "\208\166" "TScy" +let _ = Hashtbl.add utf82macro "\209\147" "gjcy" +let _ = Hashtbl.add utf82macro "\209\148" "jukcy" +let _ = Hashtbl.add utf82macro "\208\167" "CHcy" +let _ = Hashtbl.add utf82macro "????" "longmapsto" +let _ = Hashtbl.add utf82macro "????" "Longleftrightarrow" +let _ = Hashtbl.add utf82macro "????" "longleftrightarrow" +let _ = Hashtbl.add utf82macro "????" "longrightarrow" +let _ = Hashtbl.add utf82macro "????" "Longleftarrow" +let _ = Hashtbl.add utf82macro "????" "parallet" +let _ = Hashtbl.add utf82macro "????" "surd" +let _ = Hashtbl.add utf82macro "\208\168" "SHcy" +let _ = Hashtbl.add utf82macro "\209\149" "dscy" +let _ = Hashtbl.add utf82macro "\208\169" "SHCHcy" +let _ = Hashtbl.add utf82macro "\209\150" "iukcy" +let _ = Hashtbl.add utf82macro "deg" "deg" +let _ = Hashtbl.add utf82macro "\209\151" "yicy" +let _ = Hashtbl.add utf82macro "\208\170" "HARDcy" +let _ = Hashtbl.add utf82macro "{" "{" +let _ = Hashtbl.add utf82macro "{" "lbrace" +let _ = Hashtbl.add utf82macro "\208\171" "Ycy" +let _ = Hashtbl.add utf82macro "{" "lcub" +let _ = Hashtbl.add utf82macro "{" "lbrace" +let _ = Hashtbl.add utf82macro "\209\152" "jsercy" +let _ = Hashtbl.add utf82macro "|" "vert" +let _ = Hashtbl.add utf82macro "|" "|" +let _ = Hashtbl.add utf82macro "|" "VerticalLine" +let _ = Hashtbl.add utf82macro "|" "vert" +let _ = Hashtbl.add utf82macro "|" "verbar" +let _ = Hashtbl.add utf82macro "\208\172" "SOFTcy" +let _ = Hashtbl.add utf82macro "\209\153" "ljcy" +let _ = Hashtbl.add utf82macro "liminf" "liminf" +let _ = Hashtbl.add utf82macro "}" "}" +let _ = Hashtbl.add utf82macro "}" "rbrace" +let _ = Hashtbl.add utf82macro "}" "rcub" +let _ = Hashtbl.add utf82macro "}" "rbrace" +let _ = Hashtbl.add utf82macro "\209\154" "njcy" +let _ = Hashtbl.add utf82macro "\208\173" "Ecy" +let _ = Hashtbl.add utf82macro "\208\174" "YUcy" +let _ = Hashtbl.add utf82macro "\209\155" "tshcy" +let _ = Hashtbl.add utf82macro "\208\175" "YAcy" +let _ = Hashtbl.add utf82macro "\209\156" "kjcy" +let _ = Hashtbl.add utf82macro "\208\176" "acy" +let _ = Hashtbl.add utf82macro "\209\158" "ubrcy" +let _ = Hashtbl.add utf82macro "\208\177" "bcy" +let _ = Hashtbl.add utf82macro "\208\178" "vcy" +let _ = Hashtbl.add utf82macro "\209\159" "dzcy" +let _ = Hashtbl.add utf82macro "\208\179" "gcy" +let _ = Hashtbl.add utf82macro "\208\180" "dcy" +let _ = Hashtbl.add utf82macro "\208\181" "iecy" +let _ = Hashtbl.add utf82macro "\208\182" "zhcy" +let _ = Hashtbl.add utf82macro "det" "det" +let _ = Hashtbl.add utf82macro "\208\183" "zcy" +let _ = Hashtbl.add utf82macro "\208\184" "icy" +let _ = Hashtbl.add utf82macro "\208\185" "jcy" +let _ = Hashtbl.add utf82macro "\208\186" "kcy" +let _ = Hashtbl.add utf82macro "\208\187" "lcy" +let _ = Hashtbl.add utf82macro "\208\188" "mcy" +let _ = Hashtbl.add utf82macro "\226\146\161\204\184" "NotNestedLessLess" +let _ = Hashtbl.add utf82macro "\208\189" "ncy" +let _ = Hashtbl.add utf82macro "\208\190" "ocy" +let _ = Hashtbl.add utf82macro "\208\191" "pcy" +let _ = Hashtbl.add utf82macro "\226\128\130" "ensp" +let _ = Hashtbl.add utf82macro "\226\128\131" "emsp" +let _ = Hashtbl.add utf82macro "\226\128\132" "emsp13" +let _ = Hashtbl.add utf82macro "\226\128\133" "emsp14" +let _ = Hashtbl.add utf82macro "\226\128\135" "numsp" +let _ = Hashtbl.add utf82macro "\226\128\136" "puncsp" +let _ = Hashtbl.add utf82macro "lg" "lg" +let _ = Hashtbl.add utf82macro "\226\128\137" "ThinSpace" +let _ = Hashtbl.add utf82macro "\226\128\137" "thinsp" +let _ = Hashtbl.add utf82macro "\226\128\138" "VeryThinSpace" +let _ = Hashtbl.add utf82macro "\226\128\138" "hairsp" +let _ = Hashtbl.add utf82macro "\226\128\139" "ZeroWidthSpace" +let _ = Hashtbl.add utf82macro "\226\128\139" "InvisibleComma" +let _ = Hashtbl.add utf82macro "\226\128\139" "ic" +let _ = Hashtbl.add utf82macro "ln" "ln" +let _ = Hashtbl.add utf82macro "\226\128\144" "hyphen" +let _ = Hashtbl.add utf82macro "\226\128\144" "dash" +let _ = Hashtbl.add utf82macro "\226\128\147" "ndash" +let _ = Hashtbl.add utf82macro "\226\128\148" "mdash" +let _ = Hashtbl.add utf82macro "\226\129\129" "caret" +let _ = Hashtbl.add utf82macro "\226\128\149" "horbar" +let _ = Hashtbl.add utf82macro "\226\128\150" "Vert" +let _ = Hashtbl.add utf82macro "\226\128\150" "Vert" +let _ = Hashtbl.add utf82macro "\226\128\150" "Verbar" +let _ = Hashtbl.add utf82macro "\226\129\131" "hybull" +let _ = Hashtbl.add utf82macro "\226\128\152" "OpenCurlyQuote" +let _ = Hashtbl.add utf82macro "\226\128\152" "lsquo" +let _ = Hashtbl.add utf82macro "\226\128\153" "rsquor" +let _ = Hashtbl.add utf82macro "\226\128\153" "rsquo" +let _ = Hashtbl.add utf82macro "\226\128\153" "CloseCurlyQuote" +let _ = Hashtbl.add utf82macro "\226\170\176\204\184" "nsucceq" +let _ = Hashtbl.add utf82macro "\226\170\176\204\184" "nsce" +let _ = Hashtbl.add utf82macro "\226\170\176\204\184" "NotSucceedsEqual" +let _ = Hashtbl.add utf82macro "\226\128\154" "lsquor" +let _ = Hashtbl.add utf82macro "\226\128\156" "OpenCurlyDoubleQuote" +let _ = Hashtbl.add utf82macro "\226\128\156" "ldquo" +let _ = Hashtbl.add utf82macro "\226\128\157" "rdquor" +let _ = Hashtbl.add utf82macro "\226\128\157" "rdquo" +let _ = Hashtbl.add utf82macro "\226\128\157" "CloseCurlyDoubleQuote" +let _ = Hashtbl.add utf82macro "\226\128\158" "ldquor" +let _ = Hashtbl.add utf82macro "\226\128\160" "dagger" +let _ = Hashtbl.add utf82macro "\226\128\160" "dagger" +let _ = Hashtbl.add utf82macro "\226\128\160" "dagger" +let _ = Hashtbl.add utf82macro "\226\128\161" "ddagger" +let _ = Hashtbl.add utf82macro "\226\128\161" "ddagger" +let _ = Hashtbl.add utf82macro "\226\128\161" "Dagger" +let _ = Hashtbl.add utf82macro "\226\128\161" "Dagger" +let _ = Hashtbl.add utf82macro "\226\128\162" "bullet" +let _ = Hashtbl.add utf82macro "\226\136\133\239\184\128" "emptyset" +let _ = Hashtbl.add utf82macro "\226\136\133\239\184\128" "emptyset" +let _ = Hashtbl.add utf82macro "\226\136\133\239\184\128" "empty" +let _ = Hashtbl.add utf82macro "\226\128\162" "bullet" +let _ = Hashtbl.add utf82macro "\226\128\162" "bull" +let _ = Hashtbl.add utf82macro "\226\129\143" "bsemi" +let _ = Hashtbl.add utf82macro "\226\128\165" "nldr" +let _ = Hashtbl.add utf82macro "\226\128\166" "ldots" +let _ = Hashtbl.add utf82macro "\226\128\166" "dots" +let _ = Hashtbl.add utf82macro "\226\128\166" "mldr" +let _ = Hashtbl.add utf82macro "\226\128\166" "hellip" +let _ = Hashtbl.add utf82macro "\226\129\151" "qprime" +let _ = Hashtbl.add utf82macro "\226\128\176" "permil" +let _ = Hashtbl.add utf82macro "\226\128\177" "pertenk" +let _ = Hashtbl.add utf82macro "\226\128\178" "prime" +let _ = Hashtbl.add utf82macro "\226\128\178" "prime" +let _ = Hashtbl.add utf82macro "\226\129\159" "MediumSpace" +let _ = Hashtbl.add utf82macro "\226\128\179" "Prime" +let _ = Hashtbl.add utf82macro "\226\128\180" "tprime" +let _ = Hashtbl.add utf82macro "\226\129\161" "ApplyFunction" +let _ = Hashtbl.add utf82macro "\226\129\161" "af" +let _ = Hashtbl.add utf82macro "\226\129\162" "it" +let _ = Hashtbl.add utf82macro "\226\129\162" "InvisibleTimes" +let _ = Hashtbl.add utf82macro "\226\128\181" "bprime" +let _ = Hashtbl.add utf82macro "\226\128\181" "backprime" +let _ = Hashtbl.add utf82macro "dim" "dim" +let _ = Hashtbl.add utf82macro "\226\132\130" "Copf" +let _ = Hashtbl.add utf82macro "\226\132\130" "complexes" +let _ = Hashtbl.add utf82macro "\226\132\133" "incare" +let _ = Hashtbl.add utf82macro "\226\131\155" "TripleDot" +let _ = Hashtbl.add utf82macro "\226\131\155" "tdot" +let _ = Hashtbl.add utf82macro "\226\169\173\204\184" "ncongdot" +let _ = Hashtbl.add utf82macro "\226\131\156" "DotDot" +let _ = Hashtbl.add utf82macro "\226\132\138" "gscr" +let _ = Hashtbl.add utf82macro "\226\132\139" "Hscr" +let _ = Hashtbl.add utf82macro "\226\132\139" "HilbertSpace" +let _ = Hashtbl.add utf82macro "\226\132\139" "hamilt" +let _ = Hashtbl.add utf82macro "\226\132\140" "Poincareplane" +let _ = Hashtbl.add utf82macro "\226\132\140" "Hfr" +let _ = Hashtbl.add utf82macro "\226\132\141" "quaternions" +let _ = Hashtbl.add utf82macro "\226\132\141" "Hopf" +let _ = Hashtbl.add utf82macro "\226\132\142" "planckh" +let _ = Hashtbl.add utf82macro "\226\132\143" "plankv" +let _ = Hashtbl.add utf82macro "\226\132\143" "hslash" +let _ = Hashtbl.add utf82macro "\226\132\144" "Iscr" +let _ = Hashtbl.add utf82macro "\226\132\144" "imagline" +let _ = Hashtbl.add utf82macro "\226\132\145" "Im" +let _ = Hashtbl.add utf82macro "\226\132\145" "imagpart" +let _ = Hashtbl.add utf82macro "\226\132\145" "image" +let _ = Hashtbl.add utf82macro "\226\132\145" "Im" +let _ = Hashtbl.add utf82macro "\226\132\145" "Ifr" +let _ = Hashtbl.add utf82macro "\226\132\146" "Lscr" +let _ = Hashtbl.add utf82macro "\226\132\146" "Laplacetrf" +let _ = Hashtbl.add utf82macro "\226\132\146" "lagran" +let _ = Hashtbl.add utf82macro "\226\132\147" "ell" +let _ = Hashtbl.add utf82macro "\226\132\147" "lscr" +let _ = Hashtbl.add utf82macro "\226\132\147" "ell" +let _ = Hashtbl.add utf82macro "\226\132\149" "Nopf" +let _ = Hashtbl.add utf82macro "\226\132\149" "naturals" +let _ = Hashtbl.add utf82macro "\226\132\150" "numero" +let _ = Hashtbl.add utf82macro "\226\132\151" "copysr" +let _ = Hashtbl.add utf82macro "\226\132\152" "wp" +let _ = Hashtbl.add utf82macro "\226\132\152" "wp" +let _ = Hashtbl.add utf82macro "\226\132\152" "weierp" +let _ = Hashtbl.add utf82macro "\226\133\133" "DD" +let _ = Hashtbl.add utf82macro "\226\133\133" "CapitalDifferentialD" +let _ = Hashtbl.add utf82macro "\226\132\153" "primes" +let _ = Hashtbl.add utf82macro "\226\132\153" "Popf" +let _ = Hashtbl.add utf82macro "\226\133\134" "DifferentialD" +let _ = Hashtbl.add utf82macro "\226\133\134" "dd" +let _ = Hashtbl.add utf82macro "\226\132\154" "rationals" +let _ = Hashtbl.add utf82macro "\226\132\154" "Qopf" +let _ = Hashtbl.add utf82macro "\226\133\135" "ExponentialE" +let _ = Hashtbl.add utf82macro "\226\133\135" "exponentiale" +let _ = Hashtbl.add utf82macro "\226\133\135" "ee" +let _ = Hashtbl.add utf82macro "\226\132\155" "Rscr" +let _ = Hashtbl.add utf82macro "\226\132\155" "realine" +let _ = Hashtbl.add utf82macro "\226\133\136" "ImaginaryI" +let _ = Hashtbl.add utf82macro "\226\133\136" "ii" +let _ = Hashtbl.add utf82macro "\226\132\156" "Re" +let _ = Hashtbl.add utf82macro "\226\132\156" "Rfr" +let _ = Hashtbl.add utf82macro "\226\132\156" "realpart" +let _ = Hashtbl.add utf82macro "\226\132\156" "real" +let _ = Hashtbl.add utf82macro "\226\132\156" "Re" +let _ = Hashtbl.add utf82macro "\226\132\157" "Ropf" +let _ = Hashtbl.add utf82macro "\226\132\157" "reals" +let _ = Hashtbl.add utf82macro "\226\132\158" "rx" +let _ = Hashtbl.add utf82macro "\226\132\162" "trade" +let _ = Hashtbl.add utf82macro "\226\132\164" "Zopf" +let _ = Hashtbl.add utf82macro "\226\132\164" "integers" +let _ = Hashtbl.add utf82macro "\226\132\166" "ohm" +let _ = Hashtbl.add utf82macro "\226\133\147" "frac13" +let _ = Hashtbl.add utf82macro "\226\132\167" "mho" +let _ = Hashtbl.add utf82macro "\226\133\148" "frac23" +let _ = Hashtbl.add utf82macro "\226\132\168" "Zfr" +let _ = Hashtbl.add utf82macro "\226\132\168" "zeetrf" +let _ = Hashtbl.add utf82macro "\226\133\149" "frac15" +let _ = Hashtbl.add utf82macro "\226\132\169" "iiota" +let _ = Hashtbl.add utf82macro "\226\133\150" "frac25" +let _ = Hashtbl.add utf82macro "\226\133\151" "frac35" +let _ = Hashtbl.add utf82macro "\226\133\152" "frac45" +let _ = Hashtbl.add utf82macro "\226\132\171" "angst" +let _ = Hashtbl.add utf82macro "\226\133\153" "frac16" +let _ = Hashtbl.add utf82macro "\226\132\172" "Bscr" +let _ = Hashtbl.add utf82macro "\226\132\172" "Bernoullis" +let _ = Hashtbl.add utf82macro "\226\132\172" "bernou" +let _ = Hashtbl.add utf82macro "\226\129\159\239\184\128" "NegativeMediumSpace" +let _ = Hashtbl.add utf82macro "\226\133\154" "frac56" +let _ = Hashtbl.add utf82macro "\226\132\173" "Cfr" +let _ = Hashtbl.add utf82macro "\226\132\173" "Cayleys" +let _ = Hashtbl.add utf82macro "\226\133\155" "frac18" +let _ = Hashtbl.add utf82macro "\226\133\156" "frac38" +let _ = Hashtbl.add utf82macro "\226\132\175" "escr" +let _ = Hashtbl.add utf82macro "\226\133\157" "frac58" +let _ = Hashtbl.add utf82macro "\226\132\176" "expectation" +let _ = Hashtbl.add utf82macro "\226\132\176" "Escr" +let _ = Hashtbl.add utf82macro "\226\132\177" "Fscr" +let _ = Hashtbl.add utf82macro "\226\133\158" "frac78" +let _ = Hashtbl.add utf82macro "\226\132\177" "Fouriertrf" +let _ = Hashtbl.add utf82macro "\226\132\179" "phmmat" +let _ = Hashtbl.add utf82macro "\226\132\179" "Mscr" +let _ = Hashtbl.add utf82macro "\226\132\179" "Mellintrf" +let _ = Hashtbl.add utf82macro "\226\132\180" "oscr" +let _ = Hashtbl.add utf82macro "\226\132\180" "orderof" +let _ = Hashtbl.add utf82macro "\226\132\180" "order" +let _ = Hashtbl.add utf82macro "\226\132\181" "aleph" +let _ = Hashtbl.add utf82macro "\226\132\181" "aleph" +let _ = Hashtbl.add utf82macro "\226\134\144" "gets" +let _ = Hashtbl.add utf82macro "\226\134\144" "leftarrow" +let _ = Hashtbl.add utf82macro "\226\134\144" "LeftArrow" +let _ = Hashtbl.add utf82macro "\226\134\144" "leftarrow" +let _ = Hashtbl.add utf82macro "\226\134\144" "larr" +let _ = Hashtbl.add utf82macro "\226\132\182" "beth" +let _ = Hashtbl.add utf82macro "\226\134\145" "uparrow" +let _ = Hashtbl.add utf82macro "\226\134\145" "UpArrow" +let _ = Hashtbl.add utf82macro "\226\134\145" "uparrow" +let _ = Hashtbl.add utf82macro "\226\134\145" "uarr" +let _ = Hashtbl.add utf82macro "\226\132\183" "gimel" +let _ = Hashtbl.add utf82macro "\226\134\146" "to" +let _ = Hashtbl.add utf82macro "\226\134\146" "rightarrow" +let _ = Hashtbl.add utf82macro "\226\134\146" "RightArrow" +let _ = Hashtbl.add utf82macro "\226\134\146" "rightarrow" +let _ = Hashtbl.add utf82macro "\226\134\146" "rarr" +let _ = Hashtbl.add utf82macro "\226\132\184" "daleth" +let _ = Hashtbl.add utf82macro "\226\134\147" "downarrow" +let _ = Hashtbl.add utf82macro "\226\135\128" "RightVector" +let _ = Hashtbl.add utf82macro "\226\135\128" "rightharpoonup" +let _ = Hashtbl.add utf82macro "\226\135\128" "rharu" +let _ = Hashtbl.add utf82macro "\226\134\147" "DownArrow" +let _ = Hashtbl.add utf82macro "\226\134\147" "downarrow" +let _ = Hashtbl.add utf82macro "\226\134\147" "darr" +let _ = Hashtbl.add utf82macro "\226\134\148" "leftrightarrow" +let _ = Hashtbl.add utf82macro "\226\135\129" "rightharpoondown" +let _ = Hashtbl.add utf82macro "\226\135\129" "rhard" +let _ = Hashtbl.add utf82macro "\226\134\148" "LeftRightArrow" +let _ = Hashtbl.add utf82macro "\226\134\148" "leftrightarrow" +let _ = Hashtbl.add utf82macro "\226\134\148" "harr" +let _ = Hashtbl.add utf82macro "\226\135\129" "DownRightVector" +let _ = Hashtbl.add utf82macro "\226\134\149" "updownarrow" +let _ = Hashtbl.add utf82macro "\226\134\149" "varr" +let _ = Hashtbl.add utf82macro "\226\134\149" "UpDownArrow" +let _ = Hashtbl.add utf82macro "\226\134\149" "updownarrow" +let _ = Hashtbl.add utf82macro "\226\135\130" "RightDownVector" +let _ = Hashtbl.add utf82macro "\226\135\130" "downharpoonright" +let _ = Hashtbl.add utf82macro "\226\135\130" "dharr" +let _ = Hashtbl.add utf82macro "\226\134\150" "nwarrow" +let _ = Hashtbl.add utf82macro "\226\134\150" "UpperLeftArrow" +let _ = Hashtbl.add utf82macro "\226\134\150" "nwarrow" +let _ = Hashtbl.add utf82macro "\226\134\150" "nwarr" +let _ = Hashtbl.add utf82macro "\226\135\131" "LeftDownVector" +let _ = Hashtbl.add utf82macro "\226\135\131" "downharpoonleft" +let _ = Hashtbl.add utf82macro "\226\135\131" "dharl" +let _ = Hashtbl.add utf82macro "\226\134\151" "nearrow" +let _ = Hashtbl.add utf82macro "\226\134\151" "UpperRightArrow" +let _ = Hashtbl.add utf82macro "\226\135\132" "rlarr" +let _ = Hashtbl.add utf82macro "\226\135\132" "rightleftarrows" +let _ = Hashtbl.add utf82macro "\226\135\132" "RightArrowLeftArrow" +let _ = Hashtbl.add utf82macro "\226\134\151" "nearrow" +let _ = Hashtbl.add utf82macro "\226\134\151" "nearr" +let _ = Hashtbl.add utf82macro "\226\134\152" "searrow" +let _ = Hashtbl.add utf82macro "\226\135\133" "UpArrowDownArrow" +let _ = Hashtbl.add utf82macro "\226\135\133" "udarr" +let _ = Hashtbl.add utf82macro "\226\134\152" "searrow" +let _ = Hashtbl.add utf82macro "\226\134\152" "searr" +let _ = Hashtbl.add utf82macro "\226\134\152" "LowerRightArrow" +let _ = Hashtbl.add utf82macro "\226\134\153" "swarrow" +let _ = Hashtbl.add utf82macro "\226\134\153" "swarrow" +let _ = Hashtbl.add utf82macro "\226\134\153" "swarr" +let _ = Hashtbl.add utf82macro "\226\135\134" "lrarr" +let _ = Hashtbl.add utf82macro "\226\134\153" "LowerLeftArrow" +let _ = Hashtbl.add utf82macro "\226\135\134" "leftrightarrows" +let _ = Hashtbl.add utf82macro "\226\135\134" "LeftArrowRightArrow" +let _ = Hashtbl.add utf82macro "\226\134\154" "nleftarrow" +let _ = Hashtbl.add utf82macro "\226\134\154" "nlarr" +let _ = Hashtbl.add utf82macro "\226\135\135" "llarr" +let _ = Hashtbl.add utf82macro "\226\135\135" "leftleftarrows" +let _ = Hashtbl.add utf82macro "\226\135\136" "uuarr" +let _ = Hashtbl.add utf82macro "\226\135\136" "upuparrows" +let _ = Hashtbl.add utf82macro "\226\134\155" "nrightarrow" +let _ = Hashtbl.add utf82macro "\226\134\155" "nrarr" +let _ = Hashtbl.add utf82macro "\226\135\137" "rrarr" +let _ = Hashtbl.add utf82macro "\226\135\137" "rightrightarrows" +let _ = Hashtbl.add utf82macro "\226\134\157" "rightsquigarrow" +let _ = Hashtbl.add utf82macro "\226\134\157" "rarrw" +let _ = Hashtbl.add utf82macro "\226\135\138" "downdownarrows" +let _ = Hashtbl.add utf82macro "\226\135\138" "ddarr" +let _ = Hashtbl.add utf82macro "\226\134\158" "twoheadleftarrow" +let _ = Hashtbl.add utf82macro "\226\135\139" "ReverseEquilibrium" +let _ = Hashtbl.add utf82macro "\226\135\139" "lrhar" +let _ = Hashtbl.add utf82macro "\226\135\139" "leftrightharpoons" +let _ = Hashtbl.add utf82macro "\226\134\158" "Larr" +let _ = Hashtbl.add utf82macro "\226\134\159" "Uarr" +let _ = Hashtbl.add utf82macro "\226\135\140" "rlhar" +let _ = Hashtbl.add utf82macro "\226\135\140" "rightleftharpoons" +let _ = Hashtbl.add utf82macro "\226\135\140" "Equilibrium" +let _ = Hashtbl.add utf82macro "\226\134\160" "twoheadrightarrow" +let _ = Hashtbl.add utf82macro "\226\134\160" "Rarr" +let _ = Hashtbl.add utf82macro "\226\135\141" "nvlArr" +let _ = Hashtbl.add utf82macro "\226\135\141" "nLeftarrow" +let _ = Hashtbl.add utf82macro "\226\135\141" "nlArr" +let _ = Hashtbl.add utf82macro "\226\135\142" "nvHarr" +let _ = Hashtbl.add utf82macro "\226\135\142" "nLeftrightarrow" +let _ = Hashtbl.add utf82macro "\226\135\142" "nhArr" +let _ = Hashtbl.add utf82macro "\226\134\161" "Darr" +let _ = Hashtbl.add utf82macro "\226\135\143" "nvrArr" +let _ = Hashtbl.add utf82macro "\226\135\143" "nRightarrow" +let _ = Hashtbl.add utf82macro "\226\135\143" "nrArr" +let _ = Hashtbl.add utf82macro "\226\134\162" "leftarrowtail" +let _ = Hashtbl.add utf82macro "\226\134\162" "larrtl" +let _ = Hashtbl.add utf82macro "\226\135\144" "Leftarrow" +let _ = Hashtbl.add utf82macro "\226\134\163" "rightarrowtail" +let _ = Hashtbl.add utf82macro "\226\134\163" "ratail" +let _ = Hashtbl.add utf82macro "\226\134\163" "rarrtl" +let _ = Hashtbl.add utf82macro "\226\135\144" "Leftarrow" +let _ = Hashtbl.add utf82macro "\226\135\144" "lArr" +let _ = Hashtbl.add utf82macro "\226\135\144" "DoubleLeftArrow" +let _ = Hashtbl.add utf82macro "\226\135\145" "Uparrow" +let _ = Hashtbl.add utf82macro "\226\135\145" "Uparrow" +let _ = Hashtbl.add utf82macro "\226\135\145" "uArr" +let _ = Hashtbl.add utf82macro "\226\134\164" "mapstoleft" +let _ = Hashtbl.add utf82macro "\226\134\164" "LeftTeeArrow" +let _ = Hashtbl.add utf82macro "\226\135\145" "DoubleUpArrow" +let _ = Hashtbl.add utf82macro "\226\135\146" "Longrightarrow" +let _ = Hashtbl.add utf82macro "\226\135\146" "Rightarrow" +let _ = Hashtbl.add utf82macro "\226\134\165" "UpTeeArrow" +let _ = Hashtbl.add utf82macro "\226\135\146" "Rightarrow" +let _ = Hashtbl.add utf82macro "\226\135\146" "rArr" +let _ = Hashtbl.add utf82macro "\226\134\165" "mapstoup" +let _ = Hashtbl.add utf82macro "\226\135\146" "Implies" +let _ = Hashtbl.add utf82macro "\226\135\146" "DoubleRightArrow" +let _ = Hashtbl.add utf82macro "\226\135\147" "Downarrow" +let _ = Hashtbl.add utf82macro "\226\134\166" "mapsto" +let _ = Hashtbl.add utf82macro "\226\136\128" "forall" +let _ = Hashtbl.add utf82macro "\226\134\166" "RightTeeArrow" +let _ = Hashtbl.add utf82macro "\226\134\166" "mapsto" +let _ = Hashtbl.add utf82macro "\226\134\166" "map" +let _ = Hashtbl.add utf82macro "\226\136\128" "ForAll" +let _ = Hashtbl.add utf82macro "\226\136\128" "forall" +let _ = Hashtbl.add utf82macro "\226\135\147" "Downarrow" +let _ = Hashtbl.add utf82macro "\226\135\147" "DoubleDownArrow" +let _ = Hashtbl.add utf82macro "\226\135\147" "dArr" +let _ = Hashtbl.add utf82macro "\226\135\148" "Leftrightarrow" +let _ = Hashtbl.add utf82macro "\226\134\167" "mapstodown" +let _ = Hashtbl.add utf82macro "\226\135\148" "Leftrightarrow" +let _ = Hashtbl.add utf82macro "\226\135\148" "iff" +let _ = Hashtbl.add utf82macro "\226\135\148" "hArr" +let _ = Hashtbl.add utf82macro "\226\134\167" "DownTeeArrow" +let _ = Hashtbl.add utf82macro "\226\135\148" "DoubleLeftRightArrow" +let _ = Hashtbl.add utf82macro "\226\136\129" "complement" +let _ = Hashtbl.add utf82macro "\226\136\129" "comp" +let _ = Hashtbl.add utf82macro "\226\136\130" "partial" +let _ = Hashtbl.add utf82macro "\226\135\149" "vArr" +let _ = Hashtbl.add utf82macro "\226\135\149" "Updownarrow" +let _ = Hashtbl.add utf82macro "\226\136\130" "PartialD" +let _ = Hashtbl.add utf82macro "\226\136\130" "part" +let _ = Hashtbl.add utf82macro "\226\135\149" "DoubleUpDownArrow" +let _ = Hashtbl.add utf82macro "\226\134\169" "hookleftarrow" +let _ = Hashtbl.add utf82macro "\226\136\131" "exists" +let _ = Hashtbl.add utf82macro "\226\135\150" "nwArr" +let _ = Hashtbl.add utf82macro "\226\134\169" "larrhk" +let _ = Hashtbl.add utf82macro "\226\134\169" "hookleftarrow" +let _ = Hashtbl.add utf82macro "\226\136\131" "Exists" +let _ = Hashtbl.add utf82macro "\226\136\131" "exist" +let _ = Hashtbl.add utf82macro "\226\134\170" "hookrightarrow" +let _ = Hashtbl.add utf82macro "\226\134\170" "rarrhk" +let _ = Hashtbl.add utf82macro "\226\136\132" "NotExists" +let _ = Hashtbl.add utf82macro "\226\136\132" "nexists" +let _ = Hashtbl.add utf82macro "\226\136\132" "nexist" +let _ = Hashtbl.add utf82macro "\226\135\151" "neArr" +let _ = Hashtbl.add utf82macro "\226\134\170" "hookrightarrow" +let _ = Hashtbl.add utf82macro "\226\136\133" "varnothing" +let _ = Hashtbl.add utf82macro "\226\135\152" "seArr" +let _ = Hashtbl.add utf82macro "\226\134\171" "looparrowleft" +let _ = Hashtbl.add utf82macro "\226\134\171" "larrlp" +let _ = Hashtbl.add utf82macro "\226\136\133" "emptyv" +let _ = Hashtbl.add utf82macro "\226\135\153" "swArr" +let _ = Hashtbl.add utf82macro "\226\134\172" "rarrlp" +let _ = Hashtbl.add utf82macro "\226\134\172" "looparrowright" +let _ = Hashtbl.add utf82macro "\226\136\135" "nabla" +let _ = Hashtbl.add utf82macro "\226\136\135" "nabla" +let _ = Hashtbl.add utf82macro "\226\135\154" "Lleftarrow" +let _ = Hashtbl.add utf82macro "\226\134\173" "leftrightsquigarrow" +let _ = Hashtbl.add utf82macro "\226\135\154" "lAarr" +let _ = Hashtbl.add utf82macro "\226\134\173" "harrw" +let _ = Hashtbl.add utf82macro "\226\136\135" "Del" +let _ = Hashtbl.add utf82macro "\226\136\136" "in" +let _ = Hashtbl.add utf82macro "\226\135\155" "Rrightarrow" +let _ = Hashtbl.add utf82macro "\226\135\155" "rAarr" +let _ = Hashtbl.add utf82macro "\226\134\174" "nleftrightarrow" +let _ = Hashtbl.add utf82macro "\226\134\174" "nharr" +let _ = Hashtbl.add utf82macro "\226\136\136" "isinv" +let _ = Hashtbl.add utf82macro "\226\136\136" "isin" +let _ = Hashtbl.add utf82macro "\226\136\136" "in" +let _ = Hashtbl.add utf82macro "\226\136\136" "Element" +let _ = Hashtbl.add utf82macro "\226\136\137" "notin" +let _ = Hashtbl.add utf82macro "\226\136\137" "notin" +let _ = Hashtbl.add utf82macro "\226\136\137" "NotElement" +let _ = Hashtbl.add utf82macro "\226\135\157" "zigrarr" +let _ = Hashtbl.add utf82macro "\226\134\176" "Lsh" +let _ = Hashtbl.add utf82macro "\226\134\176" "lsh" +let _ = Hashtbl.add utf82macro "\226\136\139" "owns" +let _ = Hashtbl.add utf82macro "\226\136\139" "ni" +let _ = Hashtbl.add utf82macro "\226\136\139" "SuchThat" +let _ = Hashtbl.add utf82macro "\226\134\177" "Rsh" +let _ = Hashtbl.add utf82macro "\226\134\177" "rsh" +let _ = Hashtbl.add utf82macro "\226\136\139" "ReverseElement" +let _ = Hashtbl.add utf82macro "\226\136\139" "niv" +let _ = Hashtbl.add utf82macro "\226\136\139" "ni" +let _ = Hashtbl.add utf82macro "\226\136\140" "NotReverseElement" +let _ = Hashtbl.add utf82macro "\226\136\140" "notniva" +let _ = Hashtbl.add utf82macro "\226\136\140" "notni" +let _ = Hashtbl.add utf82macro "\226\134\178" "ldsh" +let _ = Hashtbl.add utf82macro "\226\134\179" "rdsh" +let _ = Hashtbl.add utf82macro "\226\136\143" "prod" +let _ = Hashtbl.add utf82macro "\226\136\143" "Product" +let _ = Hashtbl.add utf82macro "\226\136\143" "prod" +let _ = Hashtbl.add utf82macro "\226\136\144" "coprod" +let _ = Hashtbl.add utf82macro "\226\134\182" "curvearrowleft" +let _ = Hashtbl.add utf82macro "\226\134\182" "cularr" +let _ = Hashtbl.add utf82macro "\226\136\144" "Coproduct" +let _ = Hashtbl.add utf82macro "\226\136\144" "coprod" +let _ = Hashtbl.add utf82macro "\226\136\145" "sum" +let _ = Hashtbl.add utf82macro "\226\136\145" "Sum" +let _ = Hashtbl.add utf82macro "\226\136\145" "sum" +let _ = Hashtbl.add utf82macro "\226\135\164" "LeftArrowBar" +let _ = Hashtbl.add utf82macro "\226\135\164" "larrb" +let _ = Hashtbl.add utf82macro "\226\134\183" "curvearrowright" +let _ = Hashtbl.add utf82macro "\226\134\183" "curarr" +let _ = Hashtbl.add utf82macro "\226\135\165" "RightArrowBar" +let _ = Hashtbl.add utf82macro "\226\135\165" "rarrb" +let _ = Hashtbl.add utf82macro "\226\136\146" "minus" +let _ = Hashtbl.add utf82macro "\226\137\128" "wr" +let _ = Hashtbl.add utf82macro "\226\136\147" "mp" +let _ = Hashtbl.add utf82macro "\226\137\128" "wreath" +let _ = Hashtbl.add utf82macro "\226\137\128" "wr" +let _ = Hashtbl.add utf82macro "\226\137\128" "VerticalTilde" +let _ = Hashtbl.add utf82macro "\226\136\147" "mp" +let _ = Hashtbl.add utf82macro "\226\136\147" "mnplus" +let _ = Hashtbl.add utf82macro "\226\136\147" "MinusPlus" +let _ = Hashtbl.add utf82macro "\226\136\148" "plusdo" +let _ = Hashtbl.add utf82macro "\226\134\186" "olarr" +let _ = Hashtbl.add utf82macro "\226\137\129" "nsim" +let _ = Hashtbl.add utf82macro "\226\137\129" "NotTilde" +let _ = Hashtbl.add utf82macro "\226\136\148" "dotplus" +let _ = Hashtbl.add utf82macro "\226\134\186" "circlearrowleft" +let _ = Hashtbl.add utf82macro "\226\134\187" "orarr" +let _ = Hashtbl.add utf82macro "\226\137\130" "esim" +let _ = Hashtbl.add utf82macro "\226\137\130" "EqualTilde" +let _ = Hashtbl.add utf82macro "\226\137\130" "eqsim" +let _ = Hashtbl.add utf82macro "\226\134\187" "circlearrowright" +let _ = Hashtbl.add utf82macro "\226\137\131" "simeq" +let _ = Hashtbl.add utf82macro "\226\136\150" "setminus" +let _ = Hashtbl.add utf82macro "\226\137\131" "TildeEqual" +let _ = Hashtbl.add utf82macro "\226\137\131" "simeq" +let _ = Hashtbl.add utf82macro "\226\137\131" "sime" +let _ = Hashtbl.add utf82macro "\226\136\150" "setmn" +let _ = Hashtbl.add utf82macro "\226\136\150" "setminus" +let _ = Hashtbl.add utf82macro "\226\134\188" "lharu" +let _ = Hashtbl.add utf82macro "\226\134\188" "LeftVector" +let _ = Hashtbl.add utf82macro "\226\134\188" "leftharpoonup" +let _ = Hashtbl.add utf82macro "\226\136\150" "Backslash" +let _ = Hashtbl.add utf82macro "\226\137\132" "nsimeq" +let _ = Hashtbl.add utf82macro "\226\137\132" "nsime" +let _ = Hashtbl.add utf82macro "\226\137\132" "NotTildeEqual" +let _ = Hashtbl.add utf82macro "\226\136\151" "lowast" +let _ = Hashtbl.add utf82macro "\226\134\189" "lhard" +let _ = Hashtbl.add utf82macro "\226\134\189" "leftharpoondown" +let _ = Hashtbl.add utf82macro "\226\134\189" "DownLeftVector" +let _ = Hashtbl.add utf82macro "\226\137\133" "cong" +let _ = Hashtbl.add utf82macro "\226\134\190" "upharpoonright" +let _ = Hashtbl.add utf82macro "\226\134\190" "uharr" +let _ = Hashtbl.add utf82macro "\226\137\133" "TildeFullEqual" +let _ = Hashtbl.add utf82macro "\226\136\152" "SmallCircle" +let _ = Hashtbl.add utf82macro "\226\134\190" "RightUpVector" +let _ = Hashtbl.add utf82macro "\226\137\133" "cong" +let _ = Hashtbl.add utf82macro "\226\136\152" "compfn" +let _ = Hashtbl.add utf82macro "\226\134\191" "upharpoonleft" +let _ = Hashtbl.add utf82macro "\226\134\191" "uharl" +let _ = Hashtbl.add utf82macro "\226\137\134" "simne" +let _ = Hashtbl.add utf82macro "\226\134\191" "LeftUpVector" +let _ = Hashtbl.add utf82macro "\226\136\154" "Sqrt" +let _ = Hashtbl.add utf82macro "\226\136\154" "radic" +let _ = Hashtbl.add utf82macro "\226\137\135" "NotTildeFullEqual" +let _ = Hashtbl.add utf82macro "\226\137\135" "ncong" +let _ = Hashtbl.add utf82macro "\226\137\136" "approx" +let _ = Hashtbl.add utf82macro "\226\137\136" "TildeTilde" +let _ = Hashtbl.add utf82macro "\226\137\136" "approx" +let _ = Hashtbl.add utf82macro "\226\137\136" "ap" +let _ = Hashtbl.add utf82macro "\226\137\137" "NotTildeTilde" +let _ = Hashtbl.add utf82macro "\226\137\137" "napprox" +let _ = Hashtbl.add utf82macro "\226\137\137" "nap" +let _ = Hashtbl.add utf82macro "\226\136\157" "propto" +let _ = Hashtbl.add utf82macro "\226\136\157" "vprop" +let _ = Hashtbl.add utf82macro "\226\136\157" "varpropto" +let _ = Hashtbl.add utf82macro "\226\136\157" "propto" +let _ = Hashtbl.add utf82macro "\226\136\157" "Proportional" +let _ = Hashtbl.add utf82macro "\226\136\157" "prop" +let _ = Hashtbl.add utf82macro "\226\137\138" "approxeq" +let _ = Hashtbl.add utf82macro "\226\137\138" "apE" +let _ = Hashtbl.add utf82macro "\226\137\138" "ape" +let _ = Hashtbl.add utf82macro "\226\136\158" "infty" +let _ = Hashtbl.add utf82macro "\226\136\158" "infin" +let _ = Hashtbl.add utf82macro "\226\137\139" "apid" +let _ = Hashtbl.add utf82macro "\226\137\140" "bcong" +let _ = Hashtbl.add utf82macro "\226\137\140" "backcong" +let _ = Hashtbl.add utf82macro "\226\136\159" "angrt" +let _ = Hashtbl.add utf82macro "\226\137\141" "asymp" +let _ = Hashtbl.add utf82macro "\226\136\160" "angle" +let _ = Hashtbl.add utf82macro "\226\137\141" "CupCap" +let _ = Hashtbl.add utf82macro "\226\137\141" "asymp" +let _ = Hashtbl.add utf82macro "\226\136\160" "angle" +let _ = Hashtbl.add utf82macro "\226\136\160" "ang" +let _ = Hashtbl.add utf82macro "\226\136\161" "measuredangle" +let _ = Hashtbl.add utf82macro "\226\137\142" "HumpDownHump" +let _ = Hashtbl.add utf82macro "\226\137\142" "Bumpeq" +let _ = Hashtbl.add utf82macro "\226\137\142" "bump" +let _ = Hashtbl.add utf82macro "\226\136\161" "angmsd" +let _ = Hashtbl.add utf82macro "\226\137\143" "HumpEqual" +let _ = Hashtbl.add utf82macro "\226\135\181" "duarr" +let _ = Hashtbl.add utf82macro "\226\135\181" "DownArrowUpArrow" +let _ = Hashtbl.add utf82macro "\226\137\143" "bumpeq" +let _ = Hashtbl.add utf82macro "\226\137\143" "bumpe" +let _ = Hashtbl.add utf82macro "\226\136\162" "angsph" +let _ = Hashtbl.add utf82macro "\226\137\144" "doteq" +let _ = Hashtbl.add utf82macro "\226\136\163" "mid" +let _ = Hashtbl.add utf82macro "\226\136\163" "VerticalBar" +let _ = Hashtbl.add utf82macro "\226\136\163" "mid" +let _ = Hashtbl.add utf82macro "\226\137\144" "esdot" +let _ = Hashtbl.add utf82macro "\226\137\144" "DotEqual" +let _ = Hashtbl.add utf82macro "\226\137\144" "doteq" +let _ = Hashtbl.add utf82macro "\226\136\164" "NotVerticalBar" +let _ = Hashtbl.add utf82macro "\226\136\164" "nmid" +let _ = Hashtbl.add utf82macro "\226\137\145" "eDot" +let _ = Hashtbl.add utf82macro "\226\137\145" "doteqdot" +let _ = Hashtbl.add utf82macro "\226\136\165" "parallel" +let _ = Hashtbl.add utf82macro "\226\136\165" "par" +let _ = Hashtbl.add utf82macro "\226\137\146" "fallingdotseq" +let _ = Hashtbl.add utf82macro "\226\137\146" "efDot" +let _ = Hashtbl.add utf82macro "\226\136\165" "DoubleVerticalBar" +let _ = Hashtbl.add utf82macro "\226\137\147" "risingdotseq" +let _ = Hashtbl.add utf82macro "\226\138\128" "nprec" +let _ = Hashtbl.add utf82macro "\226\138\128" "npr" +let _ = Hashtbl.add utf82macro "\226\136\166" "nparallel" +let _ = Hashtbl.add utf82macro "\226\136\166" "npar" +let _ = Hashtbl.add utf82macro "\226\138\128" "NotPrecedes" +let _ = Hashtbl.add utf82macro "\226\136\166" "NotDoubleVerticalBar" +let _ = Hashtbl.add utf82macro "\226\137\147" "erDot" +let _ = Hashtbl.add utf82macro "\226\136\167" "land" +let _ = Hashtbl.add utf82macro "\226\136\167" "wedge" +let _ = Hashtbl.add utf82macro "\226\136\167" "wedge" +let _ = Hashtbl.add utf82macro "\226\138\129" "nsucc" +let _ = Hashtbl.add utf82macro "\226\138\129" "nsc" +let _ = Hashtbl.add utf82macro "\226\138\129" "NotSucceeds" +let _ = Hashtbl.add utf82macro "\226\137\148" "coloneq" +let _ = Hashtbl.add utf82macro "\226\137\148" "colone" +let _ = Hashtbl.add utf82macro "\226\137\148" "Assign" +let _ = Hashtbl.add utf82macro "\226\136\167" "and" +let _ = Hashtbl.add utf82macro "\226\138\130" "subset" +let _ = Hashtbl.add utf82macro "\226\136\168" "lor" +let _ = Hashtbl.add utf82macro "\226\136\168" "vee" +let _ = Hashtbl.add utf82macro "\226\136\168" "vee" +let _ = Hashtbl.add utf82macro "\226\138\130" "subset" +let _ = Hashtbl.add utf82macro "\226\138\130" "sub" +let _ = Hashtbl.add utf82macro "\226\136\168" "or" +let _ = Hashtbl.add utf82macro "\226\137\149" "eqcolon" +let _ = Hashtbl.add utf82macro "\226\137\149" "ecolon" +let _ = Hashtbl.add utf82macro "????;" "longleftarrow" +let _ = Hashtbl.add utf82macro "\226\138\131" "supset" +let _ = Hashtbl.add utf82macro "\226\136\169" "cap" +let _ = Hashtbl.add utf82macro "\226\138\131" "supset" +let _ = Hashtbl.add utf82macro "\226\138\131" "Superset" +let _ = Hashtbl.add utf82macro "\226\138\131" "sup" +let _ = Hashtbl.add utf82macro "\226\137\150" "eqcirc" +let _ = Hashtbl.add utf82macro "\226\137\150" "ecir" +let _ = Hashtbl.add utf82macro "\226\136\169" "cap" +let _ = Hashtbl.add utf82macro "\226\136\170" "cup" +let _ = Hashtbl.add utf82macro "\226\138\132" "vnsub" +let _ = Hashtbl.add utf82macro "\226\138\132" "nsubset" +let _ = Hashtbl.add utf82macro "\226\138\132" "nsub" +let _ = Hashtbl.add utf82macro "\226\138\132" "NotSubset" +let _ = Hashtbl.add utf82macro "\226\135\189" "loarr" +let _ = Hashtbl.add utf82macro "\226\136\170" "cup" +let _ = Hashtbl.add utf82macro "\226\137\151" "cire" +let _ = Hashtbl.add utf82macro "\226\137\151" "circeq" +let _ = Hashtbl.add utf82macro "\226\136\171" "int" +let _ = Hashtbl.add utf82macro "\226\138\133" "vnsup" +let _ = Hashtbl.add utf82macro "\226\135\190" "roarr" +let _ = Hashtbl.add utf82macro "\226\138\133" "nsupset" +let _ = Hashtbl.add utf82macro "\226\138\133" "nsup" +let _ = Hashtbl.add utf82macro "\226\138\133" "NotSuperset" +let _ = Hashtbl.add utf82macro "\226\136\171" "Integral" +let _ = Hashtbl.add utf82macro "\226\136\171" "int" +let _ = Hashtbl.add utf82macro "\226\138\134" "subseteq" +let _ = Hashtbl.add utf82macro "\226\137\153" "wedgeq" +let _ = Hashtbl.add utf82macro "\226\138\134" "SubsetEqual" +let _ = Hashtbl.add utf82macro "\226\138\134" "subseteqq" +let _ = Hashtbl.add utf82macro "\226\138\134" "subseteq" +let _ = Hashtbl.add utf82macro "\226\138\134" "subE" +let _ = Hashtbl.add utf82macro "\226\138\134" "sube" +let _ = Hashtbl.add utf82macro "\226\136\172" "Int" +let _ = Hashtbl.add utf82macro "\226\135\191" "hoarr" +let _ = Hashtbl.add utf82macro "\226\138\135" "supseteq" +let _ = Hashtbl.add utf82macro "\226\137\154" "veeeq" +let _ = Hashtbl.add utf82macro "\226\136\173" "tint" +let _ = Hashtbl.add utf82macro "\226\138\135" "supseteqq" +let _ = Hashtbl.add utf82macro "\226\138\135" "supseteq" +let _ = Hashtbl.add utf82macro "\226\138\135" "SupersetEqual" +let _ = Hashtbl.add utf82macro "\226\138\135" "supE" +let _ = Hashtbl.add utf82macro "\226\138\135" "supe" +let _ = Hashtbl.add utf82macro "\226\136\173" "iiint" +let _ = Hashtbl.add utf82macro "\226\136\174" "oint" +let _ = Hashtbl.add utf82macro "\226\136\174" "oint" +let _ = Hashtbl.add utf82macro "\226\138\136" "nsubseteqq" +let _ = Hashtbl.add utf82macro "\226\138\136" "nsubseteq" +let _ = Hashtbl.add utf82macro "\226\138\136" "nsubE" +let _ = Hashtbl.add utf82macro "\226\138\136" "nsube" +let _ = Hashtbl.add utf82macro "\226\138\136" "NotSubsetEqual" +let _ = Hashtbl.add utf82macro "\226\137\155" "easter" +let _ = Hashtbl.add utf82macro "\226\136\174" "ContourIntegral" +let _ = Hashtbl.add utf82macro "\226\136\174" "conint" +let _ = Hashtbl.add utf82macro "\226\137\156" "trie" +let _ = Hashtbl.add utf82macro "\226\137\156" "triangleq" +let _ = Hashtbl.add utf82macro "\226\138\137" "nsupseteqq" +let _ = Hashtbl.add utf82macro "\226\138\137" "nsupseteq" +let _ = Hashtbl.add utf82macro "\226\138\137" "nsupE" +let _ = Hashtbl.add utf82macro "\226\138\137" "nsupe" +let _ = Hashtbl.add utf82macro "\226\138\137" "NotSupersetEqual" +let _ = Hashtbl.add utf82macro "\226\136\175" "DoubleContourIntegral" +let _ = Hashtbl.add utf82macro "\226\136\175" "Conint" +let _ = Hashtbl.add utf82macro "\226\137\157" "def" +let _ = Hashtbl.add utf82macro "\226\138\138" "subsetneqq" +let _ = Hashtbl.add utf82macro "\226\138\138" "subsetneq" +let _ = Hashtbl.add utf82macro "\226\138\138" "subnE" +let _ = Hashtbl.add utf82macro "\226\138\138" "subne" +let _ = Hashtbl.add utf82macro "\226\136\176" "Cconint" +let _ = Hashtbl.add utf82macro "\226\138\139" "supsetneqq" +let _ = Hashtbl.add utf82macro "\226\138\139" "supsetneq" +let _ = Hashtbl.add utf82macro "\226\138\139" "supnE" +let _ = Hashtbl.add utf82macro "\226\138\139" "supne" +let _ = Hashtbl.add utf82macro "\226\136\177" "cwint" +let _ = Hashtbl.add utf82macro "\226\137\159" "questeq" +let _ = Hashtbl.add utf82macro "\226\137\159" "equest" +let _ = Hashtbl.add utf82macro "\226\136\178" "cwconint" +let _ = Hashtbl.add utf82macro "\226\136\178" "ClockwiseContourIntegral" +let _ = Hashtbl.add utf82macro "\226\137\160" "neq" +let _ = Hashtbl.add utf82macro "\226\137\160" "ne" +let _ = Hashtbl.add utf82macro "\226\137\160" "NotEqual" +let _ = Hashtbl.add utf82macro "\226\137\160" "ne" +let _ = Hashtbl.add utf82macro "\226\138\141" "cupdot" +let _ = Hashtbl.add utf82macro "\226\136\179" "CounterClockwiseContourIntegral" +let _ = Hashtbl.add utf82macro "\226\136\179" "awconint" +let _ = Hashtbl.add utf82macro "\226\137\161" "equiv" +let _ = Hashtbl.add utf82macro "\226\138\142" "uplus" +let _ = Hashtbl.add utf82macro "\226\138\142" "biguplus" +let _ = Hashtbl.add utf82macro "\226\138\142" "xuplus" +let _ = Hashtbl.add utf82macro "\226\138\142" "uplus" +let _ = Hashtbl.add utf82macro "\226\138\142" "UnionPlus" +let _ = Hashtbl.add utf82macro "\226\136\180" "Therefore" +let _ = Hashtbl.add utf82macro "\226\136\180" "therefore" +let _ = Hashtbl.add utf82macro "\226\136\180" "there4" +let _ = Hashtbl.add utf82macro "\226\137\161" "equiv" +let _ = Hashtbl.add utf82macro "\226\137\161" "Congruent" +let _ = Hashtbl.add utf82macro "\226\138\142" "biguplus" +let _ = Hashtbl.add utf82macro "\226\138\143" "SquareSubset" +let _ = Hashtbl.add utf82macro "\226\138\143" "sqsubset" +let _ = Hashtbl.add utf82macro "\226\138\143" "sqsub" +let _ = Hashtbl.add utf82macro "\226\137\162" "NotCongruent" +let _ = Hashtbl.add utf82macro "\226\137\162" "nequiv" +let _ = Hashtbl.add utf82macro "\226\136\181" "Because" +let _ = Hashtbl.add utf82macro "\226\136\181" "because" +let _ = Hashtbl.add utf82macro "\226\136\181" "becaus" +let _ = Hashtbl.add utf82macro "\226\138\144" "SquareSuperset" +let _ = Hashtbl.add utf82macro "\226\138\144" "sqsupset" +let _ = Hashtbl.add utf82macro "\226\138\144" "sqsup" +let _ = Hashtbl.add utf82macro "\226\136\182" "ratio" +let _ = Hashtbl.add utf82macro "\226\137\164" "le" +let _ = Hashtbl.add utf82macro "\226\137\164" "leq" +let _ = Hashtbl.add utf82macro "\226\138\145" "SquareSubsetEqual" +let _ = Hashtbl.add utf82macro "\226\138\145" "sqsubseteq" +let _ = Hashtbl.add utf82macro "\226\138\145" "sqsube" +let _ = Hashtbl.add utf82macro "\226\136\183" "Proportion" +let _ = Hashtbl.add utf82macro "\226\137\164" "leq" +let _ = Hashtbl.add utf82macro "\226\137\164" "le" +let _ = Hashtbl.add utf82macro "\226\136\183" "Colon" +let _ = Hashtbl.add utf82macro "\226\138\146" "sqsupseteq" +let _ = Hashtbl.add utf82macro "\226\137\165" "ge" +let _ = Hashtbl.add utf82macro "\226\137\165" "geq" +let _ = Hashtbl.add utf82macro "\226\138\146" "SquareSupersetEqual" +let _ = Hashtbl.add utf82macro "\226\138\146" "sqsupseteq" +let _ = Hashtbl.add utf82macro "\226\138\146" "sqsupe" +let _ = Hashtbl.add utf82macro "\226\136\184" "minusd" +let _ = Hashtbl.add utf82macro "\226\137\165" "GreaterEqual" +let _ = Hashtbl.add utf82macro "\226\137\165" "geq" +let _ = Hashtbl.add utf82macro "\226\137\165" "ge" +let _ = Hashtbl.add utf82macro "\226\136\184" "dotminus" +let _ = Hashtbl.add utf82macro "\226\138\147" "sqcap" +let _ = Hashtbl.add utf82macro "\226\139\128" "bigwedge" +let _ = Hashtbl.add utf82macro "\226\139\128" "xwedge" +let _ = Hashtbl.add utf82macro "\226\139\128" "Wedge" +let _ = Hashtbl.add utf82macro "\226\138\147" "SquareIntersection" +let _ = Hashtbl.add utf82macro "\226\138\147" "sqcap" +let _ = Hashtbl.add utf82macro "\226\137\166" "LessFullEqual" +let _ = Hashtbl.add utf82macro "\226\137\166" "leqq" +let _ = Hashtbl.add utf82macro "\226\137\166" "lE" +let _ = Hashtbl.add utf82macro "\226\139\128" "bigwedge" +let _ = Hashtbl.add utf82macro "\226\138\148" "sqcup" +let _ = Hashtbl.add utf82macro "\226\139\129" "bigvee" +let _ = Hashtbl.add utf82macro "\226\138\148" "bigsqcup" +let _ = Hashtbl.add utf82macro "\226\139\129" "xvee" +let _ = Hashtbl.add utf82macro "\226\138\148" "xsqcup" +let _ = Hashtbl.add utf82macro "\226\139\129" "Vee" +let _ = Hashtbl.add utf82macro "\226\138\148" "SquareUnion" +let _ = Hashtbl.add utf82macro "\226\138\148" "sqcup" +let _ = Hashtbl.add utf82macro "\226\136\186" "mDDot" +let _ = Hashtbl.add utf82macro "\226\137\167" "GreaterFullEqual" +let _ = Hashtbl.add utf82macro "\226\137\167" "geqq" +let _ = Hashtbl.add utf82macro "\226\137\167" "gE" +let _ = Hashtbl.add utf82macro "\226\139\129" "bigvee" +let _ = Hashtbl.add utf82macro "\226\138\148" "bigsqcup" +let _ = Hashtbl.add utf82macro "\226\138\149" "oplus" +let _ = Hashtbl.add utf82macro "\226\138\149" "bigoplus" +let _ = Hashtbl.add utf82macro "\226\139\130" "bigcap" +let _ = Hashtbl.add utf82macro "\226\138\149" "xoplus" +let _ = Hashtbl.add utf82macro "\226\139\130" "xcap" +let _ = Hashtbl.add utf82macro "\226\138\149" "oplus" +let _ = Hashtbl.add utf82macro "\226\137\168" "lneqq" +let _ = Hashtbl.add utf82macro "\226\137\168" "lneq" +let _ = Hashtbl.add utf82macro "\226\137\168" "lnE" +let _ = Hashtbl.add utf82macro "\226\137\168" "lne" +let _ = Hashtbl.add utf82macro "\226\139\130" "Intersection" +let _ = Hashtbl.add utf82macro "\226\136\187" "homtht" +let _ = Hashtbl.add utf82macro "\226\138\149" "CirclePlus" +let _ = Hashtbl.add utf82macro "\226\138\149" "bigoplus" +let _ = Hashtbl.add utf82macro "\226\139\130" "bigcap" +let _ = Hashtbl.add utf82macro "\226\136\188" "sim" +let _ = Hashtbl.add utf82macro "\226\138\150" "ominus" +let _ = Hashtbl.add utf82macro "\226\139\131" "bigcup" +let _ = Hashtbl.add utf82macro "\226\139\131" "xcup" +let _ = Hashtbl.add utf82macro "\226\139\131" "Union" +let _ = Hashtbl.add utf82macro "\226\136\188" "Tilde" +let _ = Hashtbl.add utf82macro "\226\136\188" "sim" +let _ = Hashtbl.add utf82macro "\226\138\150" "ominus" +let _ = Hashtbl.add utf82macro "\226\137\169" "gneqq" +let _ = Hashtbl.add utf82macro "\226\137\169" "gneq" +let _ = Hashtbl.add utf82macro "\226\137\169" "gnE" +let _ = Hashtbl.add utf82macro "\226\137\169" "gne" +let _ = Hashtbl.add utf82macro "\226\138\150" "CircleMinus" +let _ = Hashtbl.add utf82macro "\226\139\131" "bigcup" +let _ = Hashtbl.add utf82macro "\226\137\170" "ll" +let _ = Hashtbl.add utf82macro "\226\138\151" "otimes" +let _ = Hashtbl.add utf82macro "\226\139\132" "diamond" +let _ = Hashtbl.add utf82macro "\226\138\151" "bigotimes" +let _ = Hashtbl.add utf82macro "\226\138\151" "xotime" +let _ = Hashtbl.add utf82macro "\226\138\151" "otimes" +let _ = Hashtbl.add utf82macro "\226\137\170" "NestedLessLess" +let _ = Hashtbl.add utf82macro "\226\137\170" "Lt" +let _ = Hashtbl.add utf82macro "\226\137\170" "ll" +let _ = Hashtbl.add utf82macro "\226\139\132" "Diamond" +let _ = Hashtbl.add utf82macro "\226\139\132" "diamond" +let _ = Hashtbl.add utf82macro "\226\139\132" "diam" +let _ = Hashtbl.add utf82macro "\226\138\151" "CircleTimes" +let _ = Hashtbl.add utf82macro "\226\136\189" "bsim" +let _ = Hashtbl.add utf82macro "\226\138\151" "bigotimes" +let _ = Hashtbl.add utf82macro "\226\136\189" "backsim" +let _ = Hashtbl.add utf82macro "\226\137\171" "gg" +let _ = Hashtbl.add utf82macro "\226\139\133" "sdot" +let _ = Hashtbl.add utf82macro "\226\138\152" "osol" +let _ = Hashtbl.add utf82macro "\226\136\130\204\184" "npart" +let _ = Hashtbl.add utf82macro "\226\137\171" "NestedGreaterGreater" +let _ = Hashtbl.add utf82macro "\226\136\190" "mstpos" +let _ = Hashtbl.add utf82macro "\226\137\171" "Gt" +let _ = Hashtbl.add utf82macro "\226\137\171" "gg" +let _ = Hashtbl.add utf82macro "\226\138\153" "odot" +let _ = Hashtbl.add utf82macro "\226\139\134" "star" +let _ = Hashtbl.add utf82macro "\226\138\153" "bigodot" +let _ = Hashtbl.add utf82macro "\226\138\153" "xodot" +let _ = Hashtbl.add utf82macro "\226\137\172" "twixt" +let _ = Hashtbl.add utf82macro "\226\139\134" "Star" +let _ = Hashtbl.add utf82macro "\226\139\134" "star" +let _ = Hashtbl.add utf82macro "\226\139\134" "sstarf" +let _ = Hashtbl.add utf82macro "\226\138\153" "odot" +let _ = Hashtbl.add utf82macro "\226\138\153" "CircleDot" +let _ = Hashtbl.add utf82macro "\226\138\153" "bigodot" +let _ = Hashtbl.add utf82macro "\226\137\172" "between" +let _ = Hashtbl.add utf82macro "\226\136\191" "acd" +let _ = Hashtbl.add utf82macro "\226\138\154" "ocir" +let _ = Hashtbl.add utf82macro "\226\137\173" "NotCupCap" +let _ = Hashtbl.add utf82macro "\226\139\135" "divonx" +let _ = Hashtbl.add utf82macro "\226\139\135" "divideontimes" +let _ = Hashtbl.add utf82macro "\226\138\154" "circledcirc" +let _ = Hashtbl.add utf82macro "\226\139\136" "bowtie" +let _ = Hashtbl.add utf82macro "\226\138\155" "oast" +let _ = Hashtbl.add utf82macro "\226\137\174" "nvlt" +let _ = Hashtbl.add utf82macro "\226\137\174" "NotLess" +let _ = Hashtbl.add utf82macro "\226\137\174" "nlt" +let _ = Hashtbl.add utf82macro "\226\137\174" "nless" +let _ = Hashtbl.add utf82macro "\226\138\155" "circledast" +let _ = Hashtbl.add utf82macro "\226\139\136" "bowtie" +let _ = Hashtbl.add utf82macro "\226\137\175" "nvgt" +let _ = Hashtbl.add utf82macro "\226\137\175" "NotGreater" +let _ = Hashtbl.add utf82macro "\226\137\175" "ngtr" +let _ = Hashtbl.add utf82macro "\226\137\175" "ngt" +let _ = Hashtbl.add utf82macro "\226\139\137" "ltimes" +let _ = Hashtbl.add utf82macro "\226\139\138" "rtimes" +let _ = Hashtbl.add utf82macro "\226\138\157" "odash" +let _ = Hashtbl.add utf82macro "\226\137\176" "nvle" +let _ = Hashtbl.add utf82macro "\226\137\176" "NotLessSlantEqual" +let _ = Hashtbl.add utf82macro "\226\137\176" "NotGreaterFullEqual" +let _ = Hashtbl.add utf82macro "\226\137\176" "nles" +let _ = Hashtbl.add utf82macro "\226\137\176" "nleqslant" +let _ = Hashtbl.add utf82macro "\226\137\176" "nleqq" +let _ = Hashtbl.add utf82macro "\226\137\176" "nlE" +let _ = Hashtbl.add utf82macro "\226\138\157" "circleddash" +let _ = Hashtbl.add utf82macro "\226\138\158" "plusb" +let _ = Hashtbl.add utf82macro "\226\137\177" "nvge" +let _ = Hashtbl.add utf82macro "\226\137\177" "NotGreaterSlantEqual" +let _ = Hashtbl.add utf82macro "\226\137\177" "nges" +let _ = Hashtbl.add utf82macro "\226\137\177" "ngeqslant" +let _ = Hashtbl.add utf82macro "\226\137\177" "ngeqq" +let _ = Hashtbl.add utf82macro "\226\137\177" "ngE" +let _ = Hashtbl.add utf82macro "\226\139\139" "lthree" +let _ = Hashtbl.add utf82macro "\226\139\139" "leftthreetimes" +let _ = Hashtbl.add utf82macro "\226\138\158" "boxplus" +let _ = Hashtbl.add utf82macro "\226\139\140" "rthree" +let _ = Hashtbl.add utf82macro "\226\139\140" "rightthreetimes" +let _ = Hashtbl.add utf82macro "\226\138\159" "minusb" +let _ = Hashtbl.add utf82macro "\226\137\178" "lsim" +let _ = Hashtbl.add utf82macro "\226\137\178" "LessTilde" +let _ = Hashtbl.add utf82macro "\226\137\178" "lesssim" +let _ = Hashtbl.add utf82macro "\226\137\178" "lessapprox" +let _ = Hashtbl.add utf82macro "\226\137\178" "lap" +let _ = Hashtbl.add utf82macro "\226\138\159" "boxminus" +let _ = Hashtbl.add utf82macro "\226\138\160" "timesb" +let _ = Hashtbl.add utf82macro "\226\137\179" "gtrsim" +let _ = Hashtbl.add utf82macro "\226\137\179" "gtrapprox" +let _ = Hashtbl.add utf82macro "\226\137\179" "gsim" +let _ = Hashtbl.add utf82macro "\226\137\179" "GreaterTilde" +let _ = Hashtbl.add utf82macro "\226\137\179" "gap" +let _ = Hashtbl.add utf82macro "\226\139\141" "bsime" +let _ = Hashtbl.add utf82macro "\226\138\160" "boxtimes" +let _ = Hashtbl.add utf82macro "\226\139\141" "backsimeq" +let _ = Hashtbl.add utf82macro "\226\138\161" "sdotb" +let _ = Hashtbl.add utf82macro "\226\137\180" "NotLessTilde" +let _ = Hashtbl.add utf82macro "\226\137\180" "nlsim" +let _ = Hashtbl.add utf82macro "\226\138\161" "dotsquare" +let _ = Hashtbl.add utf82macro "\226\139\142" "cuvee" +let _ = Hashtbl.add utf82macro "\226\139\142" "curlyvee" +let _ = Hashtbl.add utf82macro "\226\138\162" "vdash" +let _ = Hashtbl.add utf82macro "\226\138\162" "vdash" +let _ = Hashtbl.add utf82macro "\226\138\162" "RightTee" +let _ = Hashtbl.add utf82macro "\226\137\181" "NotGreaterTilde" +let _ = Hashtbl.add utf82macro "\226\137\181" "ngsim" +let _ = Hashtbl.add utf82macro "\226\139\143" "cuwed" +let _ = Hashtbl.add utf82macro "\226\139\143" "curlywedge" +let _ = Hashtbl.add utf82macro "\226\138\163" "dashv" +let _ = Hashtbl.add utf82macro "\226\139\144" "Subset" +let _ = Hashtbl.add utf82macro "\226\139\144" "Sub" +let _ = Hashtbl.add utf82macro "\226\137\182" "lg" +let _ = Hashtbl.add utf82macro "\226\137\182" "lessgtr" +let _ = Hashtbl.add utf82macro "\226\137\182" "LessGreater" +let _ = Hashtbl.add utf82macro "\226\138\163" "LeftTee" +let _ = Hashtbl.add utf82macro "\226\138\163" "dashv" +let _ = Hashtbl.add utf82macro "\226\138\164" "top" +let _ = Hashtbl.add utf82macro "\226\138\164" "top" +let _ = Hashtbl.add utf82macro "\226\139\145" "Supset" +let _ = Hashtbl.add utf82macro "\226\139\145" "Sup" +let _ = Hashtbl.add utf82macro "\226\137\183" "gtrless" +let _ = Hashtbl.add utf82macro "\226\137\183" "GreaterLess" +let _ = Hashtbl.add utf82macro "\226\137\183" "gl" +let _ = Hashtbl.add utf82macro "\226\138\164" "DownTee" +let _ = Hashtbl.add utf82macro "\226\138\165" "perp" +let _ = Hashtbl.add utf82macro "\226\138\165" "bot" +let _ = Hashtbl.add utf82macro "\226\138\165" "UpTee" +let _ = Hashtbl.add utf82macro "\226\138\165" "perp" +let _ = Hashtbl.add utf82macro "\226\137\184" "ntlg" +let _ = Hashtbl.add utf82macro "\226\137\184" "NotLessGreater" +let _ = Hashtbl.add utf82macro "\226\139\146" "Cap" +let _ = Hashtbl.add utf82macro "\226\138\165" "bottom" +let _ = Hashtbl.add utf82macro "\226\138\165" "bot" +let _ = Hashtbl.add utf82macro "\226\137\185" "ntgl" +let _ = Hashtbl.add utf82macro "\226\137\185" "NotGreaterLess" +let _ = Hashtbl.add utf82macro "\226\139\147" "Cup" +let _ = Hashtbl.add utf82macro "\226\138\167" "models" +let _ = Hashtbl.add utf82macro "\226\137\186" "prec" +let _ = Hashtbl.add utf82macro "\226\137\186" "Precedes" +let _ = Hashtbl.add utf82macro "\226\137\186" "prec" +let _ = Hashtbl.add utf82macro "\226\137\186" "pr" +let _ = Hashtbl.add utf82macro "\226\139\148" "pitchfork" +let _ = Hashtbl.add utf82macro "\226\138\167" "models" +let _ = Hashtbl.add utf82macro "\226\139\148" "fork" +let _ = Hashtbl.add utf82macro "\226\137\187" "succ" +let _ = Hashtbl.add utf82macro "\226\138\168" "vDash" +let _ = Hashtbl.add utf82macro "\226\137\187" "Succeeds" +let _ = Hashtbl.add utf82macro "\226\137\187" "succ" +let _ = Hashtbl.add utf82macro "\226\137\187" "sc" +let _ = Hashtbl.add utf82macro "\226\139\149" "epar" +let _ = Hashtbl.add utf82macro "\226\138\168" "DoubleRightTee" +let _ = Hashtbl.add utf82macro "\226\138\169" "Vdash" +let _ = Hashtbl.add utf82macro "\226\137\188" "PrecedesSlantEqual" +let _ = Hashtbl.add utf82macro "\226\137\188" "preccurlyeq" +let _ = Hashtbl.add utf82macro "\226\137\188" "prcue" +let _ = Hashtbl.add utf82macro "\226\139\150" "ltdot" +let _ = Hashtbl.add utf82macro "\226\139\150" "lessdot" +let _ = Hashtbl.add utf82macro "\226\137\189" "succeq" +let _ = Hashtbl.add utf82macro "\226\138\170" "Vvdash" +let _ = Hashtbl.add utf82macro "\226\137\189" "succeq" +let _ = Hashtbl.add utf82macro "\226\137\189" "SucceedsSlantEqual" +let _ = Hashtbl.add utf82macro "\226\137\189" "SucceedsEqual" +let _ = Hashtbl.add utf82macro "\226\137\189" "succcurlyeq" +let _ = Hashtbl.add utf82macro "\226\137\189" "sce" +let _ = Hashtbl.add utf82macro "\226\137\189" "sccue" +let _ = Hashtbl.add utf82macro "\226\139\151" "gtrdot" +let _ = Hashtbl.add utf82macro "\226\139\151" "gtdot" +let _ = Hashtbl.add utf82macro "\226\138\171" "VDash" +let _ = Hashtbl.add utf82macro "\226\137\190" "scE" +let _ = Hashtbl.add utf82macro "\226\137\190" "prsim" +let _ = Hashtbl.add utf82macro "\226\137\190" "precsim" +let _ = Hashtbl.add utf82macro "\226\137\190" "PrecedesTilde" +let _ = Hashtbl.add utf82macro "\226\137\190" "precapprox" +let _ = Hashtbl.add utf82macro "\226\137\190" "prap" +let _ = Hashtbl.add utf82macro "\226\139\152" "Ll" +let _ = Hashtbl.add utf82macro "\226\137\191" "succsim" +let _ = Hashtbl.add utf82macro "\226\137\191" "SucceedsTilde" +let _ = Hashtbl.add utf82macro "\226\137\191" "succapprox" +let _ = Hashtbl.add utf82macro "\226\137\191" "scsim" +let _ = Hashtbl.add utf82macro "\226\137\191" "scap" +let _ = Hashtbl.add utf82macro "\226\138\172" "nvdash" +let _ = Hashtbl.add utf82macro "\226\139\153" "ggg" +let _ = Hashtbl.add utf82macro "\226\139\153" "Gg" +let _ = Hashtbl.add utf82macro "\226\140\134" "doublebarwedge" +let _ = Hashtbl.add utf82macro "\226\140\134" "Barwed" +let _ = Hashtbl.add utf82macro "\226\138\173" "nvDash" +let _ = Hashtbl.add utf82macro "\226\139\154" "LessEqualGreater" +let _ = Hashtbl.add utf82macro "\226\139\154" "lesseqqgtr" +let _ = Hashtbl.add utf82macro "\226\139\154" "lesseqgtr" +let _ = Hashtbl.add utf82macro "\226\139\154" "lEg" +let _ = Hashtbl.add utf82macro "\226\139\154" "leg" +let _ = Hashtbl.add utf82macro "\226\140\136" "lceil" +let _ = Hashtbl.add utf82macro "\226\138\174" "nVdash" +let _ = Hashtbl.add utf82macro "\226\140\136" "LeftCeiling" +let _ = Hashtbl.add utf82macro "\226\140\136" "lceil" +let _ = Hashtbl.add utf82macro "\226\139\155" "gtreqqless" +let _ = Hashtbl.add utf82macro "\226\139\155" "gtreqless" +let _ = Hashtbl.add utf82macro "\226\139\155" "GreaterEqualLess" +let _ = Hashtbl.add utf82macro "\226\139\155" "gEl" +let _ = Hashtbl.add utf82macro "\226\139\155" "gel" +let _ = Hashtbl.add utf82macro "\226\140\137" "rceil" +let _ = Hashtbl.add utf82macro "\226\140\137" "RightCeiling" +let _ = Hashtbl.add utf82macro "\226\140\137" "rceil" +let _ = Hashtbl.add utf82macro "\226\138\175" "nVDash" +let _ = Hashtbl.add utf82macro "\226\139\156" "eqslantless" +let _ = Hashtbl.add utf82macro "\226\139\156" "els" +let _ = Hashtbl.add utf82macro "\226\140\138" "lfloor" +let _ = Hashtbl.add utf82macro "\226\138\176" "prurel" +let _ = Hashtbl.add utf82macro "\226\140\138" "lfloor" +let _ = Hashtbl.add utf82macro "\226\140\138" "LeftFloor" +let _ = Hashtbl.add utf82macro "\226\139\157" "eqslantgtr" +let _ = Hashtbl.add utf82macro "\226\139\157" "egs" +let _ = Hashtbl.add utf82macro "\226\140\139" "rfloor" +let _ = Hashtbl.add utf82macro "\226\140\139" "RightFloor" +let _ = Hashtbl.add utf82macro "\226\140\139" "rfloor" +let _ = Hashtbl.add utf82macro "\226\139\158" "curlyeqprec" +let _ = Hashtbl.add utf82macro "\226\139\158" "cuepr" +let _ = Hashtbl.add utf82macro "\226\138\178" "vltri" +let _ = Hashtbl.add utf82macro "\226\138\178" "vartriangleleft" +let _ = Hashtbl.add utf82macro "\226\138\178" "LeftTriangle" +let _ = Hashtbl.add utf82macro "\226\140\140" "drcrop" +let _ = Hashtbl.add utf82macro "\226\139\159" "curlyeqsucc" +let _ = Hashtbl.add utf82macro "\226\139\159" "cuesc" +let _ = Hashtbl.add utf82macro "\226\138\179" "vrtri" +let _ = Hashtbl.add utf82macro "\226\138\179" "vartriangleright" +let _ = Hashtbl.add utf82macro "\226\138\179" "RightTriangle" +let _ = Hashtbl.add utf82macro "\226\139\160" "nprcue" +let _ = Hashtbl.add utf82macro "\226\139\160" "NotPrecedesSlantEqual" +let _ = Hashtbl.add utf82macro "\226\140\141" "dlcrop" +let _ = Hashtbl.add utf82macro "\226\140\142" "urcrop" +let _ = Hashtbl.add utf82macro "\226\138\180" "trianglelefteq" +let _ = Hashtbl.add utf82macro "\226\139\161" "nsccue" +let _ = Hashtbl.add utf82macro "\226\139\161" "NotSucceedsSlantEqual" +let _ = Hashtbl.add utf82macro "\226\138\180" "ltrie" +let _ = Hashtbl.add utf82macro "\226\138\180" "LeftTriangleEqual" +let _ = Hashtbl.add utf82macro "\226\140\143" "ulcrop" +let _ = Hashtbl.add utf82macro "\226\138\181" "trianglerighteq" +let _ = Hashtbl.add utf82macro "\226\138\181" "rtrie" +let _ = Hashtbl.add utf82macro "\226\138\181" "RightTriangleEqual" +let _ = Hashtbl.add utf82macro "\226\139\162" "nsqsube" +let _ = Hashtbl.add utf82macro "\226\134\157\204\184" "nrarrw" +let _ = Hashtbl.add utf82macro "\226\139\162" "NotSquareSubsetEqual" +let _ = Hashtbl.add utf82macro "\226\138\182" "origof" +let _ = Hashtbl.add utf82macro "\226\139\163" "nsqsupe" +let _ = Hashtbl.add utf82macro "\226\139\163" "NotSquareSupersetEqual" +let _ = Hashtbl.add utf82macro "\226\140\144" "bnot" +let _ = Hashtbl.add utf82macro "\226\138\183" "imof" +let _ = Hashtbl.add utf82macro "\226\140\146" "profline" +let _ = Hashtbl.add utf82macro "\226\138\184" "mumap" +let _ = Hashtbl.add utf82macro "\226\138\184" "multimap" +let _ = Hashtbl.add utf82macro "\226\140\147" "profsurf" +let _ = Hashtbl.add utf82macro "\226\139\166" "lnsim" +let _ = Hashtbl.add utf82macro "\226\138\185" "hercon" +let _ = Hashtbl.add utf82macro "\226\138\186" "intercal" +let _ = Hashtbl.add utf82macro "\226\138\186" "intcal" +let _ = Hashtbl.add utf82macro "\226\139\167" "gnsim" +let _ = Hashtbl.add utf82macro "\226\138\187" "veebar" +let _ = Hashtbl.add utf82macro "\226\140\149" "telrec" +let _ = Hashtbl.add utf82macro "\226\139\168" "prnsim" +let _ = Hashtbl.add utf82macro "\226\139\168" "prnap" +let _ = Hashtbl.add utf82macro "\226\139\168" "precnsim" +let _ = Hashtbl.add utf82macro "\226\139\168" "precnapprox" +let _ = Hashtbl.add utf82macro "\226\140\150" "target" +let _ = Hashtbl.add utf82macro "\226\139\169" "succnsim" +let _ = Hashtbl.add utf82macro "\226\139\169" "succnapprox" +let _ = Hashtbl.add utf82macro "\226\139\169" "scnsim" +let _ = Hashtbl.add utf82macro "\226\139\169" "scnap" +let _ = Hashtbl.add utf82macro "\226\138\188" "barwedge" +let _ = Hashtbl.add utf82macro "\226\138\188" "barwed" +let _ = Hashtbl.add utf82macro "\226\139\170" "ntriangleleft" +let _ = Hashtbl.add utf82macro "\226\139\170" "NotLeftTriangle" +let _ = Hashtbl.add utf82macro "\226\139\170" "nltri" +let _ = Hashtbl.add utf82macro "\226\138\189" "barvee" +let _ = Hashtbl.add utf82macro "\226\138\190" "vangrt" +let _ = Hashtbl.add utf82macro "\226\139\171" "ntriangleright" +let _ = Hashtbl.add utf82macro "\226\139\171" "nrtri" +let _ = Hashtbl.add utf82macro "\226\139\171" "NotRightTriangle" +let _ = Hashtbl.add utf82macro "\226\139\172" "ntrianglelefteq" +let _ = Hashtbl.add utf82macro "\226\139\172" "NotLeftTriangleEqual" +let _ = Hashtbl.add utf82macro "\226\139\172" "nltrie" +let _ = Hashtbl.add utf82macro "\226\138\191" "lrtri" +let _ = Hashtbl.add utf82macro "\226\139\173" "ntrianglerighteq" +let _ = Hashtbl.add utf82macro "\226\139\173" "nrtrie" +let _ = Hashtbl.add utf82macro "\226\139\173" "NotRightTriangleEqual" +let _ = Hashtbl.add utf82macro "\226\139\174" "vdots" +let _ = Hashtbl.add utf82macro "\226\139\174" "vellip" +let _ = Hashtbl.add utf82macro "\226\139\175" "cdots" +let _ = Hashtbl.add utf82macro "\226\140\156" "ulcorner" +let _ = Hashtbl.add utf82macro "\226\140\156" "ulcorn" +let _ = Hashtbl.add utf82macro "\226\139\175" "ctdot" +let _ = Hashtbl.add utf82macro "\226\139\176" "utdot" +let _ = Hashtbl.add utf82macro "\226\140\157" "urcorner" +let _ = Hashtbl.add utf82macro "\226\140\157" "urcorn" +let _ = Hashtbl.add utf82macro "\226\139\177" "ddots" +let _ = Hashtbl.add utf82macro "\226\140\158" "llcorner" +let _ = Hashtbl.add utf82macro "\226\139\177" "dtdot" +let _ = Hashtbl.add utf82macro "\226\140\158" "dlcorn" +let _ = Hashtbl.add utf82macro "\226\140\159" "lrcorner" +let _ = Hashtbl.add utf82macro "\226\140\159" "drcorn" +let _ = Hashtbl.add utf82macro "\226\139\178" "disin" +let _ = Hashtbl.add utf82macro "\226\139\179" "isinsv" +let _ = Hashtbl.add utf82macro "\226\139\180" "isins" +let _ = Hashtbl.add utf82macro "\226\140\162" "frown" +let _ = Hashtbl.add utf82macro "\226\139\181" "isindot" +let _ = Hashtbl.add utf82macro "\226\140\162" "frown" +let _ = Hashtbl.add utf82macro "\226\140\163" "smile" +let _ = Hashtbl.add utf82macro "\226\140\163" "smile" +let _ = Hashtbl.add utf82macro "\226\139\182" "notinvc" +let _ = Hashtbl.add utf82macro "\226\139\183" "notinvb" +let _ = Hashtbl.add utf82macro "\226\139\185" "isinE" +let _ = Hashtbl.add utf82macro "\226\139\186" "nisd" +let _ = Hashtbl.add utf82macro "\226\139\187" "xnis" +let _ = Hashtbl.add utf82macro "\226\140\169" "langle" +let _ = Hashtbl.add utf82macro "\226\139\188" "nis" +let _ = Hashtbl.add utf82macro "\226\140\169" "LeftAngleBracket" +let _ = Hashtbl.add utf82macro "\226\140\169" "langle" +let _ = Hashtbl.add utf82macro "\226\140\169" "lang" +let _ = Hashtbl.add utf82macro "\226\140\170" "rangle" +let _ = Hashtbl.add utf82macro "\226\140\170" "RightAngleBracket" +let _ = Hashtbl.add utf82macro "\226\140\170" "rangle" +let _ = Hashtbl.add utf82macro "\226\140\170" "rang" +let _ = Hashtbl.add utf82macro "\226\139\189" "notnivc" +let _ = Hashtbl.add utf82macro "\226\139\190" "notnivb" +let _ = Hashtbl.add utf82macro "\226\140\173" "cylcty" +let _ = Hashtbl.add utf82macro "\226\140\174" "profalar" +let _ = Hashtbl.add utf82macro "\226\166\157\239\184\128" "angrtvb" +let _ = Hashtbl.add utf82macro "\226\140\182" "topbot" +let _ = Hashtbl.add utf82macro "\226\140\189" "ovbar" +let _ = Hashtbl.add utf82macro "\226\140\191" "solbar" +let _ = Hashtbl.add utf82macro "\226\141\188" "angzarr" +let _ = Hashtbl.add utf82macro "\226\139\173\204\184" "nvrtrie" +let _ = Hashtbl.add utf82macro "\226\142\176" "lmoustache" +let _ = Hashtbl.add utf82macro "\226\142\176" "lmoust" +let _ = Hashtbl.add utf82macro "\226\142\177" "rmoustache" +let _ = Hashtbl.add utf82macro "\226\142\177" "rmoust" +let _ = Hashtbl.add utf82macro "\226\142\180" "tbrk" +let _ = Hashtbl.add utf82macro "\226\142\180" "OverBracket" +let _ = Hashtbl.add utf82macro "\226\142\181" "UnderBracket" +let _ = Hashtbl.add utf82macro "\226\142\181" "bbrk" +let _ = Hashtbl.add utf82macro "\226\137\139\204\184" "napid" +let _ = Hashtbl.add utf82macro "\226\144\163" "blank" +let _ = Hashtbl.add utf82macro "\226\138\131/" "suphsol" +let _ = Hashtbl.add utf82macro "\226\146\162\204\184" "NotNestedGreaterGreater" +let _ = Hashtbl.add utf82macro "\226\147\136" "oS" +let _ = Hashtbl.add utf82macro "\226\147\136" "circledS" +let _ = Hashtbl.add utf82macro "\227\128\138" "Lang" +let _ = Hashtbl.add utf82macro "\227\128\139" "Rang" +let _ = Hashtbl.add utf82macro "\226\148\128" "HorizontalLine" +let _ = Hashtbl.add utf82macro "\226\148\128" "boxh" +let _ = Hashtbl.add utf82macro "\226\136\166\239\184\128" "nspar" +let _ = Hashtbl.add utf82macro "\226\136\166\239\184\128" "nshortparallel" +let _ = Hashtbl.add utf82macro "\227\128\148" "lbbrk" +let _ = Hashtbl.add utf82macro "\227\128\149" "rbbrk" +let _ = Hashtbl.add utf82macro "\226\148\130" "boxv" +let _ = Hashtbl.add utf82macro "\227\128\152" "lopar" +let _ = Hashtbl.add utf82macro "\227\128\153" "ropar" +let _ = Hashtbl.add utf82macro "\227\128\154" "lobrk" +let _ = Hashtbl.add utf82macro "\227\128\154" "LeftDoubleBracket" +let _ = Hashtbl.add utf82macro "\227\128\155" "robrk" +let _ = Hashtbl.add utf82macro "\227\128\155" "RightDoubleBracket" +let _ = Hashtbl.add utf82macro "\226\148\140" "boxdr" +let _ = Hashtbl.add utf82macro "\226\148\144" "boxdl" +let _ = Hashtbl.add utf82macro "\226\148\148" "boxur" +let _ = Hashtbl.add utf82macro "\226\148\152" "boxul" +let _ = Hashtbl.add utf82macro "\226\148\156" "boxvr" +let _ = Hashtbl.add utf82macro "\226\149\144" "boxH" +let _ = Hashtbl.add utf82macro "\226\148\164" "boxvl" +let _ = Hashtbl.add utf82macro "\226\149\145" "boxV" +let _ = Hashtbl.add utf82macro "\226\149\146" "boxdR" +let _ = Hashtbl.add utf82macro "\226\150\128" "uhblk" +let _ = Hashtbl.add utf82macro "\226\149\147" "boxDr" +let _ = Hashtbl.add utf82macro "\226\149\148" "boxDR" +let _ = Hashtbl.add utf82macro "\226\137\168\239\184\128" "lvnE" +let _ = Hashtbl.add utf82macro "\226\137\168\239\184\128" "lvertneqq" +let _ = Hashtbl.add utf82macro "\226\149\149" "boxdL" +let _ = Hashtbl.add utf82macro "\226\149\150" "boxDl" +let _ = Hashtbl.add utf82macro "\226\150\132" "lhblk" +let _ = Hashtbl.add utf82macro "\226\149\151" "boxDL" +let _ = Hashtbl.add utf82macro "\226\149\152" "boxuR" +let _ = Hashtbl.add utf82macro "\226\149\153" "boxUr" +let _ = Hashtbl.add utf82macro "\226\148\172" "boxhd" +let _ = Hashtbl.add utf82macro "\226\149\154" "boxUR" +let _ = Hashtbl.add utf82macro "\226\149\155" "boxuL" +let _ = Hashtbl.add utf82macro "\226\150\136" "block" +let _ = Hashtbl.add utf82macro "\226\149\156" "boxUl" +let _ = Hashtbl.add utf82macro "\226\149\157" "boxUL" +let _ = Hashtbl.add utf82macro "\226\149\158" "boxvR" +let _ = Hashtbl.add utf82macro "\226\149\159" "boxVr" +let _ = Hashtbl.add utf82macro "\226\149\160" "boxVR" +let _ = Hashtbl.add utf82macro "\226\149\161" "boxvL" +let _ = Hashtbl.add utf82macro "\226\148\180" "boxhu" +let _ = Hashtbl.add utf82macro "\226\149\162" "boxVl" +let _ = Hashtbl.add utf82macro "\226\149\163" "boxVL" +let _ = Hashtbl.add utf82macro "\226\149\164" "boxHd" +let _ = Hashtbl.add utf82macro "\226\150\145" "blk14" +let _ = Hashtbl.add utf82macro "\226\149\165" "boxhD" +let _ = Hashtbl.add utf82macro "\226\150\146" "blk12" +let _ = Hashtbl.add utf82macro "\226\149\166" "boxHD" +let _ = Hashtbl.add utf82macro "\226\150\147" "blk34" +let _ = Hashtbl.add utf82macro "\226\149\167" "boxHu" +let _ = Hashtbl.add utf82macro "\226\151\130" "ltrif" +let _ = Hashtbl.add utf82macro "\226\149\168" "boxhU" +let _ = Hashtbl.add utf82macro "\226\151\130" "blacktriangleleft" +let _ = Hashtbl.add utf82macro "\226\151\131" "triangleleft" +let _ = Hashtbl.add utf82macro "\226\151\131" "triangleleft" +let _ = Hashtbl.add utf82macro "\226\151\131" "ltri" +let _ = Hashtbl.add utf82macro "\226\148\188" "boxvh" +let _ = Hashtbl.add utf82macro "\226\149\169" "boxHU" +let _ = Hashtbl.add utf82macro "\226\149\170" "boxvH" +let _ = Hashtbl.add utf82macro "\226\149\171" "boxVh" +let _ = Hashtbl.add utf82macro "\226\149\172" "boxVH" +let _ = Hashtbl.add utf82macro "\226\151\138" "lozenge" +let _ = Hashtbl.add utf82macro "\226\151\138" "loz" +let _ = Hashtbl.add utf82macro "\226\151\139" "cir" +let _ = Hashtbl.add utf82macro "\226\170\172\239\184\128" "smtes" +let _ = Hashtbl.add utf82macro "\226\150\161" "Square" +let _ = Hashtbl.add utf82macro "\226\150\161" "square" +let _ = Hashtbl.add utf82macro "\226\150\161" "squ" +let _ = Hashtbl.add utf82macro "\226\140\132\239\184\128" "ShortDownArrow" +let _ = Hashtbl.add utf82macro "\226\150\170" "squf" +let _ = Hashtbl.add utf82macro "\226\150\170" "squarf" +let _ = Hashtbl.add utf82macro "\226\150\170" "blacksquare" +let _ = Hashtbl.add utf82macro "\226\152\133" "starf" +let _ = Hashtbl.add utf82macro "\226\152\133" "bigstar" +let _ = Hashtbl.add utf82macro "\226\150\173" "rect" +let _ = Hashtbl.add utf82macro "\226\150\174" "marker" +let _ = Hashtbl.add utf82macro "\226\150\179" "bigtriangleup" +let _ = Hashtbl.add utf82macro "\226\150\179" "xutri" +let _ = Hashtbl.add utf82macro "\226\150\179" "bigtriangleup" +let _ = Hashtbl.add utf82macro "\226\150\180" "utrif" +let _ = Hashtbl.add utf82macro "\226\152\142" "phone" +let _ = Hashtbl.add utf82macro "\226\150\180" "blacktriangle" +let _ = Hashtbl.add utf82macro "\226\150\181" "triangle" +let _ = Hashtbl.add utf82macro "\226\150\181" "utri" +let _ = Hashtbl.add utf82macro "\226\150\181" "triangle" +let _ = Hashtbl.add utf82macro "\226\150\184" "rtrif" +let _ = Hashtbl.add utf82macro "\226\150\184" "blacktriangleright" +let _ = Hashtbl.add utf82macro "\226\150\185" "triangleright" +let _ = Hashtbl.add utf82macro "\226\150\185" "triangleright" +let _ = Hashtbl.add utf82macro "\226\150\185" "rtri" +let _ = Hashtbl.add utf82macro "\226\153\128" "female" +let _ = Hashtbl.add utf82macro "\226\153\130" "male" +let _ = Hashtbl.add utf82macro "\226\150\189" "bigtriangledown" +let _ = Hashtbl.add utf82macro "\226\150\189" "xdtri" +let _ = Hashtbl.add utf82macro "\226\150\189" "bigtriangledown" +let _ = Hashtbl.add utf82macro "\226\150\190" "dtrif" +let _ = Hashtbl.add utf82macro "\226\150\190" "blacktriangledown" +let _ = Hashtbl.add utf82macro "\226\151\172" "tridot" +let _ = Hashtbl.add utf82macro "\226\150\191" "triangledown" +let _ = Hashtbl.add utf82macro "\226\128\137\226\128\138\226\128\138" "ThickSpace" +let _ = Hashtbl.add utf82macro "\226\150\191" "dtri" +let _ = Hashtbl.add utf82macro "\226\151\175" "bigcirc" +let _ = Hashtbl.add utf82macro "\226\151\175" "xcirc" +let _ = Hashtbl.add utf82macro "\226\151\175" "bigcirc" +let _ = Hashtbl.add utf82macro "\226\137\177\226\131\165" "NotGreaterEqual" +let _ = Hashtbl.add utf82macro "\226\137\177\226\131\165" "ngeq" +let _ = Hashtbl.add utf82macro "\226\137\177\226\131\165" "nge" +let _ = Hashtbl.add utf82macro "\226\151\184" "ultri" +let _ = Hashtbl.add utf82macro "=\226\131\165" "bne" +let _ = Hashtbl.add utf82macro "\226\151\185" "urtri" +let _ = Hashtbl.add utf82macro "\226\151\186" "lltri" +let _ = Hashtbl.add utf82macro "\226\151\189" "EmptySmallSquare" +let _ = Hashtbl.add utf82macro "\226\151\190" "FilledSmallSquare" +let _ = Hashtbl.add utf82macro "\226\153\160" "spadesuit" +let _ = Hashtbl.add utf82macro "\226\153\160" "spadesuit" +let _ = Hashtbl.add utf82macro "\226\153\160" "spades" +let _ = Hashtbl.add utf82macro "\226\153\161" "heartsuit" +let _ = Hashtbl.add utf82macro "\226\153\161" "heartsuit" +let _ = Hashtbl.add utf82macro "\226\153\162" "diamondsuit" +let _ = Hashtbl.add utf82macro "\226\153\163" "clubsuit" +let _ = Hashtbl.add utf82macro "\226\153\163" "clubsuit" +let _ = Hashtbl.add utf82macro "\226\153\163" "clubs" +let _ = Hashtbl.add utf82macro "\226\153\166" "diams" +let _ = Hashtbl.add utf82macro "\226\153\166" "diamondsuit" +let _ = Hashtbl.add utf82macro "ker" "ker" +let _ = Hashtbl.add utf82macro "\226\153\170" "sung" +let _ = Hashtbl.add utf82macro "\226\153\173" "flat" +let _ = Hashtbl.add utf82macro "\226\153\173" "flat" +let _ = Hashtbl.add utf82macro "\226\153\174" "natural" +let _ = Hashtbl.add utf82macro "\226\153\174" "natural" +let _ = Hashtbl.add utf82macro "\226\153\174" "natur" +let _ = Hashtbl.add utf82macro "\226\153\175" "sharp" +let _ = Hashtbl.add utf82macro "\226\153\175" "sharp" +let _ = Hashtbl.add utf82macro "\226\156\147" "checkmark" +let _ = Hashtbl.add utf82macro "\226\156\147" "check" +let _ = Hashtbl.add utf82macro "\226\156\151" "cross" +let _ = Hashtbl.add utf82macro "\226\134\146\239\184\128" "srarr" +let _ = Hashtbl.add utf82macro "\226\134\146\239\184\128" "ShortRightArrow" +let _ = Hashtbl.add utf82macro "\226\156\160" "maltese" +let _ = Hashtbl.add utf82macro "\226\156\160" "malt" +let _ = Hashtbl.add utf82macro "\226\157\152" "VerticalSeparator" +let _ = Hashtbl.add utf82macro "\226\156\182" "sext" +let _ = Hashtbl.add utf82macro "\226\138\143\204\184" "NotSquareSubset" +let _ = Hashtbl.add utf82macro "\226\136\150\239\184\128" "ssetmn" +let _ = Hashtbl.add utf82macro "\226\136\150\239\184\128" "smallsetminus" +let _ = Hashtbl.add utf82macro "\226\136\164\239\184\128" "nsmid" +let _ = Hashtbl.add utf82macro "\226\136\164\239\184\128" "nshortmid" +let _ = Hashtbl.add utf82macro "\226\164\133" "Map" +let _ = Hashtbl.add utf82macro "\226\164\140" "lbarr" +let _ = Hashtbl.add utf82macro "\226\164\141" "rbarr" +let _ = Hashtbl.add utf82macro "\226\164\141" "bkarow" +let _ = Hashtbl.add utf82macro "\226\164\142" "lBarr" +let _ = Hashtbl.add utf82macro "\226\164\143" "rBarr" +let _ = Hashtbl.add utf82macro "\226\164\143" "dbkarow" +let _ = Hashtbl.add utf82macro "\226\164\143" "ac" +let _ = Hashtbl.add utf82macro "\226\164\144" "RBarr" +let _ = Hashtbl.add utf82macro "\226\164\144" "drbkarow" +let _ = Hashtbl.add utf82macro "\226\164\145" "DDotrahd" +let _ = Hashtbl.add utf82macro "\226\164\146" "UpArrowBar" +let _ = Hashtbl.add utf82macro "\226\138\147\239\184\128" "sqcaps" +let _ = Hashtbl.add utf82macro "\226\164\147" "DownArrowBar" +let _ = Hashtbl.add utf82macro "\226\164\150" "Rarrtl" +let _ = Hashtbl.add utf82macro "exp" "exp" +let _ = Hashtbl.add utf82macro "\226\165\133" "rarrpl" +let _ = Hashtbl.add utf82macro "tanh" "tanh" +let _ = Hashtbl.add utf82macro "\226\164\153" "latail" +let _ = Hashtbl.add utf82macro "\226\164\155" "lAtail" +let _ = Hashtbl.add utf82macro "\226\165\136" "harrcir" +let _ = Hashtbl.add utf82macro "arcsin" "arcsin" +let _ = Hashtbl.add utf82macro "\226\165\137" "Uarrocir" +let _ = Hashtbl.add utf82macro "\226\164\156" "rAtail" +let _ = Hashtbl.add utf82macro "\226\137\129\204\184" "nvsim" +let _ = Hashtbl.add utf82macro "\226\165\138" "lurdshar" +let _ = Hashtbl.add utf82macro "\226\164\157" "larrfs" +let _ = Hashtbl.add utf82macro "\226\164\158" "rarrfs" +let _ = Hashtbl.add utf82macro "\226\165\139" "ldrushar" +let _ = Hashtbl.add utf82macro "\226\164\159" "larrbfs" +let _ = Hashtbl.add utf82macro "\226\164\160" "rarrbfs" +let _ = Hashtbl.add utf82macro "\226\165\142" "LeftRightVector" +let _ = Hashtbl.add utf82macro "\226\165\143" "RightUpDownVector" +let _ = Hashtbl.add utf82macro "\226\164\163" "nwarhk" +let _ = Hashtbl.add utf82macro "\226\165\144" "DownLeftRightVector" +let _ = Hashtbl.add utf82macro "\226\164\164" "nearhk" +let _ = Hashtbl.add utf82macro "\226\165\145" "LeftUpDownVector" +let _ = Hashtbl.add utf82macro "\226\164\165" "searhk" +let _ = Hashtbl.add utf82macro "\226\165\146" "LeftVectorBar" +let _ = Hashtbl.add utf82macro "\226\164\165" "hksearow" +let _ = Hashtbl.add utf82macro "\226\164\166" "swarhk" +let _ = Hashtbl.add utf82macro "\226\165\147" "RightVectorBar" +let _ = Hashtbl.add utf82macro "\226\164\166" "hkswarow" +let _ = Hashtbl.add utf82macro "\226\165\148" "RightUpVectorBar" +let _ = Hashtbl.add utf82macro "\226\164\167" "nwnear" +let _ = Hashtbl.add utf82macro "\226\164\168" "toea" +let _ = Hashtbl.add utf82macro "\226\165\149" "RightDownVectorBar" +let _ = Hashtbl.add utf82macro "\226\164\168" "nesear" +let _ = Hashtbl.add utf82macro "\226\164\169" "tosa" +let _ = Hashtbl.add utf82macro "\226\164\169" "seswar" +let _ = Hashtbl.add utf82macro "\226\165\150" "DownLeftVectorBar" +let _ = Hashtbl.add utf82macro "\226\164\170" "swnwar" +let _ = Hashtbl.add utf82macro "\226\165\151" "DownRightVectorBar" +let _ = Hashtbl.add utf82macro "\226\165\152" "LeftUpVectorBar" +let _ = Hashtbl.add utf82macro "\226\165\153" "LeftDownVectorBar" +let _ = Hashtbl.add utf82macro "\226\165\154" "LeftTeeVector" +let _ = Hashtbl.add utf82macro "\226\165\155" "RightTeeVector" +let _ = Hashtbl.add utf82macro "\226\165\156" "RightUpTeeVector" +let _ = Hashtbl.add utf82macro "\226\165\157" "RightDownTeeVector" +let _ = Hashtbl.add utf82macro "\226\139\152\204\184" "nLl" +let _ = Hashtbl.add utf82macro "\226\166\139" "lbrke" +let _ = Hashtbl.add utf82macro "\226\165\158" "DownLeftTeeVector" +let _ = Hashtbl.add utf82macro "\226\166\140" "rbrke" +let _ = Hashtbl.add utf82macro "\226\165\159" "DownRightTeeVector" +let _ = Hashtbl.add utf82macro "\226\164\179" "rarrc" +let _ = Hashtbl.add utf82macro "\226\165\160" "LeftUpTeeVector" +let _ = Hashtbl.add utf82macro "\226\166\141" "lbrkslu" +let _ = Hashtbl.add utf82macro "\226\166\142" "rbrksld" +let _ = Hashtbl.add utf82macro "\226\165\161" "LeftDownTeeVector" +let _ = Hashtbl.add utf82macro "\226\165\162" "lHar" +let _ = Hashtbl.add utf82macro "\226\166\143" "lbrksld" +let _ = Hashtbl.add utf82macro "\226\164\181" "cudarrr" +let _ = Hashtbl.add utf82macro "sinh" "sinh" +let _ = Hashtbl.add utf82macro "\226\165\163" "uHar" +let _ = Hashtbl.add utf82macro "\226\166\144" "rbrkslu" +let _ = Hashtbl.add utf82macro "\226\164\182" "ldca" +let _ = Hashtbl.add utf82macro "\226\165\164" "rHar" +let _ = Hashtbl.add utf82macro "\226\164\183" "rdca" +let _ = Hashtbl.add utf82macro "\226\166\145" "langd" +let _ = Hashtbl.add utf82macro "\226\166\146" "rangd" +let _ = Hashtbl.add utf82macro "\226\165\165" "dHar" +let _ = Hashtbl.add utf82macro "\226\164\184" "cudarrl" +let _ = Hashtbl.add utf82macro "\226\167\128" "olt" +let _ = Hashtbl.add utf82macro "\226\136\137\204\184" "notinva" +let _ = Hashtbl.add utf82macro "\226\165\166" "luruhar" +let _ = Hashtbl.add utf82macro "\226\166\147" "lparlt" +let _ = Hashtbl.add utf82macro "\226\164\185" "larrpl" +let _ = Hashtbl.add utf82macro "\226\166\148" "rpargt" +let _ = Hashtbl.add utf82macro "\226\167\129" "ogt" +let _ = Hashtbl.add utf82macro "\226\165\167" "ldrdhar" +let _ = Hashtbl.add utf82macro "\226\165\168" "ruluhar" +let _ = Hashtbl.add utf82macro "\226\166\149" "gtlPar" +let _ = Hashtbl.add utf82macro "\226\167\130" "cirscir" +let _ = Hashtbl.add utf82macro "\226\165\169" "rdldhar" +let _ = Hashtbl.add utf82macro "\226\166\150" "ltrPar" +let _ = Hashtbl.add utf82macro "\226\164\188" "curarrm" +let _ = Hashtbl.add utf82macro "\226\167\131" "cirE" +let _ = Hashtbl.add utf82macro "\226\137\161\226\131\165" "bnequiv" +let _ = Hashtbl.add utf82macro "\226\167\132" "solb" +let _ = Hashtbl.add utf82macro "\226\165\170" "lharul" +let _ = Hashtbl.add utf82macro "\226\164\189" "cularrp" +let _ = Hashtbl.add utf82macro "\226\165\171" "llhard" +let _ = Hashtbl.add utf82macro "\226\167\133" "bsolb" +let _ = Hashtbl.add utf82macro "\226\165\172" "rharul" +let _ = Hashtbl.add utf82macro "\226\166\154" "vzigzag" +let _ = Hashtbl.add utf82macro "\226\165\173" "lrhard" +let _ = Hashtbl.add utf82macro "\226\165\174" "UpEquilibrium" +let _ = Hashtbl.add utf82macro "\226\165\174" "udhar" +let _ = Hashtbl.add utf82macro "\226\165\175" "ReverseUpEquilibrium" +let _ = Hashtbl.add utf82macro "\226\165\175" "duhar" +let _ = Hashtbl.add utf82macro "\226\167\137" "boxbox" +let _ = Hashtbl.add utf82macro "\226\165\176" "RoundImplies" +let _ = Hashtbl.add utf82macro "\226\166\157" "angrtvbd" +let _ = Hashtbl.add utf82macro "\226\165\177" "erarr" +let _ = Hashtbl.add utf82macro "\226\165\178" "simrarr" +let _ = Hashtbl.add utf82macro "\226\167\141" "trisb" +let _ = Hashtbl.add utf82macro "\226\165\179" "larrsim" +let _ = Hashtbl.add utf82macro "\226\167\142" "rtriltri" +let _ = Hashtbl.add utf82macro "\226\165\180" "rarrsim" +let _ = Hashtbl.add utf82macro "\226\165\181" "rarrap" +let _ = Hashtbl.add utf82macro "\226\167\143" "LeftTriangleBar" +let _ = Hashtbl.add utf82macro "\226\167\144" "RightTriangleBar" +let _ = Hashtbl.add utf82macro "\226\165\182" "ltlarr" +let _ = Hashtbl.add utf82macro "\226\166\164" "ange" +let _ = Hashtbl.add utf82macro "\226\166\165" "range" +let _ = Hashtbl.add utf82macro "\226\165\184" "gtrarr" +let _ = Hashtbl.add utf82macro "\226\165\185" "subrarr" +let _ = Hashtbl.add utf82macro "\226\166\166" "dwangle" +let _ = Hashtbl.add utf82macro "\226\166\167" "uwangle" +let _ = Hashtbl.add utf82macro "\226\165\187" "suplarr" +let _ = Hashtbl.add utf82macro "\226\166\168" "angmsdaa" +let _ = Hashtbl.add utf82macro "\226\165\188" "lfisht" +let _ = Hashtbl.add utf82macro "\226\166\169" "angmsdab" +let _ = Hashtbl.add utf82macro "\226\165\189" "rfisht" +let _ = Hashtbl.add utf82macro "\226\166\170" "angmsdac" +let _ = Hashtbl.add utf82macro "\226\165\190" "ufisht" +let _ = Hashtbl.add utf82macro "\226\166\171" "angmsdad" +let _ = Hashtbl.add utf82macro "\226\165\191" "dfisht" +let _ = Hashtbl.add utf82macro "\226\166\172" "angmsdae" +let _ = Hashtbl.add utf82macro "\226\167\154" "race" +let _ = Hashtbl.add utf82macro "\226\166\173" "angmsdaf" +let _ = Hashtbl.add utf82macro "\226\166\174" "angmsdag" +let _ = Hashtbl.add utf82macro "\226\167\155" "acE" +let _ = Hashtbl.add utf82macro "\226\167\156" "iinfin" +let _ = Hashtbl.add utf82macro "\226\166\175" "angmsdah" +let _ = Hashtbl.add utf82macro "\226\166\176" "bemptyv" +let _ = Hashtbl.add utf82macro "\226\167\158" "nvinfin" +let _ = Hashtbl.add utf82macro "\226\166\177" "demptyv" +let _ = Hashtbl.add utf82macro "\226\168\140" "qint" +let _ = Hashtbl.add utf82macro "\226\168\140" "iiiint" +let _ = Hashtbl.add utf82macro "\226\166\178" "cemptyv" +let _ = Hashtbl.add utf82macro "\226\166\179" "raemptyv" +let _ = Hashtbl.add utf82macro "\226\168\141" "fpartint" +let _ = Hashtbl.add utf82macro "\226\166\180" "laemptyv" +let _ = Hashtbl.add utf82macro "\226\166\181" "ohbar" +let _ = Hashtbl.add utf82macro "\226\166\182" "omid" +let _ = Hashtbl.add utf82macro "\226\167\163" "eparsl" +let _ = Hashtbl.add utf82macro "\226\168\144" "cirfnint" +let _ = Hashtbl.add utf82macro "\226\167\164" "smeparsl" +let _ = Hashtbl.add utf82macro "\226\166\183" "opar" +let _ = Hashtbl.add utf82macro "\226\168\145" "awint" +let _ = Hashtbl.add utf82macro "\226\168\146" "rppolint" +let _ = Hashtbl.add utf82macro "\226\167\165" "eqvparsl" +let _ = Hashtbl.add utf82macro "\226\168\147" "scpolint" +let _ = Hashtbl.add utf82macro "\226\166\185" "operp" +let _ = Hashtbl.add utf82macro "\226\169\128" "capdot" +let _ = Hashtbl.add utf82macro "\226\168\148" "npolint" +let _ = Hashtbl.add utf82macro "\226\168\149" "pointint" +let _ = Hashtbl.add utf82macro "\226\166\187" "olcross" +let _ = Hashtbl.add utf82macro "\226\169\130" "ncup" +let _ = Hashtbl.add utf82macro "\226\168\150" "quatint" +let _ = Hashtbl.add utf82macro "\226\166\188" "odsold" +let _ = Hashtbl.add utf82macro "\226\169\131" "ncap" +let _ = Hashtbl.add utf82macro "\226\168\151" "intlarhk" +let _ = Hashtbl.add utf82macro "\226\169\132" "capand" +let _ = Hashtbl.add utf82macro "\226\166\190" "olcir" +let _ = Hashtbl.add utf82macro "\226\167\171" "lozf" +let _ = Hashtbl.add utf82macro "\226\169\133" "cupor" +let _ = Hashtbl.add utf82macro "\226\167\171" "blacklozenge" +let _ = Hashtbl.add utf82macro "\226\166\191" "ofcir" +let _ = Hashtbl.add utf82macro "\226\169\134" "cupcap" +let _ = Hashtbl.add utf82macro "\226\169\135" "capcup" +let _ = Hashtbl.add utf82macro "\226\169\136" "cupbrcap" +let _ = Hashtbl.add utf82macro "\226\169\137" "capbrcup" +let _ = Hashtbl.add utf82macro "\226\169\138" "cupcup" +let _ = Hashtbl.add utf82macro "\226\169\139" "capcap" +let _ = Hashtbl.add utf82macro "\226\169\140" "ccups" +let _ = Hashtbl.add utf82macro "\226\169\141" "ccaps" +let _ = Hashtbl.add utf82macro "\226\167\180" "RuleDelayed" +let _ = Hashtbl.add utf82macro "\226\168\162" "pluscir" +let _ = Hashtbl.add utf82macro "\226\168\163" "plusacir" +let _ = Hashtbl.add utf82macro "\226\167\182" "dsol" +let _ = Hashtbl.add utf82macro "\226\169\144" "ccupssm" +let _ = Hashtbl.add utf82macro "\226\168\164" "simplus" +let _ = Hashtbl.add utf82macro "\226\168\165" "plusdu" +let _ = Hashtbl.add utf82macro "\226\168\166" "plussim" +let _ = Hashtbl.add utf82macro "\226\170\128" "gesdot" +let _ = Hashtbl.add utf82macro "\226\169\147" "And" +let _ = Hashtbl.add utf82macro "\226\168\167" "plustwo" +let _ = Hashtbl.add utf82macro "\226\169\148" "Or" +let _ = Hashtbl.add utf82macro "\226\170\129" "lesdoto" +let _ = Hashtbl.add utf82macro "\226\170\130" "gesdoto" +let _ = Hashtbl.add utf82macro "\226\169\149" "andand" +let _ = Hashtbl.add utf82macro "\226\169\150" "oror" +let _ = Hashtbl.add utf82macro "\226\168\169" "mcomma" +let _ = Hashtbl.add utf82macro "\226\170\131" "lesdotor" +let _ = Hashtbl.add utf82macro "\226\169\151" "orslope" +let _ = Hashtbl.add utf82macro "\226\168\170" "minusdu" +let _ = Hashtbl.add utf82macro "\226\170\132" "gesdotol" +let _ = Hashtbl.add utf82macro "\226\169\152" "andslope" +let _ = Hashtbl.add utf82macro "\226\168\173" "loplus" +let _ = Hashtbl.add utf82macro "\226\169\154" "andv" +let _ = Hashtbl.add utf82macro "\226\168\174" "roplus" +let _ = Hashtbl.add utf82macro "\226\169\155" "orv" +let _ = Hashtbl.add utf82macro "\226\170\137" "lnapprox" +let _ = Hashtbl.add utf82macro "\226\170\137" "lnap" +let _ = Hashtbl.add utf82macro "\226\168\175" "Cross" +let _ = Hashtbl.add utf82macro "\226\169\156" "andd" +let _ = Hashtbl.add utf82macro "\226\168\176" "timesd" +let _ = Hashtbl.add utf82macro "\226\169\157" "ord" +let _ = Hashtbl.add utf82macro "\226\170\138" "gnapprox" +let _ = Hashtbl.add utf82macro "\226\170\138" "gnap" +let _ = Hashtbl.add utf82macro "\226\168\177" "timesbar" +let _ = Hashtbl.add utf82macro "\226\169\159" "wedbar" +let _ = Hashtbl.add utf82macro "j\239\184\128" "jmath" +let _ = Hashtbl.add utf82macro "\226\168\179" "smashp" +let _ = Hashtbl.add utf82macro "\226\170\141" "lsime" +let _ = Hashtbl.add utf82macro "j\239\184\128" "jmath" +let _ = Hashtbl.add utf82macro "\226\168\180" "lotimes" +let _ = Hashtbl.add utf82macro "\226\170\142" "gsime" +let _ = Hashtbl.add utf82macro "\226\168\181" "rotimes" +let _ = Hashtbl.add utf82macro "\226\170\143" "lsimg" +let _ = Hashtbl.add utf82macro "\226\168\182" "otimesas" +let _ = Hashtbl.add utf82macro "\226\170\144" "gsiml" +let _ = Hashtbl.add utf82macro "\226\168\183" "Otimes" +let _ = Hashtbl.add utf82macro "\226\170\145" "lgE" +let _ = Hashtbl.add utf82macro "\226\168\184" "odiv" +let _ = Hashtbl.add utf82macro "\226\170\146" "glE" +let _ = Hashtbl.add utf82macro "\226\168\185" "triplus" +let _ = Hashtbl.add utf82macro "\226\171\128" "supplus" +let _ = Hashtbl.add utf82macro "\226\169\166" "sdote" +let _ = Hashtbl.add utf82macro "\226\170\147" "lesges" +let _ = Hashtbl.add utf82macro "\226\168\186" "triminus" +let _ = Hashtbl.add utf82macro "\226\171\129" "submult" +let _ = Hashtbl.add utf82macro "\226\170\148" "gesles" +let _ = Hashtbl.add utf82macro "\226\168\187" "tritime" +let _ = Hashtbl.add utf82macro "\226\171\130" "supmult" +let _ = Hashtbl.add utf82macro "\226\171\131" "subedot" +let _ = Hashtbl.add utf82macro "\226\168\188" "iprod" +let _ = Hashtbl.add utf82macro "\226\168\188" "intprod" +let _ = Hashtbl.add utf82macro "\226\171\132" "supedot" +let _ = Hashtbl.add utf82macro "\226\169\170" "simdot" +let _ = Hashtbl.add utf82macro "\226\170\151" "elsdot" +let _ = Hashtbl.add utf82macro "\226\170\152" "egsdot" +let _ = Hashtbl.add utf82macro "\226\168\191" "amalg" +let _ = Hashtbl.add utf82macro "\226\170\153" "el" +let _ = Hashtbl.add utf82macro "\226\168\191" "amalg" +let _ = Hashtbl.add utf82macro "\226\171\135" "subsim" +let _ = Hashtbl.add utf82macro "\226\170\154" "eg" +let _ = Hashtbl.add utf82macro "\226\169\173" "congdot" +let _ = Hashtbl.add utf82macro "\226\171\136" "supsim" +let _ = Hashtbl.add utf82macro "\226\169\175" "apacir" +let _ = Hashtbl.add utf82macro "\226\170\157" "siml" +let _ = Hashtbl.add utf82macro "\226\170\158" "simg" +let _ = Hashtbl.add utf82macro "\226\169\177" "eplus" +let _ = Hashtbl.add utf82macro "\226\170\159" "simlE" +let _ = Hashtbl.add utf82macro "\226\169\178" "pluse" +let _ = Hashtbl.add utf82macro "\226\170\160" "simgE" +let _ = Hashtbl.add utf82macro "\226\169\179" "Esim" +let _ = Hashtbl.add utf82macro "\226\170\161" "LessLess" +let _ = Hashtbl.add utf82macro "\226\169\180" "Colone" +let _ = Hashtbl.add utf82macro "\226\170\162" "GreaterGreater" +let _ = Hashtbl.add utf82macro "\226\169\181" "Equal" +let _ = Hashtbl.add utf82macro "\226\171\143" "csub" +let _ = Hashtbl.add utf82macro "\226\171\144" "csup" +let _ = Hashtbl.add utf82macro "\226\170\164" "glj" +let _ = Hashtbl.add utf82macro "\226\169\183" "eDDot" +let _ = Hashtbl.add utf82macro "\226\169\183" "ddotseq" +let _ = Hashtbl.add utf82macro "\226\171\145" "csube" +let _ = Hashtbl.add utf82macro "\226\170\165" "gla" +let _ = Hashtbl.add utf82macro "\226\169\184" "equivDD" +let _ = Hashtbl.add utf82macro "\226\171\146" "csupe" +let _ = Hashtbl.add utf82macro "\226\171\147" "subsup" +let _ = Hashtbl.add utf82macro "\226\169\185" "ltcir" +let _ = Hashtbl.add utf82macro "\226\170\166" "ltcc" +let _ = Hashtbl.add utf82macro "\226\171\148" "supsub" +let _ = Hashtbl.add utf82macro "\226\169\186" "gtcir" +let _ = Hashtbl.add utf82macro "\226\170\167" "gtcc" +let _ = Hashtbl.add utf82macro "\226\171\149" "subsub" +let _ = Hashtbl.add utf82macro "\226\169\187" "ltquest" +let _ = Hashtbl.add utf82macro "\226\170\168" "lescc" +let _ = Hashtbl.add utf82macro "\226\171\150" "supsup" +let _ = Hashtbl.add utf82macro "\226\169\188" "gtquest" +let _ = Hashtbl.add utf82macro "\226\170\169" "gescc" +let _ = Hashtbl.add utf82macro "\226\171\151" "suphsub" +let _ = Hashtbl.add utf82macro "\226\170\170" "smt" +let _ = Hashtbl.add utf82macro "\226\169\189" "LessSlantEqual" +let _ = Hashtbl.add utf82macro "\226\169\189" "les" +let _ = Hashtbl.add utf82macro "\226\169\189" "leqslant" +let _ = Hashtbl.add utf82macro "\226\171\152" "supdsub" +let _ = Hashtbl.add utf82macro "\226\134\144\239\184\128" "slarr" +let _ = Hashtbl.add utf82macro "\226\134\144\239\184\128" "ShortLeftArrow" +let _ = Hashtbl.add utf82macro "\226\170\171" "lat" +let _ = Hashtbl.add utf82macro "\226\169\190" "GreaterSlantEqual" +let _ = Hashtbl.add utf82macro "\226\169\190" "ges" +let _ = Hashtbl.add utf82macro "\226\169\190" "geqslant" +let _ = Hashtbl.add utf82macro "\226\170\172" "smte" +let _ = Hashtbl.add utf82macro "\226\169\191" "lesdot" +let _ = Hashtbl.add utf82macro "\226\171\153" "forkv" +let _ = Hashtbl.add utf82macro "\226\171\154" "topfork" +let _ = Hashtbl.add utf82macro "\226\170\173" "late" +let _ = Hashtbl.add utf82macro "\226\171\155" "mlcp" +let _ = Hashtbl.add utf82macro "\226\170\174" "bumpE" +let _ = Hashtbl.add utf82macro "\226\170\175" "preceq" +let _ = Hashtbl.add utf82macro "\226\170\175" "preceq" +let _ = Hashtbl.add utf82macro "\226\170\175" "PrecedesEqual" +let _ = Hashtbl.add utf82macro "\226\170\175" "prE" +let _ = Hashtbl.add utf82macro "\226\170\175" "pre" +let _ = Hashtbl.add utf82macro "\226\170\181" "prnE" +let _ = Hashtbl.add utf82macro "\226\170\181" "precneqq" +let _ = Hashtbl.add utf82macro "\226\170\182" "succneqq" +let _ = Hashtbl.add utf82macro "\226\170\182" "scnE" +let _ = Hashtbl.add utf82macro "\226\171\164" "DoubleLeftTee" +let _ = Hashtbl.add utf82macro "\226\171\164" "Dashv" +let _ = Hashtbl.add utf82macro "\226\171\166" "Vdashl" +let _ = Hashtbl.add utf82macro "\226\171\167" "Barv" +let _ = Hashtbl.add utf82macro "\226\171\168" "vBar" +let _ = Hashtbl.add utf82macro "\226\170\187" "Pr" +let _ = Hashtbl.add utf82macro "\226\171\169" "vBarv" +let _ = Hashtbl.add utf82macro "\226\170\188" "Sc" +let _ = Hashtbl.add utf82macro "\226\170\189" "subdot" +let _ = Hashtbl.add utf82macro "\226\171\171" "Vbar" +let _ = Hashtbl.add utf82macro "\226\170\190" "supdot" +let _ = Hashtbl.add utf82macro "\226\170\191" "subplus" +let _ = Hashtbl.add utf82macro "\226\171\172" "Not" +let _ = Hashtbl.add utf82macro "\226\171\173" "bNot" +let _ = Hashtbl.add utf82macro "\226\171\174" "rnmid" +let _ = Hashtbl.add utf82macro "\226\171\175" "cirmid" +let _ = Hashtbl.add utf82macro "\226\171\176" "midcir" +let _ = Hashtbl.add utf82macro "\226\171\177" "topcir" +let _ = Hashtbl.add utf82macro "\226\171\178" "nhpar" +let _ = Hashtbl.add utf82macro "\226\171\179" "parsim" +let _ = Hashtbl.add utf82macro "\226\128\137\239\184\128" "NegativeThinSpace" +let _ = Hashtbl.add utf82macro "arctan" "arctan" +let _ = Hashtbl.add utf82macro "\226\137\136\239\184\128" "thkap" +let _ = Hashtbl.add utf82macro "\226\137\136\239\184\128" "thickapprox" +let _ = Hashtbl.add utf82macro "lim" "lim" +let _ = Hashtbl.add utf82macro "\226\136\169\239\184\128" "caps" +let _ = Hashtbl.add utf82macro "\226\138\138\239\184\128" "vsubnE" +let _ = Hashtbl.add utf82macro "\226\138\138\239\184\128" "vsubne" +let _ = Hashtbl.add utf82macro "\226\138\138\239\184\128" "varsubsetneqq" +let _ = Hashtbl.add utf82macro "\226\138\138\239\184\128" "varsubsetneq" +let _ = Hashtbl.add utf82macro "\226\137\170\204\184\239\184\128" "NotLessLess" +let _ = Hashtbl.add utf82macro "\226\137\170\204\184\239\184\128" "nLtv" +let _ = Hashtbl.add utf82macro "\226\138\144\204\184" "NotSquareSuperset" +let _ = Hashtbl.add utf82macro "gcd" "gcd" +let _ = Hashtbl.add utf82macro "\226\139\154\239\184\128" "lesg" +let _ = Hashtbl.add utf82macro "\226\136\160\204\184" "nang" +let _ = Hashtbl.add utf82macro "log" "log" +let _ = Hashtbl.add utf82macro "arccos" "arccos" +let _ = Hashtbl.add utf82macro "\226\137\130\204\184" "NotEqualTilde" +let _ = Hashtbl.add utf82macro "\226\137\130\204\184" "nesim" +let _ = Hashtbl.add utf82macro "\226\137\171\204\184\239\184\128" "NotGreaterGreater" +let _ = Hashtbl.add utf82macro "\226\137\171\204\184\239\184\128" "nGtv" +let _ = Hashtbl.add utf82macro "\226\139\182\239\184\128" "notindot" +let _ = Hashtbl.add utf82macro "\226\137\191\204\184" "NotSucceedsTilde" +let _ = Hashtbl.add utf82macro "\226\139\153\204\184" "nGg" +let _ = Hashtbl.add utf82macro "\239\149\152" "loang" +let _ = Hashtbl.add utf82macro "\239\149\153" "roang" +let _ = Hashtbl.add utf82macro "\239\150\155" "FilledVerySmallSquare" +let _ = Hashtbl.add utf82macro "\239\150\156" "EmptyVerySmallSquare" +let _ = Hashtbl.add utf82macro "arg" "arg" +let _ = Hashtbl.add utf82macro "\239\150\162" "dzigrarr" +let _ = Hashtbl.add utf82macro "\239\149\182" "xlarr" +let _ = Hashtbl.add utf82macro "\239\149\182" "LongLeftArrow" +let _ = Hashtbl.add utf82macro "\239\149\182" "longleftarrow" +let _ = Hashtbl.add utf82macro "\239\149\183" "xrarr" +let _ = Hashtbl.add utf82macro "\239\149\183" "LongRightArrow" +let _ = Hashtbl.add utf82macro "\239\149\183" "longrightarrow" +let _ = Hashtbl.add utf82macro "\239\149\184" "xharr" +let _ = Hashtbl.add utf82macro "\239\149\184" "LongLeftRightArrow" +let _ = Hashtbl.add utf82macro "\239\149\184" "longleftrightarrow" +let _ = Hashtbl.add utf82macro "\239\149\185" "xlArr" +let _ = Hashtbl.add utf82macro "\239\149\185" "Longleftarrow" +let _ = Hashtbl.add utf82macro "\239\149\185" "DoubleLongLeftArrow" +let _ = Hashtbl.add utf82macro "\239\149\186" "xrArr" +let _ = Hashtbl.add utf82macro "\239\149\186" "Longrightarrow" +let _ = Hashtbl.add utf82macro "\239\149\186" "DoubleLongRightArrow" +let _ = Hashtbl.add utf82macro "\239\149\187" "xhArr" +let _ = Hashtbl.add utf82macro "\239\149\187" "Longleftrightarrow" +let _ = Hashtbl.add utf82macro "\239\149\187" "DoubleLongLeftRightArrow" +let _ = Hashtbl.add utf82macro "\239\149\189" "xmap" +let _ = Hashtbl.add utf82macro "\239\149\189" "longmapsto" +let _ = Hashtbl.add utf82macro "max" "min" +let _ = Hashtbl.add utf82macro "max" "max" +let _ = Hashtbl.add utf82macro "\226\169\176\204\184" "napE" +let _ = Hashtbl.add utf82macro "\\\226\138\130" "bsolhsub" +let _ = Hashtbl.add utf82macro "\226\136\165\239\184\128\226\131\165" "nparsl" +let _ = Hashtbl.add utf82macro "cosh" "cosh" +let _ = Hashtbl.add utf82macro "coth" "coth" +let _ = Hashtbl.add utf82macro "\226\136\188\239\184\128" "thksim" +let _ = Hashtbl.add utf82macro "\226\136\188\239\184\128" "thicksim" +let _ = Hashtbl.add utf82macro "\226\137\169\239\184\128" "gvnE" +let _ = Hashtbl.add utf82macro "\226\137\169\239\184\128" "gvertneqq" +let _ = Hashtbl.add utf82macro "\226\170\173\239\184\128" "lates" +let _ = Hashtbl.add utf82macro "\226\132\143\239\184\128" "hbar" +let _ = Hashtbl.add utf82macro "\226\132\143\239\184\128" "planck" +let _ = Hashtbl.add utf82macro "\226\132\143\239\184\128" "hbar" +let _ = Hashtbl.add utf82macro "sec" "sec" +let _ = Hashtbl.add utf82macro "\226\137\142\204\184" "NotHumpDownHump" +let _ = Hashtbl.add utf82macro "\226\137\142\204\184" "nbump" +let _ = Hashtbl.add utf82macro "mod" "bmod" +let _ = Hashtbl.add utf82macro "\226\128\133\239\184\128" "NegativeThickSpace" +let _ = Hashtbl.add utf82macro "sin" "sin" +let _ = Hashtbl.add utf82macro "Pr" "Pr" +let _ = Hashtbl.add utf82macro "\226\137\170\204\184" "nLt" +let _ = Hashtbl.add utf82macro "\226\136\165\239\184\128" "spar" +let _ = Hashtbl.add utf82macro "\226\136\165\239\184\128" "shortparallel" +let _ = Hashtbl.add utf82macro "\226\136\165\239\184\128" "parsl" +let _ = Hashtbl.add utf82macro "\239\172\128" "fflig" +let _ = Hashtbl.add utf82macro "\239\172\129" "filig" +let _ = Hashtbl.add utf82macro "\239\172\130" "fllig" +let _ = Hashtbl.add utf82macro "\239\172\131" "ffilig" +let _ = Hashtbl.add utf82macro "\239\172\132" "ffllig" +let _ = Hashtbl.add utf82macro "\226\167\143\204\184" "NotLeftTriangleBar" +let _ = Hashtbl.add utf82macro "\226\137\160\239\184\128" "nedot" +let _ = Hashtbl.add utf82macro "\226\138\148\239\184\128" "sqcups" +let _ = Hashtbl.add utf82macro "\226\140\131\239\184\128" "ShortUpArrow" +let _ = Hashtbl.add utf82macro "\226\137\137\204\184" "nvap" +let _ = Hashtbl.add utf82macro "\240\157\147\128" "kscr" +let _ = Hashtbl.add utf82macro "\240\157\147\130" "mscr" +let _ = Hashtbl.add utf82macro "\240\157\147\131" "nscr" +let _ = Hashtbl.add utf82macro "hom" "hom" +let _ = Hashtbl.add utf82macro "\240\157\147\133" "pscr" +let _ = Hashtbl.add utf82macro "\240\157\147\134" "qscr" +let _ = Hashtbl.add utf82macro "\240\157\147\135" "rscr" +let _ = Hashtbl.add utf82macro "\240\157\147\136" "sscr" +let _ = Hashtbl.add utf82macro "\240\157\147\137" "tscr" +let _ = Hashtbl.add utf82macro "\240\157\146\156" "Ascr" +let _ = Hashtbl.add utf82macro "\240\157\147\138" "uscr" +let _ = Hashtbl.add utf82macro "\240\157\147\139" "vscr" +let _ = Hashtbl.add utf82macro "\240\157\146\158" "Cscr" +let _ = Hashtbl.add utf82macro "\240\157\147\140" "wscr" +let _ = Hashtbl.add utf82macro "\240\157\146\159" "Dscr" +let _ = Hashtbl.add utf82macro "\240\157\147\141" "xscr" +let _ = Hashtbl.add utf82macro "\240\157\147\142" "yscr" +let _ = Hashtbl.add utf82macro "\240\157\147\143" "zscr" +let _ = Hashtbl.add utf82macro "\240\157\146\162" "Gscr" +let _ = Hashtbl.add utf82macro "\226\137\176\226\131\165" "NotLessEqual" +let _ = Hashtbl.add utf82macro "\226\137\176\226\131\165" "nleq" +let _ = Hashtbl.add utf82macro "\226\137\176\226\131\165" "nle" +let _ = Hashtbl.add utf82macro "\240\157\146\165" "Jscr" +let _ = Hashtbl.add utf82macro "\240\157\146\166" "Kscr" +let _ = Hashtbl.add utf82macro "\240\157\146\169" "Nscr" +let _ = Hashtbl.add utf82macro "\240\157\146\170" "Oscr" +let _ = Hashtbl.add utf82macro "\240\157\148\132" "Afr" +let _ = Hashtbl.add utf82macro "\240\157\146\171" "Pscr" +let _ = Hashtbl.add utf82macro "\240\157\148\133" "Bfr" +let _ = Hashtbl.add utf82macro "\240\157\146\172" "Qscr" +let _ = Hashtbl.add utf82macro "\240\157\148\135" "Dfr" +let _ = Hashtbl.add utf82macro "\240\157\146\174" "Sscr" +let _ = Hashtbl.add utf82macro "\240\157\148\136" "Efr" +let _ = Hashtbl.add utf82macro "\240\157\146\175" "Tscr" +let _ = Hashtbl.add utf82macro "\240\157\148\137" "Ffr" +let _ = Hashtbl.add utf82macro "\240\157\146\176" "Uscr" +let _ = Hashtbl.add utf82macro "\240\157\148\138" "Gfr" +let _ = Hashtbl.add utf82macro "\240\157\146\177" "Vscr" +let _ = Hashtbl.add utf82macro "\240\157\146\178" "Wscr" +let _ = Hashtbl.add utf82macro "\240\157\146\179" "Xscr" +let _ = Hashtbl.add utf82macro "\240\157\148\141" "Jfr" +let _ = Hashtbl.add utf82macro "\240\157\146\180" "Yscr" +let _ = Hashtbl.add utf82macro "\240\157\148\142" "Kfr" +let _ = Hashtbl.add utf82macro "\240\157\146\181" "Zscr" +let _ = Hashtbl.add utf82macro "\240\157\148\143" "Lfr" +let _ = Hashtbl.add utf82macro "\240\157\148\144" "Mfr" +let _ = Hashtbl.add utf82macro "\240\157\146\182" "ascr" +let _ = Hashtbl.add utf82macro "\240\157\148\145" "Nfr" +let _ = Hashtbl.add utf82macro "\240\157\146\183" "bscr" +let _ = Hashtbl.add utf82macro "\240\157\148\146" "Ofr" +let _ = Hashtbl.add utf82macro "\240\157\146\184" "cscr" +let _ = Hashtbl.add utf82macro "\240\157\148\147" "Pfr" +let _ = Hashtbl.add utf82macro "\240\157\149\128" "Iopf" +let _ = Hashtbl.add utf82macro "\240\157\146\185" "dscr" +let _ = Hashtbl.add utf82macro "\240\157\148\148" "Qfr" +let _ = Hashtbl.add utf82macro "\240\157\149\129" "Jopf" +let _ = Hashtbl.add utf82macro "\240\157\149\130" "Kopf" +let _ = Hashtbl.add utf82macro "\240\157\146\187" "fscr" +let _ = Hashtbl.add utf82macro "\240\157\148\150" "Sfr" +let _ = Hashtbl.add utf82macro "\240\157\149\131" "Lopf" +let _ = Hashtbl.add utf82macro "\240\157\149\131" "imped" +let _ = Hashtbl.add utf82macro "\240\157\148\151" "Tfr" +let _ = Hashtbl.add utf82macro "\240\157\149\132" "Mopf" +let _ = Hashtbl.add utf82macro "\240\157\146\189" "hscr" +let _ = Hashtbl.add utf82macro "\240\157\148\152" "Ufr" +let _ = Hashtbl.add utf82macro "\240\157\146\190" "iscr" +let _ = Hashtbl.add utf82macro "\240\157\148\153" "Vfr" +let _ = Hashtbl.add utf82macro "\240\157\149\134" "Oopf" +let _ = Hashtbl.add utf82macro "\240\157\146\191" "jscr" +let _ = Hashtbl.add utf82macro "\240\157\148\154" "Wfr" +let _ = Hashtbl.add utf82macro "\240\157\148\155" "Xfr" +let _ = Hashtbl.add utf82macro "\240\157\148\156" "Yfr" +let _ = Hashtbl.add utf82macro "\240\157\149\138" "Sopf" +let _ = Hashtbl.add utf82macro "\240\157\149\139" "Topf" +let _ = Hashtbl.add utf82macro "\240\157\148\158" "afr" +let _ = Hashtbl.add utf82macro "\240\157\149\140" "Uopf" +let _ = Hashtbl.add utf82macro "\240\157\148\159" "bfr" +let _ = Hashtbl.add utf82macro "\240\157\149\141" "Vopf" +let _ = Hashtbl.add utf82macro "\240\157\148\160" "cfr" +let _ = Hashtbl.add utf82macro "\240\157\149\142" "Wopf" +let _ = Hashtbl.add utf82macro "\240\157\148\161" "dfr" +let _ = Hashtbl.add utf82macro "\240\157\149\143" "Xopf" +let _ = Hashtbl.add utf82macro "\226\170\175\204\184" "npreceq" +let _ = Hashtbl.add utf82macro "\226\170\175\204\184" "npre" +let _ = Hashtbl.add utf82macro "\226\170\175\204\184" "NotPrecedesEqual" +let _ = Hashtbl.add utf82macro "\240\157\148\162" "efr" +let _ = Hashtbl.add utf82macro "\240\157\149\144" "Yopf" +let _ = Hashtbl.add utf82macro "\240\157\148\163" "ffr" +let _ = Hashtbl.add utf82macro "\240\157\148\164" "gfr" +let _ = Hashtbl.add utf82macro "\240\157\148\165" "hfr" +let _ = Hashtbl.add utf82macro "\240\157\149\146" "aopf" +let _ = Hashtbl.add utf82macro "\240\157\148\166" "ifr" +let _ = Hashtbl.add utf82macro "\240\157\149\147" "bopf" +let _ = Hashtbl.add utf82macro "\240\157\148\167" "jfr" +let _ = Hashtbl.add utf82macro "\240\157\149\148" "copf" +let _ = Hashtbl.add utf82macro "\240\157\148\168" "kfr" +let _ = Hashtbl.add utf82macro "\240\157\149\149" "dopf" +let _ = Hashtbl.add utf82macro "\240\157\148\169" "lfr" +let _ = Hashtbl.add utf82macro "\240\157\149\150" "eopf" +let _ = Hashtbl.add utf82macro "\240\157\148\170" "mfr" +let _ = Hashtbl.add utf82macro "\240\157\149\151" "fopf" +let _ = Hashtbl.add utf82macro "\240\157\148\171" "nfr" +let _ = Hashtbl.add utf82macro "\240\157\149\152" "gopf" +let _ = Hashtbl.add utf82macro "\240\157\148\172" "ofr" +let _ = Hashtbl.add utf82macro "\240\157\149\153" "hopf" +let _ = Hashtbl.add utf82macro "\240\157\148\173" "pfr" +let _ = Hashtbl.add utf82macro "\240\157\149\154" "iopf" +let _ = Hashtbl.add utf82macro "\240\157\148\174" "qfr" +let _ = Hashtbl.add utf82macro "\240\157\149\155" "jopf" +let _ = Hashtbl.add utf82macro "\240\157\148\175" "rfr" +let _ = Hashtbl.add utf82macro "\240\157\149\156" "kopf" +let _ = Hashtbl.add utf82macro "\240\157\148\176" "sfr" +let _ = Hashtbl.add utf82macro "\240\157\149\157" "lopf" +let _ = Hashtbl.add utf82macro "\240\157\148\177" "tfr" +let _ = Hashtbl.add utf82macro "\240\157\149\158" "mopf" +let _ = Hashtbl.add utf82macro "\240\157\148\178" "ufr" +let _ = Hashtbl.add utf82macro "\240\157\149\159" "nopf" +let _ = Hashtbl.add utf82macro "\240\157\148\179" "vfr" +let _ = Hashtbl.add utf82macro "\240\157\149\160" "oopf" +let _ = Hashtbl.add utf82macro "tan" "tan" +let _ = Hashtbl.add utf82macro "\240\157\148\180" "wfr" +let _ = Hashtbl.add utf82macro "\240\157\149\161" "popf" +let _ = Hashtbl.add utf82macro "\240\157\148\181" "xfr" +let _ = Hashtbl.add utf82macro "\240\157\149\162" "qopf" +let _ = Hashtbl.add utf82macro "\240\157\148\182" "yfr" +let _ = Hashtbl.add utf82macro "\240\157\149\163" "ropf" +let _ = Hashtbl.add utf82macro "\240\157\148\183" "zfr" +let _ = Hashtbl.add utf82macro "\240\157\149\164" "sopf" +let _ = Hashtbl.add utf82macro "\240\157\149\165" "topf" +let _ = Hashtbl.add utf82macro "\240\157\148\184" "Aopf" +let _ = Hashtbl.add utf82macro "\195\128" "Agrave" +let _ = Hashtbl.add utf82macro "\240\157\149\166" "uopf" +let _ = Hashtbl.add utf82macro "\240\157\148\185" "Bopf" +let _ = Hashtbl.add utf82macro "\195\129" "Aacute" +let _ = Hashtbl.add utf82macro "\240\157\149\167" "vopf" +let _ = Hashtbl.add utf82macro "\195\130" "Acirc" +let _ = Hashtbl.add utf82macro "\240\157\149\168" "wopf" +let _ = Hashtbl.add utf82macro "\240\157\148\187" "Dopf" +let _ = Hashtbl.add utf82macro "\195\131" "Atilde" +let _ = Hashtbl.add utf82macro "\240\157\149\169" "xopf" +let _ = Hashtbl.add utf82macro "\240\157\148\188" "Eopf" +let _ = Hashtbl.add utf82macro "\195\132" "Auml" +let _ = Hashtbl.add utf82macro "\240\157\149\170" "yopf" +let _ = Hashtbl.add utf82macro "\240\157\148\189" "Fopf" +let _ = Hashtbl.add utf82macro "\195\133" "Aring" +let _ = Hashtbl.add utf82macro "\240\157\149\171" "zopf" +let _ = Hashtbl.add utf82macro "\240\157\148\190" "Gopf" +let _ = Hashtbl.add utf82macro "\195\134" "AElig" +let _ = Hashtbl.add utf82macro "\195\135" "Ccedil" +let _ = Hashtbl.add utf82macro "\195\136" "Egrave" +let _ = Hashtbl.add utf82macro "\195\137" "Eacute" +let _ = Hashtbl.add utf82macro "\195\138" "Ecirc" +let _ = Hashtbl.add utf82macro "\195\139" "Euml" +let _ = Hashtbl.add utf82macro "\195\140" "Igrave" +let _ = Hashtbl.add utf82macro "\194\160" "NonBreakingSpace" +let _ = Hashtbl.add utf82macro "\194\160" "nbsp" +let _ = Hashtbl.add utf82macro "\195\141" "Iacute" +let _ = Hashtbl.add utf82macro "\194\161" "iexcl" +let _ = Hashtbl.add utf82macro "\195\142" "Icirc" +let _ = Hashtbl.add utf82macro "\195\143" "Iuml" +let _ = Hashtbl.add utf82macro "\194\162" "cent" +let _ = Hashtbl.add utf82macro "\194\163" "pound" +let _ = Hashtbl.add utf82macro "\195\144" "ETH" +let _ = Hashtbl.add utf82macro "\195\145" "Ntilde" +let _ = Hashtbl.add utf82macro "\194\164" "curren" +let _ = Hashtbl.add utf82macro "\194\165" "yen" +let _ = Hashtbl.add utf82macro "\195\146" "Ograve" +let _ = Hashtbl.add utf82macro "\195\147" "Oacute" +let _ = Hashtbl.add utf82macro "\194\166" "brvbar" +let _ = Hashtbl.add utf82macro "\196\128" "Amacr" +let _ = Hashtbl.add utf82macro "\194\167" "sect" +let _ = Hashtbl.add utf82macro "\195\148" "Ocirc" +let _ = Hashtbl.add utf82macro "\196\129" "amacr" +let _ = Hashtbl.add utf82macro "\194\168" "uml" +let _ = Hashtbl.add utf82macro "\195\149" "Otilde" +let _ = Hashtbl.add utf82macro "\194\168" "DoubleDot" +let _ = Hashtbl.add utf82macro "\194\168" "Dot" +let _ = Hashtbl.add utf82macro "\194\168" "die" +let _ = Hashtbl.add utf82macro "\196\130" "Abreve" +let _ = Hashtbl.add utf82macro "\195\150" "Ouml" +let _ = Hashtbl.add utf82macro "\194\169" "copy" +let _ = Hashtbl.add utf82macro "\196\131" "abreve" +let _ = Hashtbl.add utf82macro "\195\151" "times" +let _ = Hashtbl.add utf82macro "\195\151" "times" +let _ = Hashtbl.add utf82macro "\194\170" "ordf" +let _ = Hashtbl.add utf82macro "\196\132" "Aogon" +let _ = Hashtbl.add utf82macro "\195\152" "Oslash" +let _ = Hashtbl.add utf82macro "\194\171" "laquo" +let _ = Hashtbl.add utf82macro "\196\133" "aogon" +let _ = Hashtbl.add utf82macro "\194\172" "lnot" +let _ = Hashtbl.add utf82macro "\194\172" "neg" +let _ = Hashtbl.add utf82macro "\195\153" "Ugrave" +let _ = Hashtbl.add utf82macro "\194\172" "not" +let _ = Hashtbl.add utf82macro "\196\134" "Cacute" +let _ = Hashtbl.add utf82macro "\195\154" "Uacute" +let _ = Hashtbl.add utf82macro "\194\173" "shy" +let _ = Hashtbl.add utf82macro "\196\135" "cacute" +let _ = Hashtbl.add utf82macro "\195\155" "Ucirc" +let _ = Hashtbl.add utf82macro "\194\174" "reg" +let _ = Hashtbl.add utf82macro "\194\174" "circledR" +let _ = Hashtbl.add utf82macro "\196\136" "Ccirc" +let _ = Hashtbl.add utf82macro "\195\156" "Uuml" +let _ = Hashtbl.add utf82macro "\194\175" "OverBar" +let _ = Hashtbl.add utf82macro "\194\175" "macr" +let _ = Hashtbl.add utf82macro "\196\137" "ccirc" +let _ = Hashtbl.add utf82macro "\195\157" "Yacute" +let _ = Hashtbl.add utf82macro "\194\176" "deg" +let _ = Hashtbl.add utf82macro "\196\138" "Cdot" +let _ = Hashtbl.add utf82macro "\196\139" "cdot" +let _ = Hashtbl.add utf82macro "\194\177" "pm" +let _ = Hashtbl.add utf82macro "\195\158" "THORN" +let _ = Hashtbl.add utf82macro "\194\177" "pm" +let _ = Hashtbl.add utf82macro "\194\177" "plusmn" +let _ = Hashtbl.add utf82macro "\194\177" "PlusMinus" +let _ = Hashtbl.add utf82macro "\196\139" "cdot" +let _ = Hashtbl.add utf82macro "\195\159" "szlig" +let _ = Hashtbl.add utf82macro "\194\178" "sup2" +let _ = Hashtbl.add utf82macro "\196\140" "Ccaron" +let _ = Hashtbl.add utf82macro "\194\179" "sup3" +let _ = Hashtbl.add utf82macro "\196\141" "ccaron" +let _ = Hashtbl.add utf82macro "\195\160" "agrave" +let _ = Hashtbl.add utf82macro "\194\180" "DiacriticalAcute" +let _ = Hashtbl.add utf82macro "\196\142" "Dcaron" +let _ = Hashtbl.add utf82macro "\194\180" "acute" +let _ = Hashtbl.add utf82macro "\195\161" "aacute" +let _ = Hashtbl.add utf82macro "\194\181" "micro" +let _ = Hashtbl.add utf82macro "\196\143" "dcaron" +let _ = Hashtbl.add utf82macro "\195\162" "acirc" +let _ = Hashtbl.add utf82macro "\194\182" "para" +let _ = Hashtbl.add utf82macro "\196\144" "Dstrok" +let _ = Hashtbl.add utf82macro "\195\163" "atilde" +let _ = Hashtbl.add utf82macro "\194\183" "middot" +let _ = Hashtbl.add utf82macro "\196\145" "dstrok" +let _ = Hashtbl.add utf82macro "\194\183" "CenterDot" +let _ = Hashtbl.add utf82macro "\194\183" "centerdot" +let _ = Hashtbl.add utf82macro "\195\164" "auml" +let _ = Hashtbl.add utf82macro "\196\146" "Emacr" +let _ = Hashtbl.add utf82macro "\194\184" "Cedilla" +let _ = Hashtbl.add utf82macro "\194\184" "cedil" +let _ = Hashtbl.add utf82macro "\195\165" "aring" +let _ = Hashtbl.add utf82macro "\194\185" "sup1" +let _ = Hashtbl.add utf82macro "\197\128" "lmidot" +let _ = Hashtbl.add utf82macro "\196\147" "emacr" +let _ = Hashtbl.add utf82macro "\195\166" "aelig" +let _ = Hashtbl.add utf82macro "\194\186" "ordm" +let _ = Hashtbl.add utf82macro "\197\129" "Lstrok" +let _ = Hashtbl.add utf82macro "\195\167" "ccedil" +let _ = Hashtbl.add utf82macro "\194\187" "raquo" +let _ = Hashtbl.add utf82macro "\197\130" "lstrok" +let _ = Hashtbl.add utf82macro "\195\168" "egrave" +let _ = Hashtbl.add utf82macro "\197\131" "Nacute" +let _ = Hashtbl.add utf82macro "\194\188" "frac14" +let _ = Hashtbl.add utf82macro "\196\150" "Edot" +let _ = Hashtbl.add utf82macro "\195\169" "eacute" +let _ = Hashtbl.add utf82macro "\197\132" "nacute" +let _ = Hashtbl.add utf82macro "\194\189" "half" +let _ = Hashtbl.add utf82macro "\194\189" "frac12" +let _ = Hashtbl.add utf82macro "\196\151" "edot" +let _ = Hashtbl.add utf82macro "\195\170" "ecirc" +let _ = Hashtbl.add utf82macro "\197\133" "Ncedil" +let _ = Hashtbl.add utf82macro "\194\190" "frac34" +let _ = Hashtbl.add utf82macro "\195\171" "euml" +let _ = Hashtbl.add utf82macro "\196\152" "Eogon" +let _ = Hashtbl.add utf82macro "\197\134" "ncedil" +let _ = Hashtbl.add utf82macro "\194\191" "iquest" +let _ = Hashtbl.add utf82macro "\195\172" "igrave" +let _ = Hashtbl.add utf82macro "\196\153" "eogon" +let _ = Hashtbl.add utf82macro "limsup" "limsup" +let _ = Hashtbl.add utf82macro "\197\135" "Ncaron" +let _ = Hashtbl.add utf82macro "\195\173" "iacute" +let _ = Hashtbl.add utf82macro "\196\154" "Ecaron" +let _ = Hashtbl.add utf82macro "\197\136" "ncaron" +let _ = Hashtbl.add utf82macro "\195\174" "icirc" +let _ = Hashtbl.add utf82macro "\196\155" "ecaron" +let _ = Hashtbl.add utf82macro "\197\137" "napos" +let _ = Hashtbl.add utf82macro "\195\175" "iuml" +let _ = Hashtbl.add utf82macro "\196\156" "Gcirc" +let _ = Hashtbl.add utf82macro "\196\157" "gcirc" +let _ = Hashtbl.add utf82macro "\195\176" "eth" +let _ = Hashtbl.add utf82macro "\197\138" "ENG" +let _ = Hashtbl.add utf82macro "\195\177" "ntilde" +let _ = Hashtbl.add utf82macro "\196\158" "Gbreve" +let _ = Hashtbl.add utf82macro "\197\139" "eng" +let _ = Hashtbl.add utf82macro "\197\140" "Omacr" +let _ = Hashtbl.add utf82macro "\195\178" "ograve" +let _ = Hashtbl.add utf82macro "\196\159" "gbreve" +let _ = Hashtbl.add utf82macro "\197\141" "omacr" +let _ = Hashtbl.add utf82macro "\195\179" "oacute" +let _ = Hashtbl.add utf82macro "\196\160" "Gdot" +let _ = Hashtbl.add utf82macro "\195\180" "ocirc" +let _ = Hashtbl.add utf82macro "\196\161" "gdot" +let _ = Hashtbl.add utf82macro "\195\181" "otilde" +let _ = Hashtbl.add utf82macro "\196\162" "Gcedil" +let _ = Hashtbl.add utf82macro "\195\182" "ouml" +let _ = Hashtbl.add utf82macro "\197\144" "Odblac" +let _ = Hashtbl.add utf82macro "\195\183" "div" +let _ = Hashtbl.add utf82macro "\197\145" "odblac" +let _ = Hashtbl.add utf82macro "\196\164" "Hcirc" +let _ = Hashtbl.add utf82macro "\195\183" "divide" +let _ = Hashtbl.add utf82macro "\195\183" "div" +let _ = Hashtbl.add utf82macro "\195\184" "oslash" +let _ = Hashtbl.add utf82macro "\195\184" "oslash" +let _ = Hashtbl.add utf82macro "\197\146" "OElig" +let _ = Hashtbl.add utf82macro "\196\165" "hcirc" +let _ = Hashtbl.add utf82macro "\195\185" "ugrave" +let _ = Hashtbl.add utf82macro "\197\147" "oelig" +let _ = Hashtbl.add utf82macro "\196\166" "Hstrok" +let _ = Hashtbl.add utf82macro "\195\186" "uacute" +let _ = Hashtbl.add utf82macro "\197\148" "Racute" +let _ = Hashtbl.add utf82macro "\196\167" "hstrok" +let _ = Hashtbl.add utf82macro "\195\187" "ucirc" +let _ = Hashtbl.add utf82macro "\197\149" "racute" +let _ = Hashtbl.add utf82macro "\196\168" "Itilde" +let _ = Hashtbl.add utf82macro "\195\188" "uuml" +let _ = Hashtbl.add utf82macro "\197\150" "Rcedil" +let _ = Hashtbl.add utf82macro "\196\169" "itilde" +let _ = Hashtbl.add utf82macro "\195\189" "yacute" +let _ = Hashtbl.add utf82macro "\197\151" "rcedil" +let _ = Hashtbl.add utf82macro "\196\170" "Imacr" +let _ = Hashtbl.add utf82macro "\195\190" "thorn" +let _ = Hashtbl.add utf82macro "\197\152" "Rcaron" +let _ = Hashtbl.add utf82macro "\196\171" "imacr" +let _ = Hashtbl.add utf82macro "\195\191" "yuml" +let _ = Hashtbl.add utf82macro "\197\153" "rcaron" +let _ = Hashtbl.add utf82macro "\197\154" "Sacute" +let _ = Hashtbl.add utf82macro "\197\155" "sacute" +let _ = Hashtbl.add utf82macro "\196\174" "Iogon" +let _ = Hashtbl.add utf82macro "\197\156" "Scirc" +let _ = Hashtbl.add utf82macro "\196\175" "iogon" +let _ = Hashtbl.add utf82macro "\197\157" "scirc" +let _ = Hashtbl.add utf82macro "\196\176" "Idot" +let _ = Hashtbl.add utf82macro "\196\177" "imath" +let _ = Hashtbl.add utf82macro "\197\158" "Scedil" +let _ = Hashtbl.add utf82macro "\196\177" "inodot" +let _ = Hashtbl.add utf82macro "\196\177" "imath" +let _ = Hashtbl.add utf82macro "\197\159" "scedil" +let _ = Hashtbl.add utf82macro "\196\178" "IJlig" +let _ = Hashtbl.add utf82macro "\197\160" "Scaron" +let _ = Hashtbl.add utf82macro "\196\179" "ijlig" +let _ = Hashtbl.add utf82macro "\197\161" "scaron" +let _ = Hashtbl.add utf82macro "\196\180" "Jcirc" +let _ = Hashtbl.add utf82macro "\197\162" "Tcedil" +let _ = Hashtbl.add utf82macro "\196\181" "jcirc" +let _ = Hashtbl.add utf82macro "\197\163" "tcedil" +let _ = Hashtbl.add utf82macro "\196\182" "Kcedil" +let _ = Hashtbl.add utf82macro "\197\164" "Tcaron" +let _ = Hashtbl.add utf82macro "\226\128\138\239\184\128" "NegativeVeryThinSpace" +let _ = Hashtbl.add utf82macro "\196\183" "kcedil" +let _ = Hashtbl.add utf82macro "\197\165" "tcaron" +let _ = Hashtbl.add utf82macro "\196\184" "kgreen" +let _ = Hashtbl.add utf82macro "\198\146" "fnof" +let _ = Hashtbl.add utf82macro "\197\166" "Tstrok" +let _ = Hashtbl.add utf82macro "\196\185" "Lacute" +let _ = Hashtbl.add utf82macro "\197\167" "tstrok" +let _ = Hashtbl.add utf82macro "\196\186" "lacute" +let _ = Hashtbl.add utf82macro "\197\168" "Utilde" +let _ = Hashtbl.add utf82macro "\196\187" "Lcedil" +let _ = Hashtbl.add utf82macro "\197\169" "utilde" +let _ = Hashtbl.add utf82macro "\226\137\143\204\184" "NotHumpEqual" +let _ = Hashtbl.add utf82macro "\226\137\143\204\184" "nbumpe" +let _ = Hashtbl.add utf82macro "\196\188" "lcedil" +let _ = Hashtbl.add utf82macro "\197\170" "Umacr" +let _ = Hashtbl.add utf82macro "\196\189" "Lcaron" +let _ = Hashtbl.add utf82macro "\197\171" "umacr" +let _ = Hashtbl.add utf82macro "\196\190" "lcaron" +let _ = Hashtbl.add utf82macro "\197\172" "Ubreve" +let _ = Hashtbl.add utf82macro "\196\191" "Lmidot" +let _ = Hashtbl.add utf82macro "\197\173" "ubreve" +let _ = Hashtbl.add utf82macro "\197\174" "Uring" +let _ = Hashtbl.add utf82macro "\197\175" "uring" +let _ = Hashtbl.add utf82macro "\197\176" "Udblac" +let _ = Hashtbl.add utf82macro "\197\177" "udblac" +let _ = Hashtbl.add utf82macro "\197\178" "Uogon" +let _ = Hashtbl.add utf82macro "\197\179" "uogon" +let _ = Hashtbl.add utf82macro "\197\180" "Wcirc" +let _ = Hashtbl.add utf82macro "\197\181" "wcirc" +let _ = Hashtbl.add utf82macro "\197\182" "Ycirc" +let _ = Hashtbl.add utf82macro "\197\183" "ycirc" +let _ = Hashtbl.add utf82macro "\197\184" "Yuml" +let _ = Hashtbl.add utf82macro "\197\185" "Zacute" +let _ = Hashtbl.add utf82macro "\197\186" "zacute" +let _ = Hashtbl.add utf82macro "\197\187" "Zdot" +let _ = Hashtbl.add utf82macro "\197\188" "zdot" +let _ = Hashtbl.add utf82macro "\197\189" "Zcaron" +let _ = Hashtbl.add utf82macro "\197\190" "zcaron" +let _ = Hashtbl.add utf82macro "\226\136\163\239\184\128" "smid" +let _ = Hashtbl.add utf82macro "\226\136\163\239\184\128" "shortmid" +let _ = Hashtbl.add utf82macro "\239\184\181" "OverParenthesis" +let _ = Hashtbl.add utf82macro "\239\184\182" "UnderParenthesis" +let _ = Hashtbl.add utf82macro "\239\184\183" "OverBrace" +let _ = Hashtbl.add utf82macro "\239\184\184" "UnderBrace" +let _ = Hashtbl.add utf82macro "\199\181" "gacute" +let _ = Hashtbl.add utf82macro "cos" "cos" +let _ = Hashtbl.add utf82macro "\226\136\170\239\184\128" "cups" +let _ = Hashtbl.add utf82macro "cot" "cot" +let _ = Hashtbl.add utf82macro "\201\155" "varepsilon" +let _ = Hashtbl.add utf82macro "\201\155" "epsiv" +let _ = Hashtbl.add utf82macro "\226\138\139\239\184\128" "vsupnE" +let _ = Hashtbl.add utf82macro "\226\138\139\239\184\128" "vsupne" +let _ = Hashtbl.add utf82macro "\226\138\139\239\184\128" "varsupsetneqq" +let _ = Hashtbl.add utf82macro "\226\138\139\239\184\128" "varsupsetneq" +let _ = Hashtbl.add utf82macro "\203\135" "Hacek" +let _ = Hashtbl.add utf82macro "\203\135" "caron"