-macro2utf8["vnsub"] = "\226\138\132";
-utf82macro["\226\138\132"] = "vnsub";
-macro2utf8["Bscr"] = "\226\132\172";
-utf82macro["\226\132\172"] = "Bscr";
-macro2utf8["plussim"] = "\226\168\166";
-utf82macro["\226\168\166"] = "plussim";
-macro2utf8["doublebarwedge"] = "\226\140\134";
-utf82macro["\226\140\134"] = "doublebarwedge";
-macro2utf8["nu"] = "\206\189";
-utf82macro["\206\189"] = "nu";
-macro2utf8["eqcolon"] = "\226\137\149";
-utf82macro["\226\137\149"] = "eqcolon";
-macro2utf8["luruhar"] = "\226\165\166";
-utf82macro["\226\165\166"] = "luruhar";
-macro2utf8["Nfr"] = "\240\157\148\145";
-utf82macro["\240\157\148\145"] = "Nfr";
-macro2utf8["preceq"] = "\226\170\175";
-utf82macro["\226\170\175"] = "preceq";
-macro2utf8["LeftTee"] = "\226\138\163";
-utf82macro["\226\138\163"] = "LeftTee";
-macro2utf8["div"] = "\195\183";
-utf82macro["\195\183"] = "div";
-macro2utf8["nVDash"] = "\226\138\175";
-utf82macro["\226\138\175"] = "nVDash";
-macro2utf8["kopf"] = "\240\157\149\156";
-utf82macro["\240\157\149\156"] = "kopf";
-macro2utf8["Iscr"] = "\226\132\144";
-utf82macro["\226\132\144"] = "Iscr";
-macro2utf8["vnsup"] = "\226\138\133";
-utf82macro["\226\138\133"] = "vnsup";
-macro2utf8["gneq"] = "\226\137\169";
-utf82macro["\226\137\169"] = "gneq";
-macro2utf8["backepsilon"] = "\207\182";
-utf82macro["\207\182"] = "backepsilon";
-macro2utf8["boxhu"] = "\226\148\180";
-utf82macro["\226\148\180"] = "boxhu";
-macro2utf8["ominus"] = "\226\138\150";
-utf82macro["\226\138\150"] = "ominus";
-macro2utf8["or"] = "\226\136\168";
-utf82macro["\226\136\168"] = "or";
-macro2utf8["lesdot"] = "\226\169\191";
-utf82macro["\226\169\191"] = "lesdot";
-macro2utf8["RightVectorBar"] = "\226\165\147";
-utf82macro["\226\165\147"] = "RightVectorBar";
-macro2utf8["tcedil"] = "\197\163";
-utf82macro["\197\163"] = "tcedil";
-macro2utf8["hstrok"] = "\196\167";
-utf82macro["\196\167"] = "hstrok";
-macro2utf8["nrarrc"] = "\226\164\179\204\184";
-utf82macro["\226\164\179\204\184"] = "nrarrc";
-macro2utf8["ropf"] = "\240\157\149\163";
-utf82macro["\240\157\149\163"] = "ropf";
-macro2utf8["diamond"] = "\226\139\132";
-utf82macro["\226\139\132"] = "diamond";
-macro2utf8["smid"] = "\226\136\163\239\184\128";
-utf82macro["\226\136\163\239\184\128"] = "smid";
-macro2utf8["nltri"] = "\226\139\170";
-utf82macro["\226\139\170"] = "nltri";
-macro2utf8["Pscr"] = "\240\157\146\171";
-utf82macro["\240\157\146\171"] = "Pscr";
-macro2utf8["vartheta"] = "\207\145";
-utf82macro["\207\145"] = "vartheta";
-macro2utf8["therefore"] = "\226\136\180";
-utf82macro["\226\136\180"] = "therefore";
-macro2utf8["pi"] = "\207\128";
-utf82macro["\207\128"] = "pi";
-macro2utf8["ntrianglelefteq"] = "\226\139\172";
-utf82macro["\226\139\172"] = "ntrianglelefteq";
-macro2utf8["nearrow"] = "\226\134\151";
-utf82macro["\226\134\151"] = "nearrow";
-macro2utf8["pm"] = "\194\177";
-utf82macro["\194\177"] = "pm";
-macro2utf8["natural"] = "\226\153\174";
-utf82macro["\226\153\174"] = "natural";
-macro2utf8["ucy"] = "\209\131";
-utf82macro["\209\131"] = "ucy";
-macro2utf8["olt"] = "\226\167\128";
-utf82macro["\226\167\128"] = "olt";
-macro2utf8["Cfr"] = "\226\132\173";
-utf82macro["\226\132\173"] = "Cfr";
-macro2utf8["yopf"] = "\240\157\149\170";
-utf82macro["\240\157\149\170"] = "yopf";
-macro2utf8["Otilde"] = "\195\149";
-utf82macro["\195\149"] = "Otilde";
-macro2utf8["ntriangleleft"] = "\226\139\170";
-utf82macro["\226\139\170"] = "ntriangleleft";
-macro2utf8["pr"] = "\226\137\186";
-utf82macro["\226\137\186"] = "pr";
-macro2utf8["Wscr"] = "\240\157\146\178";
-utf82macro["\240\157\146\178"] = "Wscr";
-macro2utf8["midcir"] = "\226\171\176";
-utf82macro["\226\171\176"] = "midcir";
-macro2utf8["Lacute"] = "\196\185";
-utf82macro["\196\185"] = "Lacute";
-macro2utf8["DoubleDot"] = "\194\168";
-utf82macro["\194\168"] = "DoubleDot";
-macro2utf8["Tstrok"] = "\197\166";
-utf82macro["\197\166"] = "Tstrok";
-macro2utf8["nrarrw"] = "\226\134\157\204\184";
-utf82macro["\226\134\157\204\184"] = "nrarrw";
-macro2utf8["uArr"] = "\226\135\145";
-utf82macro["\226\135\145"] = "uArr";
-macro2utf8["nLtv"] = "\226\137\170\204\184\239\184\128";
-utf82macro["\226\137\170\204\184\239\184\128"] = "nLtv";
-macro2utf8["rangle"] = "\226\140\170";
-utf82macro["\226\140\170"] = "rangle";
-macro2utf8["olcir"] = "\226\166\190";
-utf82macro["\226\166\190"] = "olcir";
-macro2utf8["Auml"] = "\195\132";
-utf82macro["\195\132"] = "Auml";
-macro2utf8["Succeeds"] = "\226\137\187";
-utf82macro["\226\137\187"] = "Succeeds";
-macro2utf8["DoubleLongLeftRightArrow"] = "\239\149\187";
-utf82macro["\239\149\187"] = "DoubleLongLeftRightArrow";
-macro2utf8["TSHcy"] = "\208\139";
-utf82macro["\208\139"] = "TSHcy";
-macro2utf8["gammad"] = "\207\156";
-utf82macro["\207\156"] = "gammad";
-macro2utf8["epsiv"] = "\201\155";
-utf82macro["\201\155"] = "epsiv";
-macro2utf8["notinva"] = "\226\136\137\204\184";
-utf82macro["\226\136\137\204\184"] = "notinva";
-macro2utf8["notinvb"] = "\226\139\183";
-utf82macro["\226\139\183"] = "notinvb";
-macro2utf8["eqvparsl"] = "\226\167\165";
-utf82macro["\226\167\165"] = "eqvparsl";
-macro2utf8["notinvc"] = "\226\139\182";
-utf82macro["\226\139\182"] = "notinvc";
-macro2utf8["nsubE"] = "\226\138\136";
-utf82macro["\226\138\136"] = "nsubE";
-macro2utf8["supplus"] = "\226\171\128";
-utf82macro["\226\171\128"] = "supplus";
-macro2utf8["RightUpDownVector"] = "\226\165\143";
-utf82macro["\226\165\143"] = "RightUpDownVector";
-macro2utf8["Tab"] = "\t";
-utf82macro["\t"] = "Tab";
-macro2utf8["Lcedil"] = "\196\187";
-utf82macro["\196\187"] = "Lcedil";
-macro2utf8["backslash"] = "\\";
-utf82macro["\\"] = "backslash";
-macro2utf8["pointint"] = "\226\168\149";
-utf82macro["\226\168\149"] = "pointint";
-macro2utf8["jcy"] = "\208\185";
-utf82macro["\208\185"] = "jcy";
-macro2utf8["iocy"] = "\209\145";
-utf82macro["\209\145"] = "iocy";
-macro2utf8["escr"] = "\226\132\175";
-utf82macro["\226\132\175"] = "escr";
-macro2utf8["submult"] = "\226\171\129";
-utf82macro["\226\171\129"] = "submult";
-macro2utf8["iiota"] = "\226\132\169";
-utf82macro["\226\132\169"] = "iiota";
-macro2utf8["lceil"] = "\226\140\136";
-utf82macro["\226\140\136"] = "lceil";
-macro2utf8["omacr"] = "\197\141";
-utf82macro["\197\141"] = "omacr";
-macro2utf8["gneqq"] = "\226\137\169";
-utf82macro["\226\137\169"] = "gneqq";
-macro2utf8["gcirc"] = "\196\157";
-utf82macro["\196\157"] = "gcirc";
-macro2utf8["dotsquare"] = "\226\138\161";
-utf82macro["\226\138\161"] = "dotsquare";
-macro2utf8["ccaron"] = "\196\141";
-utf82macro["\196\141"] = "ccaron";
-macro2utf8["Square"] = "\226\150\161";
-utf82macro["\226\150\161"] = "Square";
-macro2utf8["RightDownTeeVector"] = "\226\165\157";
-utf82macro["\226\165\157"] = "RightDownTeeVector";
-macro2utf8["Ouml"] = "\195\150";
-utf82macro["\195\150"] = "Ouml";
-macro2utf8["lurdshar"] = "\226\165\138";
-utf82macro["\226\165\138"] = "lurdshar";
-macro2utf8["SuchThat"] = "\226\136\139";
-utf82macro["\226\136\139"] = "SuchThat";
-macro2utf8["setminus"] = "\226\136\150";
-utf82macro["\226\136\150"] = "setminus";
-macro2utf8["lscr"] = "\226\132\147";
-utf82macro["\226\132\147"] = "lscr";
-macro2utf8["LessLess"] = "\226\170\161";
-utf82macro["\226\170\161"] = "LessLess";
-macro2utf8["Sub"] = "\226\139\144";
-utf82macro["\226\139\144"] = "Sub";
-macro2utf8["sc"] = "\226\137\187";
-utf82macro["\226\137\187"] = "sc";
-macro2utf8["rx"] = "\226\132\158";
-utf82macro["\226\132\158"] = "rx";
-macro2utf8["RightFloor"] = "\226\140\139";
-utf82macro["\226\140\139"] = "RightFloor";
-macro2utf8["blacksquare"] = "\226\150\170";
-utf82macro["\226\150\170"] = "blacksquare";
-macro2utf8["ufr"] = "\240\157\148\178";
-utf82macro["\240\157\148\178"] = "ufr";
-macro2utf8["block"] = "\226\150\136";
-utf82macro["\226\150\136"] = "block";
-macro2utf8["dots"] = "\226\128\166";
-utf82macro["\226\128\166"] = "dots";
-macro2utf8["nvsim"] = "\226\137\129\204\184";
-utf82macro["\226\137\129\204\184"] = "nvsim";
-macro2utf8["caret"] = "\226\129\129";
-utf82macro["\226\129\129"] = "caret";
-macro2utf8["demptyv"] = "\226\166\177";
-utf82macro["\226\166\177"] = "demptyv";
-macro2utf8["Sum"] = "\226\136\145";
-utf82macro["\226\136\145"] = "Sum";
-macro2utf8["sscr"] = "\240\157\147\136";
-utf82macro["\240\157\147\136"] = "sscr";
-macro2utf8["nsube"] = "\226\138\136";
-utf82macro["\226\138\136"] = "nsube";
-macro2utf8["Sup"] = "\226\139\145";
-utf82macro["\226\139\145"] = "Sup";
-macro2utf8["ccupssm"] = "\226\169\144";
-utf82macro["\226\169\144"] = "ccupssm";
-macro2utf8["Because"] = "\226\136\181";
-utf82macro["\226\136\181"] = "Because";
-macro2utf8["harrcir"] = "\226\165\136";
-utf82macro["\226\165\136"] = "harrcir";
-macro2utf8["capbrcup"] = "\226\169\137";
-utf82macro["\226\169\137"] = "capbrcup";
-macro2utf8["RightUpVectorBar"] = "\226\165\148";
-utf82macro["\226\165\148"] = "RightUpVectorBar";
-macro2utf8["caps"] = "\226\136\169\239\184\128";
-utf82macro["\226\136\169\239\184\128"] = "caps";
-macro2utf8["ohbar"] = "\226\166\181";
-utf82macro["\226\166\181"] = "ohbar";
-macro2utf8["laemptyv"] = "\226\166\180";
-utf82macro["\226\166\180"] = "laemptyv";
-macro2utf8["uacute"] = "\195\186";
-utf82macro["\195\186"] = "uacute";
-macro2utf8["straightphi"] = "\207\134";
-utf82macro["\207\134"] = "straightphi";
-macro2utf8["RightDoubleBracket"] = "\227\128\155";
-utf82macro["\227\128\155"] = "RightDoubleBracket";
-macro2utf8["zscr"] = "\240\157\147\143";
-utf82macro["\240\157\147\143"] = "zscr";
-macro2utf8["uogon"] = "\197\179";
-utf82macro["\197\179"] = "uogon";
-macro2utf8["Uarr"] = "\226\134\159";
-utf82macro["\226\134\159"] = "Uarr";
-macro2utf8["nsucc"] = "\226\138\129";
-utf82macro["\226\138\129"] = "nsucc";
-macro2utf8["RBarr"] = "\226\164\144";
-utf82macro["\226\164\144"] = "RBarr";
-macro2utf8["NotRightTriangleBar"] = "\226\167\144\204\184";
-utf82macro["\226\167\144\204\184"] = "NotRightTriangleBar";
-macro2utf8["to"] = "\226\134\146";
-utf82macro["\226\134\146"] = "to";
-macro2utf8["rpar"] = ")";
-utf82macro[")"] = "rpar";
-macro2utf8["rdsh"] = "\226\134\179";
-utf82macro["\226\134\179"] = "rdsh";
-macro2utf8["jfr"] = "\240\157\148\167";
-utf82macro["\240\157\148\167"] = "jfr";
-macro2utf8["ldquor"] = "\226\128\158";
-utf82macro["\226\128\158"] = "ldquor";
-macro2utf8["bsime"] = "\226\139\141";
-utf82macro["\226\139\141"] = "bsime";
-macro2utf8["lAtail"] = "\226\164\155";
-utf82macro["\226\164\155"] = "lAtail";
-macro2utf8["Hcirc"] = "\196\164";
-utf82macro["\196\164"] = "Hcirc";
-macro2utf8["aacute"] = "\195\161";
-utf82macro["\195\161"] = "aacute";
-macro2utf8["dot"] = "\203\153";
-utf82macro["\203\153"] = "dot";
-macro2utf8["Tcy"] = "\208\162";
-utf82macro["\208\162"] = "Tcy";
-macro2utf8["nsub"] = "\226\138\132";
-utf82macro["\226\138\132"] = "nsub";
-macro2utf8["kappa"] = "\206\186";
-utf82macro["\206\186"] = "kappa";
-macro2utf8["ovbar"] = "\226\140\189";
-utf82macro["\226\140\189"] = "ovbar";
-macro2utf8["shcy"] = "\209\136";
-utf82macro["\209\136"] = "shcy";
-macro2utf8["kappav"] = "\207\176";
-utf82macro["\207\176"] = "kappav";
-macro2utf8["ropar"] = "\227\128\153";
-utf82macro["\227\128\153"] = "ropar";
-macro2utf8["gtcc"] = "\226\170\167";
-utf82macro["\226\170\167"] = "gtcc";
-macro2utf8["ecolon"] = "\226\137\149";
-utf82macro["\226\137\149"] = "ecolon";
-macro2utf8["circledast"] = "\226\138\155";
-utf82macro["\226\138\155"] = "circledast";
-macro2utf8["colon"] = ":";
-utf82macro[":"] = "colon";
-macro2utf8["timesbar"] = "\226\168\177";
-utf82macro["\226\168\177"] = "timesbar";
-macro2utf8["precnsim"] = "\226\139\168";
-utf82macro["\226\139\168"] = "precnsim";
-macro2utf8["ord"] = "\226\169\157";
-utf82macro["\226\169\157"] = "ord";
-macro2utf8["real"] = "\226\132\156";
-utf82macro["\226\132\156"] = "real";
-macro2utf8["nexists"] = "\226\136\132";
-utf82macro["\226\136\132"] = "nexists";
-macro2utf8["nsup"] = "\226\138\133";
-utf82macro["\226\138\133"] = "nsup";
-macro2utf8["zhcy"] = "\208\182";
-utf82macro["\208\182"] = "zhcy";
-macro2utf8["imacr"] = "\196\171";
-utf82macro["\196\171"] = "imacr";
-macro2utf8["egrave"] = "\195\168";
-utf82macro["\195\168"] = "egrave";
-macro2utf8["acirc"] = "\195\162";
-utf82macro["\195\162"] = "acirc";
-macro2utf8["grave"] = "`";
-utf82macro["`"] = "grave";
-macro2utf8["biguplus"] = "\226\138\142";
-utf82macro["\226\138\142"] = "biguplus";
-macro2utf8["HumpEqual"] = "\226\137\143";
-utf82macro["\226\137\143"] = "HumpEqual";
-macro2utf8["GreaterSlantEqual"] = "\226\169\190";
-utf82macro["\226\169\190"] = "GreaterSlantEqual";
-macro2utf8["capand"] = "\226\169\132";
-utf82macro["\226\169\132"] = "capand";
-macro2utf8["yuml"] = "\195\191";
-utf82macro["\195\191"] = "yuml";
-macro2utf8["orv"] = "\226\169\155";
-utf82macro["\226\169\155"] = "orv";
-macro2utf8["Icy"] = "\208\152";
-utf82macro["\208\152"] = "Icy";
-macro2utf8["rightharpoondown"] = "\226\135\129";
-utf82macro["\226\135\129"] = "rightharpoondown";
-macro2utf8["upsilon"] = "\207\133";
-utf82macro["\207\133"] = "upsilon";
-macro2utf8["preccurlyeq"] = "\226\137\188";
-utf82macro["\226\137\188"] = "preccurlyeq";
-macro2utf8["ShortUpArrow"] = "\226\140\131\239\184\128";
-utf82macro["\226\140\131\239\184\128"] = "ShortUpArrow";
-macro2utf8["searhk"] = "\226\164\165";
-utf82macro["\226\164\165"] = "searhk";
-macro2utf8["commat"] = "@";
-utf82macro["@"] = "commat";
-macro2utf8["Sqrt"] = "\226\136\154";
-utf82macro["\226\136\154"] = "Sqrt";
-macro2utf8["wp"] = "\226\132\152";
-utf82macro["\226\132\152"] = "wp";
-macro2utf8["succnapprox"] = "\226\139\169";
-utf82macro["\226\139\169"] = "succnapprox";
-macro2utf8["wr"] = "\226\137\128";
-utf82macro["\226\137\128"] = "wr";
-macro2utf8["NotTildeTilde"] = "\226\137\137";
-utf82macro["\226\137\137"] = "NotTildeTilde";
-macro2utf8["dcaron"] = "\196\143";
-utf82macro["\196\143"] = "dcaron";
-macro2utf8["Tfr"] = "\240\157\148\151";
-utf82macro["\240\157\148\151"] = "Tfr";
-macro2utf8["bigwedge"] = "\226\139\128";
-utf82macro["\226\139\128"] = "bigwedge";
-macro2utf8["DScy"] = "\208\133";
-utf82macro["\208\133"] = "DScy";
-macro2utf8["nrtrie"] = "\226\139\173";
-utf82macro["\226\139\173"] = "nrtrie";
-macro2utf8["esim"] = "\226\137\130";
-utf82macro["\226\137\130"] = "esim";
-macro2utf8["Not"] = "\226\171\172";
-utf82macro["\226\171\172"] = "Not";
-macro2utf8["xmap"] = "\239\149\189";
-utf82macro["\239\149\189"] = "xmap";
-macro2utf8["rect"] = "\226\150\173";
-utf82macro["\226\150\173"] = "rect";
-macro2utf8["Fouriertrf"] = "\226\132\177";
-utf82macro["\226\132\177"] = "Fouriertrf";
-macro2utf8["xi"] = "\206\190";
-utf82macro["\206\190"] = "xi";
-macro2utf8["NotTilde"] = "\226\137\129";
-utf82macro["\226\137\129"] = "NotTilde";
-macro2utf8["gbreve"] = "\196\159";
-utf82macro["\196\159"] = "gbreve";
-macro2utf8["par"] = "\226\136\165";
-utf82macro["\226\136\165"] = "par";
-macro2utf8["ddots"] = "\226\139\177";
-utf82macro["\226\139\177"] = "ddots";
-macro2utf8["nhArr"] = "\226\135\142";
-utf82macro["\226\135\142"] = "nhArr";
-macro2utf8["lsim"] = "\226\137\178";
-utf82macro["\226\137\178"] = "lsim";
-macro2utf8["RightCeiling"] = "\226\140\137";
-utf82macro["\226\140\137"] = "RightCeiling";
-macro2utf8["nedot"] = "\226\137\160\239\184\128";
-utf82macro["\226\137\160\239\184\128"] = "nedot";
-macro2utf8["thksim"] = "\226\136\188\239\184\128";
-utf82macro["\226\136\188\239\184\128"] = "thksim";
-macro2utf8["lEg"] = "\226\139\154";
-utf82macro["\226\139\154"] = "lEg";
-macro2utf8["Ifr"] = "\226\132\145";
-utf82macro["\226\132\145"] = "Ifr";
-macro2utf8["emsp"] = "\226\128\131";
-utf82macro["\226\128\131"] = "emsp";
-macro2utf8["lopar"] = "\227\128\152";
-utf82macro["\227\128\152"] = "lopar";
-macro2utf8["iiiint"] = "\226\168\140";
-utf82macro["\226\168\140"] = "iiiint";
-macro2utf8["straightepsilon"] = "\206\181";
-utf82macro["\206\181"] = "straightepsilon";
-macro2utf8["intlarhk"] = "\226\168\151";
-utf82macro["\226\168\151"] = "intlarhk";
-macro2utf8["image"] = "\226\132\145";
-utf82macro["\226\132\145"] = "image";
-macro2utf8["sqsubseteq"] = "\226\138\145";
-utf82macro["\226\138\145"] = "sqsubseteq";
-macro2utf8["lnapprox"] = "\226\170\137";
-utf82macro["\226\170\137"] = "lnapprox";
-macro2utf8["Leftrightarrow"] = "\226\135\148";
-utf82macro["\226\135\148"] = "Leftrightarrow";
-macro2utf8["cemptyv"] = "\226\166\178";
-utf82macro["\226\166\178"] = "cemptyv";
-macro2utf8["alpha"] = "\206\177";
-utf82macro["\206\177"] = "alpha";
-macro2utf8["uml"] = "\194\168";
-utf82macro["\194\168"] = "uml";
-macro2utf8["barwedge"] = "\226\138\188";
-utf82macro["\226\138\188"] = "barwedge";
-macro2utf8["KHcy"] = "\208\165";
-utf82macro["\208\165"] = "KHcy";
-macro2utf8["tilde"] = "\203\156";
-utf82macro["\203\156"] = "tilde";
-macro2utf8["Superset"] = "\226\138\131";
-utf82macro["\226\138\131"] = "Superset";
-macro2utf8["gesles"] = "\226\170\148";
-utf82macro["\226\170\148"] = "gesles";
-macro2utf8["bigoplus"] = "\226\138\149";
-utf82macro["\226\138\149"] = "bigoplus";
-macro2utf8["boxuL"] = "\226\149\155";
-utf82macro["\226\149\155"] = "boxuL";
-macro2utf8["rbbrk"] = "\227\128\149";
-utf82macro["\227\128\149"] = "rbbrk";
-macro2utf8["nrightarrow"] = "\226\134\155";
-utf82macro["\226\134\155"] = "nrightarrow";
-macro2utf8["hkswarow"] = "\226\164\166";
-utf82macro["\226\164\166"] = "hkswarow";
-macro2utf8["DiacriticalDoubleAcute"] = "\203\157";
-utf82macro["\203\157"] = "DiacriticalDoubleAcute";
-macro2utf8["nbumpe"] = "\226\137\143\204\184";
-utf82macro["\226\137\143\204\184"] = "nbumpe";
-macro2utf8["uhblk"] = "\226\150\128";
-utf82macro["\226\150\128"] = "uhblk";
-macro2utf8["NotSupersetEqual"] = "\226\138\137";
-utf82macro["\226\138\137"] = "NotSupersetEqual";
-macro2utf8["ntgl"] = "\226\137\185";
-utf82macro["\226\137\185"] = "ntgl";
-macro2utf8["Fopf"] = "\240\157\148\189";
-utf82macro["\240\157\148\189"] = "Fopf";
-macro2utf8["boxuR"] = "\226\149\152";
-utf82macro["\226\149\152"] = "boxuR";
-macro2utf8["swarr"] = "\226\134\153";
-utf82macro["\226\134\153"] = "swarr";
-macro2utf8["nsqsube"] = "\226\139\162";
-utf82macro["\226\139\162"] = "nsqsube";
-macro2utf8["pluscir"] = "\226\168\162";
-utf82macro["\226\168\162"] = "pluscir";
-macro2utf8["pcy"] = "\208\191";
-utf82macro["\208\191"] = "pcy";
-macro2utf8["leqslant"] = "\226\169\189";
-utf82macro["\226\169\189"] = "leqslant";
-macro2utf8["lnap"] = "\226\170\137";
-utf82macro["\226\170\137"] = "lnap";
-macro2utf8["lthree"] = "\226\139\139";
-utf82macro["\226\139\139"] = "lthree";
-macro2utf8["smte"] = "\226\170\172";
-utf82macro["\226\170\172"] = "smte";
-macro2utf8["olcross"] = "\226\166\187";
-utf82macro["\226\166\187"] = "olcross";
-macro2utf8["nvrArr"] = "\226\135\143";
-utf82macro["\226\135\143"] = "nvrArr";
-macro2utf8["andslope"] = "\226\169\152";
-utf82macro["\226\169\152"] = "andslope";
-macro2utf8["MediumSpace"] = "\226\129\159";
-utf82macro["\226\129\159"] = "MediumSpace";
-macro2utf8["boxvH"] = "\226\149\170";
-utf82macro["\226\149\170"] = "boxvH";
-macro2utf8["Nacute"] = "\197\131";
-utf82macro["\197\131"] = "Nacute";
-macro2utf8["nGtv"] = "\226\137\171\204\184\239\184\128";
-utf82macro["\226\137\171\204\184\239\184\128"] = "nGtv";
-macro2utf8["Mopf"] = "\240\157\149\132";
-utf82macro["\240\157\149\132"] = "Mopf";
-macro2utf8["dfisht"] = "\226\165\191";
-utf82macro["\226\165\191"] = "dfisht";
-macro2utf8["boxvL"] = "\226\149\161";
-utf82macro["\226\149\161"] = "boxvL";
-macro2utf8["pertenk"] = "\226\128\177";
-utf82macro["\226\128\177"] = "pertenk";
-macro2utf8["NotPrecedes"] = "\226\138\128";
-utf82macro["\226\138\128"] = "NotPrecedes";
-macro2utf8["profalar"] = "\226\140\174";
-utf82macro["\226\140\174"] = "profalar";
-macro2utf8["roplus"] = "\226\168\174";
-utf82macro["\226\168\174"] = "roplus";
-macro2utf8["boxvR"] = "\226\149\158";
-utf82macro["\226\149\158"] = "boxvR";
-macro2utf8["utrif"] = "\226\150\180";
-utf82macro["\226\150\180"] = "utrif";
-macro2utf8["uHar"] = "\226\165\163";
-utf82macro["\226\165\163"] = "uHar";
-macro2utf8["nltrie"] = "\226\139\172";
-utf82macro["\226\139\172"] = "nltrie";
-macro2utf8["NotNestedGreaterGreater"] = "\226\146\162\204\184";
-utf82macro["\226\146\162\204\184"] = "NotNestedGreaterGreater";
-macro2utf8["smtes"] = "\226\170\172\239\184\128";
-utf82macro["\226\170\172\239\184\128"] = "smtes";
-macro2utf8["LeftAngleBracket"] = "\226\140\169";
-utf82macro["\226\140\169"] = "LeftAngleBracket";
-macro2utf8["iogon"] = "\196\175";
-utf82macro["\196\175"] = "iogon";
-macro2utf8["ExponentialE"] = "\226\133\135";
-utf82macro["\226\133\135"] = "ExponentialE";
-macro2utf8["Topf"] = "\240\157\149\139";
-utf82macro["\240\157\149\139"] = "Topf";
-macro2utf8["GreaterEqual"] = "\226\137\165";
-utf82macro["\226\137\165"] = "GreaterEqual";
-macro2utf8["DownTee"] = "\226\138\164";
-utf82macro["\226\138\164"] = "DownTee";
-macro2utf8["boxul"] = "\226\148\152";
-utf82macro["\226\148\152"] = "boxul";
-macro2utf8["wreath"] = "\226\137\128";
-utf82macro["\226\137\128"] = "wreath";
-macro2utf8["sigma"] = "\207\131";
-utf82macro["\207\131"] = "sigma";
-macro2utf8["ENG"] = "\197\138";
-utf82macro["\197\138"] = "ENG";
-macro2utf8["Ncedil"] = "\197\133";
-utf82macro["\197\133"] = "Ncedil";
-macro2utf8["ecy"] = "\209\141";
-utf82macro["\209\141"] = "ecy";
-macro2utf8["nsubset"] = "\226\138\132";
-utf82macro["\226\138\132"] = "nsubset";
-macro2utf8["LessFullEqual"] = "\226\137\166";
-utf82macro["\226\137\166"] = "LessFullEqual";
-macro2utf8["bsolb"] = "\226\167\133";
-utf82macro["\226\167\133"] = "bsolb";
-macro2utf8["boxur"] = "\226\148\148";
-utf82macro["\226\148\148"] = "boxur";
-macro2utf8["ThinSpace"] = "\226\128\137";
-utf82macro["\226\128\137"] = "ThinSpace";
-macro2utf8["supdsub"] = "\226\171\152";
-utf82macro["\226\171\152"] = "supdsub";
-macro2utf8["colone"] = "\226\137\148";
-utf82macro["\226\137\148"] = "colone";
-macro2utf8["curren"] = "\194\164";
-utf82macro["\194\164"] = "curren";
-macro2utf8["boxvh"] = "\226\148\188";
-utf82macro["\226\148\188"] = "boxvh";
-macro2utf8["ecaron"] = "\196\155";
-utf82macro["\196\155"] = "ecaron";
-macro2utf8["UnderBrace"] = "\239\184\184";
-utf82macro["\239\184\184"] = "UnderBrace";
-macro2utf8["caron"] = "\203\135";
-utf82macro["\203\135"] = "caron";
-macro2utf8["ultri"] = "\226\151\184";
-utf82macro["\226\151\184"] = "ultri";
-macro2utf8["boxvl"] = "\226\148\164";
-utf82macro["\226\148\164"] = "boxvl";
-macro2utf8["scap"] = "\226\137\191";
-utf82macro["\226\137\191"] = "scap";
-macro2utf8["boxvr"] = "\226\148\156";
-utf82macro["\226\148\156"] = "boxvr";
-macro2utf8["bopf"] = "\240\157\149\147";
-utf82macro["\240\157\149\147"] = "bopf";
-macro2utf8["pfr"] = "\240\157\148\173";
-utf82macro["\240\157\148\173"] = "pfr";
-macro2utf8["nspar"] = "\226\136\166\239\184\128";
-utf82macro["\226\136\166\239\184\128"] = "nspar";
-macro2utf8["NegativeMediumSpace"] = "\226\129\159\239\184\128";
-utf82macro["\226\129\159\239\184\128"] = "NegativeMediumSpace";
-macro2utf8["simgE"] = "\226\170\160";
-utf82macro["\226\170\160"] = "simgE";
-macro2utf8["nvDash"] = "\226\138\173";
-utf82macro["\226\138\173"] = "nvDash";
-macro2utf8["NotGreaterFullEqual"] = "\226\137\176";
-utf82macro["\226\137\176"] = "NotGreaterFullEqual";
-macro2utf8["uparrow"] = "\226\134\145";
-utf82macro["\226\134\145"] = "uparrow";
-macro2utf8["nsupset"] = "\226\138\133";
-utf82macro["\226\138\133"] = "nsupset";
-macro2utf8["simeq"] = "\226\137\131";
-utf82macro["\226\137\131"] = "simeq";
-macro2utf8["Zcy"] = "\208\151";
-utf82macro["\208\151"] = "Zcy";
-macro2utf8["RightTriangle"] = "\226\138\179";
-utf82macro["\226\138\179"] = "RightTriangle";
-macro2utf8["Lang"] = "\227\128\138";
-utf82macro["\227\128\138"] = "Lang";
-macro2utf8["Ucirc"] = "\195\155";
-utf82macro["\195\155"] = "Ucirc";
-macro2utf8["iopf"] = "\240\157\149\154";
-utf82macro["\240\157\149\154"] = "iopf";
-macro2utf8["leftrightsquigarrow"] = "\226\134\173";
-utf82macro["\226\134\173"] = "leftrightsquigarrow";
-macro2utf8["Gscr"] = "\240\157\146\162";
-utf82macro["\240\157\146\162"] = "Gscr";
-macro2utf8["lfloor"] = "\226\140\138";
-utf82macro["\226\140\138"] = "lfloor";
-macro2utf8["lbbrk"] = "\227\128\148";
-utf82macro["\227\128\148"] = "lbbrk";
-macro2utf8["bigvee"] = "\226\139\129";
-utf82macro["\226\139\129"] = "bigvee";
-macro2utf8["ordf"] = "\194\170";
-utf82macro["\194\170"] = "ordf";
-macro2utf8["rsquo"] = "\226\128\153";
-utf82macro["\226\128\153"] = "rsquo";
-macro2utf8["parallel"] = "\226\136\165";
-utf82macro["\226\136\165"] = "parallel";
-macro2utf8["half"] = "\194\189";
-utf82macro["\194\189"] = "half";
-macro2utf8["supseteq"] = "\226\138\135";
-utf82macro["\226\138\135"] = "supseteq";
-macro2utf8["ngeqq"] = "\226\137\177";
-utf82macro["\226\137\177"] = "ngeqq";
-macro2utf8["popf"] = "\240\157\149\161";
-utf82macro["\240\157\149\161"] = "popf";
-macro2utf8["NonBreakingSpace"] = "\194\160";
-utf82macro["\194\160"] = "NonBreakingSpace";
-macro2utf8["softcy"] = "\209\140";
-utf82macro["\209\140"] = "softcy";
-macro2utf8["ordm"] = "\194\186";
-utf82macro["\194\186"] = "ordm";
-macro2utf8["Nscr"] = "\240\157\146\169";
-utf82macro["\240\157\146\169"] = "Nscr";
-macro2utf8["owns"] = "\226\136\139";
-utf82macro["\226\136\139"] = "owns";
-macro2utf8["phi"] = "\207\149";
-utf82macro["\207\149"] = "phi";
-macro2utf8["efr"] = "\240\157\148\162";
-utf82macro["\240\157\148\162"] = "efr";
-macro2utf8["nesear"] = "\226\164\168";
-utf82macro["\226\164\168"] = "nesear";
-macro2utf8["marker"] = "\226\150\174";
-utf82macro["\226\150\174"] = "marker";
-macro2utf8["lneq"] = "\226\137\168";
-utf82macro["\226\137\168"] = "lneq";
-macro2utf8["parallet"] = "????";
-utf82macro["????"] = "parallet";
-macro2utf8["ndash"] = "\226\128\147";
-utf82macro["\226\128\147"] = "ndash";
-macro2utf8["DoubleLeftTee"] = "\226\171\164";
-utf82macro["\226\171\164"] = "DoubleLeftTee";
-macro2utf8["lArr"] = "\226\135\144";
-utf82macro["\226\135\144"] = "lArr";
-macro2utf8["becaus"] = "\226\136\181";
-utf82macro["\226\136\181"] = "becaus";
-macro2utf8["RightTee"] = "\226\138\162";
-utf82macro["\226\138\162"] = "RightTee";
-macro2utf8["Ocy"] = "\208\158";
-utf82macro["\208\158"] = "Ocy";
-macro2utf8["ntlg"] = "\226\137\184";
-utf82macro["\226\137\184"] = "ntlg";
-macro2utf8["cacute"] = "\196\135";
-utf82macro["\196\135"] = "cacute";
-macro2utf8["wopf"] = "\240\157\149\168";
-utf82macro["\240\157\149\168"] = "wopf";
-macro2utf8["Cup"] = "\226\139\147";
-utf82macro["\226\139\147"] = "Cup";
-macro2utf8["Uscr"] = "\240\157\146\176";
-utf82macro["\240\157\146\176"] = "Uscr";
-macro2utf8["NotHumpEqual"] = "\226\137\143\204\184";
-utf82macro["\226\137\143\204\184"] = "NotHumpEqual";
-macro2utf8["rnmid"] = "\226\171\174";
-utf82macro["\226\171\174"] = "rnmid";
-macro2utf8["nsupE"] = "\226\138\137";
-utf82macro["\226\138\137"] = "nsupE";
-macro2utf8["bemptyv"] = "\226\166\176";
-utf82macro["\226\166\176"] = "bemptyv";
-macro2utf8["lsqb"] = "[";
-utf82macro["["] = "lsqb";
-macro2utf8["nrarr"] = "\226\134\155";
-utf82macro["\226\134\155"] = "nrarr";
-macro2utf8["egs"] = "\226\139\157";
-utf82macro["\226\139\157"] = "egs";
-macro2utf8["reals"] = "\226\132\157";
-utf82macro["\226\132\157"] = "reals";
-macro2utf8["CupCap"] = "\226\137\141";
-utf82macro["\226\137\141"] = "CupCap";
-macro2utf8["Oacute"] = "\195\147";
-utf82macro["\195\147"] = "Oacute";
-macro2utf8["Zfr"] = "\226\132\168";
-utf82macro["\226\132\168"] = "Zfr";
-macro2utf8["ReverseEquilibrium"] = "\226\135\139";
-utf82macro["\226\135\139"] = "ReverseEquilibrium";
-macro2utf8["ccedil"] = "\195\167";
-utf82macro["\195\167"] = "ccedil";
-macro2utf8["bigtriangleup"] = "\226\150\179";
-utf82macro["\226\150\179"] = "bigtriangleup";
-macro2utf8["piv"] = "\207\150";
-utf82macro["\207\150"] = "piv";
-macro2utf8["cirscir"] = "\226\167\130";
-utf82macro["\226\167\130"] = "cirscir";
-macro2utf8["exists"] = "\226\136\131";
-utf82macro["\226\136\131"] = "exists";
-macro2utf8["Uarrocir"] = "\226\165\137";
-utf82macro["\226\165\137"] = "Uarrocir";
-macro2utf8["Dcy"] = "\208\148";
-utf82macro["\208\148"] = "Dcy";
-macro2utf8["cscr"] = "\240\157\146\184";
-utf82macro["\240\157\146\184"] = "cscr";
-macro2utf8["zcaron"] = "\197\190";
-utf82macro["\197\190"] = "zcaron";
-macro2utf8["isinE"] = "\226\139\185";
-utf82macro["\226\139\185"] = "isinE";
-macro2utf8["gtcir"] = "\226\169\186";
-utf82macro["\226\169\186"] = "gtcir";
-macro2utf8["hookrightarrow"] = "\226\134\170";
-utf82macro["\226\134\170"] = "hookrightarrow";
-macro2utf8["Int"] = "\226\136\172";
-utf82macro["\226\136\172"] = "Int";
-macro2utf8["nsupe"] = "\226\138\137";
-utf82macro["\226\138\137"] = "nsupe";
-macro2utf8["dotplus"] = "\226\136\148";
-utf82macro["\226\136\148"] = "dotplus";
-macro2utf8["ncup"] = "\226\169\130";
-utf82macro["\226\169\130"] = "ncup";
-macro2utf8["jscr"] = "\240\157\146\191";
-utf82macro["\240\157\146\191"] = "jscr";
-macro2utf8["angmsdaa"] = "\226\166\168";
-utf82macro["\226\166\168"] = "angmsdaa";
-macro2utf8["Iukcy"] = "\208\134";
-utf82macro["\208\134"] = "Iukcy";
-macro2utf8["flat"] = "\226\153\173";
-utf82macro["\226\153\173"] = "flat";
-macro2utf8["bNot"] = "\226\171\173";
-utf82macro["\226\171\173"] = "bNot";
-macro2utf8["angmsdab"] = "\226\166\169";
-utf82macro["\226\166\169"] = "angmsdab";
-macro2utf8["angmsdac"] = "\226\166\170";
-utf82macro["\226\166\170"] = "angmsdac";
-macro2utf8["xdtri"] = "\226\150\189";
-utf82macro["\226\150\189"] = "xdtri";
-macro2utf8["iota"] = "\206\185";
-utf82macro["\206\185"] = "iota";
-macro2utf8["angmsdad"] = "\226\166\171";
-utf82macro["\226\166\171"] = "angmsdad";
-macro2utf8["angmsdae"] = "\226\166\172";
-utf82macro["\226\166\172"] = "angmsdae";
-macro2utf8["rightarrowtail"] = "\226\134\163";
-utf82macro["\226\134\163"] = "rightarrowtail";
-macro2utf8["angmsdaf"] = "\226\166\173";
-utf82macro["\226\166\173"] = "angmsdaf";
-macro2utf8["Ocirc"] = "\195\148";
-utf82macro["\195\148"] = "Ocirc";
-macro2utf8["angmsdag"] = "\226\166\174";
-utf82macro["\226\166\174"] = "angmsdag";
-macro2utf8["Ofr"] = "\240\157\148\146";
-utf82macro["\240\157\148\146"] = "Ofr";
-macro2utf8["maltese"] = "\226\156\160";
-utf82macro["\226\156\160"] = "maltese";
-macro2utf8["angmsdah"] = "\226\166\175";
-utf82macro["\226\166\175"] = "angmsdah";
-macro2utf8["Del"] = "\226\136\135";
-utf82macro["\226\136\135"] = "Del";
-macro2utf8["Barwed"] = "\226\140\134";
-utf82macro["\226\140\134"] = "Barwed";
-macro2utf8["drbkarow"] = "\226\164\144";
-utf82macro["\226\164\144"] = "drbkarow";
-macro2utf8["qscr"] = "\240\157\147\134";
-utf82macro["\240\157\147\134"] = "qscr";
-macro2utf8["ETH"] = "\195\144";
-utf82macro["\195\144"] = "ETH";
-macro2utf8["operp"] = "\226\166\185";
-utf82macro["\226\166\185"] = "operp";
-macro2utf8["daleth"] = "\226\132\184";
-utf82macro["\226\132\184"] = "daleth";
-macro2utf8["bull"] = "\226\128\162";
-utf82macro["\226\128\162"] = "bull";
-macro2utf8["simlE"] = "\226\170\159";
-utf82macro["\226\170\159"] = "simlE";
-macro2utf8["lsquo"] = "\226\128\152";
-utf82macro["\226\128\152"] = "lsquo";
-macro2utf8["Larr"] = "\226\134\158";
-utf82macro["\226\134\158"] = "Larr";
-macro2utf8["curarr"] = "\226\134\183";
-utf82macro["\226\134\183"] = "curarr";
-macro2utf8["blacktriangleleft"] = "\226\151\130";
-utf82macro["\226\151\130"] = "blacktriangleleft";
-macro2utf8["hellip"] = "\226\128\166";
-utf82macro["\226\128\166"] = "hellip";
-macro2utf8["DoubleVerticalBar"] = "\226\136\165";
-utf82macro["\226\136\165"] = "DoubleVerticalBar";
-macro2utf8["rBarr"] = "\226\164\143";
-utf82macro["\226\164\143"] = "rBarr";
-macro2utf8["chcy"] = "\209\135";
-utf82macro["\209\135"] = "chcy";
-macro2utf8["varpi"] = "\207\150";
-utf82macro["\207\150"] = "varpi";
-macro2utf8["Cconint"] = "\226\136\176";
-utf82macro["\226\136\176"] = "Cconint";
-macro2utf8["xlarr"] = "\239\149\182";
-utf82macro["\239\149\182"] = "xlarr";
-macro2utf8["xscr"] = "\240\157\147\141";
-utf82macro["\240\157\147\141"] = "xscr";
-macro2utf8["DoubleLongRightArrow"] = "\239\149\186";
-utf82macro["\239\149\186"] = "DoubleLongRightArrow";
-macro2utf8["CounterClockwiseContourIntegral"] = "\226\136\179";
-utf82macro["\226\136\179"] = "CounterClockwiseContourIntegral";
-macro2utf8["urcrop"] = "\226\140\142";
-utf82macro["\226\140\142"] = "urcrop";
-macro2utf8["RightAngleBracket"] = "\226\140\170";
-utf82macro["\226\140\170"] = "RightAngleBracket";
-macro2utf8["Rcaron"] = "\197\152";
-utf82macro["\197\152"] = "Rcaron";
-macro2utf8["latail"] = "\226\164\153";
-utf82macro["\226\164\153"] = "latail";
-macro2utf8["pitchfork"] = "\226\139\148";
-utf82macro["\226\139\148"] = "pitchfork";
-macro2utf8["nvinfin"] = "\226\167\158";
-utf82macro["\226\167\158"] = "nvinfin";
-macro2utf8["hcirc"] = "\196\165";
-utf82macro["\196\165"] = "hcirc";
-macro2utf8["nexist"] = "\226\136\132";
-utf82macro["\226\136\132"] = "nexist";
-macro2utf8["checkmark"] = "\226\156\147";
-utf82macro["\226\156\147"] = "checkmark";
-macro2utf8["tridot"] = "\226\151\172";
-utf82macro["\226\151\172"] = "tridot";
-macro2utf8["vcy"] = "\208\178";
-utf82macro["\208\178"] = "vcy";
-macro2utf8["isins"] = "\226\139\180";
-utf82macro["\226\139\180"] = "isins";
-macro2utf8["fllig"] = "\239\172\130";
-utf82macro["\239\172\130"] = "fllig";
-macro2utf8["Dfr"] = "\240\157\148\135";
-utf82macro["\240\157\148\135"] = "Dfr";
-macro2utf8["hercon"] = "\226\138\185";
-utf82macro["\226\138\185"] = "hercon";
-macro2utf8["gEl"] = "\226\139\155";
-utf82macro["\226\139\155"] = "gEl";
-macro2utf8["bump"] = "\226\137\142";
-utf82macro["\226\137\142"] = "bump";
-macro2utf8["aleph"] = "\226\132\181";
-utf82macro["\226\132\181"] = "aleph";
-macro2utf8["Ubreve"] = "\197\172";
-utf82macro["\197\172"] = "Ubreve";
-macro2utf8["isinv"] = "\226\136\136";
-utf82macro["\226\136\136"] = "isinv";
-macro2utf8["smile"] = "\226\140\163";
-utf82macro["\226\140\163"] = "smile";
-macro2utf8["llcorner"] = "\226\140\158";
-utf82macro["\226\140\158"] = "llcorner";
-macro2utf8["boxH"] = "\226\149\144";
-utf82macro["\226\149\144"] = "boxH";
-macro2utf8["ecir"] = "\226\137\150";
-utf82macro["\226\137\150"] = "ecir";
-macro2utf8["varnothing"] = "\226\136\133";
-utf82macro["\226\136\133"] = "varnothing";
-macro2utf8["iuml"] = "\195\175";
-utf82macro["\195\175"] = "iuml";
-macro2utf8["mlcp"] = "\226\171\155";
-utf82macro["\226\171\155"] = "mlcp";
-macro2utf8["leftrightharpoons"] = "\226\135\139";
-utf82macro["\226\135\139"] = "leftrightharpoons";
-macro2utf8["ncong"] = "\226\137\135";
-utf82macro["\226\137\135"] = "ncong";
-macro2utf8["Vert"] = "\226\128\150";
-utf82macro["\226\128\150"] = "Vert";
-macro2utf8["vee"] = "\226\136\168";
-utf82macro["\226\136\168"] = "vee";
-macro2utf8["star"] = "\226\139\134";
-utf82macro["\226\139\134"] = "star";
-macro2utf8["boxV"] = "\226\149\145";
-utf82macro["\226\149\145"] = "boxV";
-macro2utf8["LeftRightArrow"] = "\226\134\148";
-utf82macro["\226\134\148"] = "LeftRightArrow";
-macro2utf8["leftrightarrow"] = "\226\134\148";
-utf82macro["\226\134\148"] = "leftrightarrow";
-macro2utf8["lstrok"] = "\197\130";
-utf82macro["\197\130"] = "lstrok";
-macro2utf8["ell"] = "\226\132\147";
-utf82macro["\226\132\147"] = "ell";
-macro2utf8["VerticalSeparator"] = "\226\157\152";
-utf82macro["\226\157\152"] = "VerticalSeparator";
-macro2utf8["Ubrcy"] = "\208\142";
-utf82macro["\208\142"] = "Ubrcy";
-macro2utf8["NotGreater"] = "\226\137\175";
-utf82macro["\226\137\175"] = "NotGreater";
-macro2utf8["Abreve"] = "\196\130";
-utf82macro["\196\130"] = "Abreve";
-macro2utf8["TildeTilde"] = "\226\137\136";
-utf82macro["\226\137\136"] = "TildeTilde";
-macro2utf8["CircleTimes"] = "\226\138\151";
-utf82macro["\226\138\151"] = "CircleTimes";
-macro2utf8["subsetneq"] = "\226\138\138";
-utf82macro["\226\138\138"] = "subsetneq";
-macro2utf8["ltcc"] = "\226\170\166";
-utf82macro["\226\170\166"] = "ltcc";
-macro2utf8["els"] = "\226\139\156";
-utf82macro["\226\139\156"] = "els";
-macro2utf8["succneqq"] = "\226\170\182";
-utf82macro["\226\170\182"] = "succneqq";
-macro2utf8["kcy"] = "\208\186";
-utf82macro["\208\186"] = "kcy";
-macro2utf8["nshortmid"] = "\226\136\164\239\184\128";
-utf82macro["\226\136\164\239\184\128"] = "nshortmid";
-macro2utf8["mldr"] = "\226\128\166";
-utf82macro["\226\128\166"] = "mldr";
-macro2utf8["harr"] = "\226\134\148";
-utf82macro["\226\134\148"] = "harr";
-macro2utf8["gimel"] = "\226\132\183";
-utf82macro["\226\132\183"] = "gimel";
-macro2utf8["Otimes"] = "\226\168\183";
-utf82macro["\226\168\183"] = "Otimes";
-macro2utf8["vsubnE"] = "\226\138\138\239\184\128";
-utf82macro["\226\138\138\239\184\128"] = "vsubnE";
-macro2utf8["ltdot"] = "\226\139\150";
-utf82macro["\226\139\150"] = "ltdot";
-macro2utf8["boxh"] = "\226\148\128";
-utf82macro["\226\148\128"] = "boxh";
-macro2utf8["notin"] = "\226\136\137";
-utf82macro["\226\136\137"] = "notin";
-macro2utf8["RuleDelayed"] = "\226\167\180";
-utf82macro["\226\167\180"] = "RuleDelayed";
-macro2utf8["sqsube"] = "\226\138\145";
-utf82macro["\226\138\145"] = "sqsube";
-macro2utf8["macr"] = "\194\175";
-utf82macro["\194\175"] = "macr";
-macro2utf8["Icirc"] = "\195\142";
-utf82macro["\195\142"] = "Icirc";
-macro2utf8["comma"] = ",";
-utf82macro[","] = "comma";
-macro2utf8["Cayleys"] = "\226\132\173";
-utf82macro["\226\132\173"] = "Cayleys";
-macro2utf8["rightleftharpoons"] = "\226\135\140";
-utf82macro["\226\135\140"] = "rightleftharpoons";
-macro2utf8["Rarrtl"] = "\226\164\150";
-utf82macro["\226\164\150"] = "Rarrtl";
-macro2utf8["SquareSubsetEqual"] = "\226\138\145";
-utf82macro["\226\138\145"] = "SquareSubsetEqual";
-macro2utf8["NotGreaterEqual"] = "\226\137\177\226\131\165";
-utf82macro["\226\137\177\226\131\165"] = "NotGreaterEqual";
-macro2utf8["vfr"] = "\240\157\148\179";
-utf82macro["\240\157\148\179"] = "vfr";
-macro2utf8["utri"] = "\226\150\181";
-utf82macro["\226\150\181"] = "utri";
-macro2utf8["simne"] = "\226\137\134";
-utf82macro["\226\137\134"] = "simne";
-macro2utf8["LeftUpVectorBar"] = "\226\165\152";
-utf82macro["\226\165\152"] = "LeftUpVectorBar";
-macro2utf8["hksearow"] = "\226\164\165";
-utf82macro["\226\164\165"] = "hksearow";
-macro2utf8["boxv"] = "\226\148\130";
-utf82macro["\226\148\130"] = "boxv";
-macro2utf8["curvearrowleft"] = "\226\134\182";
-utf82macro["\226\134\182"] = "curvearrowleft";
-macro2utf8["eng"] = "\197\139";
-utf82macro["\197\139"] = "eng";
-macro2utf8["gtrarr"] = "\226\165\184";
-utf82macro["\226\165\184"] = "gtrarr";
-macro2utf8["iecy"] = "\208\181";
-utf82macro["\208\181"] = "iecy";
-macro2utf8["varr"] = "\226\134\149";
-utf82macro["\226\134\149"] = "varr";
-macro2utf8["lBarr"] = "\226\164\142";
-utf82macro["\226\164\142"] = "lBarr";
+macro2utf8["vnsub"] = "%E2%8A%84";
+utf82macro["%E2%8A%84"] = "vnsub";
+macro2utf8["Bscr"] = "%E2%84%AC";
+utf82macro["%E2%84%AC"] = "Bscr";
+macro2utf8["plussim"] = "%E2%A8%A6";
+utf82macro["%E2%A8%A6"] = "plussim";
+macro2utf8["doublebarwedge"] = "%E2%8C%86";
+utf82macro["%E2%8C%86"] = "doublebarwedge";
+macro2utf8["nu"] = "%CE%BD";
+utf82macro["%CE%BD"] = "nu";
+macro2utf8["eqcolon"] = "%E2%89%95";
+utf82macro["%E2%89%95"] = "eqcolon";
+macro2utf8["luruhar"] = "%E2%A5%A6";
+utf82macro["%E2%A5%A6"] = "luruhar";
+macro2utf8["Nfr"] = "%F0%9D%94%91";
+utf82macro["%F0%9D%94%91"] = "Nfr";
+macro2utf8["preceq"] = "%E2%AA%AF";
+utf82macro["%E2%AA%AF"] = "preceq";
+macro2utf8["LeftTee"] = "%E2%8A%A3";
+utf82macro["%E2%8A%A3"] = "LeftTee";
+macro2utf8["div"] = "%C3%B7";
+utf82macro["%C3%B7"] = "div";
+macro2utf8["nVDash"] = "%E2%8A%AF";
+utf82macro["%E2%8A%AF"] = "nVDash";
+macro2utf8["kopf"] = "%F0%9D%95%9C";
+utf82macro["%F0%9D%95%9C"] = "kopf";
+macro2utf8["Iscr"] = "%E2%84%90";
+utf82macro["%E2%84%90"] = "Iscr";
+macro2utf8["vnsup"] = "%E2%8A%85";
+utf82macro["%E2%8A%85"] = "vnsup";
+macro2utf8["gneq"] = "%E2%89%A9";
+utf82macro["%E2%89%A9"] = "gneq";
+macro2utf8["backepsilon"] = "%CF%B6";
+utf82macro["%CF%B6"] = "backepsilon";
+macro2utf8["boxhu"] = "%E2%94%B4";
+utf82macro["%E2%94%B4"] = "boxhu";
+macro2utf8["ominus"] = "%E2%8A%96";
+utf82macro["%E2%8A%96"] = "ominus";
+macro2utf8["or"] = "%E2%88%A8";
+utf82macro["%E2%88%A8"] = "or";
+macro2utf8["lesdot"] = "%E2%A9%BF";
+utf82macro["%E2%A9%BF"] = "lesdot";
+macro2utf8["RightVectorBar"] = "%E2%A5%93";
+utf82macro["%E2%A5%93"] = "RightVectorBar";
+macro2utf8["tcedil"] = "%C5%A3";
+utf82macro["%C5%A3"] = "tcedil";
+macro2utf8["hstrok"] = "%C4%A7";
+utf82macro["%C4%A7"] = "hstrok";
+macro2utf8["nrarrc"] = "%E2%A4%B3%CC%B8";
+utf82macro["%E2%A4%B3%CC%B8"] = "nrarrc";
+macro2utf8["ropf"] = "%F0%9D%95%A3";
+utf82macro["%F0%9D%95%A3"] = "ropf";
+macro2utf8["diamond"] = "%E2%8B%84";
+utf82macro["%E2%8B%84"] = "diamond";
+macro2utf8["smid"] = "%E2%88%A3%EF%B8%80";
+utf82macro["%E2%88%A3%EF%B8%80"] = "smid";
+macro2utf8["nltri"] = "%E2%8B%AA";
+utf82macro["%E2%8B%AA"] = "nltri";
+macro2utf8["Pscr"] = "%F0%9D%92%AB";
+utf82macro["%F0%9D%92%AB"] = "Pscr";
+macro2utf8["vartheta"] = "%CF%91";
+utf82macro["%CF%91"] = "vartheta";
+macro2utf8["therefore"] = "%E2%88%B4";
+utf82macro["%E2%88%B4"] = "therefore";
+macro2utf8["pi"] = "%CF%80";
+utf82macro["%CF%80"] = "pi";
+macro2utf8["ntrianglelefteq"] = "%E2%8B%AC";
+utf82macro["%E2%8B%AC"] = "ntrianglelefteq";
+macro2utf8["nearrow"] = "%E2%86%97";
+utf82macro["%E2%86%97"] = "nearrow";
+macro2utf8["pm"] = "%C2%B1";
+utf82macro["%C2%B1"] = "pm";
+macro2utf8["natural"] = "%E2%99%AE";
+utf82macro["%E2%99%AE"] = "natural";
+macro2utf8["ucy"] = "%D1%83";
+utf82macro["%D1%83"] = "ucy";
+macro2utf8["olt"] = "%E2%A7%80";
+utf82macro["%E2%A7%80"] = "olt";
+macro2utf8["Cfr"] = "%E2%84%AD";
+utf82macro["%E2%84%AD"] = "Cfr";
+macro2utf8["yopf"] = "%F0%9D%95%AA";
+utf82macro["%F0%9D%95%AA"] = "yopf";
+macro2utf8["Otilde"] = "%C3%95";
+utf82macro["%C3%95"] = "Otilde";
+macro2utf8["ntriangleleft"] = "%E2%8B%AA";
+utf82macro["%E2%8B%AA"] = "ntriangleleft";
+macro2utf8["pr"] = "%E2%89%BA";
+utf82macro["%E2%89%BA"] = "pr";
+macro2utf8["Wscr"] = "%F0%9D%92%B2";
+utf82macro["%F0%9D%92%B2"] = "Wscr";
+macro2utf8["midcir"] = "%E2%AB%B0";
+utf82macro["%E2%AB%B0"] = "midcir";
+macro2utf8["Lacute"] = "%C4%B9";
+utf82macro["%C4%B9"] = "Lacute";
+macro2utf8["DoubleDot"] = "%C2%A8";
+utf82macro["%C2%A8"] = "DoubleDot";
+macro2utf8["Tstrok"] = "%C5%A6";
+utf82macro["%C5%A6"] = "Tstrok";
+macro2utf8["nrarrw"] = "%E2%86%9D%CC%B8";
+utf82macro["%E2%86%9D%CC%B8"] = "nrarrw";
+macro2utf8["uArr"] = "%E2%87%91";
+utf82macro["%E2%87%91"] = "uArr";
+macro2utf8["nLtv"] = "%E2%89%AA%CC%B8%EF%B8%80";
+utf82macro["%E2%89%AA%CC%B8%EF%B8%80"] = "nLtv";
+macro2utf8["rangle"] = "%E2%8C%AA";
+utf82macro["%E2%8C%AA"] = "rangle";
+macro2utf8["olcir"] = "%E2%A6%BE";
+utf82macro["%E2%A6%BE"] = "olcir";
+macro2utf8["Auml"] = "%C3%84";
+utf82macro["%C3%84"] = "Auml";
+macro2utf8["Succeeds"] = "%E2%89%BB";
+utf82macro["%E2%89%BB"] = "Succeeds";
+macro2utf8["DoubleLongLeftRightArrow"] = "%EF%95%BB";
+utf82macro["%EF%95%BB"] = "DoubleLongLeftRightArrow";
+macro2utf8["TSHcy"] = "%D0%8B";
+utf82macro["%D0%8B"] = "TSHcy";
+macro2utf8["gammad"] = "%CF%9C";
+utf82macro["%CF%9C"] = "gammad";
+macro2utf8["epsiv"] = "%C9%9B";
+utf82macro["%C9%9B"] = "epsiv";
+macro2utf8["notinva"] = "%E2%88%89%CC%B8";
+utf82macro["%E2%88%89%CC%B8"] = "notinva";
+macro2utf8["notinvb"] = "%E2%8B%B7";
+utf82macro["%E2%8B%B7"] = "notinvb";
+macro2utf8["eqvparsl"] = "%E2%A7%A5";
+utf82macro["%E2%A7%A5"] = "eqvparsl";
+macro2utf8["notinvc"] = "%E2%8B%B6";
+utf82macro["%E2%8B%B6"] = "notinvc";
+macro2utf8["nsubE"] = "%E2%8A%88";
+utf82macro["%E2%8A%88"] = "nsubE";
+macro2utf8["supplus"] = "%E2%AB%80";
+utf82macro["%E2%AB%80"] = "supplus";
+macro2utf8["RightUpDownVector"] = "%E2%A5%8F";
+utf82macro["%E2%A5%8F"] = "RightUpDownVector";
+macro2utf8["Tab"] = "%09";
+utf82macro["%09"] = "Tab";
+macro2utf8["Lcedil"] = "%C4%BB";
+utf82macro["%C4%BB"] = "Lcedil";
+macro2utf8["backslash"] = "%5C";
+utf82macro["%5C"] = "backslash";
+macro2utf8["pointint"] = "%E2%A8%95";
+utf82macro["%E2%A8%95"] = "pointint";
+macro2utf8["jcy"] = "%D0%B9";
+utf82macro["%D0%B9"] = "jcy";
+macro2utf8["iocy"] = "%D1%91";
+utf82macro["%D1%91"] = "iocy";
+macro2utf8["escr"] = "%E2%84%AF";
+utf82macro["%E2%84%AF"] = "escr";
+macro2utf8["submult"] = "%E2%AB%81";
+utf82macro["%E2%AB%81"] = "submult";
+macro2utf8["iiota"] = "%E2%84%A9";
+utf82macro["%E2%84%A9"] = "iiota";
+macro2utf8["lceil"] = "%E2%8C%88";
+utf82macro["%E2%8C%88"] = "lceil";
+macro2utf8["omacr"] = "%C5%8D";
+utf82macro["%C5%8D"] = "omacr";
+macro2utf8["gneqq"] = "%E2%89%A9";
+utf82macro["%E2%89%A9"] = "gneqq";
+macro2utf8["gcirc"] = "%C4%9D";
+utf82macro["%C4%9D"] = "gcirc";
+macro2utf8["dotsquare"] = "%E2%8A%A1";
+utf82macro["%E2%8A%A1"] = "dotsquare";
+macro2utf8["ccaron"] = "%C4%8D";
+utf82macro["%C4%8D"] = "ccaron";
+macro2utf8["Square"] = "%E2%96%A1";
+utf82macro["%E2%96%A1"] = "Square";
+macro2utf8["RightDownTeeVector"] = "%E2%A5%9D";
+utf82macro["%E2%A5%9D"] = "RightDownTeeVector";
+macro2utf8["Ouml"] = "%C3%96";
+utf82macro["%C3%96"] = "Ouml";
+macro2utf8["lurdshar"] = "%E2%A5%8A";
+utf82macro["%E2%A5%8A"] = "lurdshar";
+macro2utf8["SuchThat"] = "%E2%88%8B";
+utf82macro["%E2%88%8B"] = "SuchThat";
+macro2utf8["setminus"] = "%E2%88%96";
+utf82macro["%E2%88%96"] = "setminus";
+macro2utf8["lscr"] = "%E2%84%93";
+utf82macro["%E2%84%93"] = "lscr";
+macro2utf8["LessLess"] = "%E2%AA%A1";
+utf82macro["%E2%AA%A1"] = "LessLess";
+macro2utf8["Sub"] = "%E2%8B%90";
+utf82macro["%E2%8B%90"] = "Sub";
+macro2utf8["sc"] = "%E2%89%BB";
+utf82macro["%E2%89%BB"] = "sc";
+macro2utf8["rx"] = "%E2%84%9E";
+utf82macro["%E2%84%9E"] = "rx";
+macro2utf8["RightFloor"] = "%E2%8C%8B";
+utf82macro["%E2%8C%8B"] = "RightFloor";
+macro2utf8["blacksquare"] = "%E2%96%AA";
+utf82macro["%E2%96%AA"] = "blacksquare";
+macro2utf8["ufr"] = "%F0%9D%94%B2";
+utf82macro["%F0%9D%94%B2"] = "ufr";
+macro2utf8["block"] = "%E2%96%88";
+utf82macro["%E2%96%88"] = "block";
+macro2utf8["dots"] = "%E2%80%A6";
+utf82macro["%E2%80%A6"] = "dots";
+macro2utf8["nvsim"] = "%E2%89%81%CC%B8";
+utf82macro["%E2%89%81%CC%B8"] = "nvsim";
+macro2utf8["caret"] = "%E2%81%81";
+utf82macro["%E2%81%81"] = "caret";
+macro2utf8["demptyv"] = "%E2%A6%B1";
+utf82macro["%E2%A6%B1"] = "demptyv";
+macro2utf8["Sum"] = "%E2%88%91";
+utf82macro["%E2%88%91"] = "Sum";
+macro2utf8["sscr"] = "%F0%9D%93%88";
+utf82macro["%F0%9D%93%88"] = "sscr";
+macro2utf8["nsube"] = "%E2%8A%88";
+utf82macro["%E2%8A%88"] = "nsube";
+macro2utf8["Sup"] = "%E2%8B%91";
+utf82macro["%E2%8B%91"] = "Sup";
+macro2utf8["ccupssm"] = "%E2%A9%90";
+utf82macro["%E2%A9%90"] = "ccupssm";
+macro2utf8["Because"] = "%E2%88%B5";
+utf82macro["%E2%88%B5"] = "Because";
+macro2utf8["harrcir"] = "%E2%A5%88";
+utf82macro["%E2%A5%88"] = "harrcir";
+macro2utf8["capbrcup"] = "%E2%A9%89";
+utf82macro["%E2%A9%89"] = "capbrcup";
+macro2utf8["RightUpVectorBar"] = "%E2%A5%94";
+utf82macro["%E2%A5%94"] = "RightUpVectorBar";
+macro2utf8["caps"] = "%E2%88%A9%EF%B8%80";
+utf82macro["%E2%88%A9%EF%B8%80"] = "caps";
+macro2utf8["ohbar"] = "%E2%A6%B5";
+utf82macro["%E2%A6%B5"] = "ohbar";
+macro2utf8["laemptyv"] = "%E2%A6%B4";
+utf82macro["%E2%A6%B4"] = "laemptyv";
+macro2utf8["uacute"] = "%C3%BA";
+utf82macro["%C3%BA"] = "uacute";
+macro2utf8["straightphi"] = "%CF%86";
+utf82macro["%CF%86"] = "straightphi";
+macro2utf8["RightDoubleBracket"] = "%E3%80%9B";
+utf82macro["%E3%80%9B"] = "RightDoubleBracket";
+macro2utf8["zscr"] = "%F0%9D%93%8F";
+utf82macro["%F0%9D%93%8F"] = "zscr";
+macro2utf8["uogon"] = "%C5%B3";
+utf82macro["%C5%B3"] = "uogon";
+macro2utf8["Uarr"] = "%E2%86%9F";
+utf82macro["%E2%86%9F"] = "Uarr";
+macro2utf8["nsucc"] = "%E2%8A%81";
+utf82macro["%E2%8A%81"] = "nsucc";
+macro2utf8["RBarr"] = "%E2%A4%90";
+utf82macro["%E2%A4%90"] = "RBarr";
+macro2utf8["NotRightTriangleBar"] = "%E2%A7%90%CC%B8";
+utf82macro["%E2%A7%90%CC%B8"] = "NotRightTriangleBar";
+macro2utf8["to"] = "%E2%86%92";
+utf82macro["%E2%86%92"] = "to";
+macro2utf8["rpar"] = "%29";
+utf82macro["%29"] = "rpar";
+macro2utf8["rdsh"] = "%E2%86%B3";
+utf82macro["%E2%86%B3"] = "rdsh";
+macro2utf8["jfr"] = "%F0%9D%94%A7";
+utf82macro["%F0%9D%94%A7"] = "jfr";
+macro2utf8["ldquor"] = "%E2%80%9E";
+utf82macro["%E2%80%9E"] = "ldquor";
+macro2utf8["bsime"] = "%E2%8B%8D";
+utf82macro["%E2%8B%8D"] = "bsime";
+macro2utf8["lAtail"] = "%E2%A4%9B";
+utf82macro["%E2%A4%9B"] = "lAtail";
+macro2utf8["Hcirc"] = "%C4%A4";
+utf82macro["%C4%A4"] = "Hcirc";
+macro2utf8["aacute"] = "%C3%A1";
+utf82macro["%C3%A1"] = "aacute";
+macro2utf8["dot"] = "%CB%99";
+utf82macro["%CB%99"] = "dot";
+macro2utf8["Tcy"] = "%D0%A2";
+utf82macro["%D0%A2"] = "Tcy";
+macro2utf8["nsub"] = "%E2%8A%84";
+utf82macro["%E2%8A%84"] = "nsub";
+macro2utf8["kappa"] = "%CE%BA";
+utf82macro["%CE%BA"] = "kappa";
+macro2utf8["ovbar"] = "%E2%8C%BD";
+utf82macro["%E2%8C%BD"] = "ovbar";
+macro2utf8["shcy"] = "%D1%88";
+utf82macro["%D1%88"] = "shcy";
+macro2utf8["kappav"] = "%CF%B0";
+utf82macro["%CF%B0"] = "kappav";
+macro2utf8["ropar"] = "%E3%80%99";
+utf82macro["%E3%80%99"] = "ropar";
+macro2utf8["gtcc"] = "%E2%AA%A7";
+utf82macro["%E2%AA%A7"] = "gtcc";
+macro2utf8["ecolon"] = "%E2%89%95";
+utf82macro["%E2%89%95"] = "ecolon";
+macro2utf8["circledast"] = "%E2%8A%9B";
+utf82macro["%E2%8A%9B"] = "circledast";
+macro2utf8["colon"] = "%3A";
+utf82macro["%3A"] = "colon";
+macro2utf8["timesbar"] = "%E2%A8%B1";
+utf82macro["%E2%A8%B1"] = "timesbar";
+macro2utf8["precnsim"] = "%E2%8B%A8";
+utf82macro["%E2%8B%A8"] = "precnsim";
+macro2utf8["ord"] = "%E2%A9%9D";
+utf82macro["%E2%A9%9D"] = "ord";
+macro2utf8["real"] = "%E2%84%9C";
+utf82macro["%E2%84%9C"] = "real";
+macro2utf8["nexists"] = "%E2%88%84";
+utf82macro["%E2%88%84"] = "nexists";
+macro2utf8["nsup"] = "%E2%8A%85";
+utf82macro["%E2%8A%85"] = "nsup";
+macro2utf8["zhcy"] = "%D0%B6";
+utf82macro["%D0%B6"] = "zhcy";
+macro2utf8["imacr"] = "%C4%AB";
+utf82macro["%C4%AB"] = "imacr";
+macro2utf8["egrave"] = "%C3%A8";
+utf82macro["%C3%A8"] = "egrave";
+macro2utf8["acirc"] = "%C3%A2";
+utf82macro["%C3%A2"] = "acirc";
+macro2utf8["grave"] = "%60";
+utf82macro["%60"] = "grave";
+macro2utf8["biguplus"] = "%E2%8A%8E";
+utf82macro["%E2%8A%8E"] = "biguplus";
+macro2utf8["HumpEqual"] = "%E2%89%8F";
+utf82macro["%E2%89%8F"] = "HumpEqual";
+macro2utf8["GreaterSlantEqual"] = "%E2%A9%BE";
+utf82macro["%E2%A9%BE"] = "GreaterSlantEqual";
+macro2utf8["capand"] = "%E2%A9%84";
+utf82macro["%E2%A9%84"] = "capand";
+macro2utf8["yuml"] = "%C3%BF";
+utf82macro["%C3%BF"] = "yuml";
+macro2utf8["orv"] = "%E2%A9%9B";
+utf82macro["%E2%A9%9B"] = "orv";
+macro2utf8["Icy"] = "%D0%98";
+utf82macro["%D0%98"] = "Icy";
+macro2utf8["rightharpoondown"] = "%E2%87%81";
+utf82macro["%E2%87%81"] = "rightharpoondown";
+macro2utf8["upsilon"] = "%CF%85";
+utf82macro["%CF%85"] = "upsilon";
+macro2utf8["preccurlyeq"] = "%E2%89%BC";
+utf82macro["%E2%89%BC"] = "preccurlyeq";
+macro2utf8["ShortUpArrow"] = "%E2%8C%83%EF%B8%80";
+utf82macro["%E2%8C%83%EF%B8%80"] = "ShortUpArrow";
+macro2utf8["searhk"] = "%E2%A4%A5";
+utf82macro["%E2%A4%A5"] = "searhk";
+macro2utf8["commat"] = "%40";
+utf82macro["%40"] = "commat";
+macro2utf8["Sqrt"] = "%E2%88%9A";
+utf82macro["%E2%88%9A"] = "Sqrt";
+macro2utf8["wp"] = "%E2%84%98";
+utf82macro["%E2%84%98"] = "wp";
+macro2utf8["succnapprox"] = "%E2%8B%A9";
+utf82macro["%E2%8B%A9"] = "succnapprox";
+macro2utf8["wr"] = "%E2%89%80";
+utf82macro["%E2%89%80"] = "wr";
+macro2utf8["NotTildeTilde"] = "%E2%89%89";
+utf82macro["%E2%89%89"] = "NotTildeTilde";
+macro2utf8["dcaron"] = "%C4%8F";
+utf82macro["%C4%8F"] = "dcaron";
+macro2utf8["Tfr"] = "%F0%9D%94%97";
+utf82macro["%F0%9D%94%97"] = "Tfr";
+macro2utf8["bigwedge"] = "%E2%8B%80";
+utf82macro["%E2%8B%80"] = "bigwedge";
+macro2utf8["DScy"] = "%D0%85";
+utf82macro["%D0%85"] = "DScy";
+macro2utf8["nrtrie"] = "%E2%8B%AD";
+utf82macro["%E2%8B%AD"] = "nrtrie";
+macro2utf8["esim"] = "%E2%89%82";
+utf82macro["%E2%89%82"] = "esim";
+macro2utf8["Not"] = "%E2%AB%AC";
+utf82macro["%E2%AB%AC"] = "Not";
+macro2utf8["xmap"] = "%EF%95%BD";
+utf82macro["%EF%95%BD"] = "xmap";
+macro2utf8["rect"] = "%E2%96%AD";
+utf82macro["%E2%96%AD"] = "rect";
+macro2utf8["Fouriertrf"] = "%E2%84%B1";
+utf82macro["%E2%84%B1"] = "Fouriertrf";
+macro2utf8["xi"] = "%CE%BE";
+utf82macro["%CE%BE"] = "xi";
+macro2utf8["NotTilde"] = "%E2%89%81";
+utf82macro["%E2%89%81"] = "NotTilde";
+macro2utf8["gbreve"] = "%C4%9F";
+utf82macro["%C4%9F"] = "gbreve";
+macro2utf8["par"] = "%E2%88%A5";
+utf82macro["%E2%88%A5"] = "par";
+macro2utf8["ddots"] = "%E2%8B%B1";
+utf82macro["%E2%8B%B1"] = "ddots";
+macro2utf8["nhArr"] = "%E2%87%8E";
+utf82macro["%E2%87%8E"] = "nhArr";
+macro2utf8["lsim"] = "%E2%89%B2";
+utf82macro["%E2%89%B2"] = "lsim";
+macro2utf8["RightCeiling"] = "%E2%8C%89";
+utf82macro["%E2%8C%89"] = "RightCeiling";
+macro2utf8["nedot"] = "%E2%89%A0%EF%B8%80";
+utf82macro["%E2%89%A0%EF%B8%80"] = "nedot";
+macro2utf8["thksim"] = "%E2%88%BC%EF%B8%80";
+utf82macro["%E2%88%BC%EF%B8%80"] = "thksim";
+macro2utf8["lEg"] = "%E2%8B%9A";
+utf82macro["%E2%8B%9A"] = "lEg";
+macro2utf8["Ifr"] = "%E2%84%91";
+utf82macro["%E2%84%91"] = "Ifr";
+macro2utf8["emsp"] = "%E2%80%83";
+utf82macro["%E2%80%83"] = "emsp";
+macro2utf8["lopar"] = "%E3%80%98";
+utf82macro["%E3%80%98"] = "lopar";
+macro2utf8["iiiint"] = "%E2%A8%8C";
+utf82macro["%E2%A8%8C"] = "iiiint";
+macro2utf8["straightepsilon"] = "%CE%B5";
+utf82macro["%CE%B5"] = "straightepsilon";
+macro2utf8["intlarhk"] = "%E2%A8%97";
+utf82macro["%E2%A8%97"] = "intlarhk";
+macro2utf8["image"] = "%E2%84%91";
+utf82macro["%E2%84%91"] = "image";
+macro2utf8["sqsubseteq"] = "%E2%8A%91";
+utf82macro["%E2%8A%91"] = "sqsubseteq";
+macro2utf8["lnapprox"] = "%E2%AA%89";
+utf82macro["%E2%AA%89"] = "lnapprox";
+macro2utf8["Leftrightarrow"] = "%E2%87%94";
+utf82macro["%E2%87%94"] = "Leftrightarrow";
+macro2utf8["cemptyv"] = "%E2%A6%B2";
+utf82macro["%E2%A6%B2"] = "cemptyv";
+macro2utf8["alpha"] = "%CE%B1";
+utf82macro["%CE%B1"] = "alpha";
+macro2utf8["uml"] = "%C2%A8";
+utf82macro["%C2%A8"] = "uml";
+macro2utf8["barwedge"] = "%E2%8A%BC";
+utf82macro["%E2%8A%BC"] = "barwedge";
+macro2utf8["KHcy"] = "%D0%A5";
+utf82macro["%D0%A5"] = "KHcy";
+macro2utf8["tilde"] = "%CB%9C";
+utf82macro["%CB%9C"] = "tilde";
+macro2utf8["Superset"] = "%E2%8A%83";
+utf82macro["%E2%8A%83"] = "Superset";
+macro2utf8["gesles"] = "%E2%AA%94";
+utf82macro["%E2%AA%94"] = "gesles";
+macro2utf8["bigoplus"] = "%E2%8A%95";
+utf82macro["%E2%8A%95"] = "bigoplus";
+macro2utf8["boxuL"] = "%E2%95%9B";
+utf82macro["%E2%95%9B"] = "boxuL";
+macro2utf8["rbbrk"] = "%E3%80%95";
+utf82macro["%E3%80%95"] = "rbbrk";
+macro2utf8["nrightarrow"] = "%E2%86%9B";
+utf82macro["%E2%86%9B"] = "nrightarrow";
+macro2utf8["hkswarow"] = "%E2%A4%A6";
+utf82macro["%E2%A4%A6"] = "hkswarow";
+macro2utf8["DiacriticalDoubleAcute"] = "%CB%9D";
+utf82macro["%CB%9D"] = "DiacriticalDoubleAcute";
+macro2utf8["nbumpe"] = "%E2%89%8F%CC%B8";
+utf82macro["%E2%89%8F%CC%B8"] = "nbumpe";
+macro2utf8["uhblk"] = "%E2%96%80";
+utf82macro["%E2%96%80"] = "uhblk";
+macro2utf8["NotSupersetEqual"] = "%E2%8A%89";
+utf82macro["%E2%8A%89"] = "NotSupersetEqual";
+macro2utf8["ntgl"] = "%E2%89%B9";
+utf82macro["%E2%89%B9"] = "ntgl";
+macro2utf8["Fopf"] = "%F0%9D%94%BD";
+utf82macro["%F0%9D%94%BD"] = "Fopf";
+macro2utf8["boxuR"] = "%E2%95%98";
+utf82macro["%E2%95%98"] = "boxuR";
+macro2utf8["swarr"] = "%E2%86%99";
+utf82macro["%E2%86%99"] = "swarr";
+macro2utf8["nsqsube"] = "%E2%8B%A2";
+utf82macro["%E2%8B%A2"] = "nsqsube";
+macro2utf8["pluscir"] = "%E2%A8%A2";
+utf82macro["%E2%A8%A2"] = "pluscir";
+macro2utf8["pcy"] = "%D0%BF";
+utf82macro["%D0%BF"] = "pcy";
+macro2utf8["leqslant"] = "%E2%A9%BD";
+utf82macro["%E2%A9%BD"] = "leqslant";
+macro2utf8["lnap"] = "%E2%AA%89";
+utf82macro["%E2%AA%89"] = "lnap";
+macro2utf8["lthree"] = "%E2%8B%8B";
+utf82macro["%E2%8B%8B"] = "lthree";
+macro2utf8["smte"] = "%E2%AA%AC";
+utf82macro["%E2%AA%AC"] = "smte";
+macro2utf8["olcross"] = "%E2%A6%BB";
+utf82macro["%E2%A6%BB"] = "olcross";
+macro2utf8["nvrArr"] = "%E2%87%8F";
+utf82macro["%E2%87%8F"] = "nvrArr";
+macro2utf8["andslope"] = "%E2%A9%98";
+utf82macro["%E2%A9%98"] = "andslope";
+macro2utf8["MediumSpace"] = "%E2%81%9F";
+utf82macro["%E2%81%9F"] = "MediumSpace";
+macro2utf8["boxvH"] = "%E2%95%AA";
+utf82macro["%E2%95%AA"] = "boxvH";
+macro2utf8["Nacute"] = "%C5%83";
+utf82macro["%C5%83"] = "Nacute";
+macro2utf8["nGtv"] = "%E2%89%AB%CC%B8%EF%B8%80";
+utf82macro["%E2%89%AB%CC%B8%EF%B8%80"] = "nGtv";
+macro2utf8["Mopf"] = "%F0%9D%95%84";
+utf82macro["%F0%9D%95%84"] = "Mopf";
+macro2utf8["dfisht"] = "%E2%A5%BF";
+utf82macro["%E2%A5%BF"] = "dfisht";
+macro2utf8["boxvL"] = "%E2%95%A1";
+utf82macro["%E2%95%A1"] = "boxvL";
+macro2utf8["pertenk"] = "%E2%80%B1";
+utf82macro["%E2%80%B1"] = "pertenk";
+macro2utf8["NotPrecedes"] = "%E2%8A%80";
+utf82macro["%E2%8A%80"] = "NotPrecedes";
+macro2utf8["profalar"] = "%E2%8C%AE";
+utf82macro["%E2%8C%AE"] = "profalar";
+macro2utf8["roplus"] = "%E2%A8%AE";
+utf82macro["%E2%A8%AE"] = "roplus";
+macro2utf8["boxvR"] = "%E2%95%9E";
+utf82macro["%E2%95%9E"] = "boxvR";
+macro2utf8["utrif"] = "%E2%96%B4";
+utf82macro["%E2%96%B4"] = "utrif";
+macro2utf8["uHar"] = "%E2%A5%A3";
+utf82macro["%E2%A5%A3"] = "uHar";
+macro2utf8["nltrie"] = "%E2%8B%AC";
+utf82macro["%E2%8B%AC"] = "nltrie";
+macro2utf8["NotNestedGreaterGreater"] = "%E2%92%A2%CC%B8";
+utf82macro["%E2%92%A2%CC%B8"] = "NotNestedGreaterGreater";
+macro2utf8["smtes"] = "%E2%AA%AC%EF%B8%80";
+utf82macro["%E2%AA%AC%EF%B8%80"] = "smtes";
+macro2utf8["LeftAngleBracket"] = "%E2%8C%A9";
+utf82macro["%E2%8C%A9"] = "LeftAngleBracket";
+macro2utf8["iogon"] = "%C4%AF";
+utf82macro["%C4%AF"] = "iogon";
+macro2utf8["ExponentialE"] = "%E2%85%87";
+utf82macro["%E2%85%87"] = "ExponentialE";
+macro2utf8["Topf"] = "%F0%9D%95%8B";
+utf82macro["%F0%9D%95%8B"] = "Topf";
+macro2utf8["GreaterEqual"] = "%E2%89%A5";
+utf82macro["%E2%89%A5"] = "GreaterEqual";
+macro2utf8["DownTee"] = "%E2%8A%A4";
+utf82macro["%E2%8A%A4"] = "DownTee";
+macro2utf8["boxul"] = "%E2%94%98";
+utf82macro["%E2%94%98"] = "boxul";
+macro2utf8["wreath"] = "%E2%89%80";
+utf82macro["%E2%89%80"] = "wreath";
+macro2utf8["sigma"] = "%CF%83";
+utf82macro["%CF%83"] = "sigma";
+macro2utf8["ENG"] = "%C5%8A";
+utf82macro["%C5%8A"] = "ENG";
+macro2utf8["Ncedil"] = "%C5%85";
+utf82macro["%C5%85"] = "Ncedil";
+macro2utf8["ecy"] = "%D1%8D";
+utf82macro["%D1%8D"] = "ecy";
+macro2utf8["nsubset"] = "%E2%8A%84";
+utf82macro["%E2%8A%84"] = "nsubset";
+macro2utf8["LessFullEqual"] = "%E2%89%A6";
+utf82macro["%E2%89%A6"] = "LessFullEqual";
+macro2utf8["bsolb"] = "%E2%A7%85";
+utf82macro["%E2%A7%85"] = "bsolb";
+macro2utf8["boxur"] = "%E2%94%94";
+utf82macro["%E2%94%94"] = "boxur";
+macro2utf8["ThinSpace"] = "%E2%80%89";
+utf82macro["%E2%80%89"] = "ThinSpace";
+macro2utf8["supdsub"] = "%E2%AB%98";
+utf82macro["%E2%AB%98"] = "supdsub";
+macro2utf8["colone"] = "%E2%89%94";
+utf82macro["%E2%89%94"] = "colone";
+macro2utf8["curren"] = "%C2%A4";
+utf82macro["%C2%A4"] = "curren";
+macro2utf8["boxvh"] = "%E2%94%BC";
+utf82macro["%E2%94%BC"] = "boxvh";
+macro2utf8["ecaron"] = "%C4%9B";
+utf82macro["%C4%9B"] = "ecaron";
+macro2utf8["UnderBrace"] = "%EF%B8%B8";
+utf82macro["%EF%B8%B8"] = "UnderBrace";
+macro2utf8["caron"] = "%CB%87";
+utf82macro["%CB%87"] = "caron";
+macro2utf8["ultri"] = "%E2%97%B8";
+utf82macro["%E2%97%B8"] = "ultri";
+macro2utf8["boxvl"] = "%E2%94%A4";
+utf82macro["%E2%94%A4"] = "boxvl";
+macro2utf8["scap"] = "%E2%89%BF";
+utf82macro["%E2%89%BF"] = "scap";
+macro2utf8["boxvr"] = "%E2%94%9C";
+utf82macro["%E2%94%9C"] = "boxvr";
+macro2utf8["bopf"] = "%F0%9D%95%93";
+utf82macro["%F0%9D%95%93"] = "bopf";
+macro2utf8["pfr"] = "%F0%9D%94%AD";
+utf82macro["%F0%9D%94%AD"] = "pfr";
+macro2utf8["nspar"] = "%E2%88%A6%EF%B8%80";
+utf82macro["%E2%88%A6%EF%B8%80"] = "nspar";
+macro2utf8["NegativeMediumSpace"] = "%E2%81%9F%EF%B8%80";
+utf82macro["%E2%81%9F%EF%B8%80"] = "NegativeMediumSpace";
+macro2utf8["simgE"] = "%E2%AA%A0";
+utf82macro["%E2%AA%A0"] = "simgE";
+macro2utf8["nvDash"] = "%E2%8A%AD";
+utf82macro["%E2%8A%AD"] = "nvDash";
+macro2utf8["NotGreaterFullEqual"] = "%E2%89%B0";
+utf82macro["%E2%89%B0"] = "NotGreaterFullEqual";
+macro2utf8["uparrow"] = "%E2%86%91";
+utf82macro["%E2%86%91"] = "uparrow";
+macro2utf8["nsupset"] = "%E2%8A%85";
+utf82macro["%E2%8A%85"] = "nsupset";
+macro2utf8["simeq"] = "%E2%89%83";
+utf82macro["%E2%89%83"] = "simeq";
+macro2utf8["Zcy"] = "%D0%97";
+utf82macro["%D0%97"] = "Zcy";
+macro2utf8["RightTriangle"] = "%E2%8A%B3";
+utf82macro["%E2%8A%B3"] = "RightTriangle";
+macro2utf8["Lang"] = "%E3%80%8A";
+utf82macro["%E3%80%8A"] = "Lang";
+macro2utf8["Ucirc"] = "%C3%9B";
+utf82macro["%C3%9B"] = "Ucirc";
+macro2utf8["iopf"] = "%F0%9D%95%9A";
+utf82macro["%F0%9D%95%9A"] = "iopf";
+macro2utf8["leftrightsquigarrow"] = "%E2%86%AD";
+utf82macro["%E2%86%AD"] = "leftrightsquigarrow";
+macro2utf8["Gscr"] = "%F0%9D%92%A2";
+utf82macro["%F0%9D%92%A2"] = "Gscr";
+macro2utf8["lfloor"] = "%E2%8C%8A";
+utf82macro["%E2%8C%8A"] = "lfloor";
+macro2utf8["lbbrk"] = "%E3%80%94";
+utf82macro["%E3%80%94"] = "lbbrk";
+macro2utf8["bigvee"] = "%E2%8B%81";
+utf82macro["%E2%8B%81"] = "bigvee";
+macro2utf8["ordf"] = "%C2%AA";
+utf82macro["%C2%AA"] = "ordf";
+macro2utf8["rsquo"] = "%E2%80%99";
+utf82macro["%E2%80%99"] = "rsquo";
+macro2utf8["parallel"] = "%E2%88%A5";
+utf82macro["%E2%88%A5"] = "parallel";
+macro2utf8["half"] = "%C2%BD";
+utf82macro["%C2%BD"] = "half";
+macro2utf8["supseteq"] = "%E2%8A%87";
+utf82macro["%E2%8A%87"] = "supseteq";
+macro2utf8["ngeqq"] = "%E2%89%B1";
+utf82macro["%E2%89%B1"] = "ngeqq";
+macro2utf8["popf"] = "%F0%9D%95%A1";
+utf82macro["%F0%9D%95%A1"] = "popf";
+macro2utf8["NonBreakingSpace"] = "%C2%A0";
+utf82macro["%C2%A0"] = "NonBreakingSpace";
+macro2utf8["softcy"] = "%D1%8C";
+utf82macro["%D1%8C"] = "softcy";
+macro2utf8["ordm"] = "%C2%BA";
+utf82macro["%C2%BA"] = "ordm";
+macro2utf8["Nscr"] = "%F0%9D%92%A9";
+utf82macro["%F0%9D%92%A9"] = "Nscr";
+macro2utf8["owns"] = "%E2%88%8B";
+utf82macro["%E2%88%8B"] = "owns";
+macro2utf8["phi"] = "%CF%95";
+utf82macro["%CF%95"] = "phi";
+macro2utf8["efr"] = "%F0%9D%94%A2";
+utf82macro["%F0%9D%94%A2"] = "efr";
+macro2utf8["nesear"] = "%E2%A4%A8";
+utf82macro["%E2%A4%A8"] = "nesear";
+macro2utf8["marker"] = "%E2%96%AE";
+utf82macro["%E2%96%AE"] = "marker";
+macro2utf8["lneq"] = "%E2%89%A8";
+utf82macro["%E2%89%A8"] = "lneq";
+macro2utf8["parallet"] = "%3F%3F%3F%3F";
+utf82macro["%3F%3F%3F%3F"] = "parallet";
+macro2utf8["ndash"] = "%E2%80%93";
+utf82macro["%E2%80%93"] = "ndash";
+macro2utf8["DoubleLeftTee"] = "%E2%AB%A4";
+utf82macro["%E2%AB%A4"] = "DoubleLeftTee";
+macro2utf8["lArr"] = "%E2%87%90";
+utf82macro["%E2%87%90"] = "lArr";
+macro2utf8["becaus"] = "%E2%88%B5";
+utf82macro["%E2%88%B5"] = "becaus";
+macro2utf8["RightTee"] = "%E2%8A%A2";
+utf82macro["%E2%8A%A2"] = "RightTee";
+macro2utf8["Ocy"] = "%D0%9E";
+utf82macro["%D0%9E"] = "Ocy";
+macro2utf8["ntlg"] = "%E2%89%B8";
+utf82macro["%E2%89%B8"] = "ntlg";
+macro2utf8["cacute"] = "%C4%87";
+utf82macro["%C4%87"] = "cacute";
+macro2utf8["wopf"] = "%F0%9D%95%A8";
+utf82macro["%F0%9D%95%A8"] = "wopf";
+macro2utf8["Cup"] = "%E2%8B%93";
+utf82macro["%E2%8B%93"] = "Cup";
+macro2utf8["Uscr"] = "%F0%9D%92%B0";
+utf82macro["%F0%9D%92%B0"] = "Uscr";
+macro2utf8["NotHumpEqual"] = "%E2%89%8F%CC%B8";
+utf82macro["%E2%89%8F%CC%B8"] = "NotHumpEqual";
+macro2utf8["rnmid"] = "%E2%AB%AE";
+utf82macro["%E2%AB%AE"] = "rnmid";
+macro2utf8["nsupE"] = "%E2%8A%89";
+utf82macro["%E2%8A%89"] = "nsupE";
+macro2utf8["bemptyv"] = "%E2%A6%B0";
+utf82macro["%E2%A6%B0"] = "bemptyv";
+macro2utf8["lsqb"] = "%5B";
+utf82macro["%5B"] = "lsqb";
+macro2utf8["nrarr"] = "%E2%86%9B";
+utf82macro["%E2%86%9B"] = "nrarr";
+macro2utf8["egs"] = "%E2%8B%9D";
+utf82macro["%E2%8B%9D"] = "egs";
+macro2utf8["reals"] = "%E2%84%9D";
+utf82macro["%E2%84%9D"] = "reals";
+macro2utf8["CupCap"] = "%E2%89%8D";
+utf82macro["%E2%89%8D"] = "CupCap";
+macro2utf8["Oacute"] = "%C3%93";
+utf82macro["%C3%93"] = "Oacute";
+macro2utf8["Zfr"] = "%E2%84%A8";
+utf82macro["%E2%84%A8"] = "Zfr";
+macro2utf8["ReverseEquilibrium"] = "%E2%87%8B";
+utf82macro["%E2%87%8B"] = "ReverseEquilibrium";
+macro2utf8["ccedil"] = "%C3%A7";
+utf82macro["%C3%A7"] = "ccedil";
+macro2utf8["bigtriangleup"] = "%E2%96%B3";
+utf82macro["%E2%96%B3"] = "bigtriangleup";
+macro2utf8["piv"] = "%CF%96";
+utf82macro["%CF%96"] = "piv";
+macro2utf8["cirscir"] = "%E2%A7%82";
+utf82macro["%E2%A7%82"] = "cirscir";
+macro2utf8["exists"] = "%E2%88%83";
+utf82macro["%E2%88%83"] = "exists";
+macro2utf8["Uarrocir"] = "%E2%A5%89";
+utf82macro["%E2%A5%89"] = "Uarrocir";
+macro2utf8["Dcy"] = "%D0%94";
+utf82macro["%D0%94"] = "Dcy";
+macro2utf8["cscr"] = "%F0%9D%92%B8";
+utf82macro["%F0%9D%92%B8"] = "cscr";
+macro2utf8["zcaron"] = "%C5%BE";
+utf82macro["%C5%BE"] = "zcaron";
+macro2utf8["isinE"] = "%E2%8B%B9";
+utf82macro["%E2%8B%B9"] = "isinE";
+macro2utf8["gtcir"] = "%E2%A9%BA";
+utf82macro["%E2%A9%BA"] = "gtcir";
+macro2utf8["hookrightarrow"] = "%E2%86%AA";
+utf82macro["%E2%86%AA"] = "hookrightarrow";
+macro2utf8["Int"] = "%E2%88%AC";
+utf82macro["%E2%88%AC"] = "Int";
+macro2utf8["nsupe"] = "%E2%8A%89";
+utf82macro["%E2%8A%89"] = "nsupe";
+macro2utf8["dotplus"] = "%E2%88%94";
+utf82macro["%E2%88%94"] = "dotplus";
+macro2utf8["ncup"] = "%E2%A9%82";
+utf82macro["%E2%A9%82"] = "ncup";
+macro2utf8["jscr"] = "%F0%9D%92%BF";
+utf82macro["%F0%9D%92%BF"] = "jscr";
+macro2utf8["angmsdaa"] = "%E2%A6%A8";
+utf82macro["%E2%A6%A8"] = "angmsdaa";
+macro2utf8["Iukcy"] = "%D0%86";
+utf82macro["%D0%86"] = "Iukcy";
+macro2utf8["flat"] = "%E2%99%AD";
+utf82macro["%E2%99%AD"] = "flat";
+macro2utf8["bNot"] = "%E2%AB%AD";
+utf82macro["%E2%AB%AD"] = "bNot";
+macro2utf8["angmsdab"] = "%E2%A6%A9";
+utf82macro["%E2%A6%A9"] = "angmsdab";
+macro2utf8["angmsdac"] = "%E2%A6%AA";
+utf82macro["%E2%A6%AA"] = "angmsdac";
+macro2utf8["xdtri"] = "%E2%96%BD";
+utf82macro["%E2%96%BD"] = "xdtri";
+macro2utf8["iota"] = "%CE%B9";
+utf82macro["%CE%B9"] = "iota";
+macro2utf8["angmsdad"] = "%E2%A6%AB";
+utf82macro["%E2%A6%AB"] = "angmsdad";
+macro2utf8["angmsdae"] = "%E2%A6%AC";
+utf82macro["%E2%A6%AC"] = "angmsdae";
+macro2utf8["rightarrowtail"] = "%E2%86%A3";
+utf82macro["%E2%86%A3"] = "rightarrowtail";
+macro2utf8["angmsdaf"] = "%E2%A6%AD";
+utf82macro["%E2%A6%AD"] = "angmsdaf";
+macro2utf8["Ocirc"] = "%C3%94";
+utf82macro["%C3%94"] = "Ocirc";
+macro2utf8["angmsdag"] = "%E2%A6%AE";
+utf82macro["%E2%A6%AE"] = "angmsdag";
+macro2utf8["Ofr"] = "%F0%9D%94%92";
+utf82macro["%F0%9D%94%92"] = "Ofr";
+macro2utf8["maltese"] = "%E2%9C%A0";
+utf82macro["%E2%9C%A0"] = "maltese";
+macro2utf8["angmsdah"] = "%E2%A6%AF";
+utf82macro["%E2%A6%AF"] = "angmsdah";
+macro2utf8["Del"] = "%E2%88%87";
+utf82macro["%E2%88%87"] = "Del";
+macro2utf8["Barwed"] = "%E2%8C%86";
+utf82macro["%E2%8C%86"] = "Barwed";
+macro2utf8["drbkarow"] = "%E2%A4%90";
+utf82macro["%E2%A4%90"] = "drbkarow";
+macro2utf8["qscr"] = "%F0%9D%93%86";
+utf82macro["%F0%9D%93%86"] = "qscr";
+macro2utf8["ETH"] = "%C3%90";
+utf82macro["%C3%90"] = "ETH";
+macro2utf8["operp"] = "%E2%A6%B9";
+utf82macro["%E2%A6%B9"] = "operp";
+macro2utf8["daleth"] = "%E2%84%B8";
+utf82macro["%E2%84%B8"] = "daleth";
+macro2utf8["bull"] = "%E2%80%A2";
+utf82macro["%E2%80%A2"] = "bull";
+macro2utf8["simlE"] = "%E2%AA%9F";
+utf82macro["%E2%AA%9F"] = "simlE";
+macro2utf8["lsquo"] = "%E2%80%98";
+utf82macro["%E2%80%98"] = "lsquo";
+macro2utf8["Larr"] = "%E2%86%9E";
+utf82macro["%E2%86%9E"] = "Larr";
+macro2utf8["curarr"] = "%E2%86%B7";
+utf82macro["%E2%86%B7"] = "curarr";
+macro2utf8["blacktriangleleft"] = "%E2%97%82";
+utf82macro["%E2%97%82"] = "blacktriangleleft";
+macro2utf8["hellip"] = "%E2%80%A6";
+utf82macro["%E2%80%A6"] = "hellip";
+macro2utf8["DoubleVerticalBar"] = "%E2%88%A5";
+utf82macro["%E2%88%A5"] = "DoubleVerticalBar";
+macro2utf8["rBarr"] = "%E2%A4%8F";
+utf82macro["%E2%A4%8F"] = "rBarr";
+macro2utf8["chcy"] = "%D1%87";
+utf82macro["%D1%87"] = "chcy";
+macro2utf8["varpi"] = "%CF%96";
+utf82macro["%CF%96"] = "varpi";
+macro2utf8["Cconint"] = "%E2%88%B0";
+utf82macro["%E2%88%B0"] = "Cconint";
+macro2utf8["xlarr"] = "%EF%95%B6";
+utf82macro["%EF%95%B6"] = "xlarr";
+macro2utf8["xscr"] = "%F0%9D%93%8D";
+utf82macro["%F0%9D%93%8D"] = "xscr";
+macro2utf8["DoubleLongRightArrow"] = "%EF%95%BA";
+utf82macro["%EF%95%BA"] = "DoubleLongRightArrow";
+macro2utf8["CounterClockwiseContourIntegral"] = "%E2%88%B3";
+utf82macro["%E2%88%B3"] = "CounterClockwiseContourIntegral";
+macro2utf8["urcrop"] = "%E2%8C%8E";
+utf82macro["%E2%8C%8E"] = "urcrop";
+macro2utf8["RightAngleBracket"] = "%E2%8C%AA";
+utf82macro["%E2%8C%AA"] = "RightAngleBracket";
+macro2utf8["Rcaron"] = "%C5%98";
+utf82macro["%C5%98"] = "Rcaron";
+macro2utf8["latail"] = "%E2%A4%99";
+utf82macro["%E2%A4%99"] = "latail";
+macro2utf8["pitchfork"] = "%E2%8B%94";
+utf82macro["%E2%8B%94"] = "pitchfork";
+macro2utf8["nvinfin"] = "%E2%A7%9E";
+utf82macro["%E2%A7%9E"] = "nvinfin";
+macro2utf8["hcirc"] = "%C4%A5";
+utf82macro["%C4%A5"] = "hcirc";
+macro2utf8["nexist"] = "%E2%88%84";
+utf82macro["%E2%88%84"] = "nexist";
+macro2utf8["checkmark"] = "%E2%9C%93";
+utf82macro["%E2%9C%93"] = "checkmark";
+macro2utf8["tridot"] = "%E2%97%AC";
+utf82macro["%E2%97%AC"] = "tridot";
+macro2utf8["vcy"] = "%D0%B2";
+utf82macro["%D0%B2"] = "vcy";
+macro2utf8["isins"] = "%E2%8B%B4";
+utf82macro["%E2%8B%B4"] = "isins";
+macro2utf8["fllig"] = "%EF%AC%82";
+utf82macro["%EF%AC%82"] = "fllig";
+macro2utf8["Dfr"] = "%F0%9D%94%87";
+utf82macro["%F0%9D%94%87"] = "Dfr";
+macro2utf8["hercon"] = "%E2%8A%B9";
+utf82macro["%E2%8A%B9"] = "hercon";
+macro2utf8["gEl"] = "%E2%8B%9B";
+utf82macro["%E2%8B%9B"] = "gEl";
+macro2utf8["bump"] = "%E2%89%8E";
+utf82macro["%E2%89%8E"] = "bump";
+macro2utf8["aleph"] = "%E2%84%B5";
+utf82macro["%E2%84%B5"] = "aleph";
+macro2utf8["Ubreve"] = "%C5%AC";
+utf82macro["%C5%AC"] = "Ubreve";
+macro2utf8["isinv"] = "%E2%88%88";
+utf82macro["%E2%88%88"] = "isinv";
+macro2utf8["smile"] = "%E2%8C%A3";
+utf82macro["%E2%8C%A3"] = "smile";
+macro2utf8["llcorner"] = "%E2%8C%9E";
+utf82macro["%E2%8C%9E"] = "llcorner";
+macro2utf8["boxH"] = "%E2%95%90";
+utf82macro["%E2%95%90"] = "boxH";
+macro2utf8["ecir"] = "%E2%89%96";
+utf82macro["%E2%89%96"] = "ecir";
+macro2utf8["varnothing"] = "%E2%88%85";
+utf82macro["%E2%88%85"] = "varnothing";
+macro2utf8["iuml"] = "%C3%AF";
+utf82macro["%C3%AF"] = "iuml";
+macro2utf8["mlcp"] = "%E2%AB%9B";
+utf82macro["%E2%AB%9B"] = "mlcp";
+macro2utf8["leftrightharpoons"] = "%E2%87%8B";
+utf82macro["%E2%87%8B"] = "leftrightharpoons";
+macro2utf8["ncong"] = "%E2%89%87";
+utf82macro["%E2%89%87"] = "ncong";
+macro2utf8["Vert"] = "%E2%80%96";
+utf82macro["%E2%80%96"] = "Vert";
+macro2utf8["vee"] = "%E2%88%A8";
+utf82macro["%E2%88%A8"] = "vee";
+macro2utf8["star"] = "%E2%8B%86";
+utf82macro["%E2%8B%86"] = "star";
+macro2utf8["boxV"] = "%E2%95%91";
+utf82macro["%E2%95%91"] = "boxV";
+macro2utf8["LeftRightArrow"] = "%E2%86%94";
+utf82macro["%E2%86%94"] = "LeftRightArrow";
+macro2utf8["leftrightarrow"] = "%E2%86%94";
+utf82macro["%E2%86%94"] = "leftrightarrow";
+macro2utf8["lstrok"] = "%C5%82";
+utf82macro["%C5%82"] = "lstrok";
+macro2utf8["ell"] = "%E2%84%93";
+utf82macro["%E2%84%93"] = "ell";
+macro2utf8["VerticalSeparator"] = "%E2%9D%98";
+utf82macro["%E2%9D%98"] = "VerticalSeparator";
+macro2utf8["Ubrcy"] = "%D0%8E";
+utf82macro["%D0%8E"] = "Ubrcy";
+macro2utf8["NotGreater"] = "%E2%89%AF";
+utf82macro["%E2%89%AF"] = "NotGreater";
+macro2utf8["Abreve"] = "%C4%82";
+utf82macro["%C4%82"] = "Abreve";
+macro2utf8["TildeTilde"] = "%E2%89%88";
+utf82macro["%E2%89%88"] = "TildeTilde";
+macro2utf8["CircleTimes"] = "%E2%8A%97";
+utf82macro["%E2%8A%97"] = "CircleTimes";
+macro2utf8["subsetneq"] = "%E2%8A%8A";
+utf82macro["%E2%8A%8A"] = "subsetneq";
+macro2utf8["ltcc"] = "%E2%AA%A6";
+utf82macro["%E2%AA%A6"] = "ltcc";
+macro2utf8["els"] = "%E2%8B%9C";
+utf82macro["%E2%8B%9C"] = "els";
+macro2utf8["succneqq"] = "%E2%AA%B6";
+utf82macro["%E2%AA%B6"] = "succneqq";
+macro2utf8["kcy"] = "%D0%BA";
+utf82macro["%D0%BA"] = "kcy";
+macro2utf8["nshortmid"] = "%E2%88%A4%EF%B8%80";
+utf82macro["%E2%88%A4%EF%B8%80"] = "nshortmid";
+macro2utf8["mldr"] = "%E2%80%A6";
+utf82macro["%E2%80%A6"] = "mldr";
+macro2utf8["harr"] = "%E2%86%94";
+utf82macro["%E2%86%94"] = "harr";
+macro2utf8["gimel"] = "%E2%84%B7";
+utf82macro["%E2%84%B7"] = "gimel";
+macro2utf8["Otimes"] = "%E2%A8%B7";
+utf82macro["%E2%A8%B7"] = "Otimes";
+macro2utf8["vsubnE"] = "%E2%8A%8A%EF%B8%80";
+utf82macro["%E2%8A%8A%EF%B8%80"] = "vsubnE";
+macro2utf8["ltdot"] = "%E2%8B%96";
+utf82macro["%E2%8B%96"] = "ltdot";
+macro2utf8["boxh"] = "%E2%94%80";
+utf82macro["%E2%94%80"] = "boxh";
+macro2utf8["notin"] = "%E2%88%89";
+utf82macro["%E2%88%89"] = "notin";
+macro2utf8["RuleDelayed"] = "%E2%A7%B4";
+utf82macro["%E2%A7%B4"] = "RuleDelayed";
+macro2utf8["sqsube"] = "%E2%8A%91";
+utf82macro["%E2%8A%91"] = "sqsube";
+macro2utf8["macr"] = "%C2%AF";
+utf82macro["%C2%AF"] = "macr";
+macro2utf8["Icirc"] = "%C3%8E";
+utf82macro["%C3%8E"] = "Icirc";
+macro2utf8["comma"] = "%2C";
+utf82macro["%2C"] = "comma";
+macro2utf8["Cayleys"] = "%E2%84%AD";
+utf82macro["%E2%84%AD"] = "Cayleys";
+macro2utf8["rightleftharpoons"] = "%E2%87%8C";
+utf82macro["%E2%87%8C"] = "rightleftharpoons";
+macro2utf8["Rarrtl"] = "%E2%A4%96";
+utf82macro["%E2%A4%96"] = "Rarrtl";
+macro2utf8["SquareSubsetEqual"] = "%E2%8A%91";
+utf82macro["%E2%8A%91"] = "SquareSubsetEqual";
+macro2utf8["NotGreaterEqual"] = "%E2%89%B1%E2%83%A5";
+utf82macro["%E2%89%B1%E2%83%A5"] = "NotGreaterEqual";
+macro2utf8["vfr"] = "%F0%9D%94%B3";
+utf82macro["%F0%9D%94%B3"] = "vfr";
+macro2utf8["utri"] = "%E2%96%B5";
+utf82macro["%E2%96%B5"] = "utri";
+macro2utf8["simne"] = "%E2%89%86";
+utf82macro["%E2%89%86"] = "simne";
+macro2utf8["LeftUpVectorBar"] = "%E2%A5%98";
+utf82macro["%E2%A5%98"] = "LeftUpVectorBar";
+macro2utf8["hksearow"] = "%E2%A4%A5";
+utf82macro["%E2%A4%A5"] = "hksearow";
+macro2utf8["boxv"] = "%E2%94%82";
+utf82macro["%E2%94%82"] = "boxv";
+macro2utf8["curvearrowleft"] = "%E2%86%B6";
+utf82macro["%E2%86%B6"] = "curvearrowleft";
+macro2utf8["eng"] = "%C5%8B";
+utf82macro["%C5%8B"] = "eng";
+macro2utf8["gtrarr"] = "%E2%A5%B8";
+utf82macro["%E2%A5%B8"] = "gtrarr";
+macro2utf8["iecy"] = "%D0%B5";
+utf82macro["%D0%B5"] = "iecy";
+macro2utf8["varr"] = "%E2%86%95";
+utf82macro["%E2%86%95"] = "varr";
+macro2utf8["lBarr"] = "%E2%A4%8E";
+utf82macro["%E2%A4%8E"] = "lBarr";