-let _ = Hashtbl.add macro2utf8 "Sqrt" "â\136\154"
-let _ = Hashtbl.add macro2utf8 "wp" "â\132\152"
-let _ = Hashtbl.add macro2utf8 "wp" "â\132\152"
-let _ = Hashtbl.add macro2utf8 "succnapprox" "â\139©"
-let _ = Hashtbl.add macro2utf8 "wr" "â\137\128"
-let _ = Hashtbl.add macro2utf8 "wr" "â\137\128"
-let _ = Hashtbl.add macro2utf8 "NotTildeTilde" "â\137\137"
-let _ = Hashtbl.add macro2utf8 "dcaron" "Ä\143"
-let _ = Hashtbl.add macro2utf8 "bigwedge" "â\139\128"
-let _ = Hashtbl.add macro2utf8 "Tfr" "ð\157\148\151"
-let _ = Hashtbl.add macro2utf8 "bigwedge" "â\139\128"
-let _ = Hashtbl.add macro2utf8 "DScy" "Ð\133"
-let _ = Hashtbl.add macro2utf8 "nrtrie" "â\139"
-let _ = Hashtbl.add macro2utf8 "esim" "â\137\130"
-let _ = Hashtbl.add macro2utf8 "Not" "⫬"
-let _ = Hashtbl.add macro2utf8 "xmap" "ï\149½"
-let _ = Hashtbl.add macro2utf8 "rect" "â\150"
-let _ = Hashtbl.add macro2utf8 "Fouriertrf" "â\132±"
-let _ = Hashtbl.add macro2utf8 "xi" "ξ"
-let _ = Hashtbl.add macro2utf8 "xi" "ξ"
-let _ = Hashtbl.add macro2utf8 "NotTilde" "â\137\129"
-let _ = Hashtbl.add macro2utf8 "gbreve" "Ä\159"
-let _ = Hashtbl.add macro2utf8 "par" "â\136¥"
-let _ = Hashtbl.add macro2utf8 "ddots" "â\139±"
-let _ = Hashtbl.add macro2utf8 "nhArr" "â\135\142"
-let _ = Hashtbl.add macro2utf8 "lsim" "â\137²"
-let _ = Hashtbl.add macro2utf8 "RightCeiling" "â\140\137"
-let _ = Hashtbl.add macro2utf8 "nedot" "â\137 ï¸\128"
-let _ = Hashtbl.add macro2utf8 "thksim" "â\136¼ï¸\128"
-let _ = Hashtbl.add macro2utf8 "lEg" "â\139\154"
-let _ = Hashtbl.add macro2utf8 "Ifr" "â\132\145"
-let _ = Hashtbl.add macro2utf8 "emsp" "â\128\131"
-let _ = Hashtbl.add macro2utf8 "lopar" "ã\128\152"
-let _ = Hashtbl.add macro2utf8 "iiiint" "â¨\140"
-let _ = Hashtbl.add macro2utf8 "straightepsilon" "ε"
-let _ = Hashtbl.add macro2utf8 "intlarhk" "â¨\151"
-let _ = Hashtbl.add macro2utf8 "image" "â\132\145"
-let _ = Hashtbl.add macro2utf8 "Leftrightarrow" "â\135\148"
-let _ = Hashtbl.add macro2utf8 "sqsubseteq" "â\138\145"
-let _ = Hashtbl.add macro2utf8 "lnapprox" "âª\137"
-let _ = Hashtbl.add macro2utf8 "Leftrightarrow" "â\135\148"
-let _ = Hashtbl.add macro2utf8 "cemptyv" "⦲"
-let _ = Hashtbl.add macro2utf8 "alpha" "α"
-let _ = Hashtbl.add macro2utf8 "alpha" "α"
-let _ = Hashtbl.add macro2utf8 "uml" "¨"
-let _ = Hashtbl.add macro2utf8 "barwedge" "â\138¼"
-let _ = Hashtbl.add macro2utf8 "KHcy" "Х"
-let _ = Hashtbl.add macro2utf8 "tilde" "Ë\156"
-let _ = Hashtbl.add macro2utf8 "Superset" "â\138\131"
-let _ = Hashtbl.add macro2utf8 "bigoplus" "â\138\149"
-let _ = Hashtbl.add macro2utf8 "gesles" "âª\148"
-let _ = Hashtbl.add macro2utf8 "bigoplus" "â\138\149"
-let _ = Hashtbl.add macro2utf8 "boxuL" "â\149\155"
-let _ = Hashtbl.add macro2utf8 "rbbrk" "ã\128\149"
-let _ = Hashtbl.add macro2utf8 "nrightarrow" "â\134\155"
-let _ = Hashtbl.add macro2utf8 "hkswarow" "⤦"
-let _ = Hashtbl.add macro2utf8 "DiacriticalDoubleAcute" "Ë\157"
-let _ = Hashtbl.add macro2utf8 "nbumpe" "â\137\143̸"
-let _ = Hashtbl.add macro2utf8 "uhblk" "â\150\128"
-let _ = Hashtbl.add macro2utf8 "NotSupersetEqual" "â\138\137"
-let _ = Hashtbl.add macro2utf8 "ntgl" "â\137¹"
-let _ = Hashtbl.add macro2utf8 "Fopf" "ð\157\148½"
-let _ = Hashtbl.add macro2utf8 "boxuR" "â\149\152"
-let _ = Hashtbl.add macro2utf8 "swarr" "â\134\153"
-let _ = Hashtbl.add macro2utf8 "nsqsube" "â\139¢"
-let _ = Hashtbl.add macro2utf8 "pluscir" "⨢"
-let _ = Hashtbl.add macro2utf8 "pcy" "п"
-let _ = Hashtbl.add macro2utf8 "leqslant" "⩽"
-let _ = Hashtbl.add macro2utf8 "lnap" "âª\137"
-let _ = Hashtbl.add macro2utf8 "lthree" "â\139\139"
-let _ = Hashtbl.add macro2utf8 "smte" "⪬"
-let _ = Hashtbl.add macro2utf8 "olcross" "⦻"
-let _ = Hashtbl.add macro2utf8 "nvrArr" "â\135\143"
-let _ = Hashtbl.add macro2utf8 "andslope" "â©\152"
-let _ = Hashtbl.add macro2utf8 "MediumSpace" "â\129\159"
-let _ = Hashtbl.add macro2utf8 "boxvH" "â\149ª"
-let _ = Hashtbl.add macro2utf8 "Nacute" "Å\131"
-let _ = Hashtbl.add macro2utf8 "nGtv" "â\137«Ì¸ï¸\128"
-let _ = Hashtbl.add macro2utf8 "Mopf" "ð\157\149\132"
-let _ = Hashtbl.add macro2utf8 "dfisht" "⥿"
-let _ = Hashtbl.add macro2utf8 "boxvL" "â\149¡"
-let _ = Hashtbl.add macro2utf8 "pertenk" "â\128±"
-let _ = Hashtbl.add macro2utf8 "NotPrecedes" "â\138\128"
-let _ = Hashtbl.add macro2utf8 "profalar" "â\140®"
-let _ = Hashtbl.add macro2utf8 "roplus" "⨮"
-let _ = Hashtbl.add macro2utf8 "boxvR" "â\149\158"
-let _ = Hashtbl.add macro2utf8 "utrif" "â\150´"
-let _ = Hashtbl.add macro2utf8 "uHar" "⥣"
-let _ = Hashtbl.add macro2utf8 "nltrie" "â\139¬"
-let _ = Hashtbl.add macro2utf8 "NotNestedGreaterGreater" "â\146¢Ì¸"
-let _ = Hashtbl.add macro2utf8 "smtes" "⪬ï¸\128"
-let _ = Hashtbl.add macro2utf8 "LeftAngleBracket" "â\140©"
-let _ = Hashtbl.add macro2utf8 "iogon" "į"
-let _ = Hashtbl.add macro2utf8 "ExponentialE" "â\133\135"
-let _ = Hashtbl.add macro2utf8 "Topf" "ð\157\149\139"
-let _ = Hashtbl.add macro2utf8 "GreaterEqual" "â\137¥"
-let _ = Hashtbl.add macro2utf8 "DownTee" "â\138¤"
-let _ = Hashtbl.add macro2utf8 "boxul" "â\148\152"
-let _ = Hashtbl.add macro2utf8 "wreath" "â\137\128"
-let _ = Hashtbl.add macro2utf8 "sigma" "Ï\131"
-let _ = Hashtbl.add macro2utf8 "sigma" "Ï\131"
-let _ = Hashtbl.add macro2utf8 "ENG" "Å\138"
-let _ = Hashtbl.add macro2utf8 "Ncedil" "Å\133"
-let _ = Hashtbl.add macro2utf8 "ecy" "Ñ\141"
-let _ = Hashtbl.add macro2utf8 "nsubset" "â\138\132"
-let _ = Hashtbl.add macro2utf8 "LessFullEqual" "â\137¦"
-let _ = Hashtbl.add macro2utf8 "bsolb" "â§\133"
-let _ = Hashtbl.add macro2utf8 "boxur" "â\148\148"
-let _ = Hashtbl.add macro2utf8 "ThinSpace" "â\128\137"
-let _ = Hashtbl.add macro2utf8 "supdsub" "â«\152"
-let _ = Hashtbl.add macro2utf8 "colone" "â\137\148"
-let _ = Hashtbl.add macro2utf8 "curren" "¤"
-let _ = Hashtbl.add macro2utf8 "boxvh" "â\148¼"
-let _ = Hashtbl.add macro2utf8 "ecaron" "Ä\155"
-let _ = Hashtbl.add macro2utf8 "UnderBrace" "︸"
-let _ = Hashtbl.add macro2utf8 "caron" "Ë\135"
-let _ = Hashtbl.add macro2utf8 "ultri" "â\151¸"
-let _ = Hashtbl.add macro2utf8 "boxvl" "â\148¤"
-let _ = Hashtbl.add macro2utf8 "scap" "â\137¿"
-let _ = Hashtbl.add macro2utf8 "boxvr" "â\148\156"
-let _ = Hashtbl.add macro2utf8 "bopf" "ð\157\149\147"
-let _ = Hashtbl.add macro2utf8 "pfr" "ð\157\148"
-let _ = Hashtbl.add macro2utf8 "nspar" "â\136¦ï¸\128"
-let _ = Hashtbl.add macro2utf8 "NegativeMediumSpace" "â\129\159ï¸\128"
-let _ = Hashtbl.add macro2utf8 "simgE" "⪠"
-let _ = Hashtbl.add macro2utf8 "nvDash" "â\138"
-let _ = Hashtbl.add macro2utf8 "NotGreaterFullEqual" "â\137°"
-let _ = Hashtbl.add macro2utf8 "uparrow" "â\134\145"
-let _ = Hashtbl.add macro2utf8 "uparrow" "â\134\145"
-let _ = Hashtbl.add macro2utf8 "nsupset" "â\138\133"
-let _ = Hashtbl.add macro2utf8 "simeq" "â\137\131"
-let _ = Hashtbl.add macro2utf8 "simeq" "â\137\131"
-let _ = Hashtbl.add macro2utf8 "Zcy" "Ð\151"
-let _ = Hashtbl.add macro2utf8 "RightTriangle" "â\138³"
-let _ = Hashtbl.add macro2utf8 "Lang" "ã\128\138"
-let _ = Hashtbl.add macro2utf8 "Ucirc" "Ã\155"
-let _ = Hashtbl.add macro2utf8 "iopf" "ð\157\149\154"
-let _ = Hashtbl.add macro2utf8 "leftrightsquigarrow" "â\134"
-let _ = Hashtbl.add macro2utf8 "Gscr" "ð\157\146¢"
-let _ = Hashtbl.add macro2utf8 "lfloor" "â\140\138"
-let _ = Hashtbl.add macro2utf8 "lfloor" "â\140\138"
-let _ = Hashtbl.add macro2utf8 "lbbrk" "ã\128\148"
-let _ = Hashtbl.add macro2utf8 "bigvee" "â\139\129"
-let _ = Hashtbl.add macro2utf8 "bigvee" "â\139\129"
-let _ = Hashtbl.add macro2utf8 "ordf" "ª"
-let _ = Hashtbl.add macro2utf8 "rsquo" "â\128\153"
-let _ = Hashtbl.add macro2utf8 "parallel" "â\136¥"
-let _ = Hashtbl.add macro2utf8 "half" "½"
-let _ = Hashtbl.add macro2utf8 "supseteq" "â\138\135"
-let _ = Hashtbl.add macro2utf8 "supseteq" "â\138\135"
-let _ = Hashtbl.add macro2utf8 "ngeqq" "â\137±"
-let _ = Hashtbl.add macro2utf8 "popf" "ð\157\149¡"
-let _ = Hashtbl.add macro2utf8 "NonBreakingSpace" " "
-let _ = Hashtbl.add macro2utf8 "softcy" "Ñ\140"
-let _ = Hashtbl.add macro2utf8 "ordm" "º"
-let _ = Hashtbl.add macro2utf8 "Nscr" "ð\157\146©"
-let _ = Hashtbl.add macro2utf8 "owns" "â\136\139"
-let _ = Hashtbl.add macro2utf8 "phi" "Ï\149"
-let _ = Hashtbl.add macro2utf8 "phi" "Ï\134"
-let _ = Hashtbl.add macro2utf8 "efr" "ð\157\148¢"
-let _ = Hashtbl.add macro2utf8 "nesear" "⤨"
-let _ = Hashtbl.add macro2utf8 "marker" "â\150®"
-let _ = Hashtbl.add macro2utf8 "lneq" "â\137¨"
+let _ = Hashtbl.add macro2utf8 "Sqrt" "\226\136\154"
+let _ = Hashtbl.add macro2utf8 "wp" "\226\132\152"
+let _ = Hashtbl.add macro2utf8 "wp" "\226\132\152"
+let _ = Hashtbl.add macro2utf8 "succnapprox" "\226\139\169"
+let _ = Hashtbl.add macro2utf8 "wr" "\226\137\128"
+let _ = Hashtbl.add macro2utf8 "wr" "\226\137\128"
+let _ = Hashtbl.add macro2utf8 "NotTildeTilde" "\226\137\137"
+let _ = Hashtbl.add macro2utf8 "dcaron" "\196\143"
+let _ = Hashtbl.add macro2utf8 "bigwedge" "\226\139\128"
+let _ = Hashtbl.add macro2utf8 "Tfr" "\240\157\148\151"
+let _ = Hashtbl.add macro2utf8 "bigwedge" "\226\139\128"
+let _ = Hashtbl.add macro2utf8 "DScy" "\208\133"
+let _ = Hashtbl.add macro2utf8 "nrtrie" "\226\139\173"
+let _ = Hashtbl.add macro2utf8 "esim" "\226\137\130"
+let _ = Hashtbl.add macro2utf8 "Not" "\226\171\172"
+let _ = Hashtbl.add macro2utf8 "xmap" "\239\149\189"
+let _ = Hashtbl.add macro2utf8 "rect" "\226\150\173"
+let _ = Hashtbl.add macro2utf8 "Fouriertrf" "\226\132\177"
+let _ = Hashtbl.add macro2utf8 "xi" "\206\190"
+let _ = Hashtbl.add macro2utf8 "xi" "\206\190"
+let _ = Hashtbl.add macro2utf8 "NotTilde" "\226\137\129"
+let _ = Hashtbl.add macro2utf8 "gbreve" "\196\159"
+let _ = Hashtbl.add macro2utf8 "par" "\226\136\165"
+let _ = Hashtbl.add macro2utf8 "ddots" "\226\139\177"
+let _ = Hashtbl.add macro2utf8 "nhArr" "\226\135\142"
+let _ = Hashtbl.add macro2utf8 "lsim" "\226\137\178"
+let _ = Hashtbl.add macro2utf8 "RightCeiling" "\226\140\137"
+let _ = Hashtbl.add macro2utf8 "nedot" "\226\137\160\239\184\128"
+let _ = Hashtbl.add macro2utf8 "thksim" "\226\136\188\239\184\128"
+let _ = Hashtbl.add macro2utf8 "lEg" "\226\139\154"
+let _ = Hashtbl.add macro2utf8 "Ifr" "\226\132\145"
+let _ = Hashtbl.add macro2utf8 "emsp" "\226\128\131"
+let _ = Hashtbl.add macro2utf8 "lopar" "\227\128\152"
+let _ = Hashtbl.add macro2utf8 "iiiint" "\226\168\140"
+let _ = Hashtbl.add macro2utf8 "straightepsilon" "\206\181"
+let _ = Hashtbl.add macro2utf8 "intlarhk" "\226\168\151"
+let _ = Hashtbl.add macro2utf8 "image" "\226\132\145"
+let _ = Hashtbl.add macro2utf8 "Leftrightarrow" "\226\135\148"
+let _ = Hashtbl.add macro2utf8 "sqsubseteq" "\226\138\145"
+let _ = Hashtbl.add macro2utf8 "lnapprox" "\226\170\137"
+let _ = Hashtbl.add macro2utf8 "Leftrightarrow" "\226\135\148"
+let _ = Hashtbl.add macro2utf8 "cemptyv" "\226\166\178"
+let _ = Hashtbl.add macro2utf8 "alpha" "\206\177"
+let _ = Hashtbl.add macro2utf8 "alpha" "\206\177"
+let _ = Hashtbl.add macro2utf8 "uml" "\194\168"
+let _ = Hashtbl.add macro2utf8 "barwedge" "\226\138\188"
+let _ = Hashtbl.add macro2utf8 "KHcy" "\208\165"
+let _ = Hashtbl.add macro2utf8 "tilde" "\203\156"
+let _ = Hashtbl.add macro2utf8 "Superset" "\226\138\131"
+let _ = Hashtbl.add macro2utf8 "bigoplus" "\226\138\149"
+let _ = Hashtbl.add macro2utf8 "gesles" "\226\170\148"
+let _ = Hashtbl.add macro2utf8 "bigoplus" "\226\138\149"
+let _ = Hashtbl.add macro2utf8 "boxuL" "\226\149\155"
+let _ = Hashtbl.add macro2utf8 "rbbrk" "\227\128\149"
+let _ = Hashtbl.add macro2utf8 "nrightarrow" "\226\134\155"
+let _ = Hashtbl.add macro2utf8 "hkswarow" "\226\164\166"
+let _ = Hashtbl.add macro2utf8 "DiacriticalDoubleAcute" "\203\157"
+let _ = Hashtbl.add macro2utf8 "nbumpe" "\226\137\143\204\184"
+let _ = Hashtbl.add macro2utf8 "uhblk" "\226\150\128"
+let _ = Hashtbl.add macro2utf8 "NotSupersetEqual" "\226\138\137"
+let _ = Hashtbl.add macro2utf8 "ntgl" "\226\137\185"
+let _ = Hashtbl.add macro2utf8 "Fopf" "\240\157\148\189"
+let _ = Hashtbl.add macro2utf8 "boxuR" "\226\149\152"
+let _ = Hashtbl.add macro2utf8 "swarr" "\226\134\153"
+let _ = Hashtbl.add macro2utf8 "nsqsube" "\226\139\162"
+let _ = Hashtbl.add macro2utf8 "pluscir" "\226\168\162"
+let _ = Hashtbl.add macro2utf8 "pcy" "\208\191"
+let _ = Hashtbl.add macro2utf8 "leqslant" "\226\169\189"
+let _ = Hashtbl.add macro2utf8 "lnap" "\226\170\137"
+let _ = Hashtbl.add macro2utf8 "lthree" "\226\139\139"
+let _ = Hashtbl.add macro2utf8 "smte" "\226\170\172"
+let _ = Hashtbl.add macro2utf8 "olcross" "\226\166\187"
+let _ = Hashtbl.add macro2utf8 "nvrArr" "\226\135\143"
+let _ = Hashtbl.add macro2utf8 "andslope" "\226\169\152"
+let _ = Hashtbl.add macro2utf8 "MediumSpace" "\226\129\159"
+let _ = Hashtbl.add macro2utf8 "boxvH" "\226\149\170"
+let _ = Hashtbl.add macro2utf8 "Nacute" "\197\131"
+let _ = Hashtbl.add macro2utf8 "nGtv" "\226\137\171\204\184\239\184\128"
+let _ = Hashtbl.add macro2utf8 "Mopf" "\240\157\149\132"
+let _ = Hashtbl.add macro2utf8 "dfisht" "\226\165\191"
+let _ = Hashtbl.add macro2utf8 "boxvL" "\226\149\161"
+let _ = Hashtbl.add macro2utf8 "pertenk" "\226\128\177"
+let _ = Hashtbl.add macro2utf8 "NotPrecedes" "\226\138\128"
+let _ = Hashtbl.add macro2utf8 "profalar" "\226\140\174"
+let _ = Hashtbl.add macro2utf8 "roplus" "\226\168\174"
+let _ = Hashtbl.add macro2utf8 "boxvR" "\226\149\158"
+let _ = Hashtbl.add macro2utf8 "utrif" "\226\150\180"
+let _ = Hashtbl.add macro2utf8 "uHar" "\226\165\163"
+let _ = Hashtbl.add macro2utf8 "nltrie" "\226\139\172"
+let _ = Hashtbl.add macro2utf8 "NotNestedGreaterGreater" "\226\146\162\204\184"
+let _ = Hashtbl.add macro2utf8 "smtes" "\226\170\172\239\184\128"
+let _ = Hashtbl.add macro2utf8 "LeftAngleBracket" "\226\140\169"
+let _ = Hashtbl.add macro2utf8 "iogon" "\196\175"
+let _ = Hashtbl.add macro2utf8 "ExponentialE" "\226\133\135"
+let _ = Hashtbl.add macro2utf8 "Topf" "\240\157\149\139"
+let _ = Hashtbl.add macro2utf8 "GreaterEqual" "\226\137\165"
+let _ = Hashtbl.add macro2utf8 "DownTee" "\226\138\164"
+let _ = Hashtbl.add macro2utf8 "boxul" "\226\148\152"
+let _ = Hashtbl.add macro2utf8 "wreath" "\226\137\128"
+let _ = Hashtbl.add macro2utf8 "sigma" "\207\131"
+let _ = Hashtbl.add macro2utf8 "sigma" "\207\131"
+let _ = Hashtbl.add macro2utf8 "ENG" "\197\138"
+let _ = Hashtbl.add macro2utf8 "Ncedil" "\197\133"
+let _ = Hashtbl.add macro2utf8 "ecy" "\209\141"
+let _ = Hashtbl.add macro2utf8 "nsubset" "\226\138\132"
+let _ = Hashtbl.add macro2utf8 "LessFullEqual" "\226\137\166"
+let _ = Hashtbl.add macro2utf8 "bsolb" "\226\167\133"
+let _ = Hashtbl.add macro2utf8 "boxur" "\226\148\148"
+let _ = Hashtbl.add macro2utf8 "ThinSpace" "\226\128\137"
+let _ = Hashtbl.add macro2utf8 "supdsub" "\226\171\152"
+let _ = Hashtbl.add macro2utf8 "colone" "\226\137\148"
+let _ = Hashtbl.add macro2utf8 "curren" "\194\164"
+let _ = Hashtbl.add macro2utf8 "boxvh" "\226\148\188"
+let _ = Hashtbl.add macro2utf8 "ecaron" "\196\155"
+let _ = Hashtbl.add macro2utf8 "UnderBrace" "\239\184\184"
+let _ = Hashtbl.add macro2utf8 "caron" "\203\135"
+let _ = Hashtbl.add macro2utf8 "ultri" "\226\151\184"
+let _ = Hashtbl.add macro2utf8 "boxvl" "\226\148\164"
+let _ = Hashtbl.add macro2utf8 "scap" "\226\137\191"
+let _ = Hashtbl.add macro2utf8 "boxvr" "\226\148\156"
+let _ = Hashtbl.add macro2utf8 "bopf" "\240\157\149\147"
+let _ = Hashtbl.add macro2utf8 "pfr" "\240\157\148\173"
+let _ = Hashtbl.add macro2utf8 "nspar" "\226\136\166\239\184\128"
+let _ = Hashtbl.add macro2utf8 "NegativeMediumSpace" "\226\129\159\239\184\128"
+let _ = Hashtbl.add macro2utf8 "simgE" "\226\170\160"
+let _ = Hashtbl.add macro2utf8 "nvDash" "\226\138\173"
+let _ = Hashtbl.add macro2utf8 "NotGreaterFullEqual" "\226\137\176"
+let _ = Hashtbl.add macro2utf8 "uparrow" "\226\134\145"
+let _ = Hashtbl.add macro2utf8 "uparrow" "\226\134\145"
+let _ = Hashtbl.add macro2utf8 "nsupset" "\226\138\133"
+let _ = Hashtbl.add macro2utf8 "simeq" "\226\137\131"
+let _ = Hashtbl.add macro2utf8 "simeq" "\226\137\131"
+let _ = Hashtbl.add macro2utf8 "Zcy" "\208\151"
+let _ = Hashtbl.add macro2utf8 "RightTriangle" "\226\138\179"
+let _ = Hashtbl.add macro2utf8 "Lang" "\227\128\138"
+let _ = Hashtbl.add macro2utf8 "Ucirc" "\195\155"
+let _ = Hashtbl.add macro2utf8 "iopf" "\240\157\149\154"
+let _ = Hashtbl.add macro2utf8 "leftrightsquigarrow" "\226\134\173"
+let _ = Hashtbl.add macro2utf8 "Gscr" "\240\157\146\162"
+let _ = Hashtbl.add macro2utf8 "lfloor" "\226\140\138"
+let _ = Hashtbl.add macro2utf8 "lfloor" "\226\140\138"
+let _ = Hashtbl.add macro2utf8 "lbbrk" "\227\128\148"
+let _ = Hashtbl.add macro2utf8 "bigvee" "\226\139\129"
+let _ = Hashtbl.add macro2utf8 "bigvee" "\226\139\129"
+let _ = Hashtbl.add macro2utf8 "ordf" "\194\170"
+let _ = Hashtbl.add macro2utf8 "rsquo" "\226\128\153"
+let _ = Hashtbl.add macro2utf8 "parallel" "\226\136\165"
+let _ = Hashtbl.add macro2utf8 "half" "\194\189"
+let _ = Hashtbl.add macro2utf8 "supseteq" "\226\138\135"
+let _ = Hashtbl.add macro2utf8 "supseteq" "\226\138\135"
+let _ = Hashtbl.add macro2utf8 "ngeqq" "\226\137\177"
+let _ = Hashtbl.add macro2utf8 "popf" "\240\157\149\161"
+let _ = Hashtbl.add macro2utf8 "NonBreakingSpace" "\194\160"
+let _ = Hashtbl.add macro2utf8 "softcy" "\209\140"
+let _ = Hashtbl.add macro2utf8 "ordm" "\194\186"
+let _ = Hashtbl.add macro2utf8 "Nscr" "\240\157\146\169"
+let _ = Hashtbl.add macro2utf8 "owns" "\226\136\139"
+let _ = Hashtbl.add macro2utf8 "phi" "\207\149"
+let _ = Hashtbl.add macro2utf8 "phi" "\207\134"
+let _ = Hashtbl.add macro2utf8 "efr" "\240\157\148\162"
+let _ = Hashtbl.add macro2utf8 "nesear" "\226\164\168"
+let _ = Hashtbl.add macro2utf8 "marker" "\226\150\174"
+let _ = Hashtbl.add macro2utf8 "lneq" "\226\137\168"