-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["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";