utf82macro["⋭"] = "NotRightTriangleEqual";
macro2utf8["filig"] = "fi";
utf82macro["fi"] = "filig";
-macro2utf8["atilde"] = "ã";
-utf82macro["ã"] = "atilde";
+macro2utf8["atilde"] = "ã";
+utf82macro["ã"] = "atilde";
macro2utf8["ring"] = "˚";
utf82macro["˚"] = "ring";
macro2utf8["congdot"] = "⩭";
utf82macro["ŷ"] = "ycirc";
macro2utf8["sqcup"] = "⊔";
utf82macro["⊔"] = "sqcup";
-macro2utf8["DoubleLeftArrow"] = "⇐";
-utf82macro["⇐"] = "DoubleLeftArrow";
+macro2utf8["DoubleLeftArrow"] = "⇐";
+utf82macro["⇐"] = "DoubleLeftArrow";
macro2utf8["gtrless"] = "≷";
utf82macro["≷"] = "gtrless";
-macro2utf8["ge"] = "≥";
-utf82macro["≥"] = "ge";
-macro2utf8["Product"] = "∏";
-utf82macro["∏"] = "Product";
+macro2utf8["ge"] = "≥";
+utf82macro["≥"] = "ge";
+macro2utf8["Product"] = "∏";
+utf82macro["∏"] = "Product";
macro2utf8["NotExists"] = "∄";
utf82macro["∄"] = "NotExists";
macro2utf8["gg"] = "≫";
utf82macro["!"] = "excl";
macro2utf8["cdots"] = "⋯";
utf82macro["⋯"] = "cdots";
-macro2utf8["larr"] = "←";
-utf82macro["←"] = "larr";
+macro2utf8["larr"] = "←";
+utf82macro["←"] = "larr";
macro2utf8["dtdot"] = "⋱";
utf82macro["⋱"] = "dtdot";
macro2utf8["kgreen"] = "ĸ";
utf82macro["⤍"] = "rbarr";
macro2utf8["ocy"] = "о";
utf82macro["о"] = "ocy";
-macro2utf8["gt"] = ">";
-utf82macro[">"] = "gt";
+macro2utf8["gt"] = ">";
+utf82macro[">"] = "gt";
macro2utf8["DownLeftRightVector"] = "⥐";
utf82macro["⥐"] = "DownLeftRightVector";
-macro2utf8["cup"] = "∪";
-utf82macro["∪"] = "cup";
+macro2utf8["cup"] = "∪";
+utf82macro["∪"] = "cup";
macro2utf8["updownarrow"] = "↕";
utf82macro["↕"] = "updownarrow";
macro2utf8["Imacr"] = "Ī";
utf82macro["Ī"] = "Imacr";
macro2utf8["cross"] = "✗";
utf82macro["✗"] = "cross";
-macro2utf8["Acirc"] = "Â";
-utf82macro["Â"] = "Acirc";
+macro2utf8["Acirc"] = "Â";
+utf82macro["Â"] = "Acirc";
macro2utf8["lvertneqq"] = "≨︀";
utf82macro["≨︀"] = "lvertneqq";
macro2utf8["ccaps"] = "⩍";
utf82macro["|"] = "vert";
macro2utf8["sacute"] = "ś";
utf82macro["ś"] = "sacute";
-macro2utf8["in"] = "∈";
-utf82macro["∈"] = "in";
+macro2utf8["in"] = "∈";
+utf82macro["∈"] = "in";
macro2utf8["Assign"] = "≔";
utf82macro["≔"] = "Assign";
macro2utf8["nsim"] = "≁";
utf82macro["≁"] = "nsim";
macro2utf8["boxdR"] = "╒";
utf82macro["╒"] = "boxdR";
-macro2utf8["o"] = "ο";
-utf82macro["ο"] = "o";
-macro2utf8["radic"] = "√";
-utf82macro["√"] = "radic";
+macro2utf8["o"] = "ο";
+utf82macro["ο"] = "o";
+macro2utf8["radic"] = "√";
+utf82macro["√"] = "radic";
macro2utf8["it"] = "⁢";
utf82macro["⁢"] = "it";
-macro2utf8["int"] = "∫";
-utf82macro["∫"] = "int";
+macro2utf8["int"] = "∫";
+utf82macro["∫"] = "int";
macro2utf8["cwint"] = "∱";
utf82macro["∱"] = "cwint";
-macro2utf8["ForAll"] = "∀";
-utf82macro["∀"] = "ForAll";
+macro2utf8["ForAll"] = "∀";
+utf82macro["∀"] = "ForAll";
macro2utf8["simplus"] = "⨤";
utf82macro["⨤"] = "simplus";
macro2utf8["isindot"] = "⋵";
utf82macro["⋵"] = "isindot";
macro2utf8["rightthreetimes"] = "⋌";
utf82macro["⋌"] = "rightthreetimes";
-macro2utf8["supseteqq"] = "⊇";
-utf82macro["⊇"] = "supseteqq";
+macro2utf8["supseteqq"] = "⊇";
+utf82macro["⊇"] = "supseteqq";
macro2utf8["bnot"] = "⌐";
utf82macro["⌐"] = "bnot";
macro2utf8["rppolint"] = "⨒";
utf82macro["⥑"] = "LeftUpDownVector";
macro2utf8["questeq"] = "≟";
utf82macro["≟"] = "questeq";
-macro2utf8["leftarrow"] = "←";
-utf82macro["←"] = "leftarrow";
+macro2utf8["leftarrow"] = "←";
+utf82macro["←"] = "leftarrow";
macro2utf8["Ycy"] = "Ы";
utf82macro["Ы"] = "Ycy";
macro2utf8["Coproduct"] = "∐";
utf82macro["┐"] = "boxdl";
macro2utf8["Aopf"] = "𝔸";
utf82macro["𝔸"] = "Aopf";
-macro2utf8["srarr"] = "→︀";
-utf82macro["→︀"] = "srarr";
+macro2utf8["srarr"] = "→︀";
+utf82macro["→︀"] = "srarr";
macro2utf8["lbrke"] = "⦋";
utf82macro["⦋"] = "lbrke";
macro2utf8["boxdr"] = "┌";
utf82macro["┌"] = "boxdr";
-macro2utf8["Ntilde"] = "Ñ";
-utf82macro["Ñ"] = "Ntilde";
+macro2utf8["Ntilde"] = "Ñ";
+utf82macro["Ñ"] = "Ntilde";
macro2utf8["gnap"] = "⪊";
utf82macro["⪊"] = "gnap";
macro2utf8["Cap"] = "⋒";
utf82macro["⤦"] = "swarhk";
macro2utf8["ogt"] = "⧁";
utf82macro["⧁"] = "ogt";
-macro2utf8["emptyset"] = "∅︀";
-utf82macro["∅︀"] = "emptyset";
+macro2utf8["emptyset"] = "∅︀";
+utf82macro["∅︀"] = "emptyset";
macro2utf8["harrw"] = "↭";
utf82macro["↭"] = "harrw";
macro2utf8["lbarr"] = "⤌";
utf82macro["⤌"] = "lbarr";
-macro2utf8["Tilde"] = "∼";
-utf82macro["∼"] = "Tilde";
-macro2utf8["delta"] = "δ";
-utf82macro["δ"] = "delta";
+macro2utf8["Tilde"] = "∼";
+utf82macro["∼"] = "Tilde";
+macro2utf8["delta"] = "δ";
+utf82macro["δ"] = "delta";
macro2utf8["Hopf"] = "ℍ";
utf82macro["ℍ"] = "Hopf";
macro2utf8["dfr"] = "𝔡";
utf82macro["𝔡"] = "dfr";
-macro2utf8["le"] = "≤";
-utf82macro["≤"] = "le";
+macro2utf8["le"] = "≤";
+utf82macro["≤"] = "le";
macro2utf8["lg"] = "lg";
utf82macro["lg"] = "lg";
macro2utf8["ohm"] = "Ω";
utf82macro[""] = "DoubleLongLeftArrow";
macro2utf8["Ncy"] = "Н";
utf82macro["Н"] = "Ncy";
-macro2utf8["nabla"] = "∇";
-utf82macro["∇"] = "nabla";
+macro2utf8["nabla"] = "∇";
+utf82macro["∇"] = "nabla";
macro2utf8["ltcir"] = "⩹";
utf82macro["⩹"] = "ltcir";
macro2utf8["ll"] = "≪";
utf82macro["⎱"] = "rmoust";
macro2utf8["Oopf"] = "𝕆";
utf82macro["𝕆"] = "Oopf";
-macro2utf8["nbsp"] = " ";
-utf82macro[" "] = "nbsp";
+macro2utf8["nbsp"] = " ";
+utf82macro[" "] = "nbsp";
macro2utf8["Kcedil"] = "Ķ";
utf82macro["Ķ"] = "Kcedil";
macro2utf8["vdots"] = "⋮";
utf82macro["⋮"] = "vdots";
macro2utf8["NotLessTilde"] = "≴";
utf82macro["≴"] = "NotLessTilde";
-macro2utf8["lt"] = "<";
-utf82macro["<"] = "lt";
+macro2utf8["lt"] = "<";
+utf82macro["<"] = "lt";
macro2utf8["djcy"] = "ђ";
utf82macro["ђ"] = "djcy";
macro2utf8["DownRightTeeVector"] = "⥟";
utf82macro["⥟"] = "DownRightTeeVector";
-macro2utf8["Ograve"] = "Ò";
-utf82macro["Ò"] = "Ograve";
+macro2utf8["Ograve"] = "Ò";
+utf82macro["Ò"] = "Ograve";
macro2utf8["boxhD"] = "╥";
utf82macro["╥"] = "boxhD";
macro2utf8["nsime"] = "≄";
utf82macro["↬"] = "looparrowright";
macro2utf8["yucy"] = "ю";
utf82macro["ю"] = "yucy";
-macro2utf8["trade"] = "™";
-utf82macro["™"] = "trade";
+macro2utf8["trade"] = "™";
+utf82macro["™"] = "trade";
macro2utf8["Yfr"] = "𝔜";
utf82macro["𝔜"] = "Yfr";
macro2utf8["kjcy"] = "ќ";
utf82macro["⩃"] = "ncap";
macro2utf8["Iogon"] = "Į";
utf82macro["Į"] = "Iogon";
-macro2utf8["NotSubset"] = "⊄";
-utf82macro["⊄"] = "NotSubset";
+macro2utf8["NotSubset"] = "⊄";
+utf82macro["⊄"] = "NotSubset";
macro2utf8["Bumpeq"] = "≎";
utf82macro["≎"] = "Bumpeq";
-macro2utf8["mu"] = "μ";
-utf82macro["μ"] = "mu";
+macro2utf8["mu"] = "μ";
+utf82macro["μ"] = "mu";
macro2utf8["FilledVerySmallSquare"] = "";
utf82macro[""] = "FilledVerySmallSquare";
macro2utf8["breve"] = "˘";
utf82macro["˘"] = "breve";
macro2utf8["boxhU"] = "╨";
utf82macro["╨"] = "boxhU";
-macro2utf8["Sigma"] = "Σ";
-utf82macro["Σ"] = "Sigma";
+macro2utf8["Sigma"] = "Σ";
+utf82macro["Σ"] = "Sigma";
macro2utf8["uharr"] = "↾";
utf82macro["↾"] = "uharr";
macro2utf8["xrArr"] = "";
utf82macro[""] = "xrArr";
-macro2utf8["ne"] = "≠";
-utf82macro["≠"] = "ne";
+macro2utf8["ne"] = "≠";
+utf82macro["≠"] = "ne";
macro2utf8["oS"] = "Ⓢ";
utf82macro["Ⓢ"] = "oS";
macro2utf8["xodot"] = "⊙";
utf82macro["⊙"] = "xodot";
-macro2utf8["ni"] = "∋";
-utf82macro["∋"] = "ni";
-macro2utf8["mdash"] = "—";
-utf82macro["—"] = "mdash";
+macro2utf8["ni"] = "∋";
+utf82macro["∋"] = "ni";
+macro2utf8["mdash"] = "—";
+utf82macro["—"] = "mdash";
macro2utf8["Verbar"] = "‖";
utf82macro["‖"] = "Verbar";
-macro2utf8["die"] = "¨";
-utf82macro["¨"] = "die";
+macro2utf8["die"] = "¨";
+utf82macro["¨"] = "die";
macro2utf8["veebar"] = "⊻";
utf82macro["⊻"] = "veebar";
macro2utf8["UpArrowBar"] = "⤒";
utf82macro["⇥"] = "RightArrowBar";
macro2utf8["LongLeftArrow"] = "";
utf82macro[""] = "LongLeftArrow";
-macro2utf8["rceil"] = "⌉";
-utf82macro["⌉"] = "rceil";
+macro2utf8["rceil"] = "⌉";
+utf82macro["⌉"] = "rceil";
macro2utf8["LeftDownVectorBar"] = "⥙";
utf82macro["⥙"] = "LeftDownVectorBar";
macro2utf8["umacr"] = "ū";
utf82macro["┬"] = "boxhd";
macro2utf8["dim"] = "dim";
utf82macro["dim"] = "dim";
-macro2utf8["vnsub"] = "⊄";
-utf82macro["⊄"] = "vnsub";
+macro2utf8["vnsub"] = "⊄";
+utf82macro["⊄"] = "vnsub";
macro2utf8["Bscr"] = "ℬ";
utf82macro["ℬ"] = "Bscr";
macro2utf8["plussim"] = "⨦";
utf82macro["⨦"] = "plussim";
macro2utf8["doublebarwedge"] = "⌆";
utf82macro["⌆"] = "doublebarwedge";
-macro2utf8["nu"] = "ν";
-utf82macro["ν"] = "nu";
+macro2utf8["nu"] = "ν";
+utf82macro["ν"] = "nu";
macro2utf8["eqcolon"] = "≕";
utf82macro["≕"] = "eqcolon";
macro2utf8["luruhar"] = "⥦";
utf82macro["⪯"] = "preceq";
macro2utf8["LeftTee"] = "⊣";
utf82macro["⊣"] = "LeftTee";
-macro2utf8["div"] = "÷";
-utf82macro["÷"] = "div";
+macro2utf8["div"] = "÷";
+utf82macro["÷"] = "div";
macro2utf8["nVDash"] = "⊯";
utf82macro["⊯"] = "nVDash";
macro2utf8["kopf"] = "𝕜";
utf82macro["┴"] = "boxhu";
macro2utf8["ominus"] = "⊖";
utf82macro["⊖"] = "ominus";
-macro2utf8["or"] = "∨";
-utf82macro["∨"] = "or";
+macro2utf8["or"] = "∨";
+utf82macro["∨"] = "or";
macro2utf8["lesdot"] = "⩿";
utf82macro["⩿"] = "lesdot";
macro2utf8["RightVectorBar"] = "⥓";
utf82macro["⋪"] = "nltri";
macro2utf8["Pscr"] = "𝒫";
utf82macro["𝒫"] = "Pscr";
-macro2utf8["vartheta"] = "ϑ";
-utf82macro["ϑ"] = "vartheta";
-macro2utf8["therefore"] = "∴";
-utf82macro["∴"] = "therefore";
-macro2utf8["pi"] = "π";
-utf82macro["π"] = "pi";
+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["pm"] = "±";
+utf82macro["±"] = "pm";
macro2utf8["natural"] = "♮";
utf82macro["♮"] = "natural";
macro2utf8["ucy"] = "у";
utf82macro["ℭ"] = "Cfr";
macro2utf8["yopf"] = "𝕪";
utf82macro["𝕪"] = "yopf";
-macro2utf8["Otilde"] = "Õ";
-utf82macro["Õ"] = "Otilde";
+macro2utf8["Otilde"] = "Õ";
+utf82macro["Õ"] = "Otilde";
macro2utf8["ntriangleleft"] = "⋪";
utf82macro["⋪"] = "ntriangleleft";
macro2utf8["pr"] = "≺";
utf82macro["⫰"] = "midcir";
macro2utf8["Lacute"] = "Ĺ";
utf82macro["Ĺ"] = "Lacute";
-macro2utf8["DoubleDot"] = "¨";
-utf82macro["¨"] = "DoubleDot";
+macro2utf8["DoubleDot"] = "¨";
+utf82macro["¨"] = "DoubleDot";
macro2utf8["Tstrok"] = "Ŧ";
utf82macro["Ŧ"] = "Tstrok";
macro2utf8["nrarrw"] = "↝̸";
utf82macro["↝̸"] = "nrarrw";
-macro2utf8["uArr"] = "⇑";
-utf82macro["⇑"] = "uArr";
+macro2utf8["uArr"] = "⇑";
+utf82macro["⇑"] = "uArr";
macro2utf8["nLtv"] = "≪̸︀";
utf82macro["≪̸︀"] = "nLtv";
-macro2utf8["rangle"] = "⟩";
-utf82macro["⟩"] = "rangle";
+macro2utf8["rangle"] = "〉";
+utf82macro["〉"] = "rangle";
macro2utf8["olcir"] = "⦾";
utf82macro["⦾"] = "olcir";
-macro2utf8["Auml"] = "Ä";
-utf82macro["Ä"] = "Auml";
+macro2utf8["Auml"] = "Ä";
+utf82macro["Ä"] = "Auml";
macro2utf8["Succeeds"] = "≻";
utf82macro["≻"] = "Succeeds";
macro2utf8["DoubleLongLeftRightArrow"] = "";
utf82macro["Ϝ"] = "gammad";
macro2utf8["epsiv"] = "ɛ";
utf82macro["ɛ"] = "epsiv";
-macro2utf8["notinva"] = "∉̸";
-utf82macro["∉̸"] = "notinva";
+macro2utf8["notinva"] = "∉̸";
+utf82macro["∉̸"] = "notinva";
macro2utf8["notinvb"] = "⋷";
utf82macro["⋷"] = "notinvb";
macro2utf8["eqvparsl"] = "⧥";
utf82macro["⫀"] = "supplus";
macro2utf8["RightUpDownVector"] = "⥏";
utf82macro["⥏"] = "RightUpDownVector";
-macro2utf8["Tab"] = " ";
-utf82macro[" "] = "Tab";
+macro2utf8["Tab"] = "\t";
+utf82macro["\t"] = "Tab";
macro2utf8["Lcedil"] = "Ļ";
utf82macro["Ļ"] = "Lcedil";
-macro2utf8["backslash"] = "\";
-utf82macro["\"] = "backslash";
+macro2utf8["backslash"] = "\\";
+utf82macro["\\"] = "backslash";
macro2utf8["pointint"] = "⨕";
utf82macro["⨕"] = "pointint";
macro2utf8["jcy"] = "й";
utf82macro["⫁"] = "submult";
macro2utf8["iiota"] = "℩";
utf82macro["℩"] = "iiota";
-macro2utf8["lceil"] = "⌈";
-utf82macro["⌈"] = "lceil";
+macro2utf8["lceil"] = "⌈";
+utf82macro["⌈"] = "lceil";
macro2utf8["omacr"] = "ō";
utf82macro["ō"] = "omacr";
macro2utf8["gneqq"] = "≩";
utf82macro["□"] = "Square";
macro2utf8["RightDownTeeVector"] = "⥝";
utf82macro["⥝"] = "RightDownTeeVector";
-macro2utf8["Ouml"] = "Ö";
-utf82macro["Ö"] = "Ouml";
+macro2utf8["Ouml"] = "Ö";
+utf82macro["Ö"] = "Ouml";
macro2utf8["lurdshar"] = "⥊";
utf82macro["⥊"] = "lurdshar";
-macro2utf8["SuchThat"] = "∋";
-utf82macro["∋"] = "SuchThat";
+macro2utf8["SuchThat"] = "∋";
+utf82macro["∋"] = "SuchThat";
macro2utf8["setminus"] = "∖";
utf82macro["∖"] = "setminus";
macro2utf8["lscr"] = "ℓ";
utf82macro["≻"] = "sc";
macro2utf8["rx"] = "℞";
utf82macro["℞"] = "rx";
-macro2utf8["RightFloor"] = "⌋";
-utf82macro["⌋"] = "RightFloor";
+macro2utf8["RightFloor"] = "⌋";
+utf82macro["⌋"] = "RightFloor";
macro2utf8["blacksquare"] = "▪";
utf82macro["▪"] = "blacksquare";
macro2utf8["ufr"] = "𝔲";
utf82macro["𝔲"] = "ufr";
macro2utf8["block"] = "█";
utf82macro["█"] = "block";
-macro2utf8["dots"] = "…";
-utf82macro["…"] = "dots";
+macro2utf8["dots"] = "…";
+utf82macro["…"] = "dots";
macro2utf8["nvsim"] = "≁̸";
utf82macro["≁̸"] = "nvsim";
macro2utf8["caret"] = "⁁";
utf82macro["⁁"] = "caret";
macro2utf8["demptyv"] = "⦱";
utf82macro["⦱"] = "demptyv";
-macro2utf8["Sum"] = "∑";
-utf82macro["∑"] = "Sum";
+macro2utf8["Sum"] = "∑";
+utf82macro["∑"] = "Sum";
macro2utf8["sscr"] = "𝓈";
utf82macro["𝓈"] = "sscr";
macro2utf8["nsube"] = "⊈";
utf82macro["⩉"] = "capbrcup";
macro2utf8["RightUpVectorBar"] = "⥔";
utf82macro["⥔"] = "RightUpVectorBar";
-macro2utf8["caps"] = "∩︀";
-utf82macro["∩︀"] = "caps";
+macro2utf8["caps"] = "∩︀";
+utf82macro["∩︀"] = "caps";
macro2utf8["ohbar"] = "⦵";
utf82macro["⦵"] = "ohbar";
macro2utf8["laemptyv"] = "⦴";
utf82macro["⦴"] = "laemptyv";
-macro2utf8["uacute"] = "ú";
-utf82macro["ú"] = "uacute";
-macro2utf8["straightphi"] = "φ";
-utf82macro["φ"] = "straightphi";
+macro2utf8["uacute"] = "ú";
+utf82macro["ú"] = "uacute";
+macro2utf8["straightphi"] = "φ";
+utf82macro["φ"] = "straightphi";
macro2utf8["RightDoubleBracket"] = "〛";
utf82macro["〛"] = "RightDoubleBracket";
macro2utf8["zscr"] = "𝓏";
utf82macro["⤐"] = "RBarr";
macro2utf8["NotRightTriangleBar"] = "⧐̸";
utf82macro["⧐̸"] = "NotRightTriangleBar";
-macro2utf8["to"] = "→";
-utf82macro["→"] = "to";
+macro2utf8["to"] = "→";
+utf82macro["→"] = "to";
macro2utf8["rpar"] = ")";
utf82macro[")"] = "rpar";
macro2utf8["rdsh"] = "↳";
utf82macro["↳"] = "rdsh";
macro2utf8["jfr"] = "𝔧";
utf82macro["𝔧"] = "jfr";
-macro2utf8["ldquor"] = "„";
-utf82macro["„"] = "ldquor";
+macro2utf8["ldquor"] = "„";
+utf82macro["„"] = "ldquor";
macro2utf8["bsime"] = "⋍";
utf82macro["⋍"] = "bsime";
macro2utf8["lAtail"] = "⤛";
utf82macro["⤛"] = "lAtail";
macro2utf8["Hcirc"] = "Ĥ";
utf82macro["Ĥ"] = "Hcirc";
-macro2utf8["aacute"] = "á";
-utf82macro["á"] = "aacute";
+macro2utf8["aacute"] = "á";
+utf82macro["á"] = "aacute";
macro2utf8["dot"] = "˙";
utf82macro["˙"] = "dot";
macro2utf8["Tcy"] = "Т";
utf82macro["Т"] = "Tcy";
-macro2utf8["nsub"] = "⊄";
-utf82macro["⊄"] = "nsub";
-macro2utf8["kappa"] = "κ";
-utf82macro["κ"] = "kappa";
+macro2utf8["nsub"] = "⊄";
+utf82macro["⊄"] = "nsub";
+macro2utf8["kappa"] = "κ";
+utf82macro["κ"] = "kappa";
macro2utf8["ovbar"] = "⌽";
utf82macro["⌽"] = "ovbar";
macro2utf8["shcy"] = "ш";
utf82macro["⋨"] = "precnsim";
macro2utf8["ord"] = "⩝";
utf82macro["⩝"] = "ord";
-macro2utf8["real"] = "ℜ";
-utf82macro["ℜ"] = "real";
+macro2utf8["real"] = "ℜ";
+utf82macro["ℜ"] = "real";
macro2utf8["nexists"] = "∄";
utf82macro["∄"] = "nexists";
macro2utf8["nsup"] = "⊅";
utf82macro["ж"] = "zhcy";
macro2utf8["imacr"] = "ī";
utf82macro["ī"] = "imacr";
-macro2utf8["egrave"] = "è";
-utf82macro["è"] = "egrave";
-macro2utf8["acirc"] = "â";
-utf82macro["â"] = "acirc";
+macro2utf8["egrave"] = "è";
+utf82macro["è"] = "egrave";
+macro2utf8["acirc"] = "â";
+utf82macro["â"] = "acirc";
macro2utf8["grave"] = "`";
utf82macro["`"] = "grave";
macro2utf8["biguplus"] = "⊎";
utf82macro["⩾"] = "GreaterSlantEqual";
macro2utf8["capand"] = "⩄";
utf82macro["⩄"] = "capand";
-macro2utf8["yuml"] = "ÿ";
-utf82macro["ÿ"] = "yuml";
+macro2utf8["yuml"] = "ÿ";
+utf82macro["ÿ"] = "yuml";
macro2utf8["orv"] = "⩛";
utf82macro["⩛"] = "orv";
macro2utf8["Icy"] = "И";
utf82macro["И"] = "Icy";
macro2utf8["rightharpoondown"] = "⇁";
utf82macro["⇁"] = "rightharpoondown";
-macro2utf8["upsilon"] = "υ";
-utf82macro["υ"] = "upsilon";
+macro2utf8["upsilon"] = "υ";
+utf82macro["υ"] = "upsilon";
macro2utf8["preccurlyeq"] = "≼";
utf82macro["≼"] = "preccurlyeq";
macro2utf8["ShortUpArrow"] = "⌃︀";
utf82macro["⤥"] = "searhk";
macro2utf8["commat"] = "@";
utf82macro["@"] = "commat";
-macro2utf8["Sqrt"] = "√";
-utf82macro["√"] = "Sqrt";
-macro2utf8["wp"] = "℘";
-utf82macro["℘"] = "wp";
+macro2utf8["Sqrt"] = "√";
+utf82macro["√"] = "Sqrt";
+macro2utf8["wp"] = "℘";
+utf82macro["℘"] = "wp";
macro2utf8["succnapprox"] = "⋩";
utf82macro["⋩"] = "succnapprox";
macro2utf8["wr"] = "≀";
utf82macro["▭"] = "rect";
macro2utf8["Fouriertrf"] = "ℱ";
utf82macro["ℱ"] = "Fouriertrf";
-macro2utf8["xi"] = "ξ";
-utf82macro["ξ"] = "xi";
+macro2utf8["xi"] = "ξ";
+utf82macro["ξ"] = "xi";
macro2utf8["NotTilde"] = "≁";
utf82macro["≁"] = "NotTilde";
macro2utf8["gbreve"] = "ğ";
utf82macro["⇎"] = "nhArr";
macro2utf8["lsim"] = "≲";
utf82macro["≲"] = "lsim";
-macro2utf8["RightCeiling"] = "⌉";
-utf82macro["⌉"] = "RightCeiling";
-macro2utf8["nedot"] = "≠︀";
-utf82macro["≠︀"] = "nedot";
-macro2utf8["thksim"] = "∼︀";
-utf82macro["∼︀"] = "thksim";
+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["Ifr"] = "ℑ";
+utf82macro["ℑ"] = "Ifr";
+macro2utf8["emsp"] = " ";
+utf82macro[" "] = "emsp";
macro2utf8["lopar"] = "〘";
utf82macro["〘"] = "lopar";
macro2utf8["iiiint"] = "⨌";
utf82macro["⨌"] = "iiiint";
-macro2utf8["straightepsilon"] = "ε";
-utf82macro["ε"] = "straightepsilon";
+macro2utf8["straightepsilon"] = "ε";
+utf82macro["ε"] = "straightepsilon";
macro2utf8["intlarhk"] = "⨗";
utf82macro["⨗"] = "intlarhk";
-macro2utf8["image"] = "ℑ";
-utf82macro["ℑ"] = "image";
+macro2utf8["image"] = "ℑ";
+utf82macro["ℑ"] = "image";
macro2utf8["sqsubseteq"] = "⊑";
utf82macro["⊑"] = "sqsubseteq";
macro2utf8["lnapprox"] = "⪉";
utf82macro["⪉"] = "lnapprox";
-macro2utf8["Leftrightarrow"] = "⇔";
-utf82macro["⇔"] = "Leftrightarrow";
+macro2utf8["Leftrightarrow"] = "⇔";
+utf82macro["⇔"] = "Leftrightarrow";
macro2utf8["cemptyv"] = "⦲";
utf82macro["⦲"] = "cemptyv";
-macro2utf8["alpha"] = "α";
-utf82macro["α"] = "alpha";
-macro2utf8["uml"] = "¨";
-utf82macro["¨"] = "uml";
+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["tilde"] = "˜";
+utf82macro["˜"] = "tilde";
+macro2utf8["Superset"] = "⊃";
+utf82macro["⊃"] = "Superset";
macro2utf8["gesles"] = "⪔";
utf82macro["⪔"] = "gesles";
-macro2utf8["bigoplus"] = "⊕";
-utf82macro["⊕"] = "bigoplus";
+macro2utf8["bigoplus"] = "⊕";
+utf82macro["⊕"] = "bigoplus";
macro2utf8["boxuL"] = "╛";
utf82macro["╛"] = "boxuL";
macro2utf8["rbbrk"] = "〕";
utf82macro["⒢̸"] = "NotNestedGreaterGreater";
macro2utf8["smtes"] = "⪬︀";
utf82macro["⪬︀"] = "smtes";
-macro2utf8["LeftAngleBracket"] = "⟨";
-utf82macro["⟨"] = "LeftAngleBracket";
+macro2utf8["LeftAngleBracket"] = "〈";
+utf82macro["〈"] = "LeftAngleBracket";
macro2utf8["iogon"] = "į";
utf82macro["į"] = "iogon";
macro2utf8["ExponentialE"] = "ⅇ";
utf82macro["ⅇ"] = "ExponentialE";
macro2utf8["Topf"] = "𝕋";
utf82macro["𝕋"] = "Topf";
-macro2utf8["GreaterEqual"] = "≥";
-utf82macro["≥"] = "GreaterEqual";
+macro2utf8["GreaterEqual"] = "≥";
+utf82macro["≥"] = "GreaterEqual";
macro2utf8["DownTee"] = "⊤";
utf82macro["⊤"] = "DownTee";
macro2utf8["boxul"] = "┘";
utf82macro["┘"] = "boxul";
macro2utf8["wreath"] = "≀";
utf82macro["≀"] = "wreath";
-macro2utf8["sigma"] = "σ";
-utf82macro["σ"] = "sigma";
+macro2utf8["sigma"] = "σ";
+utf82macro["σ"] = "sigma";
macro2utf8["ENG"] = "Ŋ";
utf82macro["Ŋ"] = "ENG";
macro2utf8["Ncedil"] = "Ņ";
utf82macro["Ņ"] = "Ncedil";
macro2utf8["ecy"] = "э";
utf82macro["э"] = "ecy";
-macro2utf8["nsubset"] = "⊄";
-utf82macro["⊄"] = "nsubset";
+macro2utf8["nsubset"] = "⊄";
+utf82macro["⊄"] = "nsubset";
macro2utf8["LessFullEqual"] = "≦";
utf82macro["≦"] = "LessFullEqual";
macro2utf8["bsolb"] = "⧅";
utf82macro["⧅"] = "bsolb";
macro2utf8["boxur"] = "└";
utf82macro["└"] = "boxur";
-macro2utf8["ThinSpace"] = " ";
-utf82macro[" "] = "ThinSpace";
+macro2utf8["ThinSpace"] = " ";
+utf82macro[" "] = "ThinSpace";
macro2utf8["supdsub"] = "⫘";
utf82macro["⫘"] = "supdsub";
macro2utf8["colone"] = "≔";
utf82macro["≔"] = "colone";
-macro2utf8["curren"] = "¤";
-utf82macro["¤"] = "curren";
+macro2utf8["curren"] = "¤";
+utf82macro["¤"] = "curren";
macro2utf8["boxvh"] = "┼";
utf82macro["┼"] = "boxvh";
macro2utf8["ecaron"] = "ě";
utf82macro["⊭"] = "nvDash";
macro2utf8["NotGreaterFullEqual"] = "≰";
utf82macro["≰"] = "NotGreaterFullEqual";
-macro2utf8["uparrow"] = "↑";
-utf82macro["↑"] = "uparrow";
+macro2utf8["uparrow"] = "↑";
+utf82macro["↑"] = "uparrow";
macro2utf8["nsupset"] = "⊅";
utf82macro["⊅"] = "nsupset";
macro2utf8["simeq"] = "≃";
utf82macro["⊳"] = "RightTriangle";
macro2utf8["Lang"] = "《";
utf82macro["《"] = "Lang";
-macro2utf8["Ucirc"] = "Û";
-utf82macro["Û"] = "Ucirc";
+macro2utf8["Ucirc"] = "Û";
+utf82macro["Û"] = "Ucirc";
macro2utf8["iopf"] = "𝕚";
utf82macro["𝕚"] = "iopf";
macro2utf8["leftrightsquigarrow"] = "↭";
utf82macro["↭"] = "leftrightsquigarrow";
macro2utf8["Gscr"] = "𝒢";
utf82macro["𝒢"] = "Gscr";
-macro2utf8["lfloor"] = "⌊";
-utf82macro["⌊"] = "lfloor";
+macro2utf8["lfloor"] = "⌊";
+utf82macro["⌊"] = "lfloor";
macro2utf8["lbbrk"] = "〔";
utf82macro["〔"] = "lbbrk";
macro2utf8["bigvee"] = "⋁";
utf82macro["⋁"] = "bigvee";
-macro2utf8["ordf"] = "ª";
-utf82macro["ª"] = "ordf";
-macro2utf8["rsquo"] = "’";
-utf82macro["’"] = "rsquo";
+macro2utf8["ordf"] = "ª";
+utf82macro["ª"] = "ordf";
+macro2utf8["rsquo"] = "’";
+utf82macro["’"] = "rsquo";
macro2utf8["parallel"] = "∥";
utf82macro["∥"] = "parallel";
-macro2utf8["half"] = "½";
-utf82macro["½"] = "half";
-macro2utf8["supseteq"] = "⊇";
-utf82macro["⊇"] = "supseteq";
+macro2utf8["half"] = "½";
+utf82macro["½"] = "half";
+macro2utf8["supseteq"] = "⊇";
+utf82macro["⊇"] = "supseteq";
macro2utf8["ngeqq"] = "≱";
utf82macro["≱"] = "ngeqq";
macro2utf8["popf"] = "𝕡";
utf82macro["𝕡"] = "popf";
-macro2utf8["NonBreakingSpace"] = " ";
-utf82macro[" "] = "NonBreakingSpace";
+macro2utf8["NonBreakingSpace"] = " ";
+utf82macro[" "] = "NonBreakingSpace";
macro2utf8["softcy"] = "ь";
utf82macro["ь"] = "softcy";
-macro2utf8["ordm"] = "º";
-utf82macro["º"] = "ordm";
+macro2utf8["ordm"] = "º";
+utf82macro["º"] = "ordm";
macro2utf8["Nscr"] = "𝒩";
utf82macro["𝒩"] = "Nscr";
-macro2utf8["owns"] = "∋";
-utf82macro["∋"] = "owns";
+macro2utf8["owns"] = "∋";
+utf82macro["∋"] = "owns";
macro2utf8["phi"] = "ϕ";
utf82macro["ϕ"] = "phi";
macro2utf8["efr"] = "𝔢";
utf82macro["≨"] = "lneq";
macro2utf8["parallet"] = "????";
utf82macro["????"] = "parallet";
-macro2utf8["ndash"] = "–";
-utf82macro["–"] = "ndash";
+macro2utf8["ndash"] = "–";
+utf82macro["–"] = "ndash";
macro2utf8["DoubleLeftTee"] = "⫤";
utf82macro["⫤"] = "DoubleLeftTee";
-macro2utf8["lArr"] = "⇐";
-utf82macro["⇐"] = "lArr";
+macro2utf8["lArr"] = "⇐";
+utf82macro["⇐"] = "lArr";
macro2utf8["becaus"] = "∵";
utf82macro["∵"] = "becaus";
macro2utf8["RightTee"] = "⊢";
utf82macro["ℝ"] = "reals";
macro2utf8["CupCap"] = "≍";
utf82macro["≍"] = "CupCap";
-macro2utf8["Oacute"] = "Ó";
-utf82macro["Ó"] = "Oacute";
+macro2utf8["Oacute"] = "Ó";
+utf82macro["Ó"] = "Oacute";
macro2utf8["Zfr"] = "ℨ";
utf82macro["ℨ"] = "Zfr";
macro2utf8["ReverseEquilibrium"] = "⇋";
utf82macro["⇋"] = "ReverseEquilibrium";
-macro2utf8["ccedil"] = "ç";
-utf82macro["ç"] = "ccedil";
+macro2utf8["ccedil"] = "ç";
+utf82macro["ç"] = "ccedil";
macro2utf8["bigtriangleup"] = "△";
utf82macro["△"] = "bigtriangleup";
-macro2utf8["piv"] = "ϖ";
-utf82macro["ϖ"] = "piv";
+macro2utf8["piv"] = "ϖ";
+utf82macro["ϖ"] = "piv";
macro2utf8["cirscir"] = "⧂";
utf82macro["⧂"] = "cirscir";
-macro2utf8["exists"] = "∃";
-utf82macro["∃"] = "exists";
+macro2utf8["exists"] = "∃";
+utf82macro["∃"] = "exists";
macro2utf8["Uarrocir"] = "⥉";
utf82macro["⥉"] = "Uarrocir";
macro2utf8["Dcy"] = "Д";
utf82macro["⦪"] = "angmsdac";
macro2utf8["xdtri"] = "▽";
utf82macro["▽"] = "xdtri";
-macro2utf8["iota"] = "ι";
-utf82macro["ι"] = "iota";
+macro2utf8["iota"] = "ι";
+utf82macro["ι"] = "iota";
macro2utf8["angmsdad"] = "⦫";
utf82macro["⦫"] = "angmsdad";
macro2utf8["angmsdae"] = "⦬";
utf82macro["↣"] = "rightarrowtail";
macro2utf8["angmsdaf"] = "⦭";
utf82macro["⦭"] = "angmsdaf";
-macro2utf8["Ocirc"] = "Ô";
-utf82macro["Ô"] = "Ocirc";
+macro2utf8["Ocirc"] = "Ô";
+utf82macro["Ô"] = "Ocirc";
macro2utf8["angmsdag"] = "⦮";
utf82macro["⦮"] = "angmsdag";
macro2utf8["Ofr"] = "𝔒";
utf82macro["✠"] = "maltese";
macro2utf8["angmsdah"] = "⦯";
utf82macro["⦯"] = "angmsdah";
-macro2utf8["Del"] = "∇";
-utf82macro["∇"] = "Del";
+macro2utf8["Del"] = "∇";
+utf82macro["∇"] = "Del";
macro2utf8["Barwed"] = "⌆";
utf82macro["⌆"] = "Barwed";
macro2utf8["drbkarow"] = "⤐";
utf82macro["⤐"] = "drbkarow";
macro2utf8["qscr"] = "𝓆";
utf82macro["𝓆"] = "qscr";
-macro2utf8["ETH"] = "Ð";
-utf82macro["Ð"] = "ETH";
+macro2utf8["ETH"] = "Ð";
+utf82macro["Ð"] = "ETH";
macro2utf8["operp"] = "⦹";
utf82macro["⦹"] = "operp";
macro2utf8["daleth"] = "ℸ";
utf82macro["ℸ"] = "daleth";
-macro2utf8["bull"] = "•";
-utf82macro["•"] = "bull";
+macro2utf8["bull"] = "•";
+utf82macro["•"] = "bull";
macro2utf8["simlE"] = "⪟";
utf82macro["⪟"] = "simlE";
-macro2utf8["lsquo"] = "‘";
-utf82macro["‘"] = "lsquo";
+macro2utf8["lsquo"] = "‘";
+utf82macro["‘"] = "lsquo";
macro2utf8["Larr"] = "↞";
utf82macro["↞"] = "Larr";
macro2utf8["curarr"] = "↷";
utf82macro["↷"] = "curarr";
macro2utf8["blacktriangleleft"] = "◂";
utf82macro["◂"] = "blacktriangleleft";
-macro2utf8["hellip"] = "…";
-utf82macro["…"] = "hellip";
+macro2utf8["hellip"] = "…";
+utf82macro["…"] = "hellip";
macro2utf8["DoubleVerticalBar"] = "∥";
utf82macro["∥"] = "DoubleVerticalBar";
macro2utf8["rBarr"] = "⤏";
utf82macro["⤏"] = "rBarr";
macro2utf8["chcy"] = "ч";
utf82macro["ч"] = "chcy";
-macro2utf8["varpi"] = "ϖ";
-utf82macro["ϖ"] = "varpi";
+macro2utf8["varpi"] = "ϖ";
+utf82macro["ϖ"] = "varpi";
macro2utf8["Cconint"] = "∰";
utf82macro["∰"] = "Cconint";
macro2utf8["xlarr"] = "";
utf82macro["∳"] = "CounterClockwiseContourIntegral";
macro2utf8["urcrop"] = "⌎";
utf82macro["⌎"] = "urcrop";
-macro2utf8["RightAngleBracket"] = "⟩";
-utf82macro["⟩"] = "RightAngleBracket";
+macro2utf8["RightAngleBracket"] = "〉";
+utf82macro["〉"] = "RightAngleBracket";
macro2utf8["Rcaron"] = "Ř";
utf82macro["Ř"] = "Rcaron";
macro2utf8["latail"] = "⤙";
utf82macro["⋛"] = "gEl";
macro2utf8["bump"] = "≎";
utf82macro["≎"] = "bump";
-macro2utf8["aleph"] = "ℵ";
-utf82macro["ℵ"] = "aleph";
+macro2utf8["aleph"] = "ℵ";
+utf82macro["ℵ"] = "aleph";
macro2utf8["Ubreve"] = "Ŭ";
utf82macro["Ŭ"] = "Ubreve";
-macro2utf8["isinv"] = "∈";
-utf82macro["∈"] = "isinv";
+macro2utf8["isinv"] = "∈";
+utf82macro["∈"] = "isinv";
macro2utf8["smile"] = "⌣";
utf82macro["⌣"] = "smile";
macro2utf8["llcorner"] = "⌞";
utf82macro["═"] = "boxH";
macro2utf8["ecir"] = "≖";
utf82macro["≖"] = "ecir";
-macro2utf8["varnothing"] = "∅";
-utf82macro["∅"] = "varnothing";
-macro2utf8["iuml"] = "ï";
-utf82macro["ï"] = "iuml";
+macro2utf8["varnothing"] = "∅";
+utf82macro["∅"] = "varnothing";
+macro2utf8["iuml"] = "ï";
+utf82macro["ï"] = "iuml";
macro2utf8["mlcp"] = "⫛";
utf82macro["⫛"] = "mlcp";
macro2utf8["leftrightharpoons"] = "⇋";
utf82macro["≇"] = "ncong";
macro2utf8["Vert"] = "‖";
utf82macro["‖"] = "Vert";
-macro2utf8["vee"] = "∨";
-utf82macro["∨"] = "vee";
+macro2utf8["vee"] = "∨";
+utf82macro["∨"] = "vee";
macro2utf8["star"] = "⋆";
utf82macro["⋆"] = "star";
macro2utf8["boxV"] = "║";
utf82macro["║"] = "boxV";
-macro2utf8["LeftRightArrow"] = "↔";
-utf82macro["↔"] = "LeftRightArrow";
-macro2utf8["leftrightarrow"] = "↔";
-utf82macro["↔"] = "leftrightarrow";
+macro2utf8["LeftRightArrow"] = "↔";
+utf82macro["↔"] = "LeftRightArrow";
+macro2utf8["leftrightarrow"] = "↔";
+utf82macro["↔"] = "leftrightarrow";
macro2utf8["lstrok"] = "ł";
utf82macro["ł"] = "lstrok";
macro2utf8["ell"] = "ℓ";
utf82macro["≯"] = "NotGreater";
macro2utf8["Abreve"] = "Ă";
utf82macro["Ă"] = "Abreve";
-macro2utf8["TildeTilde"] = "≈";
-utf82macro["≈"] = "TildeTilde";
-macro2utf8["CircleTimes"] = "⊗";
-utf82macro["⊗"] = "CircleTimes";
+macro2utf8["TildeTilde"] = "≈";
+utf82macro["≈"] = "TildeTilde";
+macro2utf8["CircleTimes"] = "⊗";
+utf82macro["⊗"] = "CircleTimes";
macro2utf8["subsetneq"] = "⊊";
utf82macro["⊊"] = "subsetneq";
macro2utf8["ltcc"] = "⪦";
utf82macro["к"] = "kcy";
macro2utf8["nshortmid"] = "∤︀";
utf82macro["∤︀"] = "nshortmid";
-macro2utf8["mldr"] = "…";
-utf82macro["…"] = "mldr";
-macro2utf8["harr"] = "↔";
-utf82macro["↔"] = "harr";
+macro2utf8["mldr"] = "…";
+utf82macro["…"] = "mldr";
+macro2utf8["harr"] = "↔";
+utf82macro["↔"] = "harr";
macro2utf8["gimel"] = "ℷ";
utf82macro["ℷ"] = "gimel";
macro2utf8["Otimes"] = "⨷";
utf82macro["⋖"] = "ltdot";
macro2utf8["boxh"] = "─";
utf82macro["─"] = "boxh";
-macro2utf8["notin"] = "∉";
-utf82macro["∉"] = "notin";
+macro2utf8["notin"] = "∉";
+utf82macro["∉"] = "notin";
macro2utf8["RuleDelayed"] = "⧴";
utf82macro["⧴"] = "RuleDelayed";
macro2utf8["sqsube"] = "⊑";
utf82macro["⊑"] = "sqsube";
-macro2utf8["macr"] = "¯";
-utf82macro["¯"] = "macr";
-macro2utf8["Icirc"] = "Î";
-utf82macro["Î"] = "Icirc";
+macro2utf8["macr"] = "¯";
+utf82macro["¯"] = "macr";
+macro2utf8["Icirc"] = "Î";
+utf82macro["Î"] = "Icirc";
macro2utf8["comma"] = ",";
utf82macro[","] = "comma";
macro2utf8["Cayleys"] = "ℭ";
utf82macro["⊊︀"] = "vsubne";
macro2utf8["hbar"] = "ℏ︀";
utf82macro["ℏ︀"] = "hbar";
-macro2utf8["subset"] = "⊂";
-utf82macro["⊂"] = "subset";
+macro2utf8["subset"] = "⊂";
+utf82macro["⊂"] = "subset";
macro2utf8["UpTeeArrow"] = "↥";
utf82macro["↥"] = "UpTeeArrow";
-macro2utf8["LeftFloor"] = "⌊";
-utf82macro["⌊"] = "LeftFloor";
+macro2utf8["LeftFloor"] = "⌊";
+utf82macro["⌊"] = "LeftFloor";
macro2utf8["kfr"] = "𝔨";
utf82macro["𝔨"] = "kfr";
macro2utf8["nisd"] = "⋺";
utf82macro["⊀"] = "nprec";
macro2utf8["ltrPar"] = "⦖";
utf82macro["⦖"] = "ltrPar";
-macro2utf8["Scaron"] = "Š";
-utf82macro["Š"] = "Scaron";
+macro2utf8["Scaron"] = "Š";
+utf82macro["Š"] = "Scaron";
macro2utf8["InvisibleComma"] = "​";
utf82macro["​"] = "InvisibleComma";
macro2utf8["SquareUnion"] = "⊔";
utf82macro["ffl"] = "ffllig";
macro2utf8["approxeq"] = "≊";
utf82macro["≊"] = "approxeq";
-macro2utf8["yacute"] = "ý";
-utf82macro["ý"] = "yacute";
+macro2utf8["yacute"] = "ý";
+utf82macro["ý"] = "yacute";
macro2utf8["pre"] = "⪯";
utf82macro["⪯"] = "pre";
macro2utf8["nsqsupe"] = "⋣";
utf82macro["⋣"] = "nsqsupe";
-macro2utf8["supset"] = "⊃";
-utf82macro["⊃"] = "supset";
-macro2utf8["bsolhsub"] = "\⊂";
-utf82macro["\⊂"] = "bsolhsub";
+macro2utf8["supset"] = "⊃";
+utf82macro["⊃"] = "supset";
+macro2utf8["bsolhsub"] = "\\⊂";
+utf82macro["\\⊂"] = "bsolhsub";
macro2utf8["nshortparallel"] = "∦︀";
utf82macro["∦︀"] = "nshortparallel";
-macro2utf8["lozenge"] = "◊";
-utf82macro["◊"] = "lozenge";
-macro2utf8["lnot"] = "¬";
-utf82macro["¬"] = "lnot";
+macro2utf8["lozenge"] = "◊";
+utf82macro["◊"] = "lozenge";
+macro2utf8["lnot"] = "¬";
+utf82macro["¬"] = "lnot";
macro2utf8["Dopf"] = "𝔻";
utf82macro["𝔻"] = "Dopf";
macro2utf8["leftharpoonup"] = "↼";
utf82macro["↼"] = "leftharpoonup";
macro2utf8["Jcy"] = "Й";
utf82macro["Й"] = "Jcy";
-macro2utf8["rightarrow"] = "→";
-utf82macro["→"] = "rightarrow";
+macro2utf8["rightarrow"] = "→";
+utf82macro["→"] = "rightarrow";
macro2utf8["ntriangleright"] = "⋫";
utf82macro["⋫"] = "ntriangleright";
macro2utf8["Ccirc"] = "Ĉ";
utf82macro["Ĉ"] = "Ccirc";
-macro2utf8["eacute"] = "é";
-utf82macro["é"] = "eacute";
-macro2utf8["acute"] = "´";
-utf82macro["´"] = "acute";
+macro2utf8["eacute"] = "é";
+utf82macro["é"] = "eacute";
+macro2utf8["acute"] = "´";
+utf82macro["´"] = "acute";
macro2utf8["Precedes"] = "≺";
utf82macro["≺"] = "Precedes";
-macro2utf8["middot"] = "·";
-utf82macro["·"] = "middot";
+macro2utf8["middot"] = "·";
+utf82macro["·"] = "middot";
macro2utf8["lHar"] = "⥢";
utf82macro["⥢"] = "lHar";
macro2utf8["eparsl"] = "⧣";
utf82macro["⧣"] = "eparsl";
-macro2utf8["psi"] = "ψ";
-utf82macro["ψ"] = "psi";
+macro2utf8["psi"] = "ψ";
+utf82macro["ψ"] = "psi";
macro2utf8["parsl"] = "∥︀";
utf82macro["∥︀"] = "parsl";
macro2utf8["UpperLeftArrow"] = "↖";
utf82macro["︶"] = "UnderParenthesis";
macro2utf8["notni"] = "∌";
utf82macro["∌"] = "notni";
-macro2utf8["dagger"] = "†";
-utf82macro["†"] = "dagger";
+macro2utf8["dagger"] = "†";
+utf82macro["†"] = "dagger";
macro2utf8["dharr"] = "⇂";
utf82macro["⇂"] = "dharr";
macro2utf8["twoheadleftarrow"] = "↞";
utf82macro["↞"] = "twoheadleftarrow";
-macro2utf8["frac12"] = "½";
-utf82macro["½"] = "frac12";
+macro2utf8["frac12"] = "½";
+utf82macro["½"] = "frac12";
macro2utf8["varsubsetneqq"] = "⊊︀";
utf82macro["⊊︀"] = "varsubsetneqq";
macro2utf8["frac13"] = "⅓";
utf82macro["≪"] = "NestedLessLess";
macro2utf8["llarr"] = "⇇";
utf82macro["⇇"] = "llarr";
-macro2utf8["frac14"] = "¼";
-utf82macro["¼"] = "frac14";
+macro2utf8["frac14"] = "¼";
+utf82macro["¼"] = "frac14";
macro2utf8["frac15"] = "⅕";
utf82macro["⅕"] = "frac15";
macro2utf8["Ropf"] = "ℝ";
utf82macro["⊿"] = "lrtri";
macro2utf8["frac18"] = "⅛";
utf82macro["⅛"] = "frac18";
-macro2utf8["cedil"] = "¸";
-utf82macro["¸"] = "cedil";
+macro2utf8["cedil"] = "¸";
+utf82macro["¸"] = "cedil";
macro2utf8["subsim"] = "⫇";
utf82macro["⫇"] = "subsim";
macro2utf8["PrecedesTilde"] = "≾";
utf82macro["≾"] = "PrecedesTilde";
-macro2utf8["igrave"] = "ì";
-utf82macro["ì"] = "igrave";
+macro2utf8["igrave"] = "ì";
+utf82macro["ì"] = "igrave";
macro2utf8["gjcy"] = "ѓ";
utf82macro["ѓ"] = "gjcy";
macro2utf8["LeftVector"] = "↼";
utf82macro["⋽"] = "notnivc";
macro2utf8["Yopf"] = "𝕐";
utf82macro["𝕐"] = "Yopf";
-macro2utf8["there4"] = "∴";
-utf82macro["∴"] = "there4";
+macro2utf8["there4"] = "∴";
+utf82macro["∴"] = "there4";
macro2utf8["udarr"] = "⇅";
utf82macro["⇅"] = "udarr";
macro2utf8["bkarow"] = "⤍";
utf82macro["њ"] = "njcy";
macro2utf8["Dashv"] = "⫤";
utf82macro["⫤"] = "Dashv";
-macro2utf8["eta"] = "η";
-utf82macro["η"] = "eta";
+macro2utf8["eta"] = "η";
+utf82macro["η"] = "eta";
macro2utf8["bcong"] = "≌";
utf82macro["≌"] = "bcong";
-macro2utf8["Ugrave"] = "Ù";
-utf82macro["Ù"] = "Ugrave";
+macro2utf8["Ugrave"] = "Ù";
+utf82macro["Ù"] = "Ugrave";
macro2utf8["csube"] = "⫑";
utf82macro["⫑"] = "csube";
-macro2utf8["clubs"] = "♣";
-utf82macro["♣"] = "clubs";
+macro2utf8["clubs"] = "♣";
+utf82macro["♣"] = "clubs";
macro2utf8["supmult"] = "⫂";
utf82macro["⫂"] = "supmult";
macro2utf8["MinusPlus"] = "∓";
utf82macro["∓"] = "MinusPlus";
macro2utf8["Jfr"] = "𝔍";
utf82macro["𝔍"] = "Jfr";
-macro2utf8["ensp"] = " ";
-utf82macro[" "] = "ensp";
-macro2utf8["ucirc"] = "û";
-utf82macro["û"] = "ucirc";
+macro2utf8["ensp"] = " ";
+utf82macro[" "] = "ensp";
+macro2utf8["ucirc"] = "û";
+utf82macro["û"] = "ucirc";
macro2utf8["supsim"] = "⫈";
utf82macro["⫈"] = "supsim";
-macro2utf8["eth"] = "ð";
-utf82macro["ð"] = "eth";
+macro2utf8["eth"] = "ð";
+utf82macro["ð"] = "eth";
macro2utf8["OverBrace"] = "︷";
utf82macro["︷"] = "OverBrace";
-macro2utf8["Dot"] = "¨";
-utf82macro["¨"] = "Dot";
+macro2utf8["Dot"] = "¨";
+utf82macro["¨"] = "Dot";
macro2utf8["xcap"] = "⋂";
utf82macro["⋂"] = "xcap";
macro2utf8["vangrt"] = "⊾";
utf82macro["⊾"] = "vangrt";
macro2utf8["NotSubsetEqual"] = "⊈";
utf82macro["⊈"] = "NotSubsetEqual";
-macro2utf8["frac34"] = "¾";
-utf82macro["¾"] = "frac34";
+macro2utf8["frac34"] = "¾";
+utf82macro["¾"] = "frac34";
macro2utf8["frac35"] = "⅗";
utf82macro["⅗"] = "frac35";
macro2utf8["planck"] = "ℏ︀";
utf82macro["↥"] = "mapstoup";
macro2utf8["Escr"] = "ℰ";
utf82macro["ℰ"] = "Escr";
-macro2utf8["Integral"] = "∫";
-utf82macro["∫"] = "Integral";
-macro2utf8["Agrave"] = "À";
-utf82macro["À"] = "Agrave";
+macro2utf8["Integral"] = "∫";
+utf82macro["∫"] = "Integral";
+macro2utf8["Agrave"] = "À";
+utf82macro["À"] = "Agrave";
macro2utf8["longleftarrow"] = "????;";
utf82macro["????;"] = "longleftarrow";
macro2utf8["Tcaron"] = "Ť";
utf82macro["Ē"] = "Emacr";
macro2utf8["omid"] = "⦶";
utf82macro["⦶"] = "omid";
-macro2utf8["spades"] = "♠";
-utf82macro["♠"] = "spades";
+macro2utf8["spades"] = "♠";
+utf82macro["♠"] = "spades";
macro2utf8["naturals"] = "ℕ";
utf82macro["ℕ"] = "naturals";
macro2utf8["Lscr"] = "ℒ";
utf82macro["≿"] = "SucceedsTilde";
macro2utf8["frac45"] = "⅘";
utf82macro["⅘"] = "frac45";
-macro2utf8["clubsuit"] = "♣";
-utf82macro["♣"] = "clubsuit";
+macro2utf8["clubsuit"] = "♣";
+utf82macro["♣"] = "clubsuit";
macro2utf8["mumap"] = "⊸";
utf82macro["⊸"] = "mumap";
macro2utf8["vltri"] = "⊲";
utf82macro["⇤"] = "LeftArrowBar";
macro2utf8["zacute"] = "ź";
utf82macro["ź"] = "zacute";
-macro2utf8["szlig"] = "ß";
-utf82macro["ß"] = "szlig";
+macro2utf8["szlig"] = "ß";
+utf82macro["ß"] = "szlig";
macro2utf8["suplarr"] = "⥻";
utf82macro["⥻"] = "suplarr";
macro2utf8["RightDownVector"] = "⇂";
utf82macro["Ї"] = "YIcy";
macro2utf8["Sscr"] = "𝒮";
utf82macro["𝒮"] = "Sscr";
-macro2utf8["empty"] = "∅︀";
-utf82macro["∅︀"] = "empty";
+macro2utf8["empty"] = "∅︀";
+utf82macro["∅︀"] = "empty";
macro2utf8["Vdash"] = "⊩";
utf82macro["⊩"] = "Vdash";
macro2utf8["sqsubset"] = "⊏";
utf82macro["⊏"] = "sqsubset";
macro2utf8["efDot"] = "≒";
utf82macro["≒"] = "efDot";
-macro2utf8["times"] = "×";
-utf82macro["×"] = "times";
-macro2utf8["Oslash"] = "Ø";
-utf82macro["Ø"] = "Oslash";
+macro2utf8["times"] = "×";
+utf82macro["×"] = "times";
+macro2utf8["Oslash"] = "Ø";
+utf82macro["Ø"] = "Oslash";
macro2utf8["itilde"] = "ĩ";
utf82macro["ĩ"] = "itilde";
macro2utf8["frac56"] = "⅚";
utf82macro["№"] = "numero";
macro2utf8["malt"] = "✠";
utf82macro["✠"] = "malt";
-macro2utf8["npart"] = "∂̸";
-utf82macro["∂̸"] = "npart";
+macro2utf8["npart"] = "∂̸";
+utf82macro["∂̸"] = "npart";
macro2utf8["frac58"] = "⅝";
utf82macro["⅝"] = "frac58";
macro2utf8["Zscr"] = "𝒵";
utf82macro["𝒵"] = "Zscr";
macro2utf8["integers"] = "ℤ";
utf82macro["ℤ"] = "integers";
-macro2utf8["CloseCurlyQuote"] = "’";
-utf82macro["’"] = "CloseCurlyQuote";
-macro2utf8["NewLine"] = "
-";
-utf82macro["
-"] = "NewLine";
+macro2utf8["CloseCurlyQuote"] = "’";
+utf82macro["’"] = "CloseCurlyQuote";
+macro2utf8["NewLine"] = "\n";
+utf82macro["\n"] = "NewLine";
macro2utf8["fcy"] = "ф";
utf82macro["ф"] = "fcy";
macro2utf8["nwarr"] = "↖";
utf82macro["↖"] = "nwarr";
-macro2utf8["thicksim"] = "∼︀";
-utf82macro["∼︀"] = "thicksim";
+macro2utf8["thicksim"] = "∼︀";
+utf82macro["∼︀"] = "thicksim";
macro2utf8["nprcue"] = "⋠";
utf82macro["⋠"] = "nprcue";
macro2utf8["lcub"] = "{";
utf82macro["{"] = "lcub";
-macro2utf8["forall"] = "∀";
-utf82macro["∀"] = "forall";
+macro2utf8["forall"] = "∀";
+utf82macro["∀"] = "forall";
macro2utf8["plusacir"] = "⨣";
utf82macro["⨣"] = "plusacir";
macro2utf8["ascr"] = "𝒶";
utf82macro["⨧"] = "plustwo";
macro2utf8["Utilde"] = "Ũ";
utf82macro["Ũ"] = "Utilde";
-macro2utf8["lambda"] = "λ";
-utf82macro["λ"] = "lambda";
+macro2utf8["lambda"] = "λ";
+utf82macro["λ"] = "lambda";
macro2utf8["odash"] = "⊝";
utf82macro["⊝"] = "odash";
macro2utf8["iukcy"] = "і";
utf82macro["????"] = "Longleftarrow";
macro2utf8["capcap"] = "⩋";
utf82macro["⩋"] = "capcap";
-macro2utf8["ocirc"] = "ô";
-utf82macro["ô"] = "ocirc";
+macro2utf8["ocirc"] = "ô";
+utf82macro["ô"] = "ocirc";
macro2utf8["nless"] = "≮";
utf82macro["≮"] = "nless";
macro2utf8["Wedge"] = "⋀";
utf82macro["tanh"] = "tanh";
macro2utf8["frac78"] = "⅞";
utf82macro["⅞"] = "frac78";
-macro2utf8["Atilde"] = "Ã";
-utf82macro["Ã"] = "Atilde";
+macro2utf8["Atilde"] = "Ã";
+utf82macro["Ã"] = "Atilde";
macro2utf8["arcsin"] = "arcsin";
utf82macro["arcsin"] = "arcsin";
macro2utf8["Rcedil"] = "Ŗ";
utf82macro["⪞"] = "simg";
macro2utf8["Conint"] = "∯";
utf82macro["∯"] = "Conint";
-macro2utf8["Yuml"] = "Ÿ";
-utf82macro["Ÿ"] = "Yuml";
+macro2utf8["Yuml"] = "Ÿ";
+utf82macro["Ÿ"] = "Yuml";
macro2utf8["rlhar"] = "⇌";
utf82macro["⇌"] = "rlhar";
macro2utf8["rarrbfs"] = "⤠";
utf82macro["⥗"] = "DownRightVectorBar";
macro2utf8["vscr"] = "𝓋";
utf82macro["𝓋"] = "vscr";
-macro2utf8["divide"] = "÷";
-utf82macro["÷"] = "divide";
-macro2utf8["PlusMinus"] = "±";
-utf82macro["±"] = "PlusMinus";
+macro2utf8["divide"] = "÷";
+utf82macro["÷"] = "divide";
+macro2utf8["PlusMinus"] = "±";
+utf82macro["±"] = "PlusMinus";
macro2utf8["ffr"] = "𝔣";
utf82macro["𝔣"] = "ffr";
macro2utf8["DownLeftTeeVector"] = "⥞";
utf82macro["Щ"] = "SHCHcy";
macro2utf8["cirmid"] = "⫯";
utf82macro["⫯"] = "cirmid";
-macro2utf8["sigmav"] = "ς";
-utf82macro["ς"] = "sigmav";
+macro2utf8["sigmav"] = "ς";
+utf82macro["ς"] = "sigmav";
macro2utf8["csub"] = "⫏";
utf82macro["⫏"] = "csub";
macro2utf8["npar"] = "∦";
utf82macro["⥪"] = "lharul";
macro2utf8["Jukcy"] = "Є";
utf82macro["Є"] = "Jukcy";
-macro2utf8["permil"] = "‰";
-utf82macro["‰"] = "permil";
+macro2utf8["permil"] = "‰";
+utf82macro["‰"] = "permil";
macro2utf8["ndivides"] = "∤";
utf82macro["∤"] = "ndivides";
-macro2utf8["Aring"] = "Å";
-utf82macro["Å"] = "Aring";
+macro2utf8["Aring"] = "Å";
+utf82macro["Å"] = "Aring";
macro2utf8["longmapsto"] = "????";
utf82macro["????"] = "longmapsto";
macro2utf8["Esim"] = "⩳";
utf82macro["̑"] = "DownBreve";
macro2utf8["Ecy"] = "Э";
utf82macro["Э"] = "Ecy";
-macro2utf8["rdquor"] = "”";
-utf82macro["”"] = "rdquor";
+macro2utf8["rdquor"] = "”";
+utf82macro["”"] = "rdquor";
macro2utf8["rAtail"] = "⤜";
utf82macro["⤜"] = "rAtail";
-macro2utf8["icirc"] = "î";
-utf82macro["î"] = "icirc";
+macro2utf8["icirc"] = "î";
+utf82macro["î"] = "icirc";
macro2utf8["gacute"] = "ǵ";
utf82macro["ǵ"] = "gacute";
macro2utf8["hyphen"] = "‐";
utf82macro["‐"] = "hyphen";
-macro2utf8["uuml"] = "ü";
-utf82macro["ü"] = "uuml";
-macro2utf8["thorn"] = "þ";
-utf82macro["þ"] = "thorn";
+macro2utf8["uuml"] = "ü";
+utf82macro["ü"] = "uuml";
+macro2utf8["thorn"] = "þ";
+utf82macro["þ"] = "thorn";
macro2utf8["ltri"] = "◃";
utf82macro["◃"] = "ltri";
macro2utf8["eqslantgtr"] = "⋝";
utf82macro["`"] = "DiacriticalGrave";
macro2utf8["NotPrecedesEqual"] = "⪯̸";
utf82macro["⪯̸"] = "NotPrecedesEqual";
-macro2utf8["RightArrow"] = "→";
-utf82macro["→"] = "RightArrow";
+macro2utf8["RightArrow"] = "→";
+utf82macro["→"] = "RightArrow";
macro2utf8["race"] = "⧚";
utf82macro["⧚"] = "race";
macro2utf8["topbot"] = "⌶";
utf82macro["Ś"] = "Sacute";
macro2utf8["cupor"] = "⩅";
utf82macro["⩅"] = "cupor";
-macro2utf8["OverBar"] = "¯";
-utf82macro["¯"] = "OverBar";
+macro2utf8["OverBar"] = "¯";
+utf82macro["¯"] = "OverBar";
macro2utf8["bepsi"] = "϶";
utf82macro["϶"] = "bepsi";
macro2utf8["plankv"] = "ℏ";
utf82macro["≲"] = "lap";
macro2utf8["orslope"] = "⩗";
utf82macro["⩗"] = "orslope";
-macro2utf8["beta"] = "β";
-utf82macro["β"] = "beta";
+macro2utf8["beta"] = "β";
+utf82macro["β"] = "beta";
macro2utf8["ShortDownArrow"] = "⌄︀";
utf82macro["⌄︀"] = "ShortDownArrow";
-macro2utf8["perp"] = "⊥";
-utf82macro["⊥"] = "perp";
+macro2utf8["perp"] = "⊥";
+utf82macro["⊥"] = "perp";
macro2utf8["lat"] = "⪫";
utf82macro["⪫"] = "lat";
-macro2utf8["CenterDot"] = "·";
-utf82macro["·"] = "CenterDot";
+macro2utf8["CenterDot"] = "·";
+utf82macro["·"] = "CenterDot";
macro2utf8["urcorner"] = "⌝";
utf82macro["⌝"] = "urcorner";
macro2utf8["models"] = "⊧";
utf82macro["⊧"] = "models";
macro2utf8["beth"] = "ℶ";
utf82macro["ℶ"] = "beth";
-macro2utf8["subE"] = "⊆";
-utf82macro["⊆"] = "subE";
+macro2utf8["subE"] = "⊆";
+utf82macro["⊆"] = "subE";
macro2utf8["subnE"] = "⊊";
utf82macro["⊊"] = "subnE";
-macro2utf8["ldots"] = "…";
-utf82macro["…"] = "ldots";
+macro2utf8["ldots"] = "…";
+utf82macro["…"] = "ldots";
macro2utf8["yacy"] = "я";
utf82macro["я"] = "yacy";
macro2utf8["udhar"] = "⥮";
utf82macro["⫕"] = "subsub";
macro2utf8["nvrtrie"] = "⋭̸";
utf82macro["⋭̸"] = "nvrtrie";
-macro2utf8["Phi"] = "Φ";
-utf82macro["Φ"] = "Phi";
+macro2utf8["Phi"] = "Φ";
+utf82macro["Φ"] = "Phi";
macro2utf8["Efr"] = "𝔈";
utf82macro["𝔈"] = "Efr";
macro2utf8["larrfs"] = "⤝";
utf82macro["⤝"] = "larrfs";
-macro2utf8["angle"] = "∠";
-utf82macro["∠"] = "angle";
-macro2utf8["TildeFullEqual"] = "≅";
-utf82macro["≅"] = "TildeFullEqual";
+macro2utf8["angle"] = "∠";
+utf82macro["∠"] = "angle";
+macro2utf8["TildeFullEqual"] = "≅";
+utf82macro["≅"] = "TildeFullEqual";
macro2utf8["Jcirc"] = "Ĵ";
utf82macro["Ĵ"] = "Jcirc";
-macro2utf8["THORN"] = "Þ";
-utf82macro["Þ"] = "THORN";
+macro2utf8["THORN"] = "Þ";
+utf82macro["Þ"] = "THORN";
macro2utf8["acE"] = "⧛";
utf82macro["⧛"] = "acE";
macro2utf8["Longleftrightarrow"] = "????";
utf82macro["Ъ"] = "HARDcy";
macro2utf8["jmath"] = "j︀";
utf82macro["j︀"] = "jmath";
-macro2utf8["aelig"] = "æ";
-utf82macro["æ"] = "aelig";
-macro2utf8["slarr"] = "←︀";
-utf82macro["←︀"] = "slarr";
+macro2utf8["aelig"] = "æ";
+utf82macro["æ"] = "aelig";
+macro2utf8["slarr"] = "←︀";
+utf82macro["←︀"] = "slarr";
macro2utf8["dlcrop"] = "⌍";
utf82macro["⌍"] = "dlcrop";
-macro2utf8["sube"] = "⊆";
-utf82macro["⊆"] = "sube";
+macro2utf8["sube"] = "⊆";
+utf82macro["⊆"] = "sube";
macro2utf8["cuepr"] = "⋞";
utf82macro["⋞"] = "cuepr";
macro2utf8["supsub"] = "⫔";
utf82macro["ĉ"] = "ccirc";
macro2utf8["larrhk"] = "↩";
utf82macro["↩"] = "larrhk";
-macro2utf8["DiacriticalTilde"] = "˜";
-utf82macro["˜"] = "DiacriticalTilde";
-macro2utf8["brvbar"] = "¦";
-utf82macro["¦"] = "brvbar";
+macro2utf8["DiacriticalTilde"] = "˜";
+utf82macro["˜"] = "DiacriticalTilde";
+macro2utf8["brvbar"] = "¦";
+utf82macro["¦"] = "brvbar";
macro2utf8["triangledown"] = "▿";
utf82macro["▿"] = "triangledown";
macro2utf8["dtrif"] = "▾";
utf82macro["⋜"] = "eqslantless";
macro2utf8["coprod"] = "∐";
utf82macro["∐"] = "coprod";
-macro2utf8["OpenCurlyDoubleQuote"] = "“";
-utf82macro["“"] = "OpenCurlyDoubleQuote";
+macro2utf8["OpenCurlyDoubleQuote"] = "“";
+utf82macro["“"] = "OpenCurlyDoubleQuote";
macro2utf8["NotGreaterSlantEqual"] = "≱";
utf82macro["≱"] = "NotGreaterSlantEqual";
macro2utf8["solb"] = "⧄";
utf82macro["⪊"] = "gnapprox";
macro2utf8["lgE"] = "⪑";
utf82macro["⪑"] = "lgE";
-macro2utf8["CloseCurlyDoubleQuote"] = "”";
-utf82macro["”"] = "CloseCurlyDoubleQuote";
+macro2utf8["CloseCurlyDoubleQuote"] = "”";
+utf82macro["”"] = "CloseCurlyDoubleQuote";
macro2utf8["NotNestedLessLess"] = "⒡̸";
utf82macro["⒡̸"] = "NotNestedLessLess";
macro2utf8["acy"] = "а";
utf82macro["а"] = "acy";
-macro2utf8["leq"] = "≤";
-utf82macro["≤"] = "leq";
+macro2utf8["leq"] = "≤";
+utf82macro["≤"] = "leq";
macro2utf8["Popf"] = "ℙ";
utf82macro["ℙ"] = "Popf";
macro2utf8["les"] = "⩽";
utf82macro["≉̸"] = "nvap";
macro2utf8["boxtimes"] = "⊠";
utf82macro["⊠"] = "boxtimes";
-macro2utf8["raquo"] = "»";
-utf82macro["»"] = "raquo";
+macro2utf8["raquo"] = "»";
+utf82macro["»"] = "raquo";
macro2utf8["CircleMinus"] = "⊖";
utf82macro["⊖"] = "CircleMinus";
-macro2utf8["centerdot"] = "·";
-utf82macro["·"] = "centerdot";
-macro2utf8["xoplus"] = "⊕";
-utf82macro["⊕"] = "xoplus";
+macro2utf8["centerdot"] = "·";
+utf82macro["·"] = "centerdot";
+macro2utf8["xoplus"] = "⊕";
+utf82macro["⊕"] = "xoplus";
macro2utf8["simdot"] = "⩪";
utf82macro["⩪"] = "simdot";
macro2utf8["Vcy"] = "В";
utf82macro["⪁"] = "lesdoto";
macro2utf8["NotSquareSubset"] = "⊏̸";
utf82macro["⊏̸"] = "NotSquareSubset";
-macro2utf8["bullet"] = "•";
-utf82macro["•"] = "bullet";
+macro2utf8["bullet"] = "•";
+utf82macro["•"] = "bullet";
macro2utf8["rarrsim"] = "⥴";
utf82macro["⥴"] = "rarrsim";
macro2utf8["Tcedil"] = "Ţ";
utf82macro["Ħ"] = "Hstrok";
macro2utf8["eopf"] = "𝕖";
utf82macro["𝕖"] = "eopf";
-macro2utf8["Theta"] = "Θ";
-utf82macro["Θ"] = "Theta";
+macro2utf8["Theta"] = "Θ";
+utf82macro["Θ"] = "Theta";
macro2utf8["Cscr"] = "𝒞";
utf82macro["𝒞"] = "Cscr";
macro2utf8["emacr"] = "ē";
utf82macro["arctan"] = "arctan";
macro2utf8["afr"] = "𝔞";
utf82macro["𝔞"] = "afr";
-macro2utf8["thinsp"] = " ";
-utf82macro[" "] = "thinsp";
-macro2utf8["bottom"] = "⊥";
-utf82macro["⊥"] = "bottom";
+macro2utf8["thinsp"] = " ";
+utf82macro[" "] = "thinsp";
+macro2utf8["bottom"] = "⊥";
+utf82macro["⊥"] = "bottom";
macro2utf8["lopf"] = "𝕝";
utf82macro["𝕝"] = "lopf";
macro2utf8["larrlp"] = "↫";
utf82macro["⊘"] = "osol";
macro2utf8["lbrack"] = "[";
utf82macro["["] = "lbrack";
-macro2utf8["hArr"] = "⇔";
-utf82macro["⇔"] = "hArr";
+macro2utf8["hArr"] = "⇔";
+utf82macro["⇔"] = "hArr";
macro2utf8["vdash"] = "⊢";
utf82macro["⊢"] = "vdash";
macro2utf8["UpDownArrow"] = "↕";
utf82macro["𝒬"] = "Qscr";
macro2utf8["Gammad"] = "Ϝ";
utf82macro["Ϝ"] = "Gammad";
-macro2utf8["SubsetEqual"] = "⊆";
-utf82macro["⊆"] = "SubsetEqual";
+macro2utf8["SubsetEqual"] = "⊆";
+utf82macro["⊆"] = "SubsetEqual";
macro2utf8["uplus"] = "⊎";
utf82macro["⊎"] = "uplus";
macro2utf8["LeftTriangle"] = "⊲";
utf82macro["▹"] = "triangleright";
macro2utf8["angrt"] = "∟";
utf82macro["∟"] = "angrt";
-macro2utf8["rfloor"] = "⌋";
-utf82macro["⌋"] = "rfloor";
+macro2utf8["rfloor"] = "⌋";
+utf82macro["⌋"] = "rfloor";
macro2utf8["bigtriangledown"] = "▽";
utf82macro["▽"] = "bigtriangledown";
macro2utf8["ofcir"] = "⦿";
utf82macro["⇂"] = "downharpoonright";
macro2utf8["Ccaron"] = "Č";
utf82macro["Č"] = "Ccaron";
-macro2utf8["sdot"] = "⋅";
-utf82macro["⋅"] = "sdot";
+macro2utf8["sdot"] = "⋅";
+utf82macro["⋅"] = "sdot";
macro2utf8["frown"] = "⌢";
utf82macro["⌢"] = "frown";
macro2utf8["angst"] = "Å";
utf82macro["Å"] = "angst";
macro2utf8["lesges"] = "⪓";
utf82macro["⪓"] = "lesges";
-macro2utf8["iacute"] = "í";
-utf82macro["í"] = "iacute";
-macro2utf8["wedge"] = "∧";
-utf82macro["∧"] = "wedge";
+macro2utf8["iacute"] = "í";
+utf82macro["í"] = "iacute";
+macro2utf8["wedge"] = "∧";
+utf82macro["∧"] = "wedge";
macro2utf8["ssetmn"] = "∖︀";
utf82macro["∖︀"] = "ssetmn";
macro2utf8["rotimes"] = "⨵";
utf82macro["⨵"] = "rotimes";
-macro2utf8["laquo"] = "«";
-utf82macro["«"] = "laquo";
+macro2utf8["laquo"] = "«";
+utf82macro["«"] = "laquo";
macro2utf8["bigstar"] = "★";
utf82macro["★"] = "bigstar";
macro2utf8["Rrightarrow"] = "⇛";
utf82macro["⇛"] = "Rrightarrow";
macro2utf8["erDot"] = "≓";
utf82macro["≓"] = "erDot";
-macro2utf8["subseteq"] = "⊆";
-utf82macro["⊆"] = "subseteq";
+macro2utf8["subseteq"] = "⊆";
+utf82macro["⊆"] = "subseteq";
macro2utf8["leftharpoondown"] = "↽";
utf82macro["↽"] = "leftharpoondown";
-macro2utf8["infin"] = "∞";
-utf82macro["∞"] = "infin";
+macro2utf8["infin"] = "∞";
+utf82macro["∞"] = "infin";
macro2utf8["zdot"] = "ż";
utf82macro["ż"] = "zdot";
macro2utf8["solbar"] = "⌿";
utf82macro["⌿"] = "solbar";
-macro2utf8["Iuml"] = "Ï";
-utf82macro["Ï"] = "Iuml";
+macro2utf8["Iuml"] = "Ï";
+utf82macro["Ï"] = "Iuml";
macro2utf8["Kfr"] = "𝔎";
utf82macro["𝔎"] = "Kfr";
macro2utf8["fscr"] = "𝒻";
utf82macro["≚"] = "veeeq";
macro2utf8["Star"] = "⋆";
utf82macro["⋆"] = "Star";
-macro2utf8["lsquor"] = "‚";
-utf82macro["‚"] = "lsquor";
-macro2utf8["Uacute"] = "Ú";
-utf82macro["Ú"] = "Uacute";
-macro2utf8["weierp"] = "℘";
-utf82macro["℘"] = "weierp";
-macro2utf8["rang"] = "⟩";
-utf82macro["⟩"] = "rang";
+macro2utf8["lsquor"] = "‚";
+utf82macro["‚"] = "lsquor";
+macro2utf8["Uacute"] = "Ú";
+utf82macro["Ú"] = "Uacute";
+macro2utf8["weierp"] = "℘";
+utf82macro["℘"] = "weierp";
+macro2utf8["rang"] = "〉";
+utf82macro["〉"] = "rang";
macro2utf8["hamilt"] = "ℋ";
utf82macro["ℋ"] = "hamilt";
macro2utf8["angsph"] = "∢";
utf82macro["⤹"] = "larrpl";
macro2utf8["nvge"] = "≱";
utf82macro["≱"] = "nvge";
-macro2utf8["approx"] = "≈";
-utf82macro["≈"] = "approx";
+macro2utf8["approx"] = "≈";
+utf82macro["≈"] = "approx";
macro2utf8["lnE"] = "≨";
utf82macro["≨"] = "lnE";
macro2utf8["NotGreaterLess"] = "≹";
utf82macro["≹"] = "NotGreaterLess";
macro2utf8["epar"] = "⋕";
utf82macro["⋕"] = "epar";
-macro2utf8["bigotimes"] = "⊗";
-utf82macro["⊗"] = "bigotimes";
+macro2utf8["bigotimes"] = "⊗";
+utf82macro["⊗"] = "bigotimes";
macro2utf8["xharr"] = "";
utf82macro[""] = "xharr";
macro2utf8["roang"] = "";
utf82macro["⋃"] = "xcup";
macro2utf8["tscr"] = "𝓉";
utf82macro["𝓉"] = "tscr";
-macro2utf8["thkap"] = "≈︀";
-utf82macro["≈︀"] = "thkap";
-macro2utf8["Aacute"] = "Á";
-utf82macro["Á"] = "Aacute";
+macro2utf8["thkap"] = "≈︀";
+utf82macro["≈︀"] = "thkap";
+macro2utf8["Aacute"] = "Á";
+utf82macro["Á"] = "Aacute";
macro2utf8["rcy"] = "р";
utf82macro["р"] = "rcy";
macro2utf8["jukcy"] = "є";
utf82macro["("] = "lpar";
macro2utf8["ldsh"] = "↲";
utf82macro["↲"] = "ldsh";
-macro2utf8["aring"] = "å";
-utf82macro["å"] = "aring";
+macro2utf8["aring"] = "å";
+utf82macro["å"] = "aring";
macro2utf8["nGg"] = "⋙̸";
utf82macro["⋙̸"] = "nGg";
macro2utf8["LessEqualGreater"] = "⋚";
utf82macro["⋚"] = "LessEqualGreater";
macro2utf8["gcd"] = "gcd";
utf82macro["gcd"] = "gcd";
-macro2utf8["oplus"] = "⊕";
-utf82macro["⊕"] = "oplus";
+macro2utf8["oplus"] = "⊕";
+utf82macro["⊕"] = "oplus";
macro2utf8["lcaron"] = "ľ";
utf82macro["ľ"] = "lcaron";
-macro2utf8["DownArrow"] = "↓";
-utf82macro["↓"] = "DownArrow";
+macro2utf8["DownArrow"] = "↓";
+utf82macro["↓"] = "DownArrow";
macro2utf8["xutri"] = "△";
utf82macro["△"] = "xutri";
-macro2utf8["Psi"] = "Ψ";
-utf82macro["Ψ"] = "Psi";
+macro2utf8["Psi"] = "Ψ";
+utf82macro["Ψ"] = "Psi";
macro2utf8["lesssim"] = "≲";
utf82macro["≲"] = "lesssim";
macro2utf8["topcir"] = "⫱";
utf82macro["⇚"] = "Lleftarrow";
macro2utf8["nGt"] = "≫̸";
utf82macro["≫̸"] = "nGt";
-macro2utf8["euml"] = "ë";
-utf82macro["ë"] = "euml";
-macro2utf8["reg"] = "®";
-utf82macro["®"] = "reg";
+macro2utf8["euml"] = "ë";
+utf82macro["ë"] = "euml";
+macro2utf8["reg"] = "®";
+utf82macro["®"] = "reg";
macro2utf8["exponentiale"] = "ⅇ";
utf82macro["ⅇ"] = "exponentiale";
macro2utf8["qint"] = "⨌";
utf82macro["≨"] = "lne";
macro2utf8["LessSlantEqual"] = "⩽";
utf82macro["⩽"] = "LessSlantEqual";
-macro2utf8["Egrave"] = "È";
-utf82macro["È"] = "Egrave";
+macro2utf8["Egrave"] = "È";
+utf82macro["È"] = "Egrave";
macro2utf8["orderof"] = "ℴ";
utf82macro["ℴ"] = "orderof";
macro2utf8["cirE"] = "⧃";
utf82macro[" "] = "VeryThinSpace";
macro2utf8["DownArrowBar"] = "⤓";
utf82macro["⤓"] = "DownArrowBar";
-macro2utf8["Rightarrow"] = "⇒";
-utf82macro["⇒"] = "Rightarrow";
+macro2utf8["Rightarrow"] = "⇒";
+utf82macro["⇒"] = "Rightarrow";
macro2utf8["ocir"] = "⊚";
utf82macro["⊚"] = "ocir";
macro2utf8["NotHumpDownHump"] = "≎̸";
utf82macro["≎̸"] = "NotHumpDownHump";
-macro2utf8["darr"] = "↓";
-utf82macro["↓"] = "darr";
+macro2utf8["darr"] = "↓";
+utf82macro["↓"] = "darr";
macro2utf8["geqq"] = "≧";
utf82macro["≧"] = "geqq";
-macro2utf8["sup1"] = "¹";
-utf82macro["¹"] = "sup1";
+macro2utf8["sup1"] = "¹";
+utf82macro["¹"] = "sup1";
macro2utf8["log"] = "log";
utf82macro["log"] = "log";
-macro2utf8["sup2"] = "²";
-utf82macro["²"] = "sup2";
-macro2utf8["micro"] = "µ";
-utf82macro["µ"] = "micro";
-macro2utf8["amp"] = "&";
-utf82macro["&"] = "amp";
+macro2utf8["sup2"] = "²";
+utf82macro["²"] = "sup2";
+macro2utf8["micro"] = "µ";
+utf82macro["µ"] = "micro";
+macro2utf8["amp"] = "&";
+utf82macro["&"] = "amp";
macro2utf8["arccos"] = "arccos";
utf82macro["arccos"] = "arccos";
-macro2utf8["sup3"] = "³";
-utf82macro["³"] = "sup3";
+macro2utf8["sup3"] = "³";
+utf82macro["³"] = "sup3";
macro2utf8["GreaterTilde"] = "≳";
utf82macro["≳"] = "GreaterTilde";
macro2utf8["circeq"] = "≗";
utf82macro["⦐"] = "rbrkslu";
macro2utf8["Dcaron"] = "Ď";
utf82macro["Ď"] = "Dcaron";
-macro2utf8["and"] = "∧";
-utf82macro["∧"] = "and";
+macro2utf8["and"] = "∧";
+utf82macro["∧"] = "and";
macro2utf8["Vbar"] = "⫫";
utf82macro["⫫"] = "Vbar";
macro2utf8["angzarr"] = "⍼";
utf82macro["⍼"] = "angzarr";
macro2utf8["gel"] = "⋛";
utf82macro["⋛"] = "gel";
-macro2utf8["ang"] = "∠";
-utf82macro["∠"] = "ang";
-macro2utf8["lor"] = "∨";
-utf82macro["∨"] = "lor";
+macro2utf8["ang"] = "∠";
+utf82macro["∠"] = "ang";
+macro2utf8["lor"] = "∨";
+utf82macro["∨"] = "lor";
macro2utf8["circ"] = "∘";
utf82macro["∘"] = "circ";
macro2utf8["upharpoonright"] = "↾";
utf82macro["≊"] = "apE";
macro2utf8["sung"] = "♪";
utf82macro["♪"] = "sung";
-macro2utf8["geq"] = "≥";
-utf82macro["≥"] = "geq";
+macro2utf8["geq"] = "≥";
+utf82macro["≥"] = "geq";
macro2utf8["succsim"] = "≿";
utf82macro["≿"] = "succsim";
macro2utf8["ges"] = "⩾";
utf82macro["Ğ"] = "Gbreve";
macro2utf8["intercal"] = "⊺";
utf82macro["⊺"] = "intercal";
-macro2utf8["supE"] = "⊇";
-utf82macro["⊇"] = "supE";
+macro2utf8["supE"] = "⊇";
+utf82macro["⊇"] = "supE";
macro2utf8["NotCupCap"] = "≭";
utf82macro["≭"] = "NotCupCap";
-macro2utf8["loz"] = "◊";
-utf82macro["◊"] = "loz";
+macro2utf8["loz"] = "◊";
+utf82macro["◊"] = "loz";
macro2utf8["capcup"] = "⩇";
utf82macro["⩇"] = "capcup";
macro2utf8["larrtl"] = "↢";
utf82macro["↢"] = "larrtl";
-macro2utf8["AElig"] = "Æ";
-utf82macro["Æ"] = "AElig";
-macro2utf8["rarr"] = "→";
-utf82macro["→"] = "rarr";
+macro2utf8["AElig"] = "Æ";
+utf82macro["Æ"] = "AElig";
+macro2utf8["rarr"] = "→";
+utf82macro["→"] = "rarr";
macro2utf8["varkappa"] = "ϰ";
utf82macro["ϰ"] = "varkappa";
-macro2utf8["upsi"] = "υ";
-utf82macro["υ"] = "upsi";
+macro2utf8["upsi"] = "υ";
+utf82macro["υ"] = "upsi";
macro2utf8["loang"] = "";
utf82macro[""] = "loang";
macro2utf8["looparrowleft"] = "↫";
utf82macro["⇀"] = "rharu";
macro2utf8["gesl"] = "⋛︀";
utf82macro["⋛︀"] = "gesl";
-macro2utf8["xotime"] = "⊗";
-utf82macro["⊗"] = "xotime";
-macro2utf8["minus"] = "−";
-utf82macro["−"] = "minus";
+macro2utf8["xotime"] = "⊗";
+utf82macro["⊗"] = "xotime";
+macro2utf8["minus"] = "−";
+utf82macro["−"] = "minus";
macro2utf8["gvnE"] = "≩︀";
utf82macro["≩︀"] = "gvnE";
macro2utf8["gfr"] = "𝔤";
utf82macro["ĵ"] = "jcirc";
macro2utf8["roarr"] = "⇾";
utf82macro["⇾"] = "roarr";
-macro2utf8["rho"] = "ρ";
-utf82macro["ρ"] = "rho";
+macro2utf8["rho"] = "ρ";
+utf82macro["ρ"] = "rho";
macro2utf8["nvle"] = "≰";
utf82macro["≰"] = "nvle";
-macro2utf8["sect"] = "§";
-utf82macro["§"] = "sect";
+macro2utf8["sect"] = "§";
+utf82macro["§"] = "sect";
macro2utf8["ggg"] = "⋙";
utf82macro["⋙"] = "ggg";
macro2utf8["plusb"] = "⊞";
utf82macro["$"] = "dollar";
macro2utf8["divonx"] = "⋇";
utf82macro["⋇"] = "divonx";
-macro2utf8["partial"] = "∂";
-utf82macro["∂"] = "partial";
-macro2utf8["DoubleLeftRightArrow"] = "⇔";
-utf82macro["⇔"] = "DoubleLeftRightArrow";
-macro2utf8["varepsilon"] = "ε";
-utf82macro["ε"] = "varepsilon";
-macro2utf8["supe"] = "⊇";
-utf82macro["⊇"] = "supe";
+macro2utf8["partial"] = "∂";
+utf82macro["∂"] = "partial";
+macro2utf8["DoubleLeftRightArrow"] = "⇔";
+utf82macro["⇔"] = "DoubleLeftRightArrow";
+macro2utf8["varepsilon"] = "ε";
+utf82macro["ε"] = "varepsilon";
+macro2utf8["supe"] = "⊇";
+utf82macro["⊇"] = "supe";
macro2utf8["nvlt"] = "≮";
utf82macro["≮"] = "nvlt";
macro2utf8["angrtvb"] = "⦝︀";
utf82macro["⦝︀"] = "angrtvb";
-macro2utf8["gets"] = "←";
-utf82macro["←"] = "gets";
+macro2utf8["gets"] = "←";
+utf82macro["←"] = "gets";
macro2utf8["nparallel"] = "∦";
utf82macro["∦"] = "nparallel";
-macro2utf8["varphi"] = "φ";
-utf82macro["φ"] = "varphi";
+macro2utf8["varphi"] = "φ";
+utf82macro["φ"] = "varphi";
macro2utf8["nsupseteq"] = "⊉";
utf82macro["⊉"] = "nsupseteq";
-macro2utf8["circledR"] = "®";
-utf82macro["®"] = "circledR";
+macro2utf8["circledR"] = "®";
+utf82macro["®"] = "circledR";
macro2utf8["circledS"] = "Ⓢ";
utf82macro["Ⓢ"] = "circledS";
macro2utf8["primes"] = "ℙ";
utf82macro["⋘̸"] = "nLl";
macro2utf8["lozf"] = "⧫";
utf82macro["⧫"] = "lozf";
-macro2utf8["ShortLeftArrow"] = "←︀";
-utf82macro["←︀"] = "ShortLeftArrow";
+macro2utf8["ShortLeftArrow"] = "←︀";
+utf82macro["←︀"] = "ShortLeftArrow";
macro2utf8["nLt"] = "≪̸";
utf82macro["≪̸"] = "nLt";
macro2utf8["lesdotor"] = "⪃";
utf82macro["⨼"] = "iprod";
macro2utf8["lsh"] = "↰";
utf82macro["↰"] = "lsh";
-macro2utf8["Congruent"] = "≡";
-utf82macro["≡"] = "Congruent";
+macro2utf8["Congruent"] = "≡";
+utf82macro["≡"] = "Congruent";
macro2utf8["NotLeftTriangle"] = "⋪";
utf82macro["⋪"] = "NotLeftTriangle";
macro2utf8["rdldhar"] = "⥩";
utf82macro["⥩"] = "rdldhar";
-macro2utf8["varpropto"] = "∝";
-utf82macro["∝"] = "varpropto";
+macro2utf8["varpropto"] = "∝";
+utf82macro["∝"] = "varpropto";
macro2utf8["nvlArr"] = "⇍";
utf82macro["⇍"] = "nvlArr";
macro2utf8["arg"] = "arg";
utf82macro["▵"] = "triangle";
macro2utf8["Qfr"] = "𝔔";
utf82macro["𝔔"] = "Qfr";
-macro2utf8["DiacriticalAcute"] = "´";
-utf82macro["´"] = "DiacriticalAcute";
+macro2utf8["DiacriticalAcute"] = "´";
+utf82macro["´"] = "DiacriticalAcute";
macro2utf8["tbrk"] = "⎴";
utf82macro["⎴"] = "tbrk";
-macro2utf8["Implies"] = "⇒";
-utf82macro["⇒"] = "Implies";
+macro2utf8["Implies"] = "⇒";
+utf82macro["⇒"] = "Implies";
macro2utf8["comp"] = "∁";
utf82macro["∁"] = "comp";
macro2utf8["ddarr"] = "⇊";
utf82macro["↼"] = "lharu";
macro2utf8["glE"] = "⪒";
utf82macro["⪒"] = "glE";
-macro2utf8["cong"] = "≅";
-utf82macro["≅"] = "cong";
+macro2utf8["cong"] = "≅";
+utf82macro["≅"] = "cong";
macro2utf8["Ecaron"] = "Ě";
utf82macro["Ě"] = "Ecaron";
macro2utf8["Uring"] = "Ů";
utf82macro["Ů"] = "Uring";
macro2utf8["blacktriangleright"] = "▸";
utf82macro["▸"] = "blacktriangleright";
-macro2utf8["ntilde"] = "ñ";
-utf82macro["ñ"] = "ntilde";
+macro2utf8["ntilde"] = "ñ";
+utf82macro["ñ"] = "ntilde";
macro2utf8["max"] = "max";
utf82macro["max"] = "max";
macro2utf8["loarr"] = "⇽";
utf82macro["⇽"] = "loarr";
-macro2utf8["LeftArrow"] = "←";
-utf82macro["←"] = "LeftArrow";
+macro2utf8["LeftArrow"] = "←";
+utf82macro["←"] = "LeftArrow";
macro2utf8["Gdot"] = "Ġ";
utf82macro["Ġ"] = "Gdot";
macro2utf8["Uopf"] = "𝕌";
utf82macro["⊫"] = "VDash";
macro2utf8["jsercy"] = "ј";
utf82macro["ј"] = "jsercy";
-macro2utf8["Proportional"] = "∝";
-utf82macro["∝"] = "Proportional";
+macro2utf8["Proportional"] = "∝";
+utf82macro["∝"] = "Proportional";
macro2utf8["OverBracket"] = "⎴";
utf82macro["⎴"] = "OverBracket";
macro2utf8["gla"] = "⪥";
utf82macro["⪥"] = "gla";
-macro2utf8["NotElement"] = "∉";
-utf82macro["∉"] = "NotElement";
-macro2utf8["theta"] = "θ";
-utf82macro["θ"] = "theta";
+macro2utf8["NotElement"] = "∉";
+utf82macro["∉"] = "NotElement";
+macro2utf8["theta"] = "θ";
+utf82macro["θ"] = "theta";
macro2utf8["kcedil"] = "ķ";
utf82macro["ķ"] = "kcedil";
macro2utf8["smeparsl"] = "⧤";
utf82macro["⇥"] = "rarrb";
macro2utf8["rarrc"] = "⤳";
utf82macro["⤳"] = "rarrc";
-macro2utf8["ograve"] = "ò";
-utf82macro["ò"] = "ograve";
+macro2utf8["ograve"] = "ò";
+utf82macro["ò"] = "ograve";
macro2utf8["glj"] = "⪤";
utf82macro["⪤"] = "glj";
-macro2utf8["infty"] = "∞";
-utf82macro["∞"] = "infty";
+macro2utf8["infty"] = "∞";
+utf82macro["∞"] = "infty";
macro2utf8["gnE"] = "≩";
utf82macro["≩"] = "gnE";
macro2utf8["copf"] = "𝕔";
utf82macro["∲"] = "cwconint";
macro2utf8["Ascr"] = "𝒜";
utf82macro["𝒜"] = "Ascr";
-macro2utf8["NegativeThinSpace"] = " ︀";
-utf82macro[" ︀"] = "NegativeThinSpace";
+macro2utf8["NegativeThinSpace"] = " ︀";
+utf82macro[" ︀"] = "NegativeThinSpace";
macro2utf8["varsubsetneq"] = "⊊︀";
utf82macro["⊊︀"] = "varsubsetneq";
macro2utf8["trisb"] = "⧍";
utf82macro["≐"] = "doteq";
macro2utf8["cudarrl"] = "⤸";
utf82macro["⤸"] = "cudarrl";
-macro2utf8["varsigma"] = "ς";
-utf82macro["ς"] = "varsigma";
+macro2utf8["varsigma"] = "ς";
+utf82macro["ς"] = "varsigma";
macro2utf8["Hscr"] = "ℋ";
utf82macro["ℋ"] = "Hscr";
macro2utf8["DownArrowUpArrow"] = "⇵";
utf82macro["⇵"] = "DownArrowUpArrow";
-macro2utf8["Ecirc"] = "Ê";
-utf82macro["Ê"] = "Ecirc";
+macro2utf8["Ecirc"] = "Ê";
+utf82macro["Ê"] = "Ecirc";
macro2utf8["DD"] = "ⅅ";
utf82macro["ⅅ"] = "DD";
-macro2utf8["copy"] = "©";
-utf82macro["©"] = "copy";
+macro2utf8["copy"] = "©";
+utf82macro["©"] = "copy";
macro2utf8["SquareIntersection"] = "⊓";
utf82macro["⊓"] = "SquareIntersection";
macro2utf8["RightUpVector"] = "↾";
utf82macro["𝔵"] = "xfr";
macro2utf8["gne"] = "≩";
utf82macro["≩"] = "gne";
-macro2utf8["Ccedil"] = "Ç";
-utf82macro["Ç"] = "Ccedil";
+macro2utf8["Ccedil"] = "Ç";
+utf82macro["Ç"] = "Ccedil";
macro2utf8["nlarr"] = "↚";
utf82macro["↚"] = "nlarr";
macro2utf8["inodot"] = "ı";
utf82macro["≺"] = "prec";
macro2utf8["percnt"] = "%";
utf82macro["%"] = "percnt";
-macro2utf8["Exists"] = "∃";
-utf82macro["∃"] = "Exists";
+macro2utf8["Exists"] = "∃";
+utf82macro["∃"] = "Exists";
macro2utf8["bcy"] = "б";
utf82macro["б"] = "bcy";
macro2utf8["xopf"] = "𝕩";
utf82macro["𝒱"] = "Vscr";
macro2utf8["Zcaron"] = "Ž";
utf82macro["Ž"] = "Zcaron";
-macro2utf8["ReverseElement"] = "∋";
-utf82macro["∋"] = "ReverseElement";
+macro2utf8["ReverseElement"] = "∋";
+utf82macro["∋"] = "ReverseElement";
macro2utf8["npolint"] = "⨔";
utf82macro["⨔"] = "npolint";
macro2utf8["NotGreaterTilde"] = "≵";
utf82macro["⤟"] = "larrbfs";
macro2utf8["HilbertSpace"] = "ℋ";
utf82macro["ℋ"] = "HilbertSpace";
-macro2utf8["otilde"] = "õ";
-utf82macro["õ"] = "otilde";
+macro2utf8["otilde"] = "õ";
+utf82macro["õ"] = "otilde";
macro2utf8["larrb"] = "⇤";
utf82macro["⇤"] = "larrb";
macro2utf8["wcirc"] = "ŵ";
utf82macro["↶"] = "cularr";
macro2utf8["blacklozenge"] = "⧫";
utf82macro["⧫"] = "blacklozenge";
-macro2utf8["realpart"] = "ℜ";
-utf82macro["ℜ"] = "realpart";
+macro2utf8["realpart"] = "ℜ";
+utf82macro["ℜ"] = "realpart";
macro2utf8["LeftTriangleEqual"] = "⊴";
utf82macro["⊴"] = "LeftTriangleEqual";
macro2utf8["bfr"] = "𝔟";
utf82macro["𝔟"] = "bfr";
-macro2utf8["Uuml"] = "Ü";
-utf82macro["Ü"] = "Uuml";
+macro2utf8["Uuml"] = "Ü";
+utf82macro["Ü"] = "Uuml";
macro2utf8["longleftrightarrow"] = "????";
utf82macro["????"] = "longleftrightarrow";
macro2utf8["lcedil"] = "ļ";
utf82macro["‴"] = "tprime";
macro2utf8["precneqq"] = "⪵";
utf82macro["⪵"] = "precneqq";
-macro2utf8["Downarrow"] = "⇓";
-utf82macro["⇓"] = "Downarrow";
+macro2utf8["Downarrow"] = "⇓";
+utf82macro["⇓"] = "Downarrow";
macro2utf8["rsh"] = "↱";
utf82macro["↱"] = "rsh";
macro2utf8["mid"] = "∣";
utf82macro["𝓎"] = "yscr";
macro2utf8["subdot"] = "⪽";
utf82macro["⪽"] = "subdot";
-macro2utf8["ShortRightArrow"] = "→︀";
-utf82macro["→︀"] = "ShortRightArrow";
+macro2utf8["ShortRightArrow"] = "→︀";
+utf82macro["→︀"] = "ShortRightArrow";
macro2utf8["NotCongruent"] = "≢";
utf82macro["≢"] = "NotCongruent";
macro2utf8["Gg"] = "⋙";
utf82macro["⥵"] = "rarrap";
macro2utf8["NotLessSlantEqual"] = "≰";
utf82macro["≰"] = "NotLessSlantEqual";
-macro2utf8["DoubleRightArrow"] = "⇒";
-utf82macro["⇒"] = "DoubleRightArrow";
+macro2utf8["DoubleRightArrow"] = "⇒";
+utf82macro["⇒"] = "DoubleRightArrow";
macro2utf8["Wfr"] = "𝔚";
utf82macro["𝔚"] = "Wfr";
macro2utf8["subrarr"] = "⥹";
utf82macro["х"] = "khcy";
macro2utf8["oint"] = "∮";
utf82macro["∮"] = "oint";
-macro2utf8["vprop"] = "∝";
-utf82macro["∝"] = "vprop";
+macro2utf8["vprop"] = "∝";
+utf82macro["∝"] = "vprop";
macro2utf8["hardcy"] = "ъ";
utf82macro["ъ"] = "hardcy";
macro2utf8["boxminus"] = "⊟";
utf82macro["⊟"] = "boxminus";
macro2utf8["GreaterLess"] = "≷";
utf82macro["≷"] = "GreaterLess";
-macro2utf8["thetav"] = "ϑ";
-utf82macro["ϑ"] = "thetav";
+macro2utf8["thetav"] = "ϑ";
+utf82macro["ϑ"] = "thetav";
macro2utf8["scE"] = "≾";
utf82macro["≾"] = "scE";
macro2utf8["Gt"] = "≫";
utf82macro["⩀"] = "capdot";
macro2utf8["supdot"] = "⪾";
utf82macro["⪾"] = "supdot";
-macro2utf8["oelig"] = "œ";
-utf82macro["œ"] = "oelig";
+macro2utf8["oelig"] = "œ";
+utf82macro["œ"] = "oelig";
macro2utf8["doteqdot"] = "≑";
utf82macro["≑"] = "doteqdot";
macro2utf8["rharul"] = "⥬";
utf82macro["⥬"] = "rharul";
macro2utf8["cylcty"] = "⌭";
utf82macro["⌭"] = "cylcty";
-macro2utf8["epsi"] = "ε";
-utf82macro["ε"] = "epsi";
+macro2utf8["epsi"] = "ε";
+utf82macro["ε"] = "epsi";
macro2utf8["eqcirc"] = "≖";
utf82macro["≖"] = "eqcirc";
macro2utf8["nLeftarrow"] = "⇍";
utf82macro["⇍"] = "nLeftarrow";
macro2utf8["rtrie"] = "⊵";
utf82macro["⊵"] = "rtrie";
-macro2utf8["para"] = "¶";
-utf82macro["¶"] = "para";
+macro2utf8["para"] = "¶";
+utf82macro["¶"] = "para";
macro2utf8["Lfr"] = "𝔏";
utf82macro["𝔏"] = "Lfr";
macro2utf8["rtrif"] = "▸";
utf82macro["▸"] = "rtrif";
macro2utf8["NotReverseElement"] = "∌";
utf82macro["∌"] = "NotReverseElement";
-macro2utf8["emptyv"] = "∅";
-utf82macro["∅"] = "emptyv";
+macro2utf8["emptyv"] = "∅";
+utf82macro["∅"] = "emptyv";
macro2utf8["nldr"] = "‥";
utf82macro["‥"] = "nldr";
macro2utf8["leqq"] = "≦";
utf82macro["⊋"] = "supsetneqq";
macro2utf8["boxDL"] = "╗";
utf82macro["╗"] = "boxDL";
-macro2utf8["Im"] = "ℑ";
-utf82macro["ℑ"] = "Im";
+macro2utf8["Im"] = "ℑ";
+utf82macro["ℑ"] = "Im";
macro2utf8["sce"] = "≽";
utf82macro["≽"] = "sce";
macro2utf8["prsim"] = "≾";
utf82macro["≾"] = "prsim";
-macro2utf8["diams"] = "♦";
-utf82macro["♦"] = "diams";
+macro2utf8["diams"] = "♦";
+utf82macro["♦"] = "diams";
macro2utf8["gtreqqless"] = "⋛";
utf82macro["⋛"] = "gtreqqless";
macro2utf8["boxDR"] = "╔";
utf82macro["╔"] = "boxDR";
macro2utf8["vartriangleleft"] = "⊲";
utf82macro["⊲"] = "vartriangleleft";
-macro2utf8["SupersetEqual"] = "⊇";
-utf82macro["⊇"] = "SupersetEqual";
-macro2utf8["Omega"] = "Ω";
-utf82macro["Ω"] = "Omega";
+macro2utf8["SupersetEqual"] = "⊇";
+utf82macro["⊇"] = "SupersetEqual";
+macro2utf8["Omega"] = "Ω";
+utf82macro["Ω"] = "Omega";
macro2utf8["nsubseteqq"] = "⊈";
utf82macro["⊈"] = "nsubseteqq";
macro2utf8["Subset"] = "⋐";
utf82macro["⋉"] = "ltimes";
macro2utf8["seswar"] = "⤩";
utf82macro["⤩"] = "seswar";
-macro2utf8["part"] = "∂";
-utf82macro["∂"] = "part";
+macro2utf8["part"] = "∂";
+utf82macro["∂"] = "part";
macro2utf8["bumpE"] = "⪮";
utf82macro["⪮"] = "bumpE";
macro2utf8["minusd"] = "∸";
utf82macro["⪵"] = "prnE";
macro2utf8["lesg"] = "⋚︀";
utf82macro["⋚︀"] = "lesg";
-macro2utf8["cups"] = "∪︀";
-utf82macro["∪︀"] = "cups";
-macro2utf8["thickapprox"] = "≈︀";
-utf82macro["≈︀"] = "thickapprox";
+macro2utf8["cups"] = "∪︀";
+utf82macro["∪︀"] = "cups";
+macro2utf8["thickapprox"] = "≈︀";
+utf82macro["≈︀"] = "thickapprox";
macro2utf8["RightTeeVector"] = "⥛";
utf82macro["⥛"] = "RightTeeVector";
macro2utf8["LowerLeftArrow"] = "↙";
utf82macro["⋩"] = "succnsim";
macro2utf8["boxDl"] = "╖";
utf82macro["╖"] = "boxDl";
-macro2utf8["quot"] = """;
-utf82macro["""] = "quot";
+macro2utf8["quot"] = """;
+utf82macro["""] = "quot";
macro2utf8["lvnE"] = "≨︀";
utf82macro["≨︀"] = "lvnE";
macro2utf8["CircleDot"] = "⊙";
utf82macro["⊙"] = "CircleDot";
macro2utf8["lsime"] = "⪍";
utf82macro["⪍"] = "lsime";
-macro2utf8["Yacute"] = "Ý";
-utf82macro["Ý"] = "Yacute";
+macro2utf8["Yacute"] = "Ý";
+utf82macro["Ý"] = "Yacute";
macro2utf8["esdot"] = "≐";
utf82macro["≐"] = "esdot";
macro2utf8["Supset"] = "⋑";
utf82macro["╓"] = "boxDr";
macro2utf8["plus"] = "+";
utf82macro["+"] = "plus";
-macro2utf8["ddagger"] = "‡";
-utf82macro["‡"] = "ddagger";
+macro2utf8["ddagger"] = "‡";
+utf82macro["‡"] = "ddagger";
macro2utf8["Vdashl"] = "⫦";
utf82macro["⫦"] = "Vdashl";
macro2utf8["equest"] = "≟";
utf82macro["⋇"] = "divideontimes";
macro2utf8["nsmid"] = "∤︀";
utf82macro["∤︀"] = "nsmid";
-macro2utf8["fnof"] = "ƒ";
-utf82macro["ƒ"] = "fnof";
+macro2utf8["fnof"] = "ƒ";
+utf82macro["ƒ"] = "fnof";
macro2utf8["bumpe"] = "≏";
utf82macro["≏"] = "bumpe";
macro2utf8["lhblk"] = "▄";
utf82macro["."] = "period";
macro2utf8["phone"] = "☎";
utf82macro["☎"] = "phone";
-macro2utf8["Eacute"] = "É";
-utf82macro["É"] = "Eacute";
+macro2utf8["Eacute"] = "É";
+utf82macro["É"] = "Eacute";
macro2utf8["dzigrarr"] = "";
utf82macro[""] = "dzigrarr";
macro2utf8["Ll"] = "⋘";
utf82macro["⤞"] = "rarrfs";
macro2utf8["dbkarow"] = "⤏";
utf82macro["⤏"] = "dbkarow";
-macro2utf8["zeta"] = "ζ";
-utf82macro["ζ"] = "zeta";
+macro2utf8["zeta"] = "ζ";
+utf82macro["ζ"] = "zeta";
macro2utf8["Lt"] = "≪";
utf82macro["≪"] = "Lt";
macro2utf8["triminus"] = "⨺";
utf82macro["⨸"] = "odiv";
macro2utf8["ltrie"] = "⊴";
utf82macro["⊴"] = "ltrie";
-macro2utf8["Dagger"] = "‡";
-utf82macro["‡"] = "Dagger";
+macro2utf8["Dagger"] = "‡";
+utf82macro["‡"] = "Dagger";
macro2utf8["ltrif"] = "◂";
utf82macro["◂"] = "ltrif";
macro2utf8["boxHD"] = "╦";
utf82macro["⥨"] = "ruluhar";
macro2utf8["bne"] = "=⃥";
utf82macro["=⃥"] = "bne";
-macro2utf8["prod"] = "∏";
-utf82macro["∏"] = "prod";
+macro2utf8["prod"] = "∏";
+utf82macro["∏"] = "prod";
macro2utf8["Eopf"] = "𝔼";
utf82macro["𝔼"] = "Eopf";
macro2utf8["scsim"] = "≿";
utf82macro["≿"] = "scsim";
macro2utf8["GreaterEqualLess"] = "⋛";
utf82macro["⋛"] = "GreaterEqualLess";
-macro2utf8["Igrave"] = "Ì";
-utf82macro["Ì"] = "Igrave";
-macro2utf8["Longrightarrow"] = "⇒";
-utf82macro["⇒"] = "Longrightarrow";
+macro2utf8["Igrave"] = "Ì";
+utf82macro["Ì"] = "Igrave";
+macro2utf8["Longrightarrow"] = "⇒";
+utf82macro["⇒"] = "Longrightarrow";
macro2utf8["bigcap"] = "⋂";
utf82macro["⋂"] = "bigcap";
macro2utf8["boxHU"] = "╩";
utf82macro["ů"] = "uring";
macro2utf8["equivDD"] = "⩸";
utf82macro["⩸"] = "equivDD";
-macro2utf8["prop"] = "∝";
-utf82macro["∝"] = "prop";
+macro2utf8["prop"] = "∝";
+utf82macro["∝"] = "prop";
macro2utf8["Lopf"] = "𝕃";
utf82macro["𝕃"] = "Lopf";
macro2utf8["ldrushar"] = "⥋";
utf82macro["⥋"] = "ldrushar";
macro2utf8["rarrhk"] = "↪";
utf82macro["↪"] = "rarrhk";
-macro2utf8["Leftarrow"] = "⇐";
-utf82macro["⇐"] = "Leftarrow";
+macro2utf8["Leftarrow"] = "⇐";
+utf82macro["⇐"] = "Leftarrow";
macro2utf8["lltri"] = "◺";
utf82macro["◺"] = "lltri";
macro2utf8["NestedGreaterGreater"] = "≫";
utf82macro[""] = "xhArr";
macro2utf8["triplus"] = "⨹";
utf82macro["⨹"] = "triplus";
-macro2utf8["bot"] = "⊥";
-utf82macro["⊥"] = "bot";
+macro2utf8["bot"] = "⊥";
+utf82macro["⊥"] = "bot";
macro2utf8["Rcy"] = "Р";
utf82macro["Р"] = "Rcy";
macro2utf8["eDDot"] = "⩷";
utf82macro["⩷"] = "eDDot";
-macro2utf8["subseteqq"] = "⊆";
-utf82macro["⊆"] = "subseteqq";
+macro2utf8["subseteqq"] = "⊆";
+utf82macro["⊆"] = "subseteqq";
macro2utf8["cirfnint"] = "⨐";
utf82macro["⨐"] = "cirfnint";
-macro2utf8["spadesuit"] = "♠";
-utf82macro["♠"] = "spadesuit";
+macro2utf8["spadesuit"] = "♠";
+utf82macro["♠"] = "spadesuit";
macro2utf8["nacute"] = "ń";
utf82macro["ń"] = "nacute";
macro2utf8["Zopf"] = "ℤ";
utf82macro["ℤ"] = "Zopf";
macro2utf8["upharpoonleft"] = "↿";
utf82macro["↿"] = "upharpoonleft";
-macro2utf8["shy"] = "­";
-utf82macro["­"] = "shy";
+macro2utf8["shy"] = "­";
+utf82macro["­"] = "shy";
macro2utf8["nparsl"] = "∥︀⃥";
utf82macro["∥︀⃥"] = "nparsl";
macro2utf8["boxHu"] = "╧";
utf82macro["╧"] = "boxHu";
-macro2utf8["ThickSpace"] = "   ";
-utf82macro["   "] = "ThickSpace";
+macro2utf8["ThickSpace"] = "   ";
+utf82macro["   "] = "ThickSpace";
macro2utf8["Or"] = "⩔";
utf82macro["⩔"] = "Or";
macro2utf8["raemptyv"] = "⦳";
utf82macro["Ą"] = "Aogon";
macro2utf8["IEcy"] = "Е";
utf82macro["Е"] = "IEcy";
-macro2utf8["sim"] = "∼";
-utf82macro["∼"] = "sim";
+macro2utf8["sim"] = "∼";
+utf82macro["∼"] = "sim";
macro2utf8["sin"] = "sin";
utf82macro["sin"] = "sin";
macro2utf8["copysr"] = "℗";
utf82macro["℗"] = "copysr";
macro2utf8["scnap"] = "⋩";
utf82macro["⋩"] = "scnap";
-macro2utf8["rdquo"] = "”";
-utf82macro["”"] = "rdquo";
+macro2utf8["rdquo"] = "”";
+utf82macro["”"] = "rdquo";
macro2utf8["aopf"] = "𝕒";
utf82macro["𝕒"] = "aopf";
-macro2utf8["Pi"] = "Π";
-utf82macro["Π"] = "Pi";
+macro2utf8["Pi"] = "Π";
+utf82macro["Π"] = "Pi";
macro2utf8["Udblac"] = "Ű";
utf82macro["Ű"] = "Udblac";
macro2utf8["expectation"] = "ℰ";
utf82macro["≄"] = "NotTildeEqual";
macro2utf8["ncedil"] = "ņ";
utf82macro["ņ"] = "ncedil";
-macro2utf8["Gamma"] = "Γ";
-utf82macro["Γ"] = "Gamma";
-macro2utf8["ecirc"] = "ê";
-utf82macro["ê"] = "ecirc";
+macro2utf8["Gamma"] = "Γ";
+utf82macro["Γ"] = "Gamma";
+macro2utf8["ecirc"] = "ê";
+utf82macro["ê"] = "ecirc";
macro2utf8["dsol"] = "⧶";
utf82macro["⧶"] = "dsol";
macro2utf8["Gcy"] = "Г";
utf82macro["𝕙"] = "hopf";
macro2utf8["blacktriangledown"] = "▾";
utf82macro["▾"] = "blacktriangledown";
-macro2utf8["LeftCeiling"] = "⌈";
-utf82macro["⌈"] = "LeftCeiling";
+macro2utf8["LeftCeiling"] = "⌈";
+utf82macro["⌈"] = "LeftCeiling";
macro2utf8["ulcorn"] = "⌜";
utf82macro["⌜"] = "ulcorn";
macro2utf8["searrow"] = "↘";
utf82macro["ℱ"] = "Fscr";
macro2utf8["cupcup"] = "⩊";
utf82macro["⩊"] = "cupcup";
-macro2utf8["NotEqual"] = "≠";
-utf82macro["≠"] = "NotEqual";
+macro2utf8["NotEqual"] = "≠";
+utf82macro["≠"] = "NotEqual";
macro2utf8["sext"] = "✶";
utf82macro["✶"] = "sext";
-macro2utf8["CirclePlus"] = "⊕";
-utf82macro["⊕"] = "CirclePlus";
+macro2utf8["CirclePlus"] = "⊕";
+utf82macro["⊕"] = "CirclePlus";
macro2utf8["erarr"] = "⥱";
utf82macro["⥱"] = "erarr";
-macro2utf8["dArr"] = "⇓";
-utf82macro["⇓"] = "dArr";
+macro2utf8["dArr"] = "⇓";
+utf82macro["⇓"] = "dArr";
macro2utf8["PrecedesSlantEqual"] = "≼";
utf82macro["≼"] = "PrecedesSlantEqual";
macro2utf8["Itilde"] = "Ĩ";
utf82macro["𝕠"] = "oopf";
macro2utf8["Mscr"] = "ℳ";
utf82macro["ℳ"] = "Mscr";
-macro2utf8["Rfr"] = "ℜ";
-utf82macro["ℜ"] = "Rfr";
-macro2utf8["langle"] = "⟨";
-utf82macro["⟨"] = "langle";
+macro2utf8["Rfr"] = "ℜ";
+utf82macro["ℜ"] = "Rfr";
+macro2utf8["langle"] = "〈";
+utf82macro["〈"] = "langle";
macro2utf8["And"] = "⩓";
utf82macro["⩓"] = "And";
macro2utf8["bprime"] = "‵";
utf82macro["‵"] = "bprime";
macro2utf8["nLeftrightarrow"] = "⇎";
utf82macro["⇎"] = "nLeftrightarrow";
-macro2utf8["Re"] = "ℜ";
-utf82macro["ℜ"] = "Re";
-macro2utf8["OpenCurlyQuote"] = "‘";
-utf82macro["‘"] = "OpenCurlyQuote";
+macro2utf8["Re"] = "ℜ";
+utf82macro["ℜ"] = "Re";
+macro2utf8["OpenCurlyQuote"] = "‘";
+utf82macro["‘"] = "OpenCurlyQuote";
macro2utf8["vopf"] = "𝕧";
utf82macro["𝕧"] = "vopf";
macro2utf8["ulcorner"] = "⌜";
utf82macro["⋛"] = "gtreqless";
macro2utf8["rarrlp"] = "↬";
utf82macro["↬"] = "rarrlp";
-macro2utf8["Lambda"] = "Λ";
-utf82macro["Λ"] = "Lambda";
+macro2utf8["Lambda"] = "Λ";
+utf82macro["Λ"] = "Lambda";
macro2utf8["lobrk"] = "〚";
utf82macro["〚"] = "lobrk";
macro2utf8["rbrace"] = "}";
utf82macro["}"] = "rbrace";
-macro2utf8["rArr"] = "⇒";
-utf82macro["⇒"] = "rArr";
+macro2utf8["rArr"] = "⇒";
+utf82macro["⇒"] = "rArr";
macro2utf8["coloneq"] = "≔";
utf82macro["≔"] = "coloneq";
-macro2utf8["UpArrow"] = "↑";
-utf82macro["↑"] = "UpArrow";
+macro2utf8["UpArrow"] = "↑";
+utf82macro["↑"] = "UpArrow";
macro2utf8["odot"] = "⊙";
utf82macro["⊙"] = "odot";
macro2utf8["LeftDownTeeVector"] = "⥡";
utf82macro["⪼"] = "Sc";
macro2utf8["ycy"] = "ы";
utf82macro["ы"] = "ycy";
-macro2utf8["Prime"] = "″";
-utf82macro["″"] = "Prime";
+macro2utf8["Prime"] = "″";
+utf82macro["″"] = "Prime";
macro2utf8["Gfr"] = "𝔊";
utf82macro["𝔊"] = "Gfr";
macro2utf8["trianglerighteq"] = "⊵";
utf82macro["⦥"] = "range";
macro2utf8["rsqb"] = "]";
utf82macro["]"] = "rsqb";
-macro2utf8["Euml"] = "Ë";
-utf82macro["Ë"] = "Euml";
-macro2utf8["Therefore"] = "∴";
-utf82macro["∴"] = "Therefore";
+macro2utf8["Euml"] = "Ë";
+utf82macro["Ë"] = "Euml";
+macro2utf8["Therefore"] = "∴";
+utf82macro["∴"] = "Therefore";
macro2utf8["nesim"] = "≂̸";
utf82macro["≂̸"] = "nesim";
macro2utf8["order"] = "ℴ";
utf82macro["𝒷"] = "bscr";
macro2utf8["lesseqqgtr"] = "⋚";
utf82macro["⋚"] = "lesseqqgtr";
-macro2utf8["cap"] = "∩";
-utf82macro["∩"] = "cap";
-macro2utf8["ldquo"] = "“";
-utf82macro["“"] = "ldquo";
+macro2utf8["cap"] = "∩";
+utf82macro["∩"] = "cap";
+macro2utf8["ldquo"] = "“";
+utf82macro["“"] = "ldquo";
macro2utf8["nsubseteq"] = "⊈";
utf82macro["⊈"] = "nsubseteq";
macro2utf8["rhov"] = "ϱ";
utf82macro["⋁"] = "xvee";
macro2utf8["olarr"] = "↺";
utf82macro["↺"] = "olarr";
-macro2utf8["nang"] = "∠̸";
-utf82macro["∠̸"] = "nang";
+macro2utf8["nang"] = "∠̸";
+utf82macro["∠̸"] = "nang";
macro2utf8["uwangle"] = "⦧";
utf82macro["⦧"] = "uwangle";
macro2utf8["nlsim"] = "≴";
utf82macro["Ѓ"] = "GJcy";
macro2utf8["nges"] = "≱";
utf82macro["≱"] = "nges";
-macro2utf8["exist"] = "∃";
-utf82macro["∃"] = "exist";
-macro2utf8["cent"] = "¢";
-utf82macro["¢"] = "cent";
-macro2utf8["oacute"] = "ó";
-utf82macro["ó"] = "oacute";
+macro2utf8["exist"] = "∃";
+utf82macro["∃"] = "exist";
+macro2utf8["cent"] = "¢";
+utf82macro["¢"] = "cent";
+macro2utf8["oacute"] = "ó";
+utf82macro["ó"] = "oacute";
macro2utf8["Darr"] = "↡";
utf82macro["↡"] = "Darr";
-macro2utf8["yen"] = "¥";
-utf82macro["¥"] = "yen";
+macro2utf8["yen"] = "¥";
+utf82macro["¥"] = "yen";
macro2utf8["bigcirc"] = "◯";
utf82macro["◯"] = "bigcirc";
macro2utf8["ncy"] = "н";
utf82macro["↗"] = "UpperRightArrow";
macro2utf8["precnapprox"] = "⋨";
utf82macro["⋨"] = "precnapprox";
-macro2utf8["OElig"] = "Œ";
-utf82macro["Œ"] = "OElig";
+macro2utf8["OElig"] = "Œ";
+utf82macro["Œ"] = "OElig";
macro2utf8["hybull"] = "⁃";
utf82macro["⁃"] = "hybull";
macro2utf8["cupbrcap"] = "⩈";
utf82macro["⇛"] = "rAarr";
macro2utf8["precapprox"] = "≾";
utf82macro["≾"] = "precapprox";
-macro2utf8["rsquor"] = "’";
-utf82macro["’"] = "rsquor";
-macro2utf8["pound"] = "£";
-utf82macro["£"] = "pound";
+macro2utf8["rsquor"] = "’";
+utf82macro["’"] = "rsquor";
+macro2utf8["pound"] = "£";
+utf82macro["£"] = "pound";
macro2utf8["lbrksld"] = "⦏";
utf82macro["⦏"] = "lbrksld";
macro2utf8["gesdot"] = "⪀";
utf82macro["⪀"] = "gesdot";
-macro2utf8["Element"] = "∈";
-utf82macro["∈"] = "Element";
+macro2utf8["Element"] = "∈";
+utf82macro["∈"] = "Element";
macro2utf8["xcirc"] = "◯";
utf82macro["◯"] = "xcirc";
macro2utf8["wscr"] = "𝓌";
utf82macro["⤨"] = "toea";
macro2utf8["setmn"] = "∖";
utf82macro["∖"] = "setmn";
-macro2utf8["neg"] = "¬";
-utf82macro["¬"] = "neg";
+macro2utf8["neg"] = "¬";
+utf82macro["¬"] = "neg";
macro2utf8["sol"] = "/";
utf82macro["/"] = "sol";
macro2utf8["yfr"] = "𝔶";
utf82macro["𝔶"] = "yfr";
-macro2utf8["DoubleDownArrow"] = "⇓";
-utf82macro["⇓"] = "DoubleDownArrow";
+macro2utf8["DoubleDownArrow"] = "⇓";
+utf82macro["⇓"] = "DoubleDownArrow";
macro2utf8["Rarr"] = "↠";
utf82macro["↠"] = "Rarr";
macro2utf8["ngE"] = "≱";
utf82macro["≱"] = "ngE";
-macro2utf8["Upsi"] = "ϒ";
-utf82macro["ϒ"] = "Upsi";
+macro2utf8["Upsi"] = "ϒ";
+utf82macro["ϒ"] = "Upsi";
macro2utf8["opar"] = "⦷";
utf82macro["⦷"] = "opar";
macro2utf8["rarrpl"] = "⥅";
utf82macro["⥅"] = "rarrpl";
-macro2utf8["auml"] = "ä";
-utf82macro["ä"] = "auml";
+macro2utf8["auml"] = "ä";
+utf82macro["ä"] = "auml";
macro2utf8["bmod"] = "mod";
utf82macro["mod"] = "bmod";
macro2utf8["SquareSuperset"] = "⊐";
utf82macro["⊐"] = "SquareSuperset";
-macro2utf8["neq"] = "≠";
-utf82macro["≠"] = "neq";
+macro2utf8["neq"] = "≠";
+utf82macro["≠"] = "neq";
macro2utf8["circleddash"] = "⊝";
utf82macro["⊝"] = "circleddash";
macro2utf8["xrarr"] = "";
utf82macro["⋍"] = "backsimeq";
macro2utf8["target"] = "⌖";
utf82macro["⌖"] = "target";
-macro2utf8["ouml"] = "ö";
-utf82macro["ö"] = "ouml";
+macro2utf8["ouml"] = "ö";
+utf82macro["ö"] = "ouml";
macro2utf8["nge"] = "≱⃥";
utf82macro["≱⃥"] = "nge";
macro2utf8["LeftTriangleBar"] = "⧏";
utf82macro["⫳"] = "parsim";
macro2utf8["Gcedil"] = "Ģ";
utf82macro["Ģ"] = "Gcedil";
-macro2utf8["bnequiv"] = "≡⃥";
-utf82macro["≡⃥"] = "bnequiv";
+macro2utf8["bnequiv"] = "≡⃥";
+utf82macro["≡⃥"] = "bnequiv";
macro2utf8["ubreve"] = "ŭ";
utf82macro["ŭ"] = "ubreve";
-macro2utf8["iexcl"] = "¡";
-utf82macro["¡"] = "iexcl";
-macro2utf8["Xi"] = "Ξ";
-utf82macro["Ξ"] = "Xi";
-macro2utf8["omega"] = "ω";
-utf82macro["ω"] = "omega";
+macro2utf8["iexcl"] = "¡";
+utf82macro["¡"] = "iexcl";
+macro2utf8["Xi"] = "Ξ";
+utf82macro["Ξ"] = "Xi";
+macro2utf8["omega"] = "ω";
+utf82macro["ω"] = "omega";
macro2utf8["elsdot"] = "⪗";
utf82macro["⪗"] = "elsdot";
-macro2utf8["propto"] = "∝";
-utf82macro["∝"] = "propto";
+macro2utf8["propto"] = "∝";
+utf82macro["∝"] = "propto";
macro2utf8["squ"] = "□";
utf82macro["□"] = "squ";
macro2utf8["Ycirc"] = "Ŷ";
utf82macro["𝔠"] = "cfr";
macro2utf8["abreve"] = "ă";
utf82macro["ă"] = "abreve";
-macro2utf8["suphsol"] = "⊃/";
-utf82macro["⊃/"] = "suphsol";
+macro2utf8["suphsol"] = "⊃/";
+utf82macro["⊃/"] = "suphsol";
macro2utf8["NegativeThickSpace"] = " ︀";
utf82macro[" ︀"] = "NegativeThickSpace";
macro2utf8["Mcy"] = "М";
utf82macro["М"] = "Mcy";
-macro2utf8["uarr"] = "↑";
-utf82macro["↑"] = "uarr";
+macro2utf8["uarr"] = "↑";
+utf82macro["↑"] = "uarr";
macro2utf8["LeftRightVector"] = "⥎";
utf82macro["⥎"] = "LeftRightVector";
macro2utf8["lAarr"] = "⇚";
utf82macro["∽"] = "bsim";
macro2utf8["simrarr"] = "⥲";
utf82macro["⥲"] = "simrarr";
-macro2utf8["otimes"] = "⊗";
-utf82macro["⊗"] = "otimes";
+macro2utf8["otimes"] = "⊗";
+utf82macro["⊗"] = "otimes";
macro2utf8["NotSucceeds"] = "⊁";
utf82macro["⊁"] = "NotSucceeds";
macro2utf8["Cross"] = "⨯";
utf82macro["⨯"] = "Cross";
-macro2utf8["downarrow"] = "↓";
-utf82macro["↓"] = "downarrow";
+macro2utf8["downarrow"] = "↓";
+utf82macro["↓"] = "downarrow";
macro2utf8["blacktriangle"] = "▴";
utf82macro["▴"] = "blacktriangle";
macro2utf8["TripleDot"] = "⃛";
utf82macro["⇗"] = "neArr";
macro2utf8["rarrtl"] = "↣";
utf82macro["↣"] = "rarrtl";
-macro2utf8["isin"] = "∈";
-utf82macro["∈"] = "isin";
+macro2utf8["isin"] = "∈";
+utf82macro["∈"] = "isin";
macro2utf8["rrarr"] = "⇉";
utf82macro["⇉"] = "rrarr";
-macro2utf8["Upsilon"] = "ϒ";
-utf82macro["ϒ"] = "Upsilon";
+macro2utf8["Upsilon"] = "ϒ";
+utf82macro["ϒ"] = "Upsilon";
macro2utf8["sqsub"] = "⊏";
utf82macro["⊏"] = "sqsub";
macro2utf8["boxUL"] = "╝";
utf82macro["𝔛"] = "Xfr";
macro2utf8["nis"] = "⋼";
utf82macro["⋼"] = "nis";
-macro2utf8["chi"] = "χ";
-utf82macro["χ"] = "chi";
+macro2utf8["chi"] = "χ";
+utf82macro["χ"] = "chi";
macro2utf8["DownRightVector"] = "⇁";
utf82macro["⇁"] = "DownRightVector";
-macro2utf8["niv"] = "∋";
-utf82macro["∋"] = "niv";
+macro2utf8["niv"] = "∋";
+utf82macro["∋"] = "niv";
macro2utf8["boxUR"] = "╚";
utf82macro["╚"] = "boxUR";
macro2utf8["nlArr"] = "⇍";
utf82macro["╬"] = "boxVH";
macro2utf8["bbrk"] = "⎵";
utf82macro["⎵"] = "bbrk";
-macro2utf8["tau"] = "τ";
-utf82macro["τ"] = "tau";
-macro2utf8["UpTee"] = "⊥";
-utf82macro["⊥"] = "UpTee";
+macro2utf8["tau"] = "τ";
+utf82macro["τ"] = "tau";
+macro2utf8["UpTee"] = "⊥";
+utf82macro["⊥"] = "UpTee";
macro2utf8["NotLeftTriangleBar"] = "⧏̸";
utf82macro["⧏̸"] = "NotLeftTriangleBar";
macro2utf8["boxVL"] = "╣";
utf82macro["╣"] = "boxVL";
macro2utf8["Proportion"] = "∷";
utf82macro["∷"] = "Proportion";
-macro2utf8["equiv"] = "≡";
-utf82macro["≡"] = "equiv";
+macro2utf8["equiv"] = "≡";
+utf82macro["≡"] = "equiv";
macro2utf8["blk12"] = "▒";
utf82macro["▒"] = "blk12";
macro2utf8["blk14"] = "░";
utf82macro["ij"] = "ijlig";
macro2utf8["yicy"] = "ї";
utf82macro["ї"] = "yicy";
-macro2utf8["sum"] = "∑";
-utf82macro["∑"] = "sum";
+macro2utf8["sum"] = "∑";
+utf82macro["∑"] = "sum";
macro2utf8["cir"] = "○";
utf82macro["○"] = "cir";
macro2utf8["telrec"] = "⌕";
utf82macro["⨭"] = "loplus";
macro2utf8["varsupsetneq"] = "⊋︀";
utf82macro["⊋︀"] = "varsupsetneq";
-macro2utf8["scaron"] = "š";
-utf82macro["š"] = "scaron";
+macro2utf8["scaron"] = "š";
+utf82macro["š"] = "scaron";
macro2utf8["Diamond"] = "⋄";
utf82macro["⋄"] = "Diamond";
-macro2utf8["lowast"] = "∗";
-utf82macro["∗"] = "lowast";
+macro2utf8["lowast"] = "∗";
+utf82macro["∗"] = "lowast";
macro2utf8["nle"] = "≰⃥";
utf82macro["≰⃥"] = "nle";
macro2utf8["phiv"] = "ϕ";
utf82macro["⋖"] = "lessdot";
macro2utf8["LeftDoubleBracket"] = "〚";
utf82macro["〚"] = "LeftDoubleBracket";
-macro2utf8["Delta"] = "Δ";
-utf82macro["Δ"] = "Delta";
+macro2utf8["Delta"] = "Δ";
+utf82macro["Δ"] = "Delta";
macro2utf8["limsup"] = "limsup";
utf82macro["limsup"] = "limsup";
macro2utf8["tcy"] = "т";
utf82macro["⫗"] = "suphsub";
macro2utf8["squf"] = "▪";
utf82macro["▪"] = "squf";
-macro2utf8["gamma"] = "γ";
-utf82macro["γ"] = "gamma";
+macro2utf8["gamma"] = "γ";
+utf82macro["γ"] = "gamma";
macro2utf8["lrhard"] = "⥭";
utf82macro["⥭"] = "lrhard";
macro2utf8["intprod"] = "⨼";
utf82macro["⇎"] = "nvHarr";
macro2utf8["ContourIntegral"] = "∮";
utf82macro["∮"] = "ContourIntegral";
-macro2utf8["bsol"] = "\";
-utf82macro["\"] = "bsol";
+macro2utf8["bsol"] = "\\";
+utf82macro["\\"] = "bsol";
macro2utf8["DoubleUpDownArrow"] = "⇕";
utf82macro["⇕"] = "DoubleUpDownArrow";
macro2utf8["disin"] = "⋲";
utf82macro["𝒟"] = "Dscr";
macro2utf8["gsime"] = "⪎";
utf82macro["⪎"] = "gsime";
-macro2utf8["PartialD"] = "∂";
-utf82macro["∂"] = "PartialD";
+macro2utf8["PartialD"] = "∂";
+utf82macro["∂"] = "PartialD";
macro2utf8["Umacr"] = "Ū";
utf82macro["Ū"] = "Umacr";
macro2utf8["tfr"] = "𝔱";
utf82macro["⤽"] = "cularrp";
macro2utf8["UnderBracket"] = "⎵";
utf82macro["⎵"] = "UnderBracket";
-macro2utf8["ugrave"] = "ù";
-utf82macro["ù"] = "ugrave";
+macro2utf8["ugrave"] = "ù";
+utf82macro["ù"] = "ugrave";
macro2utf8["mopf"] = "𝕞";
utf82macro["𝕞"] = "mopf";
macro2utf8["gsiml"] = "⪐";
utf82macro["⪐"] = "gsiml";
-macro2utf8["iquest"] = "¿";
-utf82macro["¿"] = "iquest";
+macro2utf8["iquest"] = "¿";
+utf82macro["¿"] = "iquest";
macro2utf8["nmid"] = "∤";
utf82macro["∤"] = "nmid";
macro2utf8["leftarrowtail"] = "↢";
utf82macro["↢"] = "leftarrowtail";
-macro2utf8["not"] = "¬";
-utf82macro["¬"] = "not";
+macro2utf8["not"] = "¬";
+utf82macro["¬"] = "not";
macro2utf8["Kscr"] = "𝒦";
utf82macro["𝒦"] = "Kscr";
macro2utf8["xsqcup"] = "⊔";
utf82macro["џ"] = "dzcy";
macro2utf8["topf"] = "𝕥";
utf82macro["𝕥"] = "topf";
-macro2utf8["iff"] = "⇔";
-utf82macro["⇔"] = "iff";
+macro2utf8["iff"] = "⇔";
+utf82macro["⇔"] = "iff";
macro2utf8["af"] = "⁡";
utf82macro["⁡"] = "af";
-macro2utf8["Uparrow"] = "⇑";
-utf82macro["⇑"] = "Uparrow";
-macro2utf8["Iacute"] = "Í";
-utf82macro["Í"] = "Iacute";
+macro2utf8["Uparrow"] = "⇑";
+utf82macro["⇑"] = "Uparrow";
+macro2utf8["Iacute"] = "Í";
+utf82macro["Í"] = "Iacute";
macro2utf8["Rscr"] = "ℛ";
utf82macro["ℛ"] = "Rscr";
macro2utf8["vrtri"] = "⊳";
utf82macro["⧎"] = "rtriltri";
macro2utf8["npr"] = "⊀";
utf82macro["⊀"] = "npr";
-macro2utf8["agrave"] = "à";
-utf82macro["à"] = "agrave";
+macro2utf8["agrave"] = "à";
+utf82macro["à"] = "agrave";
macro2utf8["UnderBar"] = "̲";
utf82macro["̲"] = "UnderBar";
-macro2utf8["prime"] = "′";
-utf82macro["′"] = "prime";
-macro2utf8["plusmn"] = "±";
-utf82macro["±"] = "plusmn";
+macro2utf8["prime"] = "′";
+utf82macro["′"] = "prime";
+macro2utf8["plusmn"] = "±";
+utf82macro["±"] = "plusmn";
macro2utf8["eplus"] = "⩱";
utf82macro["⩱"] = "eplus";
-macro2utf8["ap"] = "≈";
-utf82macro["≈"] = "ap";
+macro2utf8["ap"] = "≈";
+utf82macro["≈"] = "ap";
macro2utf8["dlcorn"] = "⌞";
utf82macro["⌞"] = "dlcorn";
macro2utf8["backsim"] = "∽";
utf82macro["⊬"] = "nvdash";
macro2utf8["NotSuperset"] = "⊅";
utf82macro["⊅"] = "NotSuperset";
-macro2utf8["DoubleUpArrow"] = "⇑";
-utf82macro["⇑"] = "DoubleUpArrow";
-macro2utf8["land"] = "∧";
-utf82macro["∧"] = "land";
+macro2utf8["DoubleUpArrow"] = "⇑";
+utf82macro["⇑"] = "DoubleUpArrow";
+macro2utf8["land"] = "∧";
+utf82macro["∧"] = "land";
macro2utf8["topfork"] = "⫚";
utf82macro["⫚"] = "topfork";
macro2utf8["llhard"] = "⥫";
utf82macro["⥫"] = "llhard";
macro2utf8["apos"] = "'";
utf82macro["'"] = "apos";
-macro2utf8["oslash"] = "ø";
-utf82macro["ø"] = "oslash";
-macro2utf8["lang"] = "⟨";
-utf82macro["⟨"] = "lang";
+macro2utf8["oslash"] = "ø";
+utf82macro["ø"] = "oslash";
+macro2utf8["lang"] = "〈";
+utf82macro["〈"] = "lang";
macro2utf8["bernou"] = "ℬ";
utf82macro["ℬ"] = "bernou";
macro2utf8["varrho"] = "ϱ";
utf82macro["ϱ"] = "varrho";
macro2utf8["rcub"] = "}";
utf82macro["}"] = "rcub";
-macro2utf8["Cedilla"] = "¸";
-utf82macro["¸"] = "Cedilla";
+macro2utf8["Cedilla"] = "¸";
+utf82macro["¸"] = "Cedilla";
macro2utf8["ApplyFunction"] = "⁡";
utf82macro["⁡"] = "ApplyFunction";
macro2utf8["nsce"] = "⪰̸";
utf82macro["⪰̸"] = "nsce";
macro2utf8["gscr"] = "ℊ";
utf82macro["ℊ"] = "gscr";
-macro2utf8["imagpart"] = "ℑ";
-utf82macro["ℑ"] = "imagpart";
+macro2utf8["imagpart"] = "ℑ";
+utf82macro["ℑ"] = "imagpart";
macro2utf8["ngtr"] = "≯";
utf82macro["≯"] = "ngtr";
macro2utf8["nsc"] = "⊁";