-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";
+macro2utf8["vnsub"] = "⊄";
+utf82macro["⊄"] = "vnsub";
+macro2utf8["Bscr"] = "ℬ";
+utf82macro["ℬ"] = "Bscr";
+macro2utf8["plussim"] = "⨦";
+utf82macro["⨦"] = "plussim";
+macro2utf8["doublebarwedge"] = "⌆";
+utf82macro["⌆"] = "doublebarwedge";
+macro2utf8["nu"] = "ν";
+utf82macro["ν"] = "nu";
+macro2utf8["eqcolon"] = "≕";
+utf82macro["≕"] = "eqcolon";
+macro2utf8["luruhar"] = "⥦";
+utf82macro["⥦"] = "luruhar";
+macro2utf8["Nfr"] = "𝔑";
+utf82macro["𝔑"] = "Nfr";
+macro2utf8["preceq"] = "⪯";
+utf82macro["⪯"] = "preceq";
+macro2utf8["LeftTee"] = "⊣";
+utf82macro["⊣"] = "LeftTee";
+macro2utf8["div"] = "÷";
+utf82macro["÷"] = "div";
+macro2utf8["nVDash"] = "⊯";
+utf82macro["⊯"] = "nVDash";
+macro2utf8["kopf"] = "𝕜";
+utf82macro["𝕜"] = "kopf";
+macro2utf8["Iscr"] = "ℐ";
+utf82macro["ℐ"] = "Iscr";
+macro2utf8["vnsup"] = "⊅";
+utf82macro["⊅"] = "vnsup";
+macro2utf8["gneq"] = "≩";
+utf82macro["≩"] = "gneq";
+macro2utf8["backepsilon"] = "϶";
+utf82macro["϶"] = "backepsilon";
+macro2utf8["boxhu"] = "┴";
+utf82macro["┴"] = "boxhu";
+macro2utf8["ominus"] = "⊖";
+utf82macro["⊖"] = "ominus";
+macro2utf8["or"] = "∨";
+utf82macro["∨"] = "or";
+macro2utf8["lesdot"] = "⩿";
+utf82macro["⩿"] = "lesdot";
+macro2utf8["RightVectorBar"] = "⥓";
+utf82macro["⥓"] = "RightVectorBar";
+macro2utf8["tcedil"] = "ţ";
+utf82macro["ţ"] = "tcedil";
+macro2utf8["hstrok"] = "ħ";
+utf82macro["ħ"] = "hstrok";
+macro2utf8["nrarrc"] = "⤳̸";
+utf82macro["⤳̸"] = "nrarrc";
+macro2utf8["ropf"] = "𝕣";
+utf82macro["𝕣"] = "ropf";
+macro2utf8["diamond"] = "⋄";
+utf82macro["⋄"] = "diamond";
+macro2utf8["smid"] = "∣︀";
+utf82macro["∣︀"] = "smid";
+macro2utf8["nltri"] = "⋪";
+utf82macro["⋪"] = "nltri";
+macro2utf8["Pscr"] = "𝒫";
+utf82macro["𝒫"] = "Pscr";
+macro2utf8["vartheta"] = "ϑ";
+utf82macro["ϑ"] = "vartheta";
+macro2utf8["therefore"] = "∴";
+utf82macro["∴"] = "therefore";
+macro2utf8["pi"] = "π";
+utf82macro["π"] = "pi";
+macro2utf8["ntrianglelefteq"] = "⋬";
+utf82macro["⋬"] = "ntrianglelefteq";
+macro2utf8["nearrow"] = "↗";
+utf82macro["↗"] = "nearrow";
+macro2utf8["pm"] = "±";
+utf82macro["±"] = "pm";
+macro2utf8["natural"] = "♮";
+utf82macro["♮"] = "natural";
+macro2utf8["ucy"] = "у";
+utf82macro["у"] = "ucy";
+macro2utf8["olt"] = "⧀";
+utf82macro["⧀"] = "olt";
+macro2utf8["Cfr"] = "ℭ";
+utf82macro["ℭ"] = "Cfr";
+macro2utf8["yopf"] = "𝕪";
+utf82macro["𝕪"] = "yopf";
+macro2utf8["Otilde"] = "Õ";
+utf82macro["Õ"] = "Otilde";
+macro2utf8["ntriangleleft"] = "⋪";
+utf82macro["⋪"] = "ntriangleleft";
+macro2utf8["pr"] = "≺";
+utf82macro["≺"] = "pr";
+macro2utf8["Wscr"] = "𝒲";
+utf82macro["𝒲"] = "Wscr";
+macro2utf8["midcir"] = "⫰";
+utf82macro["⫰"] = "midcir";
+macro2utf8["Lacute"] = "Ĺ";
+utf82macro["Ĺ"] = "Lacute";
+macro2utf8["DoubleDot"] = "¨";
+utf82macro["¨"] = "DoubleDot";
+macro2utf8["Tstrok"] = "Ŧ";
+utf82macro["Ŧ"] = "Tstrok";
+macro2utf8["nrarrw"] = "↝̸";
+utf82macro["↝̸"] = "nrarrw";
+macro2utf8["uArr"] = "⇑";
+utf82macro["⇑"] = "uArr";
+macro2utf8["nLtv"] = "≪̸︀";
+utf82macro["≪̸︀"] = "nLtv";
+macro2utf8["rangle"] = "〉";
+utf82macro["〉"] = "rangle";
+macro2utf8["olcir"] = "⦾";
+utf82macro["⦾"] = "olcir";
+macro2utf8["Auml"] = "Ä";
+utf82macro["Ä"] = "Auml";
+macro2utf8["Succeeds"] = "≻";
+utf82macro["≻"] = "Succeeds";
+macro2utf8["DoubleLongLeftRightArrow"] = "";
+utf82macro[""] = "DoubleLongLeftRightArrow";
+macro2utf8["TSHcy"] = "Ћ";
+utf82macro["Ћ"] = "TSHcy";
+macro2utf8["gammad"] = "Ϝ";
+utf82macro["Ϝ"] = "gammad";
+macro2utf8["epsiv"] = "ɛ";
+utf82macro["ɛ"] = "epsiv";
+macro2utf8["notinva"] = "∉̸";
+utf82macro["∉̸"] = "notinva";
+macro2utf8["notinvb"] = "⋷";
+utf82macro["⋷"] = "notinvb";
+macro2utf8["eqvparsl"] = "⧥";
+utf82macro["⧥"] = "eqvparsl";
+macro2utf8["notinvc"] = "⋶";
+utf82macro["⋶"] = "notinvc";
+macro2utf8["nsubE"] = "⊈";
+utf82macro["⊈"] = "nsubE";
+macro2utf8["supplus"] = "⫀";
+utf82macro["⫀"] = "supplus";
+macro2utf8["RightUpDownVector"] = "⥏";
+utf82macro["⥏"] = "RightUpDownVector";
+macro2utf8["Tab"] = "\t";
+utf82macro["\t"] = "Tab";
+macro2utf8["Lcedil"] = "Ļ";
+utf82macro["Ļ"] = "Lcedil";
+macro2utf8["backslash"] = "\\";
+utf82macro["\\"] = "backslash";
+macro2utf8["pointint"] = "⨕";
+utf82macro["⨕"] = "pointint";
+macro2utf8["jcy"] = "й";
+utf82macro["й"] = "jcy";
+macro2utf8["iocy"] = "ё";
+utf82macro["ё"] = "iocy";
+macro2utf8["escr"] = "ℯ";
+utf82macro["ℯ"] = "escr";
+macro2utf8["submult"] = "⫁";
+utf82macro["⫁"] = "submult";
+macro2utf8["iiota"] = "℩";
+utf82macro["℩"] = "iiota";
+macro2utf8["lceil"] = "⌈";
+utf82macro["⌈"] = "lceil";
+macro2utf8["omacr"] = "ō";
+utf82macro["ō"] = "omacr";
+macro2utf8["gneqq"] = "≩";
+utf82macro["≩"] = "gneqq";
+macro2utf8["gcirc"] = "ĝ";
+utf82macro["ĝ"] = "gcirc";
+macro2utf8["dotsquare"] = "⊡";
+utf82macro["⊡"] = "dotsquare";
+macro2utf8["ccaron"] = "č";
+utf82macro["č"] = "ccaron";
+macro2utf8["Square"] = "□";
+utf82macro["□"] = "Square";
+macro2utf8["RightDownTeeVector"] = "⥝";
+utf82macro["⥝"] = "RightDownTeeVector";
+macro2utf8["Ouml"] = "Ö";
+utf82macro["Ö"] = "Ouml";
+macro2utf8["lurdshar"] = "⥊";
+utf82macro["⥊"] = "lurdshar";
+macro2utf8["SuchThat"] = "∋";
+utf82macro["∋"] = "SuchThat";
+macro2utf8["setminus"] = "∖";
+utf82macro["∖"] = "setminus";
+macro2utf8["lscr"] = "ℓ";
+utf82macro["ℓ"] = "lscr";
+macro2utf8["LessLess"] = "⪡";
+utf82macro["⪡"] = "LessLess";
+macro2utf8["Sub"] = "⋐";
+utf82macro["⋐"] = "Sub";
+macro2utf8["sc"] = "≻";
+utf82macro["≻"] = "sc";
+macro2utf8["rx"] = "℞";
+utf82macro["℞"] = "rx";
+macro2utf8["RightFloor"] = "⌋";
+utf82macro["⌋"] = "RightFloor";
+macro2utf8["blacksquare"] = "▪";
+utf82macro["▪"] = "blacksquare";
+macro2utf8["ufr"] = "𝔲";
+utf82macro["𝔲"] = "ufr";
+macro2utf8["block"] = "█";
+utf82macro["█"] = "block";
+macro2utf8["dots"] = "…";
+utf82macro["…"] = "dots";
+macro2utf8["nvsim"] = "≁̸";
+utf82macro["≁̸"] = "nvsim";
+macro2utf8["caret"] = "⁁";
+utf82macro["⁁"] = "caret";
+macro2utf8["demptyv"] = "⦱";
+utf82macro["⦱"] = "demptyv";
+macro2utf8["Sum"] = "∑";
+utf82macro["∑"] = "Sum";
+macro2utf8["sscr"] = "𝓈";
+utf82macro["𝓈"] = "sscr";
+macro2utf8["nsube"] = "⊈";
+utf82macro["⊈"] = "nsube";
+macro2utf8["Sup"] = "⋑";
+utf82macro["⋑"] = "Sup";
+macro2utf8["ccupssm"] = "⩐";
+utf82macro["⩐"] = "ccupssm";
+macro2utf8["Because"] = "∵";
+utf82macro["∵"] = "Because";
+macro2utf8["harrcir"] = "⥈";
+utf82macro["⥈"] = "harrcir";
+macro2utf8["capbrcup"] = "⩉";
+utf82macro["⩉"] = "capbrcup";
+macro2utf8["RightUpVectorBar"] = "⥔";
+utf82macro["⥔"] = "RightUpVectorBar";
+macro2utf8["caps"] = "∩︀";
+utf82macro["∩︀"] = "caps";
+macro2utf8["ohbar"] = "⦵";
+utf82macro["⦵"] = "ohbar";
+macro2utf8["laemptyv"] = "⦴";
+utf82macro["⦴"] = "laemptyv";
+macro2utf8["uacute"] = "ú";
+utf82macro["ú"] = "uacute";
+macro2utf8["straightphi"] = "φ";
+utf82macro["φ"] = "straightphi";
+macro2utf8["RightDoubleBracket"] = "〛";
+utf82macro["〛"] = "RightDoubleBracket";
+macro2utf8["zscr"] = "𝓏";
+utf82macro["𝓏"] = "zscr";
+macro2utf8["uogon"] = "ų";
+utf82macro["ų"] = "uogon";
+macro2utf8["Uarr"] = "↟";
+utf82macro["↟"] = "Uarr";
+macro2utf8["nsucc"] = "⊁";
+utf82macro["⊁"] = "nsucc";
+macro2utf8["RBarr"] = "⤐";
+utf82macro["⤐"] = "RBarr";
+macro2utf8["NotRightTriangleBar"] = "⧐̸";
+utf82macro["⧐̸"] = "NotRightTriangleBar";
+macro2utf8["to"] = "→";
+utf82macro["→"] = "to";
+macro2utf8["rpar"] = ")";
+utf82macro[")"] = "rpar";
+macro2utf8["rdsh"] = "↳";
+utf82macro["↳"] = "rdsh";
+macro2utf8["jfr"] = "𝔧";
+utf82macro["𝔧"] = "jfr";
+macro2utf8["ldquor"] = "„";
+utf82macro["„"] = "ldquor";
+macro2utf8["bsime"] = "⋍";
+utf82macro["⋍"] = "bsime";
+macro2utf8["lAtail"] = "⤛";
+utf82macro["⤛"] = "lAtail";
+macro2utf8["Hcirc"] = "Ĥ";
+utf82macro["Ĥ"] = "Hcirc";
+macro2utf8["aacute"] = "á";
+utf82macro["á"] = "aacute";
+macro2utf8["dot"] = "˙";
+utf82macro["˙"] = "dot";
+macro2utf8["Tcy"] = "Т";
+utf82macro["Т"] = "Tcy";
+macro2utf8["nsub"] = "⊄";
+utf82macro["⊄"] = "nsub";
+macro2utf8["kappa"] = "κ";
+utf82macro["κ"] = "kappa";
+macro2utf8["ovbar"] = "⌽";
+utf82macro["⌽"] = "ovbar";
+macro2utf8["shcy"] = "ш";
+utf82macro["ш"] = "shcy";
+macro2utf8["kappav"] = "ϰ";
+utf82macro["ϰ"] = "kappav";
+macro2utf8["ropar"] = "〙";
+utf82macro["〙"] = "ropar";
+macro2utf8["gtcc"] = "⪧";
+utf82macro["⪧"] = "gtcc";
+macro2utf8["ecolon"] = "≕";
+utf82macro["≕"] = "ecolon";
+macro2utf8["circledast"] = "⊛";
+utf82macro["⊛"] = "circledast";
+macro2utf8["colon"] = ":";
+utf82macro[":"] = "colon";
+macro2utf8["timesbar"] = "⨱";
+utf82macro["⨱"] = "timesbar";
+macro2utf8["precnsim"] = "⋨";
+utf82macro["⋨"] = "precnsim";
+macro2utf8["ord"] = "⩝";
+utf82macro["⩝"] = "ord";
+macro2utf8["real"] = "ℜ";
+utf82macro["ℜ"] = "real";
+macro2utf8["nexists"] = "∄";
+utf82macro["∄"] = "nexists";
+macro2utf8["nsup"] = "⊅";
+utf82macro["⊅"] = "nsup";
+macro2utf8["zhcy"] = "ж";
+utf82macro["ж"] = "zhcy";
+macro2utf8["imacr"] = "ī";
+utf82macro["ī"] = "imacr";
+macro2utf8["egrave"] = "è";
+utf82macro["è"] = "egrave";
+macro2utf8["acirc"] = "â";
+utf82macro["â"] = "acirc";
+macro2utf8["grave"] = "`";
+utf82macro["`"] = "grave";
+macro2utf8["biguplus"] = "⊎";
+utf82macro["⊎"] = "biguplus";
+macro2utf8["HumpEqual"] = "≏";
+utf82macro["≏"] = "HumpEqual";
+macro2utf8["GreaterSlantEqual"] = "⩾";
+utf82macro["⩾"] = "GreaterSlantEqual";
+macro2utf8["capand"] = "⩄";
+utf82macro["⩄"] = "capand";
+macro2utf8["yuml"] = "ÿ";
+utf82macro["ÿ"] = "yuml";
+macro2utf8["orv"] = "⩛";
+utf82macro["⩛"] = "orv";
+macro2utf8["Icy"] = "И";
+utf82macro["И"] = "Icy";
+macro2utf8["rightharpoondown"] = "⇁";
+utf82macro["⇁"] = "rightharpoondown";
+macro2utf8["upsilon"] = "υ";
+utf82macro["υ"] = "upsilon";
+macro2utf8["preccurlyeq"] = "≼";
+utf82macro["≼"] = "preccurlyeq";
+macro2utf8["ShortUpArrow"] = "⌃︀";
+utf82macro["⌃︀"] = "ShortUpArrow";
+macro2utf8["searhk"] = "⤥";
+utf82macro["⤥"] = "searhk";
+macro2utf8["commat"] = "@";
+utf82macro["@"] = "commat";
+macro2utf8["Sqrt"] = "√";
+utf82macro["√"] = "Sqrt";
+macro2utf8["wp"] = "℘";
+utf82macro["℘"] = "wp";
+macro2utf8["succnapprox"] = "⋩";
+utf82macro["⋩"] = "succnapprox";
+macro2utf8["wr"] = "≀";
+utf82macro["≀"] = "wr";
+macro2utf8["NotTildeTilde"] = "≉";
+utf82macro["≉"] = "NotTildeTilde";
+macro2utf8["dcaron"] = "ď";
+utf82macro["ď"] = "dcaron";
+macro2utf8["Tfr"] = "𝔗";
+utf82macro["𝔗"] = "Tfr";
+macro2utf8["bigwedge"] = "⋀";
+utf82macro["⋀"] = "bigwedge";
+macro2utf8["DScy"] = "Ѕ";
+utf82macro["Ѕ"] = "DScy";
+macro2utf8["nrtrie"] = "⋭";
+utf82macro["⋭"] = "nrtrie";
+macro2utf8["esim"] = "≂";
+utf82macro["≂"] = "esim";
+macro2utf8["Not"] = "⫬";
+utf82macro["⫬"] = "Not";
+macro2utf8["xmap"] = "";
+utf82macro[""] = "xmap";
+macro2utf8["rect"] = "▭";
+utf82macro["▭"] = "rect";
+macro2utf8["Fouriertrf"] = "ℱ";
+utf82macro["ℱ"] = "Fouriertrf";
+macro2utf8["xi"] = "ξ";
+utf82macro["ξ"] = "xi";
+macro2utf8["NotTilde"] = "≁";
+utf82macro["≁"] = "NotTilde";
+macro2utf8["gbreve"] = "ğ";
+utf82macro["ğ"] = "gbreve";
+macro2utf8["par"] = "∥";
+utf82macro["∥"] = "par";
+macro2utf8["ddots"] = "⋱";
+utf82macro["⋱"] = "ddots";
+macro2utf8["nhArr"] = "⇎";
+utf82macro["⇎"] = "nhArr";
+macro2utf8["lsim"] = "≲";
+utf82macro["≲"] = "lsim";
+macro2utf8["RightCeiling"] = "⌉";
+utf82macro["⌉"] = "RightCeiling";
+macro2utf8["nedot"] = "≠︀";
+utf82macro["≠︀"] = "nedot";
+macro2utf8["thksim"] = "∼︀";
+utf82macro["∼︀"] = "thksim";
+macro2utf8["lEg"] = "⋚";
+utf82macro["⋚"] = "lEg";
+macro2utf8["Ifr"] = "ℑ";
+utf82macro["ℑ"] = "Ifr";
+macro2utf8["emsp"] = " ";
+utf82macro[" "] = "emsp";
+macro2utf8["lopar"] = "〘";
+utf82macro["〘"] = "lopar";
+macro2utf8["iiiint"] = "⨌";
+utf82macro["⨌"] = "iiiint";
+macro2utf8["straightepsilon"] = "ε";
+utf82macro["ε"] = "straightepsilon";
+macro2utf8["intlarhk"] = "⨗";
+utf82macro["⨗"] = "intlarhk";
+macro2utf8["image"] = "ℑ";
+utf82macro["ℑ"] = "image";
+macro2utf8["sqsubseteq"] = "⊑";
+utf82macro["⊑"] = "sqsubseteq";
+macro2utf8["lnapprox"] = "⪉";
+utf82macro["⪉"] = "lnapprox";
+macro2utf8["Leftrightarrow"] = "⇔";
+utf82macro["⇔"] = "Leftrightarrow";
+macro2utf8["cemptyv"] = "⦲";
+utf82macro["⦲"] = "cemptyv";
+macro2utf8["alpha"] = "α";
+utf82macro["α"] = "alpha";
+macro2utf8["uml"] = "¨";
+utf82macro["¨"] = "uml";
+macro2utf8["barwedge"] = "⊼";
+utf82macro["⊼"] = "barwedge";
+macro2utf8["KHcy"] = "Х";
+utf82macro["Х"] = "KHcy";
+macro2utf8["tilde"] = "˜";
+utf82macro["˜"] = "tilde";
+macro2utf8["Superset"] = "⊃";
+utf82macro["⊃"] = "Superset";
+macro2utf8["gesles"] = "⪔";
+utf82macro["⪔"] = "gesles";
+macro2utf8["bigoplus"] = "⊕";
+utf82macro["⊕"] = "bigoplus";
+macro2utf8["boxuL"] = "╛";
+utf82macro["╛"] = "boxuL";
+macro2utf8["rbbrk"] = "〕";
+utf82macro["〕"] = "rbbrk";
+macro2utf8["nrightarrow"] = "↛";
+utf82macro["↛"] = "nrightarrow";
+macro2utf8["hkswarow"] = "⤦";
+utf82macro["⤦"] = "hkswarow";
+macro2utf8["DiacriticalDoubleAcute"] = "˝";
+utf82macro["˝"] = "DiacriticalDoubleAcute";
+macro2utf8["nbumpe"] = "≏̸";
+utf82macro["≏̸"] = "nbumpe";
+macro2utf8["uhblk"] = "▀";
+utf82macro["▀"] = "uhblk";
+macro2utf8["NotSupersetEqual"] = "⊉";
+utf82macro["⊉"] = "NotSupersetEqual";
+macro2utf8["ntgl"] = "≹";
+utf82macro["≹"] = "ntgl";
+macro2utf8["Fopf"] = "𝔽";
+utf82macro["𝔽"] = "Fopf";
+macro2utf8["boxuR"] = "╘";
+utf82macro["╘"] = "boxuR";
+macro2utf8["swarr"] = "↙";
+utf82macro["↙"] = "swarr";
+macro2utf8["nsqsube"] = "⋢";
+utf82macro["⋢"] = "nsqsube";
+macro2utf8["pluscir"] = "⨢";
+utf82macro["⨢"] = "pluscir";
+macro2utf8["pcy"] = "п";
+utf82macro["п"] = "pcy";
+macro2utf8["leqslant"] = "⩽";
+utf82macro["⩽"] = "leqslant";
+macro2utf8["lnap"] = "⪉";
+utf82macro["⪉"] = "lnap";
+macro2utf8["lthree"] = "⋋";
+utf82macro["⋋"] = "lthree";
+macro2utf8["smte"] = "⪬";
+utf82macro["⪬"] = "smte";
+macro2utf8["olcross"] = "⦻";
+utf82macro["⦻"] = "olcross";
+macro2utf8["nvrArr"] = "⇏";
+utf82macro["⇏"] = "nvrArr";
+macro2utf8["andslope"] = "⩘";
+utf82macro["⩘"] = "andslope";
+macro2utf8["MediumSpace"] = " ";
+utf82macro[" "] = "MediumSpace";
+macro2utf8["boxvH"] = "╪";
+utf82macro["╪"] = "boxvH";
+macro2utf8["Nacute"] = "Ń";
+utf82macro["Ń"] = "Nacute";
+macro2utf8["nGtv"] = "≫̸︀";
+utf82macro["≫̸︀"] = "nGtv";
+macro2utf8["Mopf"] = "𝕄";
+utf82macro["𝕄"] = "Mopf";
+macro2utf8["dfisht"] = "⥿";
+utf82macro["⥿"] = "dfisht";
+macro2utf8["boxvL"] = "╡";
+utf82macro["╡"] = "boxvL";
+macro2utf8["pertenk"] = "‱";
+utf82macro["‱"] = "pertenk";
+macro2utf8["NotPrecedes"] = "⊀";
+utf82macro["⊀"] = "NotPrecedes";
+macro2utf8["profalar"] = "⌮";
+utf82macro["⌮"] = "profalar";
+macro2utf8["roplus"] = "⨮";
+utf82macro["⨮"] = "roplus";
+macro2utf8["boxvR"] = "╞";
+utf82macro["╞"] = "boxvR";
+macro2utf8["utrif"] = "▴";
+utf82macro["▴"] = "utrif";
+macro2utf8["uHar"] = "⥣";
+utf82macro["⥣"] = "uHar";
+macro2utf8["nltrie"] = "⋬";
+utf82macro["⋬"] = "nltrie";
+macro2utf8["NotNestedGreaterGreater"] = "⒢̸";
+utf82macro["⒢̸"] = "NotNestedGreaterGreater";
+macro2utf8["smtes"] = "⪬︀";
+utf82macro["⪬︀"] = "smtes";
+macro2utf8["LeftAngleBracket"] = "〈";
+utf82macro["〈"] = "LeftAngleBracket";
+macro2utf8["iogon"] = "į";
+utf82macro["į"] = "iogon";
+macro2utf8["ExponentialE"] = "ⅇ";
+utf82macro["ⅇ"] = "ExponentialE";
+macro2utf8["Topf"] = "𝕋";
+utf82macro["𝕋"] = "Topf";
+macro2utf8["GreaterEqual"] = "≥";
+utf82macro["≥"] = "GreaterEqual";
+macro2utf8["DownTee"] = "⊤";
+utf82macro["⊤"] = "DownTee";
+macro2utf8["boxul"] = "┘";
+utf82macro["┘"] = "boxul";
+macro2utf8["wreath"] = "≀";
+utf82macro["≀"] = "wreath";
+macro2utf8["sigma"] = "σ";
+utf82macro["σ"] = "sigma";
+macro2utf8["ENG"] = "Ŋ";
+utf82macro["Ŋ"] = "ENG";
+macro2utf8["Ncedil"] = "Ņ";
+utf82macro["Ņ"] = "Ncedil";
+macro2utf8["ecy"] = "э";
+utf82macro["э"] = "ecy";
+macro2utf8["nsubset"] = "⊄";
+utf82macro["⊄"] = "nsubset";
+macro2utf8["LessFullEqual"] = "≦";
+utf82macro["≦"] = "LessFullEqual";
+macro2utf8["bsolb"] = "⧅";
+utf82macro["⧅"] = "bsolb";
+macro2utf8["boxur"] = "└";
+utf82macro["└"] = "boxur";
+macro2utf8["ThinSpace"] = " ";
+utf82macro[" "] = "ThinSpace";
+macro2utf8["supdsub"] = "⫘";
+utf82macro["⫘"] = "supdsub";
+macro2utf8["colone"] = "≔";
+utf82macro["≔"] = "colone";
+macro2utf8["curren"] = "¤";
+utf82macro["¤"] = "curren";
+macro2utf8["boxvh"] = "┼";
+utf82macro["┼"] = "boxvh";
+macro2utf8["ecaron"] = "ě";
+utf82macro["ě"] = "ecaron";
+macro2utf8["UnderBrace"] = "︸";
+utf82macro["︸"] = "UnderBrace";
+macro2utf8["caron"] = "ˇ";
+utf82macro["ˇ"] = "caron";
+macro2utf8["ultri"] = "◸";
+utf82macro["◸"] = "ultri";
+macro2utf8["boxvl"] = "┤";
+utf82macro["┤"] = "boxvl";
+macro2utf8["scap"] = "≿";
+utf82macro["≿"] = "scap";
+macro2utf8["boxvr"] = "├";
+utf82macro["├"] = "boxvr";
+macro2utf8["bopf"] = "𝕓";
+utf82macro["𝕓"] = "bopf";
+macro2utf8["pfr"] = "𝔭";
+utf82macro["𝔭"] = "pfr";
+macro2utf8["nspar"] = "∦︀";
+utf82macro["∦︀"] = "nspar";
+macro2utf8["NegativeMediumSpace"] = " ︀";
+utf82macro[" ︀"] = "NegativeMediumSpace";
+macro2utf8["simgE"] = "⪠";
+utf82macro["⪠"] = "simgE";
+macro2utf8["nvDash"] = "⊭";
+utf82macro["⊭"] = "nvDash";
+macro2utf8["NotGreaterFullEqual"] = "≰";
+utf82macro["≰"] = "NotGreaterFullEqual";
+macro2utf8["uparrow"] = "↑";
+utf82macro["↑"] = "uparrow";
+macro2utf8["nsupset"] = "⊅";
+utf82macro["⊅"] = "nsupset";
+macro2utf8["simeq"] = "≃";
+utf82macro["≃"] = "simeq";
+macro2utf8["Zcy"] = "З";
+utf82macro["З"] = "Zcy";
+macro2utf8["RightTriangle"] = "⊳";
+utf82macro["⊳"] = "RightTriangle";
+macro2utf8["Lang"] = "《";
+utf82macro["《"] = "Lang";
+macro2utf8["Ucirc"] = "Û";
+utf82macro["Û"] = "Ucirc";
+macro2utf8["iopf"] = "𝕚";
+utf82macro["𝕚"] = "iopf";
+macro2utf8["leftrightsquigarrow"] = "↭";
+utf82macro["↭"] = "leftrightsquigarrow";
+macro2utf8["Gscr"] = "𝒢";
+utf82macro["𝒢"] = "Gscr";
+macro2utf8["lfloor"] = "⌊";
+utf82macro["⌊"] = "lfloor";
+macro2utf8["lbbrk"] = "〔";
+utf82macro["〔"] = "lbbrk";
+macro2utf8["bigvee"] = "⋁";
+utf82macro["⋁"] = "bigvee";
+macro2utf8["ordf"] = "ª";
+utf82macro["ª"] = "ordf";
+macro2utf8["rsquo"] = "’";
+utf82macro["’"] = "rsquo";
+macro2utf8["parallel"] = "∥";
+utf82macro["∥"] = "parallel";
+macro2utf8["half"] = "½";
+utf82macro["½"] = "half";
+macro2utf8["supseteq"] = "⊇";
+utf82macro["⊇"] = "supseteq";
+macro2utf8["ngeqq"] = "≱";
+utf82macro["≱"] = "ngeqq";
+macro2utf8["popf"] = "𝕡";
+utf82macro["𝕡"] = "popf";
+macro2utf8["NonBreakingSpace"] = " ";
+utf82macro[" "] = "NonBreakingSpace";
+macro2utf8["softcy"] = "ь";
+utf82macro["ь"] = "softcy";
+macro2utf8["ordm"] = "º";
+utf82macro["º"] = "ordm";
+macro2utf8["Nscr"] = "𝒩";
+utf82macro["𝒩"] = "Nscr";
+macro2utf8["owns"] = "∋";
+utf82macro["∋"] = "owns";
+macro2utf8["phi"] = "ϕ";
+utf82macro["ϕ"] = "phi";
+macro2utf8["efr"] = "𝔢";
+utf82macro["𝔢"] = "efr";
+macro2utf8["nesear"] = "⤨";
+utf82macro["⤨"] = "nesear";
+macro2utf8["marker"] = "▮";
+utf82macro["▮"] = "marker";
+macro2utf8["lneq"] = "≨";
+utf82macro["≨"] = "lneq";
+macro2utf8["parallet"] = "????";
+utf82macro["????"] = "parallet";
+macro2utf8["ndash"] = "–";
+utf82macro["–"] = "ndash";
+macro2utf8["DoubleLeftTee"] = "⫤";
+utf82macro["⫤"] = "DoubleLeftTee";
+macro2utf8["lArr"] = "⇐";
+utf82macro["⇐"] = "lArr";
+macro2utf8["becaus"] = "∵";
+utf82macro["∵"] = "becaus";
+macro2utf8["RightTee"] = "⊢";
+utf82macro["⊢"] = "RightTee";
+macro2utf8["Ocy"] = "О";
+utf82macro["О"] = "Ocy";
+macro2utf8["ntlg"] = "≸";
+utf82macro["≸"] = "ntlg";
+macro2utf8["cacute"] = "ć";
+utf82macro["ć"] = "cacute";
+macro2utf8["wopf"] = "𝕨";
+utf82macro["𝕨"] = "wopf";
+macro2utf8["Cup"] = "⋓";
+utf82macro["⋓"] = "Cup";
+macro2utf8["Uscr"] = "𝒰";
+utf82macro["𝒰"] = "Uscr";
+macro2utf8["NotHumpEqual"] = "≏̸";
+utf82macro["≏̸"] = "NotHumpEqual";
+macro2utf8["rnmid"] = "⫮";
+utf82macro["⫮"] = "rnmid";
+macro2utf8["nsupE"] = "⊉";
+utf82macro["⊉"] = "nsupE";
+macro2utf8["bemptyv"] = "⦰";
+utf82macro["⦰"] = "bemptyv";
+macro2utf8["lsqb"] = "[";
+utf82macro["["] = "lsqb";
+macro2utf8["nrarr"] = "↛";
+utf82macro["↛"] = "nrarr";
+macro2utf8["egs"] = "⋝";
+utf82macro["⋝"] = "egs";
+macro2utf8["reals"] = "ℝ";
+utf82macro["ℝ"] = "reals";
+macro2utf8["CupCap"] = "≍";
+utf82macro["≍"] = "CupCap";
+macro2utf8["Oacute"] = "Ó";
+utf82macro["Ó"] = "Oacute";
+macro2utf8["Zfr"] = "ℨ";
+utf82macro["ℨ"] = "Zfr";
+macro2utf8["ReverseEquilibrium"] = "⇋";
+utf82macro["⇋"] = "ReverseEquilibrium";
+macro2utf8["ccedil"] = "ç";
+utf82macro["ç"] = "ccedil";
+macro2utf8["bigtriangleup"] = "△";
+utf82macro["△"] = "bigtriangleup";
+macro2utf8["piv"] = "ϖ";
+utf82macro["ϖ"] = "piv";
+macro2utf8["cirscir"] = "⧂";
+utf82macro["⧂"] = "cirscir";
+macro2utf8["exists"] = "∃";
+utf82macro["∃"] = "exists";
+macro2utf8["Uarrocir"] = "⥉";
+utf82macro["⥉"] = "Uarrocir";
+macro2utf8["Dcy"] = "Д";
+utf82macro["Д"] = "Dcy";
+macro2utf8["cscr"] = "𝒸";
+utf82macro["𝒸"] = "cscr";
+macro2utf8["zcaron"] = "ž";
+utf82macro["ž"] = "zcaron";
+macro2utf8["isinE"] = "⋹";
+utf82macro["⋹"] = "isinE";
+macro2utf8["gtcir"] = "⩺";
+utf82macro["⩺"] = "gtcir";
+macro2utf8["hookrightarrow"] = "↪";
+utf82macro["↪"] = "hookrightarrow";
+macro2utf8["Int"] = "∬";
+utf82macro["∬"] = "Int";
+macro2utf8["nsupe"] = "⊉";
+utf82macro["⊉"] = "nsupe";
+macro2utf8["dotplus"] = "∔";
+utf82macro["∔"] = "dotplus";
+macro2utf8["ncup"] = "⩂";
+utf82macro["⩂"] = "ncup";
+macro2utf8["jscr"] = "𝒿";
+utf82macro["𝒿"] = "jscr";
+macro2utf8["angmsdaa"] = "⦨";
+utf82macro["⦨"] = "angmsdaa";
+macro2utf8["Iukcy"] = "І";
+utf82macro["І"] = "Iukcy";
+macro2utf8["flat"] = "♭";
+utf82macro["♭"] = "flat";
+macro2utf8["bNot"] = "⫭";
+utf82macro["⫭"] = "bNot";
+macro2utf8["angmsdab"] = "⦩";
+utf82macro["⦩"] = "angmsdab";
+macro2utf8["angmsdac"] = "⦪";
+utf82macro["⦪"] = "angmsdac";
+macro2utf8["xdtri"] = "▽";
+utf82macro["▽"] = "xdtri";
+macro2utf8["iota"] = "ι";
+utf82macro["ι"] = "iota";
+macro2utf8["angmsdad"] = "⦫";
+utf82macro["⦫"] = "angmsdad";
+macro2utf8["angmsdae"] = "⦬";
+utf82macro["⦬"] = "angmsdae";
+macro2utf8["rightarrowtail"] = "↣";
+utf82macro["↣"] = "rightarrowtail";
+macro2utf8["angmsdaf"] = "⦭";
+utf82macro["⦭"] = "angmsdaf";
+macro2utf8["Ocirc"] = "Ô";
+utf82macro["Ô"] = "Ocirc";
+macro2utf8["angmsdag"] = "⦮";
+utf82macro["⦮"] = "angmsdag";
+macro2utf8["Ofr"] = "𝔒";
+utf82macro["𝔒"] = "Ofr";
+macro2utf8["maltese"] = "✠";
+utf82macro["✠"] = "maltese";
+macro2utf8["angmsdah"] = "⦯";
+utf82macro["⦯"] = "angmsdah";
+macro2utf8["Del"] = "∇";
+utf82macro["∇"] = "Del";
+macro2utf8["Barwed"] = "⌆";
+utf82macro["⌆"] = "Barwed";
+macro2utf8["drbkarow"] = "⤐";
+utf82macro["⤐"] = "drbkarow";
+macro2utf8["qscr"] = "𝓆";
+utf82macro["𝓆"] = "qscr";
+macro2utf8["ETH"] = "Ð";
+utf82macro["Ð"] = "ETH";
+macro2utf8["operp"] = "⦹";
+utf82macro["⦹"] = "operp";
+macro2utf8["daleth"] = "ℸ";
+utf82macro["ℸ"] = "daleth";
+macro2utf8["bull"] = "•";
+utf82macro["•"] = "bull";
+macro2utf8["simlE"] = "⪟";
+utf82macro["⪟"] = "simlE";
+macro2utf8["lsquo"] = "‘";
+utf82macro["‘"] = "lsquo";
+macro2utf8["Larr"] = "↞";
+utf82macro["↞"] = "Larr";
+macro2utf8["curarr"] = "↷";
+utf82macro["↷"] = "curarr";
+macro2utf8["blacktriangleleft"] = "◂";
+utf82macro["◂"] = "blacktriangleleft";
+macro2utf8["hellip"] = "…";
+utf82macro["…"] = "hellip";
+macro2utf8["DoubleVerticalBar"] = "∥";
+utf82macro["∥"] = "DoubleVerticalBar";
+macro2utf8["rBarr"] = "⤏";
+utf82macro["⤏"] = "rBarr";
+macro2utf8["chcy"] = "ч";
+utf82macro["ч"] = "chcy";
+macro2utf8["varpi"] = "ϖ";
+utf82macro["ϖ"] = "varpi";
+macro2utf8["Cconint"] = "∰";
+utf82macro["∰"] = "Cconint";
+macro2utf8["xlarr"] = "";
+utf82macro[""] = "xlarr";
+macro2utf8["xscr"] = "𝓍";
+utf82macro["𝓍"] = "xscr";
+macro2utf8["DoubleLongRightArrow"] = "";
+utf82macro[""] = "DoubleLongRightArrow";
+macro2utf8["CounterClockwiseContourIntegral"] = "∳";
+utf82macro["∳"] = "CounterClockwiseContourIntegral";
+macro2utf8["urcrop"] = "⌎";
+utf82macro["⌎"] = "urcrop";
+macro2utf8["RightAngleBracket"] = "〉";
+utf82macro["〉"] = "RightAngleBracket";
+macro2utf8["Rcaron"] = "Ř";
+utf82macro["Ř"] = "Rcaron";
+macro2utf8["latail"] = "⤙";
+utf82macro["⤙"] = "latail";
+macro2utf8["pitchfork"] = "⋔";
+utf82macro["⋔"] = "pitchfork";
+macro2utf8["nvinfin"] = "⧞";
+utf82macro["⧞"] = "nvinfin";
+macro2utf8["hcirc"] = "ĥ";
+utf82macro["ĥ"] = "hcirc";
+macro2utf8["nexist"] = "∄";
+utf82macro["∄"] = "nexist";
+macro2utf8["checkmark"] = "✓";
+utf82macro["✓"] = "checkmark";
+macro2utf8["tridot"] = "◬";
+utf82macro["◬"] = "tridot";
+macro2utf8["vcy"] = "в";
+utf82macro["в"] = "vcy";
+macro2utf8["isins"] = "⋴";
+utf82macro["⋴"] = "isins";
+macro2utf8["fllig"] = "fl";
+utf82macro["fl"] = "fllig";
+macro2utf8["Dfr"] = "𝔇";
+utf82macro["𝔇"] = "Dfr";
+macro2utf8["hercon"] = "⊹";
+utf82macro["⊹"] = "hercon";
+macro2utf8["gEl"] = "⋛";
+utf82macro["⋛"] = "gEl";
+macro2utf8["bump"] = "≎";
+utf82macro["≎"] = "bump";
+macro2utf8["aleph"] = "ℵ";
+utf82macro["ℵ"] = "aleph";
+macro2utf8["Ubreve"] = "Ŭ";
+utf82macro["Ŭ"] = "Ubreve";
+macro2utf8["isinv"] = "∈";
+utf82macro["∈"] = "isinv";
+macro2utf8["smile"] = "⌣";
+utf82macro["⌣"] = "smile";
+macro2utf8["llcorner"] = "⌞";
+utf82macro["⌞"] = "llcorner";
+macro2utf8["boxH"] = "═";
+utf82macro["═"] = "boxH";
+macro2utf8["ecir"] = "≖";
+utf82macro["≖"] = "ecir";
+macro2utf8["varnothing"] = "∅";
+utf82macro["∅"] = "varnothing";
+macro2utf8["iuml"] = "ï";
+utf82macro["ï"] = "iuml";
+macro2utf8["mlcp"] = "⫛";
+utf82macro["⫛"] = "mlcp";
+macro2utf8["leftrightharpoons"] = "⇋";
+utf82macro["⇋"] = "leftrightharpoons";
+macro2utf8["ncong"] = "≇";
+utf82macro["≇"] = "ncong";
+macro2utf8["Vert"] = "‖";
+utf82macro["‖"] = "Vert";
+macro2utf8["vee"] = "∨";
+utf82macro["∨"] = "vee";
+macro2utf8["star"] = "⋆";
+utf82macro["⋆"] = "star";
+macro2utf8["boxV"] = "║";
+utf82macro["║"] = "boxV";
+macro2utf8["LeftRightArrow"] = "↔";
+utf82macro["↔"] = "LeftRightArrow";
+macro2utf8["leftrightarrow"] = "↔";
+utf82macro["↔"] = "leftrightarrow";
+macro2utf8["lstrok"] = "ł";
+utf82macro["ł"] = "lstrok";
+macro2utf8["ell"] = "ℓ";
+utf82macro["ℓ"] = "ell";
+macro2utf8["VerticalSeparator"] = "❘";
+utf82macro["❘"] = "VerticalSeparator";
+macro2utf8["Ubrcy"] = "Ў";
+utf82macro["Ў"] = "Ubrcy";
+macro2utf8["NotGreater"] = "≯";
+utf82macro["≯"] = "NotGreater";
+macro2utf8["Abreve"] = "Ă";
+utf82macro["Ă"] = "Abreve";
+macro2utf8["TildeTilde"] = "≈";
+utf82macro["≈"] = "TildeTilde";
+macro2utf8["CircleTimes"] = "⊗";
+utf82macro["⊗"] = "CircleTimes";
+macro2utf8["subsetneq"] = "⊊";
+utf82macro["⊊"] = "subsetneq";
+macro2utf8["ltcc"] = "⪦";
+utf82macro["⪦"] = "ltcc";
+macro2utf8["els"] = "⋜";
+utf82macro["⋜"] = "els";
+macro2utf8["succneqq"] = "⪶";
+utf82macro["⪶"] = "succneqq";
+macro2utf8["kcy"] = "к";
+utf82macro["к"] = "kcy";
+macro2utf8["nshortmid"] = "∤︀";
+utf82macro["∤︀"] = "nshortmid";
+macro2utf8["mldr"] = "…";
+utf82macro["…"] = "mldr";
+macro2utf8["harr"] = "↔";
+utf82macro["↔"] = "harr";
+macro2utf8["gimel"] = "ℷ";
+utf82macro["ℷ"] = "gimel";
+macro2utf8["Otimes"] = "⨷";
+utf82macro["⨷"] = "Otimes";
+macro2utf8["vsubnE"] = "⊊︀";
+utf82macro["⊊︀"] = "vsubnE";
+macro2utf8["ltdot"] = "⋖";
+utf82macro["⋖"] = "ltdot";
+macro2utf8["boxh"] = "─";
+utf82macro["─"] = "boxh";
+macro2utf8["notin"] = "∉";
+utf82macro["∉"] = "notin";
+macro2utf8["RuleDelayed"] = "⧴";
+utf82macro["⧴"] = "RuleDelayed";
+macro2utf8["sqsube"] = "⊑";
+utf82macro["⊑"] = "sqsube";
+macro2utf8["macr"] = "¯";
+utf82macro["¯"] = "macr";
+macro2utf8["Icirc"] = "Î";
+utf82macro["Î"] = "Icirc";
+macro2utf8["comma"] = ",";
+utf82macro[","] = "comma";
+macro2utf8["Cayleys"] = "ℭ";
+utf82macro["ℭ"] = "Cayleys";
+macro2utf8["rightleftharpoons"] = "⇌";
+utf82macro["⇌"] = "rightleftharpoons";
+macro2utf8["Rarrtl"] = "⤖";
+utf82macro["⤖"] = "Rarrtl";
+macro2utf8["SquareSubsetEqual"] = "⊑";
+utf82macro["⊑"] = "SquareSubsetEqual";
+macro2utf8["NotGreaterEqual"] = "≱⃥";
+utf82macro["≱⃥"] = "NotGreaterEqual";
+macro2utf8["vfr"] = "𝔳";
+utf82macro["𝔳"] = "vfr";
+macro2utf8["utri"] = "▵";
+utf82macro["▵"] = "utri";
+macro2utf8["simne"] = "≆";
+utf82macro["≆"] = "simne";
+macro2utf8["LeftUpVectorBar"] = "⥘";
+utf82macro["⥘"] = "LeftUpVectorBar";
+macro2utf8["hksearow"] = "⤥";
+utf82macro["⤥"] = "hksearow";
+macro2utf8["boxv"] = "│";
+utf82macro["│"] = "boxv";
+macro2utf8["curvearrowleft"] = "↶";
+utf82macro["↶"] = "curvearrowleft";
+macro2utf8["eng"] = "ŋ";
+utf82macro["ŋ"] = "eng";
+macro2utf8["gtrarr"] = "⥸";
+utf82macro["⥸"] = "gtrarr";
+macro2utf8["iecy"] = "е";
+utf82macro["е"] = "iecy";
+macro2utf8["varr"] = "↕";
+utf82macro["↕"] = "varr";
+macro2utf8["lBarr"] = "⤎";
+utf82macro["⤎"] = "lBarr";