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 89b9286058144a4aff83514015b779cc2e9cb577..cca1d13c44bb8480b4df9cfdc4bed93c06b4d729 100644 (file)
--- 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 51465046bec635f52dcc9428dfa5e9f6103bb122..3d0b5bc4c8b26a888fed080c690afa3d3232e838 100644 (file)
--- 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 9220365d1aba9fc06887e6a19894fc2381730583..d92f60b373ac3f8053e7419708a3cb9b53840b52 100644 (file)
--- 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 a97e8faf1103bde84d24d9cdc0b903c0be45b096..040c82c0afba862b92fd06f0b4dc5d5d6e699e5a 100644 (file)
--- 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"