X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fmatita%2Futf8MacroTable.js;fp=matitaB%2Fmatita%2Futf8MacroTable.js;h=19df800027d4275f2d76dde2925bdb5230205395;hb=e499c2e36d8a39c4749b8e0e34438b49532d15b8;hp=a8ea98f50aa405c73b05d2bb5cebcbb493ada006;hpb=11a20b624a4b5ed18008678cf6cd46dd9a32634d;p=helm.git diff --git a/matitaB/matita/utf8MacroTable.js b/matitaB/matita/utf8MacroTable.js index a8ea98f50..19df80002 100644 --- a/matitaB/matita/utf8MacroTable.js +++ b/matitaB/matita/utf8MacroTable.js @@ -57,8 +57,8 @@ macro2utf8["NotRightTriangleEqual"] = "⋭"; utf82macro["⋭"] = "NotRightTriangleEqual"; macro2utf8["filig"] = "fi"; utf82macro["fi"] = "filig"; -macro2utf8["atilde"] = "ã"; -utf82macro["ã"] = "atilde"; +macro2utf8["atilde"] = "ã"; +utf82macro["ã"] = "atilde"; macro2utf8["ring"] = "˚"; utf82macro["˚"] = "ring"; macro2utf8["congdot"] = "⩭"; @@ -103,14 +103,14 @@ macro2utf8["ycirc"] = "ŷ"; 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"] = "≫"; @@ -135,8 +135,8 @@ macro2utf8["excl"] = "!"; utf82macro["!"] = "excl"; macro2utf8["cdots"] = "⋯"; utf82macro["⋯"] = "cdots"; -macro2utf8["larr"] = "←"; -utf82macro["←"] = "larr"; +macro2utf8["larr"] = "←"; +utf82macro["←"] = "larr"; macro2utf8["dtdot"] = "⋱"; utf82macro["⋱"] = "dtdot"; macro2utf8["kgreen"] = "ĸ"; @@ -147,20 +147,20 @@ macro2utf8["rbarr"] = "⤍"; 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"] = "⩍"; @@ -207,34 +207,34 @@ macro2utf8["vert"] = "|"; 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"] = "⨒"; @@ -273,8 +273,8 @@ macro2utf8["LeftUpDownVector"] = "⥑"; utf82macro["⥑"] = "LeftUpDownVector"; macro2utf8["questeq"] = "≟"; utf82macro["≟"] = "questeq"; -macro2utf8["leftarrow"] = "←"; -utf82macro["←"] = "leftarrow"; +macro2utf8["leftarrow"] = "←"; +utf82macro["←"] = "leftarrow"; macro2utf8["Ycy"] = "Ы"; utf82macro["Ы"] = "Ycy"; macro2utf8["Coproduct"] = "∐"; @@ -285,14 +285,14 @@ macro2utf8["boxdl"] = "┐"; 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"] = "⋒"; @@ -301,22 +301,22 @@ macro2utf8["swarhk"] = "⤦"; 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"] = "Ω"; @@ -329,8 +329,8 @@ macro2utf8["DoubleLongLeftArrow"] = ""; utf82macro[""] = "DoubleLongLeftArrow"; macro2utf8["Ncy"] = "Н"; utf82macro["Н"] = "Ncy"; -macro2utf8["nabla"] = "∇"; -utf82macro["∇"] = "nabla"; +macro2utf8["nabla"] = "∇"; +utf82macro["∇"] = "nabla"; macro2utf8["ltcir"] = "⩹"; utf82macro["⩹"] = "ltcir"; macro2utf8["ll"] = "≪"; @@ -341,22 +341,22 @@ macro2utf8["rmoust"] = "⎱"; 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"] = "≄"; @@ -373,8 +373,8 @@ macro2utf8["looparrowright"] = "↬"; utf82macro["↬"] = "looparrowright"; macro2utf8["yucy"] = "ю"; utf82macro["ю"] = "yucy"; -macro2utf8["trade"] = "™"; -utf82macro["™"] = "trade"; +macro2utf8["trade"] = "™"; +utf82macro["™"] = "trade"; macro2utf8["Yfr"] = "𝔜"; utf82macro["𝔜"] = "Yfr"; macro2utf8["kjcy"] = "ќ"; @@ -389,38 +389,38 @@ macro2utf8["ncap"] = "⩃"; 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"] = "⤒"; @@ -431,8 +431,8 @@ macro2utf8["RightArrowBar"] = "⇥"; utf82macro["⇥"] = "RightArrowBar"; macro2utf8["LongLeftArrow"] = ""; utf82macro[""] = "LongLeftArrow"; -macro2utf8["rceil"] = "⌉"; -utf82macro["⌉"] = "rceil"; +macro2utf8["rceil"] = "⌉"; +utf82macro["⌉"] = "rceil"; macro2utf8["LeftDownVectorBar"] = "⥙"; utf82macro["⥙"] = "LeftDownVectorBar"; macro2utf8["umacr"] = "ū"; @@ -449,16 +449,16 @@ macro2utf8["boxhd"] = "┬"; 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"] = "⥦"; @@ -469,8 +469,8 @@ macro2utf8["preceq"] = "⪯"; utf82macro["⪯"] = "preceq"; macro2utf8["LeftTee"] = "⊣"; utf82macro["⊣"] = "LeftTee"; -macro2utf8["div"] = "÷"; -utf82macro["÷"] = "div"; +macro2utf8["div"] = "÷"; +utf82macro["÷"] = "div"; macro2utf8["nVDash"] = "⊯"; utf82macro["⊯"] = "nVDash"; macro2utf8["kopf"] = "𝕜"; @@ -487,8 +487,8 @@ macro2utf8["boxhu"] = "┴"; utf82macro["┴"] = "boxhu"; macro2utf8["ominus"] = "⊖"; utf82macro["⊖"] = "ominus"; -macro2utf8["or"] = "∨"; -utf82macro["∨"] = "or"; +macro2utf8["or"] = "∨"; +utf82macro["∨"] = "or"; macro2utf8["lesdot"] = "⩿"; utf82macro["⩿"] = "lesdot"; macro2utf8["RightVectorBar"] = "⥓"; @@ -509,18 +509,18 @@ macro2utf8["nltri"] = "⋪"; 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"] = "у"; @@ -531,8 +531,8 @@ macro2utf8["Cfr"] = "ℭ"; utf82macro["ℭ"] = "Cfr"; macro2utf8["yopf"] = "𝕪"; utf82macro["𝕪"] = "yopf"; -macro2utf8["Otilde"] = "Õ"; -utf82macro["Õ"] = "Otilde"; +macro2utf8["Otilde"] = "Õ"; +utf82macro["Õ"] = "Otilde"; macro2utf8["ntriangleleft"] = "⋪"; utf82macro["⋪"] = "ntriangleleft"; macro2utf8["pr"] = "≺"; @@ -543,22 +543,22 @@ macro2utf8["midcir"] = "⫰"; 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"] = ""; @@ -569,8 +569,8 @@ macro2utf8["gammad"] = "Ϝ"; utf82macro["Ϝ"] = "gammad"; macro2utf8["epsiv"] = "ɛ"; utf82macro["ɛ"] = "epsiv"; -macro2utf8["notinva"] = "∉̸"; -utf82macro["∉̸"] = "notinva"; +macro2utf8["notinva"] = "∉̸"; +utf82macro["∉̸"] = "notinva"; macro2utf8["notinvb"] = "⋷"; utf82macro["⋷"] = "notinvb"; macro2utf8["eqvparsl"] = "⧥"; @@ -601,8 +601,8 @@ macro2utf8["submult"] = "⫁"; utf82macro["⫁"] = "submult"; macro2utf8["iiota"] = "℩"; utf82macro["℩"] = "iiota"; -macro2utf8["lceil"] = "⌈"; -utf82macro["⌈"] = "lceil"; +macro2utf8["lceil"] = "⌈"; +utf82macro["⌈"] = "lceil"; macro2utf8["omacr"] = "ō"; utf82macro["ō"] = "omacr"; macro2utf8["gneqq"] = "≩"; @@ -617,12 +617,12 @@ macro2utf8["Square"] = "□"; 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"] = "ℓ"; @@ -635,24 +635,24 @@ macro2utf8["sc"] = "≻"; 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"] = "⊈"; @@ -669,16 +669,16 @@ macro2utf8["capbrcup"] = "⩉"; 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"] = "𝓏"; @@ -693,32 +693,32 @@ macro2utf8["RBarr"] = "⤐"; 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"] = "ш"; @@ -741,8 +741,8 @@ macro2utf8["precnsim"] = "⋨"; utf82macro["⋨"] = "precnsim"; macro2utf8["ord"] = "⩝"; utf82macro["⩝"] = "ord"; -macro2utf8["real"] = "ℜ"; -utf82macro["ℜ"] = "real"; +macro2utf8["real"] = "ℜ"; +utf82macro["ℜ"] = "real"; macro2utf8["nexists"] = "∄"; utf82macro["∄"] = "nexists"; macro2utf8["nsup"] = "⊅"; @@ -751,10 +751,10 @@ macro2utf8["zhcy"] = "ж"; 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"] = "⊎"; @@ -765,16 +765,16 @@ macro2utf8["GreaterSlantEqual"] = "⩾"; 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"] = "⌃︀"; @@ -783,10 +783,10 @@ macro2utf8["searhk"] = "⤥"; 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"] = "≀"; @@ -813,8 +813,8 @@ macro2utf8["rect"] = "▭"; utf82macro["▭"] = "rect"; macro2utf8["Fouriertrf"] = "ℱ"; utf82macro["ℱ"] = "Fouriertrf"; -macro2utf8["xi"] = "ξ"; -utf82macro["ξ"] = "xi"; +macro2utf8["xi"] = "ξ"; +utf82macro["ξ"] = "xi"; macro2utf8["NotTilde"] = "≁"; utf82macro["≁"] = "NotTilde"; macro2utf8["gbreve"] = "ğ"; @@ -827,52 +827,52 @@ macro2utf8["nhArr"] = "⇎"; 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"] = "〕"; @@ -951,46 +951,46 @@ macro2utf8["NotNestedGreaterGreater"] = "⒢̸"; 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"] = "ě"; @@ -1021,8 +1021,8 @@ macro2utf8["nvDash"] = "⊭"; utf82macro["⊭"] = "nvDash"; macro2utf8["NotGreaterFullEqual"] = "≰"; utf82macro["≰"] = "NotGreaterFullEqual"; -macro2utf8["uparrow"] = "↑"; -utf82macro["↑"] = "uparrow"; +macro2utf8["uparrow"] = "↑"; +utf82macro["↑"] = "uparrow"; macro2utf8["nsupset"] = "⊅"; utf82macro["⊅"] = "nsupset"; macro2utf8["simeq"] = "≃"; @@ -1033,44 +1033,44 @@ macro2utf8["RightTriangle"] = "⊳"; 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"] = "𝔢"; @@ -1083,12 +1083,12 @@ macro2utf8["lneq"] = "≨"; 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"] = "⊢"; @@ -1123,22 +1123,22 @@ macro2utf8["reals"] = "ℝ"; 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"] = "Д"; @@ -1177,8 +1177,8 @@ macro2utf8["angmsdac"] = "⦪"; utf82macro["⦪"] = "angmsdac"; macro2utf8["xdtri"] = "▽"; utf82macro["▽"] = "xdtri"; -macro2utf8["iota"] = "ι"; -utf82macro["ι"] = "iota"; +macro2utf8["iota"] = "ι"; +utf82macro["ι"] = "iota"; macro2utf8["angmsdad"] = "⦫"; utf82macro["⦫"] = "angmsdad"; macro2utf8["angmsdae"] = "⦬"; @@ -1187,8 +1187,8 @@ macro2utf8["rightarrowtail"] = "↣"; utf82macro["↣"] = "rightarrowtail"; macro2utf8["angmsdaf"] = "⦭"; utf82macro["⦭"] = "angmsdaf"; -macro2utf8["Ocirc"] = "Ô"; -utf82macro["Ô"] = "Ocirc"; +macro2utf8["Ocirc"] = "Ô"; +utf82macro["Ô"] = "Ocirc"; macro2utf8["angmsdag"] = "⦮"; utf82macro["⦮"] = "angmsdag"; macro2utf8["Ofr"] = "𝔒"; @@ -1197,42 +1197,42 @@ macro2utf8["maltese"] = "✠"; 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"] = ""; @@ -1245,8 +1245,8 @@ macro2utf8["CounterClockwiseContourIntegral"] = "∳"; utf82macro["∳"] = "CounterClockwiseContourIntegral"; macro2utf8["urcrop"] = "⌎"; utf82macro["⌎"] = "urcrop"; -macro2utf8["RightAngleBracket"] = "⟩"; -utf82macro["⟩"] = "RightAngleBracket"; +macro2utf8["RightAngleBracket"] = "〉"; +utf82macro["〉"] = "RightAngleBracket"; macro2utf8["Rcaron"] = "Ř"; utf82macro["Ř"] = "Rcaron"; macro2utf8["latail"] = "⤙"; @@ -1277,12 +1277,12 @@ macro2utf8["gEl"] = "⋛"; 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"] = "⌞"; @@ -1291,10 +1291,10 @@ macro2utf8["boxH"] = "═"; 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"] = "⇋"; @@ -1303,16 +1303,16 @@ macro2utf8["ncong"] = "≇"; 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"] = "ℓ"; @@ -1325,10 +1325,10 @@ macro2utf8["NotGreater"] = "≯"; 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"] = "⪦"; @@ -1341,10 +1341,10 @@ macro2utf8["kcy"] = "к"; 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"] = "⨷"; @@ -1355,16 +1355,16 @@ macro2utf8["ltdot"] = "⋖"; 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"] = "ℭ"; @@ -1427,12 +1427,12 @@ macro2utf8["vsubne"] = "⊊︀"; 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"] = "⋺"; @@ -1445,8 +1445,8 @@ macro2utf8["nprec"] = "⊀"; utf82macro["⊀"] = "nprec"; macro2utf8["ltrPar"] = "⦖"; utf82macro["⦖"] = "ltrPar"; -macro2utf8["Scaron"] = "Š"; -utf82macro["Š"] = "Scaron"; +macro2utf8["Scaron"] = "Š"; +utf82macro["Š"] = "Scaron"; macro2utf8["InvisibleComma"] = "​"; utf82macro["​"] = "InvisibleComma"; macro2utf8["SquareUnion"] = "⊔"; @@ -1455,48 +1455,48 @@ macro2utf8["ffllig"] = "ffl"; 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"] = "↖"; @@ -1517,14 +1517,14 @@ macro2utf8["UnderParenthesis"] = "︶"; 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"] = "⅓"; @@ -1535,8 +1535,8 @@ macro2utf8["NestedLessLess"] = "≪"; utf82macro["≪"] = "NestedLessLess"; macro2utf8["llarr"] = "⇇"; utf82macro["⇇"] = "llarr"; -macro2utf8["frac14"] = "¼"; -utf82macro["¼"] = "frac14"; +macro2utf8["frac14"] = "¼"; +utf82macro["¼"] = "frac14"; macro2utf8["frac15"] = "⅕"; utf82macro["⅕"] = "frac15"; macro2utf8["Ropf"] = "ℝ"; @@ -1547,14 +1547,14 @@ macro2utf8["lrtri"] = "⊿"; 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"] = "↼"; @@ -1569,8 +1569,8 @@ macro2utf8["notnivc"] = "⋽"; utf82macro["⋽"] = "notnivc"; macro2utf8["Yopf"] = "𝕐"; utf82macro["𝕐"] = "Yopf"; -macro2utf8["there4"] = "∴"; -utf82macro["∴"] = "there4"; +macro2utf8["there4"] = "∴"; +utf82macro["∴"] = "there4"; macro2utf8["udarr"] = "⇅"; utf82macro["⇅"] = "udarr"; macro2utf8["bkarow"] = "⤍"; @@ -1583,42 +1583,42 @@ macro2utf8["njcy"] = "њ"; 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"] = "ℏ︀"; @@ -1635,10 +1635,10 @@ macro2utf8["mapstoup"] = "↥"; 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"] = "Ť"; @@ -1651,8 +1651,8 @@ macro2utf8["Emacr"] = "Ē"; utf82macro["Ē"] = "Emacr"; macro2utf8["omid"] = "⦶"; utf82macro["⦶"] = "omid"; -macro2utf8["spades"] = "♠"; -utf82macro["♠"] = "spades"; +macro2utf8["spades"] = "♠"; +utf82macro["♠"] = "spades"; macro2utf8["naturals"] = "ℕ"; utf82macro["ℕ"] = "naturals"; macro2utf8["Lscr"] = "ℒ"; @@ -1663,8 +1663,8 @@ macro2utf8["SucceedsTilde"] = "≿"; utf82macro["≿"] = "SucceedsTilde"; macro2utf8["frac45"] = "⅘"; utf82macro["⅘"] = "frac45"; -macro2utf8["clubsuit"] = "♣"; -utf82macro["♣"] = "clubsuit"; +macro2utf8["clubsuit"] = "♣"; +utf82macro["♣"] = "clubsuit"; macro2utf8["mumap"] = "⊸"; utf82macro["⊸"] = "mumap"; macro2utf8["vltri"] = "⊲"; @@ -1673,8 +1673,8 @@ macro2utf8["LeftArrowBar"] = "⇤"; utf82macro["⇤"] = "LeftArrowBar"; macro2utf8["zacute"] = "ź"; utf82macro["ź"] = "zacute"; -macro2utf8["szlig"] = "ß"; -utf82macro["ß"] = "szlig"; +macro2utf8["szlig"] = "ß"; +utf82macro["ß"] = "szlig"; macro2utf8["suplarr"] = "⥻"; utf82macro["⥻"] = "suplarr"; macro2utf8["RightDownVector"] = "⇂"; @@ -1693,18 +1693,18 @@ macro2utf8["YIcy"] = "Ї"; 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"] = "⅚"; @@ -1713,30 +1713,30 @@ macro2utf8["numero"] = "№"; 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["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"] = "𝒶"; @@ -1745,8 +1745,8 @@ macro2utf8["plustwo"] = "⨧"; utf82macro["⨧"] = "plustwo"; macro2utf8["Utilde"] = "Ũ"; utf82macro["Ũ"] = "Utilde"; -macro2utf8["lambda"] = "λ"; -utf82macro["λ"] = "lambda"; +macro2utf8["lambda"] = "λ"; +utf82macro["λ"] = "lambda"; macro2utf8["odash"] = "⊝"; utf82macro["⊝"] = "odash"; macro2utf8["iukcy"] = "і"; @@ -1759,8 +1759,8 @@ macro2utf8["Longleftarrow"] = "????"; utf82macro["????"] = "Longleftarrow"; macro2utf8["capcap"] = "⩋"; utf82macro["⩋"] = "capcap"; -macro2utf8["ocirc"] = "ô"; -utf82macro["ô"] = "ocirc"; +macro2utf8["ocirc"] = "ô"; +utf82macro["ô"] = "ocirc"; macro2utf8["nless"] = "≮"; utf82macro["≮"] = "nless"; macro2utf8["Wedge"] = "⋀"; @@ -1785,8 +1785,8 @@ macro2utf8["tanh"] = "tanh"; utf82macro["tanh"] = "tanh"; macro2utf8["frac78"] = "⅞"; utf82macro["⅞"] = "frac78"; -macro2utf8["Atilde"] = "Ã"; -utf82macro["Ã"] = "Atilde"; +macro2utf8["Atilde"] = "Ã"; +utf82macro["Ã"] = "Atilde"; macro2utf8["arcsin"] = "arcsin"; utf82macro["arcsin"] = "arcsin"; macro2utf8["Rcedil"] = "Ŗ"; @@ -1801,8 +1801,8 @@ macro2utf8["simg"] = "⪞"; utf82macro["⪞"] = "simg"; macro2utf8["Conint"] = "∯"; utf82macro["∯"] = "Conint"; -macro2utf8["Yuml"] = "Ÿ"; -utf82macro["Ÿ"] = "Yuml"; +macro2utf8["Yuml"] = "Ÿ"; +utf82macro["Ÿ"] = "Yuml"; macro2utf8["rlhar"] = "⇌"; utf82macro["⇌"] = "rlhar"; macro2utf8["rarrbfs"] = "⤠"; @@ -1813,10 +1813,10 @@ macro2utf8["DownRightVectorBar"] = "⥗"; 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"] = "⥞"; @@ -1827,8 +1827,8 @@ macro2utf8["SHCHcy"] = "Щ"; utf82macro["Щ"] = "SHCHcy"; macro2utf8["cirmid"] = "⫯"; utf82macro["⫯"] = "cirmid"; -macro2utf8["sigmav"] = "ς"; -utf82macro["ς"] = "sigmav"; +macro2utf8["sigmav"] = "ς"; +utf82macro["ς"] = "sigmav"; macro2utf8["csub"] = "⫏"; utf82macro["⫏"] = "csub"; macro2utf8["npar"] = "∦"; @@ -1845,12 +1845,12 @@ macro2utf8["lharul"] = "⥪"; 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"] = "⩳"; @@ -1887,20 +1887,20 @@ macro2utf8["DownBreve"] = "̑"; 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"] = "⋝"; @@ -1913,8 +1913,8 @@ macro2utf8["DiacriticalGrave"] = "`"; utf82macro["`"] = "DiacriticalGrave"; macro2utf8["NotPrecedesEqual"] = "⪯̸"; utf82macro["⪯̸"] = "NotPrecedesEqual"; -macro2utf8["RightArrow"] = "→"; -utf82macro["→"] = "RightArrow"; +macro2utf8["RightArrow"] = "→"; +utf82macro["→"] = "RightArrow"; macro2utf8["race"] = "⧚"; utf82macro["⧚"] = "race"; macro2utf8["topbot"] = "⌶"; @@ -1927,8 +1927,8 @@ macro2utf8["Sacute"] = "Ś"; utf82macro["Ś"] = "Sacute"; macro2utf8["cupor"] = "⩅"; utf82macro["⩅"] = "cupor"; -macro2utf8["OverBar"] = "¯"; -utf82macro["¯"] = "OverBar"; +macro2utf8["OverBar"] = "¯"; +utf82macro["¯"] = "OverBar"; macro2utf8["bepsi"] = "϶"; utf82macro["϶"] = "bepsi"; macro2utf8["plankv"] = "ℏ"; @@ -1937,28 +1937,28 @@ macro2utf8["lap"] = "≲"; 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"] = "⥮"; @@ -1969,20 +1969,20 @@ macro2utf8["subsub"] = "⫕"; 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"] = "????"; @@ -2009,14 +2009,14 @@ macro2utf8["HARDcy"] = "Ъ"; 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"] = "⫔"; @@ -2037,10 +2037,10 @@ macro2utf8["ccirc"] = "ĉ"; 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"] = "▾"; @@ -2063,8 +2063,8 @@ macro2utf8["eqslantless"] = "⋜"; utf82macro["⋜"] = "eqslantless"; macro2utf8["coprod"] = "∐"; utf82macro["∐"] = "coprod"; -macro2utf8["OpenCurlyDoubleQuote"] = "“"; -utf82macro["“"] = "OpenCurlyDoubleQuote"; +macro2utf8["OpenCurlyDoubleQuote"] = "“"; +utf82macro["“"] = "OpenCurlyDoubleQuote"; macro2utf8["NotGreaterSlantEqual"] = "≱"; utf82macro["≱"] = "NotGreaterSlantEqual"; macro2utf8["solb"] = "⧄"; @@ -2085,14 +2085,14 @@ macro2utf8["gnapprox"] = "⪊"; 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"] = "⩽"; @@ -2151,14 +2151,14 @@ macro2utf8["nvap"] = "≉̸"; 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"] = "В"; @@ -2175,8 +2175,8 @@ macro2utf8["lesdoto"] = "⪁"; utf82macro["⪁"] = "lesdoto"; macro2utf8["NotSquareSubset"] = "⊏̸"; utf82macro["⊏̸"] = "NotSquareSubset"; -macro2utf8["bullet"] = "•"; -utf82macro["•"] = "bullet"; +macro2utf8["bullet"] = "•"; +utf82macro["•"] = "bullet"; macro2utf8["rarrsim"] = "⥴"; utf82macro["⥴"] = "rarrsim"; macro2utf8["Tcedil"] = "Ţ"; @@ -2185,8 +2185,8 @@ macro2utf8["Hstrok"] = "Ħ"; utf82macro["Ħ"] = "Hstrok"; macro2utf8["eopf"] = "𝕖"; utf82macro["𝕖"] = "eopf"; -macro2utf8["Theta"] = "Θ"; -utf82macro["Θ"] = "Theta"; +macro2utf8["Theta"] = "Θ"; +utf82macro["Θ"] = "Theta"; macro2utf8["Cscr"] = "𝒞"; utf82macro["𝒞"] = "Cscr"; macro2utf8["emacr"] = "ē"; @@ -2199,10 +2199,10 @@ macro2utf8["arctan"] = "arctan"; 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"] = "↫"; @@ -2221,8 +2221,8 @@ macro2utf8["osol"] = "⊘"; utf82macro["⊘"] = "osol"; macro2utf8["lbrack"] = "["; utf82macro["["] = "lbrack"; -macro2utf8["hArr"] = "⇔"; -utf82macro["⇔"] = "hArr"; +macro2utf8["hArr"] = "⇔"; +utf82macro["⇔"] = "hArr"; macro2utf8["vdash"] = "⊢"; utf82macro["⊢"] = "vdash"; macro2utf8["UpDownArrow"] = "↕"; @@ -2239,8 +2239,8 @@ macro2utf8["Qscr"] = "𝒬"; utf82macro["𝒬"] = "Qscr"; macro2utf8["Gammad"] = "Ϝ"; utf82macro["Ϝ"] = "Gammad"; -macro2utf8["SubsetEqual"] = "⊆"; -utf82macro["⊆"] = "SubsetEqual"; +macro2utf8["SubsetEqual"] = "⊆"; +utf82macro["⊆"] = "SubsetEqual"; macro2utf8["uplus"] = "⊎"; utf82macro["⊎"] = "uplus"; macro2utf8["LeftTriangle"] = "⊲"; @@ -2253,8 +2253,8 @@ macro2utf8["triangleright"] = "▹"; utf82macro["▹"] = "triangleright"; macro2utf8["angrt"] = "∟"; utf82macro["∟"] = "angrt"; -macro2utf8["rfloor"] = "⌋"; -utf82macro["⌋"] = "rfloor"; +macro2utf8["rfloor"] = "⌋"; +utf82macro["⌋"] = "rfloor"; macro2utf8["bigtriangledown"] = "▽"; utf82macro["▽"] = "bigtriangledown"; macro2utf8["ofcir"] = "⦿"; @@ -2279,42 +2279,42 @@ macro2utf8["downharpoonright"] = "⇂"; 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"] = "𝒻"; @@ -2325,14 +2325,14 @@ macro2utf8["veeeq"] = "≚"; 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"] = "∢"; @@ -2359,16 +2359,16 @@ macro2utf8["larrpl"] = "⤹"; 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"] = ""; @@ -2377,10 +2377,10 @@ macro2utf8["xcup"] = "⋃"; 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"] = "є"; @@ -2397,24 +2397,24 @@ macro2utf8["lpar"] = "("; 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"] = "⫱"; @@ -2435,10 +2435,10 @@ macro2utf8["Lleftarrow"] = "⇚"; 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"] = "⨌"; @@ -2449,8 +2449,8 @@ macro2utf8["lne"] = "≨"; utf82macro["≨"] = "lne"; macro2utf8["LessSlantEqual"] = "⩽"; utf82macro["⩽"] = "LessSlantEqual"; -macro2utf8["Egrave"] = "È"; -utf82macro["È"] = "Egrave"; +macro2utf8["Egrave"] = "È"; +utf82macro["È"] = "Egrave"; macro2utf8["orderof"] = "ℴ"; utf82macro["ℴ"] = "orderof"; macro2utf8["cirE"] = "⧃"; @@ -2483,30 +2483,30 @@ macro2utf8["VeryThinSpace"] = " "; 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"] = "≗"; @@ -2519,18 +2519,18 @@ macro2utf8["rbrkslu"] = "⦐"; 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"] = "↾"; @@ -2549,8 +2549,8 @@ macro2utf8["apE"] = "≊"; utf82macro["≊"] = "apE"; macro2utf8["sung"] = "♪"; utf82macro["♪"] = "sung"; -macro2utf8["geq"] = "≥"; -utf82macro["≥"] = "geq"; +macro2utf8["geq"] = "≥"; +utf82macro["≥"] = "geq"; macro2utf8["succsim"] = "≿"; utf82macro["≿"] = "succsim"; macro2utf8["ges"] = "⩾"; @@ -2559,24 +2559,24 @@ macro2utf8["Gbreve"] = "Ğ"; 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"] = "↫"; @@ -2591,10 +2591,10 @@ macro2utf8["rharu"] = "⇀"; 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"] = "𝔤"; @@ -2605,12 +2605,12 @@ macro2utf8["jcirc"] = "ĵ"; 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"] = "⊞"; @@ -2627,28 +2627,28 @@ macro2utf8["dollar"] = "$"; 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"] = "ℙ"; @@ -2661,8 +2661,8 @@ macro2utf8["nLl"] = "⋘̸"; utf82macro["⋘̸"] = "nLl"; macro2utf8["lozf"] = "⧫"; utf82macro["⧫"] = "lozf"; -macro2utf8["ShortLeftArrow"] = "←︀"; -utf82macro["←︀"] = "ShortLeftArrow"; +macro2utf8["ShortLeftArrow"] = "←︀"; +utf82macro["←︀"] = "ShortLeftArrow"; macro2utf8["nLt"] = "≪̸"; utf82macro["≪̸"] = "nLt"; macro2utf8["lesdotor"] = "⪃"; @@ -2681,14 +2681,14 @@ macro2utf8["iprod"] = "⨼"; 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"; @@ -2711,12 +2711,12 @@ macro2utf8["triangle"] = "▵"; 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"] = "⇊"; @@ -2741,22 +2741,22 @@ macro2utf8["lharu"] = "↼"; 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"] = "𝕌"; @@ -2789,16 +2789,16 @@ macro2utf8["VDash"] = "⊫"; 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"] = "⧤"; @@ -2807,12 +2807,12 @@ macro2utf8["rarrb"] = "⇥"; 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"] = "𝕔"; @@ -2823,8 +2823,8 @@ macro2utf8["cwconint"] = "∲"; utf82macro["∲"] = "cwconint"; macro2utf8["Ascr"] = "𝒜"; utf82macro["𝒜"] = "Ascr"; -macro2utf8["NegativeThinSpace"] = " ︀"; -utf82macro[" ︀"] = "NegativeThinSpace"; +macro2utf8["NegativeThinSpace"] = " ︀"; +utf82macro[" ︀"] = "NegativeThinSpace"; macro2utf8["varsubsetneq"] = "⊊︀"; utf82macro["⊊︀"] = "varsubsetneq"; macro2utf8["trisb"] = "⧍"; @@ -2851,18 +2851,18 @@ macro2utf8["doteq"] = "≐"; 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"] = "↾"; @@ -2891,8 +2891,8 @@ macro2utf8["xfr"] = "𝔵"; utf82macro["𝔵"] = "xfr"; macro2utf8["gne"] = "≩"; utf82macro["≩"] = "gne"; -macro2utf8["Ccedil"] = "Ç"; -utf82macro["Ç"] = "Ccedil"; +macro2utf8["Ccedil"] = "Ç"; +utf82macro["Ç"] = "Ccedil"; macro2utf8["nlarr"] = "↚"; utf82macro["↚"] = "nlarr"; macro2utf8["inodot"] = "ı"; @@ -2901,8 +2901,8 @@ macro2utf8["prec"] = "≺"; utf82macro["≺"] = "prec"; macro2utf8["percnt"] = "%"; utf82macro["%"] = "percnt"; -macro2utf8["Exists"] = "∃"; -utf82macro["∃"] = "Exists"; +macro2utf8["Exists"] = "∃"; +utf82macro["∃"] = "Exists"; macro2utf8["bcy"] = "б"; utf82macro["б"] = "bcy"; macro2utf8["xopf"] = "𝕩"; @@ -2917,8 +2917,8 @@ macro2utf8["Vscr"] = "𝒱"; utf82macro["𝒱"] = "Vscr"; macro2utf8["Zcaron"] = "Ž"; utf82macro["Ž"] = "Zcaron"; -macro2utf8["ReverseElement"] = "∋"; -utf82macro["∋"] = "ReverseElement"; +macro2utf8["ReverseElement"] = "∋"; +utf82macro["∋"] = "ReverseElement"; macro2utf8["npolint"] = "⨔"; utf82macro["⨔"] = "npolint"; macro2utf8["NotGreaterTilde"] = "≵"; @@ -2957,8 +2957,8 @@ macro2utf8["larrbfs"] = "⤟"; utf82macro["⤟"] = "larrbfs"; macro2utf8["HilbertSpace"] = "ℋ"; utf82macro["ℋ"] = "HilbertSpace"; -macro2utf8["otilde"] = "õ"; -utf82macro["õ"] = "otilde"; +macro2utf8["otilde"] = "õ"; +utf82macro["õ"] = "otilde"; macro2utf8["larrb"] = "⇤"; utf82macro["⇤"] = "larrb"; macro2utf8["wcirc"] = "ŵ"; @@ -2999,14 +2999,14 @@ macro2utf8["cularr"] = "↶"; 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"] = "ļ"; @@ -3029,8 +3029,8 @@ macro2utf8["tprime"] = "‴"; utf82macro["‴"] = "tprime"; macro2utf8["precneqq"] = "⪵"; utf82macro["⪵"] = "precneqq"; -macro2utf8["Downarrow"] = "⇓"; -utf82macro["⇓"] = "Downarrow"; +macro2utf8["Downarrow"] = "⇓"; +utf82macro["⇓"] = "Downarrow"; macro2utf8["rsh"] = "↱"; utf82macro["↱"] = "rsh"; macro2utf8["mid"] = "∣"; @@ -3049,8 +3049,8 @@ macro2utf8["yscr"] = "𝓎"; utf82macro["𝓎"] = "yscr"; macro2utf8["subdot"] = "⪽"; utf82macro["⪽"] = "subdot"; -macro2utf8["ShortRightArrow"] = "→︀"; -utf82macro["→︀"] = "ShortRightArrow"; +macro2utf8["ShortRightArrow"] = "→︀"; +utf82macro["→︀"] = "ShortRightArrow"; macro2utf8["NotCongruent"] = "≢"; utf82macro["≢"] = "NotCongruent"; macro2utf8["Gg"] = "⋙"; @@ -3065,8 +3065,8 @@ macro2utf8["rarrap"] = "⥵"; utf82macro["⥵"] = "rarrap"; macro2utf8["NotLessSlantEqual"] = "≰"; utf82macro["≰"] = "NotLessSlantEqual"; -macro2utf8["DoubleRightArrow"] = "⇒"; -utf82macro["⇒"] = "DoubleRightArrow"; +macro2utf8["DoubleRightArrow"] = "⇒"; +utf82macro["⇒"] = "DoubleRightArrow"; macro2utf8["Wfr"] = "𝔚"; utf82macro["𝔚"] = "Wfr"; macro2utf8["subrarr"] = "⥹"; @@ -3077,16 +3077,16 @@ macro2utf8["khcy"] = "х"; 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"] = "≫"; @@ -3105,32 +3105,32 @@ macro2utf8["capdot"] = "⩀"; 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"] = "≦"; @@ -3141,24 +3141,24 @@ macro2utf8["supsetneqq"] = "⊋"; 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"] = "⋐"; @@ -3171,8 +3171,8 @@ macro2utf8["ltimes"] = "⋉"; utf82macro["⋉"] = "ltimes"; macro2utf8["seswar"] = "⤩"; utf82macro["⤩"] = "seswar"; -macro2utf8["part"] = "∂"; -utf82macro["∂"] = "part"; +macro2utf8["part"] = "∂"; +utf82macro["∂"] = "part"; macro2utf8["bumpE"] = "⪮"; utf82macro["⪮"] = "bumpE"; macro2utf8["minusd"] = "∸"; @@ -3197,10 +3197,10 @@ macro2utf8["prnE"] = "⪵"; 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"] = "↙"; @@ -3217,16 +3217,16 @@ macro2utf8["succnsim"] = "⋩"; 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"] = "⋑"; @@ -3241,8 +3241,8 @@ macro2utf8["boxDr"] = "╓"; utf82macro["╓"] = "boxDr"; macro2utf8["plus"] = "+"; utf82macro["+"] = "plus"; -macro2utf8["ddagger"] = "‡"; -utf82macro["‡"] = "ddagger"; +macro2utf8["ddagger"] = "‡"; +utf82macro["‡"] = "ddagger"; macro2utf8["Vdashl"] = "⫦"; utf82macro["⫦"] = "Vdashl"; macro2utf8["equest"] = "≟"; @@ -3253,8 +3253,8 @@ macro2utf8["divideontimes"] = "⋇"; utf82macro["⋇"] = "divideontimes"; macro2utf8["nsmid"] = "∤︀"; utf82macro["∤︀"] = "nsmid"; -macro2utf8["fnof"] = "ƒ"; -utf82macro["ƒ"] = "fnof"; +macro2utf8["fnof"] = "ƒ"; +utf82macro["ƒ"] = "fnof"; macro2utf8["bumpe"] = "≏"; utf82macro["≏"] = "bumpe"; macro2utf8["lhblk"] = "▄"; @@ -3279,8 +3279,8 @@ macro2utf8["period"] = "."; utf82macro["."] = "period"; macro2utf8["phone"] = "☎"; utf82macro["☎"] = "phone"; -macro2utf8["Eacute"] = "É"; -utf82macro["É"] = "Eacute"; +macro2utf8["Eacute"] = "É"; +utf82macro["É"] = "Eacute"; macro2utf8["dzigrarr"] = ""; utf82macro[""] = "dzigrarr"; macro2utf8["Ll"] = "⋘"; @@ -3291,8 +3291,8 @@ macro2utf8["rarrfs"] = "⤞"; utf82macro["⤞"] = "rarrfs"; macro2utf8["dbkarow"] = "⤏"; utf82macro["⤏"] = "dbkarow"; -macro2utf8["zeta"] = "ζ"; -utf82macro["ζ"] = "zeta"; +macro2utf8["zeta"] = "ζ"; +utf82macro["ζ"] = "zeta"; macro2utf8["Lt"] = "≪"; utf82macro["≪"] = "Lt"; macro2utf8["triminus"] = "⨺"; @@ -3301,8 +3301,8 @@ macro2utf8["odiv"] = "⨸"; utf82macro["⨸"] = "odiv"; macro2utf8["ltrie"] = "⊴"; utf82macro["⊴"] = "ltrie"; -macro2utf8["Dagger"] = "‡"; -utf82macro["‡"] = "Dagger"; +macro2utf8["Dagger"] = "‡"; +utf82macro["‡"] = "Dagger"; macro2utf8["ltrif"] = "◂"; utf82macro["◂"] = "ltrif"; macro2utf8["boxHD"] = "╦"; @@ -3325,18 +3325,18 @@ macro2utf8["ruluhar"] = "⥨"; 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"] = "╩"; @@ -3345,16 +3345,16 @@ macro2utf8["uring"] = "ů"; 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"] = "≫"; @@ -3387,32 +3387,32 @@ macro2utf8["xhArr"] = ""; 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"] = "⦳"; @@ -3421,20 +3421,20 @@ macro2utf8["Aogon"] = "Ą"; 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"] = "ℰ"; @@ -3447,10 +3447,10 @@ macro2utf8["NotTildeEqual"] = "≄"; 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"] = "Г"; @@ -3465,8 +3465,8 @@ macro2utf8["hopf"] = "𝕙"; utf82macro["𝕙"] = "hopf"; macro2utf8["blacktriangledown"] = "▾"; utf82macro["▾"] = "blacktriangledown"; -macro2utf8["LeftCeiling"] = "⌈"; -utf82macro["⌈"] = "LeftCeiling"; +macro2utf8["LeftCeiling"] = "⌈"; +utf82macro["⌈"] = "LeftCeiling"; macro2utf8["ulcorn"] = "⌜"; utf82macro["⌜"] = "ulcorn"; macro2utf8["searrow"] = "↘"; @@ -3477,16 +3477,16 @@ macro2utf8["Fscr"] = "ℱ"; 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"] = "Ĩ"; @@ -3503,20 +3503,20 @@ macro2utf8["oopf"] = "𝕠"; 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"] = "⌜"; @@ -3529,18 +3529,18 @@ macro2utf8["gtreqless"] = "⋛"; 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"] = "⥡"; @@ -3557,8 +3557,8 @@ macro2utf8["Sc"] = "⪼"; utf82macro["⪼"] = "Sc"; macro2utf8["ycy"] = "ы"; utf82macro["ы"] = "ycy"; -macro2utf8["Prime"] = "″"; -utf82macro["″"] = "Prime"; +macro2utf8["Prime"] = "″"; +utf82macro["″"] = "Prime"; macro2utf8["Gfr"] = "𝔊"; utf82macro["𝔊"] = "Gfr"; macro2utf8["trianglerighteq"] = "⊵"; @@ -3571,10 +3571,10 @@ macro2utf8["range"] = "⦥"; 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"] = "ℴ"; @@ -3587,10 +3587,10 @@ macro2utf8["bscr"] = "𝒷"; 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"] = "ϱ"; @@ -3599,8 +3599,8 @@ macro2utf8["xvee"] = "⋁"; utf82macro["⋁"] = "xvee"; macro2utf8["olarr"] = "↺"; utf82macro["↺"] = "olarr"; -macro2utf8["nang"] = "∠̸"; -utf82macro["∠̸"] = "nang"; +macro2utf8["nang"] = "∠̸"; +utf82macro["∠̸"] = "nang"; macro2utf8["uwangle"] = "⦧"; utf82macro["⦧"] = "uwangle"; macro2utf8["nlsim"] = "≴"; @@ -3619,16 +3619,16 @@ macro2utf8["GJcy"] = "Ѓ"; 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"] = "н"; @@ -3639,8 +3639,8 @@ macro2utf8["UpperRightArrow"] = "↗"; utf82macro["↗"] = "UpperRightArrow"; macro2utf8["precnapprox"] = "⋨"; utf82macro["⋨"] = "precnapprox"; -macro2utf8["OElig"] = "Œ"; -utf82macro["Œ"] = "OElig"; +macro2utf8["OElig"] = "Œ"; +utf82macro["Œ"] = "OElig"; macro2utf8["hybull"] = "⁃"; utf82macro["⁃"] = "hybull"; macro2utf8["cupbrcap"] = "⩈"; @@ -3665,16 +3665,16 @@ macro2utf8["rAarr"] = "⇛"; 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"] = "𝓌"; @@ -3683,32 +3683,32 @@ macro2utf8["toea"] = "⤨"; 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"] = ""; @@ -3757,8 +3757,8 @@ macro2utf8["backsimeq"] = "⋍"; utf82macro["⋍"] = "backsimeq"; macro2utf8["target"] = "⌖"; utf82macro["⌖"] = "target"; -macro2utf8["ouml"] = "ö"; -utf82macro["ö"] = "ouml"; +macro2utf8["ouml"] = "ö"; +utf82macro["ö"] = "ouml"; macro2utf8["nge"] = "≱⃥"; utf82macro["≱⃥"] = "nge"; macro2utf8["LeftTriangleBar"] = "⧏"; @@ -3769,20 +3769,20 @@ macro2utf8["parsim"] = "⫳"; 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"] = "Ŷ"; @@ -3819,14 +3819,14 @@ macro2utf8["cfr"] = "𝔠"; 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"] = "⇚"; @@ -3835,14 +3835,14 @@ macro2utf8["bsim"] = "∽"; 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"] = "⃛"; @@ -3857,12 +3857,12 @@ macro2utf8["neArr"] = "⇗"; 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"] = "╝"; @@ -3873,12 +3873,12 @@ macro2utf8["Xfr"] = "𝔛"; 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"] = "⇍"; @@ -3907,18 +3907,18 @@ macro2utf8["boxVH"] = "╬"; 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"] = "░"; @@ -3937,8 +3937,8 @@ macro2utf8["ijlig"] = "ij"; utf82macro["ij"] = "ijlig"; macro2utf8["yicy"] = "ї"; utf82macro["ї"] = "yicy"; -macro2utf8["sum"] = "∑"; -utf82macro["∑"] = "sum"; +macro2utf8["sum"] = "∑"; +utf82macro["∑"] = "sum"; macro2utf8["cir"] = "○"; utf82macro["○"] = "cir"; macro2utf8["telrec"] = "⌕"; @@ -3967,12 +3967,12 @@ macro2utf8["loplus"] = "⨭"; 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"] = "ϕ"; @@ -3999,8 +3999,8 @@ macro2utf8["lessdot"] = "⋖"; utf82macro["⋖"] = "lessdot"; macro2utf8["LeftDoubleBracket"] = "〚"; utf82macro["〚"] = "LeftDoubleBracket"; -macro2utf8["Delta"] = "Δ"; -utf82macro["Δ"] = "Delta"; +macro2utf8["Delta"] = "Δ"; +utf82macro["Δ"] = "Delta"; macro2utf8["limsup"] = "limsup"; utf82macro["limsup"] = "limsup"; macro2utf8["tcy"] = "т"; @@ -4051,8 +4051,8 @@ macro2utf8["suphsub"] = "⫗"; utf82macro["⫗"] = "suphsub"; macro2utf8["squf"] = "▪"; utf82macro["▪"] = "squf"; -macro2utf8["gamma"] = "γ"; -utf82macro["γ"] = "gamma"; +macro2utf8["gamma"] = "γ"; +utf82macro["γ"] = "gamma"; macro2utf8["lrhard"] = "⥭"; utf82macro["⥭"] = "lrhard"; macro2utf8["intprod"] = "⨼"; @@ -4095,8 +4095,8 @@ macro2utf8["Dscr"] = "𝒟"; utf82macro["𝒟"] = "Dscr"; macro2utf8["gsime"] = "⪎"; utf82macro["⪎"] = "gsime"; -macro2utf8["PartialD"] = "∂"; -utf82macro["∂"] = "PartialD"; +macro2utf8["PartialD"] = "∂"; +utf82macro["∂"] = "PartialD"; macro2utf8["Umacr"] = "Ū"; utf82macro["Ū"] = "Umacr"; macro2utf8["tfr"] = "𝔱"; @@ -4105,20 +4105,20 @@ macro2utf8["cularrp"] = "⤽"; 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"] = "⊔"; @@ -4137,14 +4137,14 @@ macro2utf8["dzcy"] = "џ"; 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"] = "⊳"; @@ -4157,18 +4157,18 @@ macro2utf8["rtriltri"] = "⧎"; 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"] = "∽"; @@ -4211,36 +4211,36 @@ macro2utf8["nvdash"] = "⊬"; 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"] = "⊁";