From: Wilmer Ricciotti Date: Thu, 14 Jul 2011 13:58:23 +0000 (+0000) Subject: Added Utf8MacroTable for MatitaWeb. X-Git-Tag: make_still_working~2376 X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=ac44bd2f74e5fc606fb6833f949bb36ed4c2fd69 Added Utf8MacroTable for MatitaWeb. --- diff --git a/matitaB/matita/index.html b/matitaB/matita/index.html index 7fa3b88ac..3daf481d0 100644 --- a/matitaB/matita/index.html +++ b/matitaB/matita/index.html @@ -1,6 +1,7 @@ + diff --git a/matitaB/matita/utf8MacroTable.js b/matitaB/matita/utf8MacroTable.js new file mode 100644 index 000000000..1603f1dcb --- /dev/null +++ b/matitaB/matita/utf8MacroTable.js @@ -0,0 +1,4261 @@ +/* GENERATED by make_table: DO NOT EDIT! */ +var macro2utf8; +var utf82macro; +macro2utf8["nscr"] = "\240\157\147\131"; +utf82macro["\240\157\147\131"] = "nscr"; +macro2utf8["LJcy"] = "\208\137"; +utf82macro["\208\137"] = "LJcy"; +macro2utf8["dd"] = "\226\133\134"; +utf82macro["\226\133\134"] = "dd"; +macro2utf8["Omacr"] = "\197\140"; +utf82macro["\197\140"] = "Omacr"; +macro2utf8["npreceq"] = "\226\170\175\204\184"; +utf82macro["\226\170\175\204\184"] = "npreceq"; +macro2utf8["Gcirc"] = "\196\156"; +utf82macro["\196\156"] = "Gcirc"; +macro2utf8["utilde"] = "\197\169"; +utf82macro["\197\169"] = "utilde"; +macro2utf8["rdca"] = "\226\164\183"; +utf82macro["\226\164\183"] = "rdca"; +macro2utf8["racute"] = "\197\149"; +utf82macro["\197\149"] = "racute"; +macro2utf8["mstpos"] = "\226\136\190"; +utf82macro["\226\136\190"] = "mstpos"; +macro2utf8["supnE"] = "\226\138\139"; +utf82macro["\226\138\139"] = "supnE"; +macro2utf8["NotLessLess"] = "\226\137\170\204\184\239\184\128"; +utf82macro["\226\137\170\204\184\239\184\128"] = "NotLessLess"; +macro2utf8["iiint"] = "\226\136\173"; +utf82macro["\226\136\173"] = "iiint"; +macro2utf8["uscr"] = "\240\157\147\138"; +utf82macro["\240\157\147\138"] = "uscr"; +macro2utf8["Sfr"] = "\240\157\148\150"; +utf82macro["\240\157\148\150"] = "Sfr"; +macro2utf8["nsupseteqq"] = "\226\138\137"; +utf82macro["\226\138\137"] = "nsupseteqq"; +macro2utf8["nwarrow"] = "\226\134\150"; +utf82macro["\226\134\150"] = "nwarrow"; +macro2utf8["twoheadrightarrow"] = "\226\134\160"; +utf82macro["\226\134\160"] = "twoheadrightarrow"; +macro2utf8["sccue"] = "\226\137\189"; +utf82macro["\226\137\189"] = "sccue"; +macro2utf8["NotSquareSuperset"] = "\226\138\144\204\184"; +utf82macro["\226\138\144\204\184"] = "NotSquareSuperset"; +macro2utf8["ee"] = "\226\133\135"; +utf82macro["\226\133\135"] = "ee"; +macro2utf8["boxbox"] = "\226\167\137"; +utf82macro["\226\167\137"] = "boxbox"; +macro2utf8["andand"] = "\226\169\149"; +utf82macro["\226\169\149"] = "andand"; +macro2utf8["LeftVectorBar"] = "\226\165\146"; +utf82macro["\226\165\146"] = "LeftVectorBar"; +macro2utf8["eg"] = "\226\170\154"; +utf82macro["\226\170\154"] = "eg"; +macro2utf8["csc"] = "csc"; +utf82macro["csc"] = "csc"; +macro2utf8["NotRightTriangleEqual"] = "\226\139\173"; +utf82macro["\226\139\173"] = "NotRightTriangleEqual"; +macro2utf8["filig"] = "\239\172\129"; +utf82macro["\239\172\129"] = "filig"; +macro2utf8["atilde"] = "\195\163"; +utf82macro["\195\163"] = "atilde"; +macro2utf8["ring"] = "\203\154"; +utf82macro["\203\154"] = "ring"; +macro2utf8["congdot"] = "\226\169\173"; +utf82macro["\226\169\173"] = "congdot"; +macro2utf8["gE"] = "\226\137\167"; +utf82macro["\226\137\167"] = "gE"; +macro2utf8["rcedil"] = "\197\151"; +utf82macro["\197\151"] = "rcedil"; +macro2utf8["el"] = "\226\170\153"; +utf82macro["\226\170\153"] = "el"; +macro2utf8["HorizontalLine"] = "\226\148\128"; +utf82macro["\226\148\128"] = "HorizontalLine"; +macro2utf8["incare"] = "\226\132\133"; +utf82macro["\226\132\133"] = "incare"; +macro2utf8["hoarr"] = "\226\135\191"; +utf82macro["\226\135\191"] = "hoarr"; +macro2utf8["SOFTcy"] = "\208\172"; +utf82macro["\208\172"] = "SOFTcy"; +macro2utf8["conint"] = "\226\136\174"; +utf82macro["\226\136\174"] = "conint"; +macro2utf8["OverParenthesis"] = "\239\184\181"; +utf82macro["\239\184\181"] = "OverParenthesis"; +macro2utf8["Uogon"] = "\197\178"; +utf82macro["\197\178"] = "Uogon"; +macro2utf8["supne"] = "\226\138\139"; +utf82macro["\226\138\139"] = "supne"; +macro2utf8["num"] = "#"; +utf82macro["#"] = "num"; +macro2utf8["zcy"] = "\208\183"; +utf82macro["\208\183"] = "zcy"; +macro2utf8["Hfr"] = "\226\132\140"; +utf82macro["\226\132\140"] = "Hfr"; +macro2utf8["dtri"] = "\226\150\191"; +utf82macro["\226\150\191"] = "dtri"; +macro2utf8["FilledSmallSquare"] = "\226\151\190"; +utf82macro["\226\151\190"] = "FilledSmallSquare"; +macro2utf8["SucceedsEqual"] = "\226\137\189"; +utf82macro["\226\137\189"] = "SucceedsEqual"; +macro2utf8["leftthreetimes"] = "\226\139\139"; +utf82macro["\226\139\139"] = "leftthreetimes"; +macro2utf8["ycirc"] = "\197\183"; +utf82macro["\197\183"] = "ycirc"; +macro2utf8["sqcup"] = "\226\138\148"; +utf82macro["\226\138\148"] = "sqcup"; +macro2utf8["DoubleLeftArrow"] = "\226\135\144"; +utf82macro["\226\135\144"] = "DoubleLeftArrow"; +macro2utf8["gtrless"] = "\226\137\183"; +utf82macro["\226\137\183"] = "gtrless"; +macro2utf8["ge"] = "\226\137\165"; +utf82macro["\226\137\165"] = "ge"; +macro2utf8["Product"] = "\226\136\143"; +utf82macro["\226\136\143"] = "Product"; +macro2utf8["NotExists"] = "\226\136\132"; +utf82macro["\226\136\132"] = "NotExists"; +macro2utf8["gg"] = "\226\137\171"; +utf82macro["\226\137\171"] = "gg"; +macro2utf8["curlyvee"] = "\226\139\142"; +utf82macro["\226\139\142"] = "curlyvee"; +macro2utf8["ntrianglerighteq"] = "\226\139\173"; +utf82macro["\226\139\173"] = "ntrianglerighteq"; +macro2utf8["Colon"] = "\226\136\183"; +utf82macro["\226\136\183"] = "Colon"; +macro2utf8["rbrke"] = "\226\166\140"; +utf82macro["\226\166\140"] = "rbrke"; +macro2utf8["LeftDownVector"] = "\226\135\131"; +utf82macro["\226\135\131"] = "LeftDownVector"; +macro2utf8["gl"] = "\226\137\183"; +utf82macro["\226\137\183"] = "gl"; +macro2utf8["lrcorner"] = "\226\140\159"; +utf82macro["\226\140\159"] = "lrcorner"; +macro2utf8["mapstodown"] = "\226\134\167"; +utf82macro["\226\134\167"] = "mapstodown"; +macro2utf8["excl"] = "!"; +utf82macro["!"] = "excl"; +macro2utf8["cdots"] = "\226\139\175"; +utf82macro["\226\139\175"] = "cdots"; +macro2utf8["larr"] = "\226\134\144"; +utf82macro["\226\134\144"] = "larr"; +macro2utf8["dtdot"] = "\226\139\177"; +utf82macro["\226\139\177"] = "dtdot"; +macro2utf8["kgreen"] = "\196\184"; +utf82macro["\196\184"] = "kgreen"; +macro2utf8["rtri"] = "\226\150\185"; +utf82macro["\226\150\185"] = "rtri"; +macro2utf8["rbarr"] = "\226\164\141"; +utf82macro["\226\164\141"] = "rbarr"; +macro2utf8["ocy"] = "\208\190"; +utf82macro["\208\190"] = "ocy"; +macro2utf8["gt"] = ">"; +utf82macro[">"] = "gt"; +macro2utf8["DownLeftRightVector"] = "\226\165\144"; +utf82macro["\226\165\144"] = "DownLeftRightVector"; +macro2utf8["cup"] = "\226\136\170"; +utf82macro["\226\136\170"] = "cup"; +macro2utf8["updownarrow"] = "\226\134\149"; +utf82macro["\226\134\149"] = "updownarrow"; +macro2utf8["Imacr"] = "\196\170"; +utf82macro["\196\170"] = "Imacr"; +macro2utf8["cross"] = "\226\156\151"; +utf82macro["\226\156\151"] = "cross"; +macro2utf8["Acirc"] = "\195\130"; +utf82macro["\195\130"] = "Acirc"; +macro2utf8["lvertneqq"] = "\226\137\168\239\184\128"; +utf82macro["\226\137\168\239\184\128"] = "lvertneqq"; +macro2utf8["ccaps"] = "\226\169\141"; +utf82macro["\226\169\141"] = "ccaps"; +macro2utf8["NotLeftTriangleEqual"] = "\226\139\172"; +utf82macro["\226\139\172"] = "NotLeftTriangleEqual"; +macro2utf8["IJlig"] = "\196\178"; +utf82macro["\196\178"] = "IJlig"; +macro2utf8["boxplus"] = "\226\138\158"; +utf82macro["\226\138\158"] = "boxplus"; +macro2utf8["epsilon"] = "\207\181"; +utf82macro["\207\181"] = "epsilon"; +macro2utf8["zfr"] = "\240\157\148\183"; +utf82macro["\240\157\148\183"] = "zfr"; +macro2utf8["late"] = "\226\170\173"; +utf82macro["\226\170\173"] = "late"; +macro2utf8["ic"] = "\226\128\139"; +utf82macro["\226\128\139"] = "ic"; +macro2utf8["lrhar"] = "\226\135\139"; +utf82macro["\226\135\139"] = "lrhar"; +macro2utf8["gsim"] = "\226\137\179"; +utf82macro["\226\137\179"] = "gsim"; +macro2utf8["inf"] = "inf"; +utf82macro["inf"] = "inf"; +macro2utf8["top"] = "\226\138\164"; +utf82macro["\226\138\164"] = "top"; +macro2utf8["odsold"] = "\226\166\188"; +utf82macro["\226\166\188"] = "odsold"; +macro2utf8["circlearrowright"] = "\226\134\187"; +utf82macro["\226\134\187"] = "circlearrowright"; +macro2utf8["rtimes"] = "\226\139\138"; +utf82macro["\226\139\138"] = "rtimes"; +macro2utf8["ii"] = "\226\133\136"; +utf82macro["\226\133\136"] = "ii"; +macro2utf8["DoubleRightTee"] = "\226\138\168"; +utf82macro["\226\138\168"] = "DoubleRightTee"; +macro2utf8["dcy"] = "\208\180"; +utf82macro["\208\180"] = "dcy"; +macro2utf8["boxdL"] = "\226\149\149"; +utf82macro["\226\149\149"] = "boxdL"; +macro2utf8["duhar"] = "\226\165\175"; +utf82macro["\226\165\175"] = "duhar"; +macro2utf8["vert"] = "|"; +utf82macro["|"] = "vert"; +macro2utf8["sacute"] = "\197\155"; +utf82macro["\197\155"] = "sacute"; +macro2utf8["in"] = "\226\136\136"; +utf82macro["\226\136\136"] = "in"; +macro2utf8["Assign"] = "\226\137\148"; +utf82macro["\226\137\148"] = "Assign"; +macro2utf8["nsim"] = "\226\137\129"; +utf82macro["\226\137\129"] = "nsim"; +macro2utf8["boxdR"] = "\226\149\146"; +utf82macro["\226\149\146"] = "boxdR"; +macro2utf8["o"] = "\206\191"; +utf82macro["\206\191"] = "o"; +macro2utf8["radic"] = "\226\136\154"; +utf82macro["\226\136\154"] = "radic"; +macro2utf8["it"] = "\226\129\162"; +utf82macro["\226\129\162"] = "it"; +macro2utf8["int"] = "\226\136\171"; +utf82macro["\226\136\171"] = "int"; +macro2utf8["cwint"] = "\226\136\177"; +utf82macro["\226\136\177"] = "cwint"; +macro2utf8["ForAll"] = "\226\136\128"; +utf82macro["\226\136\128"] = "ForAll"; +macro2utf8["simplus"] = "\226\168\164"; +utf82macro["\226\168\164"] = "simplus"; +macro2utf8["isindot"] = "\226\139\181"; +utf82macro["\226\139\181"] = "isindot"; +macro2utf8["rightthreetimes"] = "\226\139\140"; +utf82macro["\226\139\140"] = "rightthreetimes"; +macro2utf8["supseteqq"] = "\226\138\135"; +utf82macro["\226\138\135"] = "supseteqq"; +macro2utf8["bnot"] = "\226\140\144"; +utf82macro["\226\140\144"] = "bnot"; +macro2utf8["rppolint"] = "\226\168\146"; +utf82macro["\226\168\146"] = "rppolint"; +macro2utf8["def"] = "\226\137\157"; +utf82macro["\226\137\157"] = "def"; +macro2utf8["TScy"] = "\208\166"; +utf82macro["\208\166"] = "TScy"; +macro2utf8["lE"] = "\226\137\166"; +utf82macro["\226\137\166"] = "lE"; +macro2utf8["ffilig"] = "\239\172\131"; +utf82macro["\239\172\131"] = "ffilig"; +macro2utf8["deg"] = "deg"; +utf82macro["deg"] = "deg"; +macro2utf8["{"] = "{"; +utf82macro["{"] = "{"; +macro2utf8["RightVector"] = "\226\135\128"; +utf82macro["\226\135\128"] = "RightVector"; +macro2utf8["ofr"] = "\240\157\148\172"; +utf82macro["\240\157\148\172"] = "ofr"; +macro2utf8["|"] = "|"; +utf82macro["|"] = "|"; +macro2utf8["liminf"] = "liminf"; +utf82macro["liminf"] = "liminf"; +macro2utf8["}"] = "}"; +utf82macro["}"] = "}"; +macro2utf8["LeftUpTeeVector"] = "\226\165\160"; +utf82macro["\226\165\160"] = "LeftUpTeeVector"; +macro2utf8["scirc"] = "\197\157"; +utf82macro["\197\157"] = "scirc"; +macro2utf8["scedil"] = "\197\159"; +utf82macro["\197\159"] = "scedil"; +macro2utf8["ufisht"] = "\226\165\190"; +utf82macro["\226\165\190"] = "ufisht"; +macro2utf8["LeftUpDownVector"] = "\226\165\145"; +utf82macro["\226\165\145"] = "LeftUpDownVector"; +macro2utf8["questeq"] = "\226\137\159"; +utf82macro["\226\137\159"] = "questeq"; +macro2utf8["leftarrow"] = "\226\134\144"; +utf82macro["\226\134\144"] = "leftarrow"; +macro2utf8["Ycy"] = "\208\171"; +utf82macro["\208\171"] = "Ycy"; +macro2utf8["Coproduct"] = "\226\136\144"; +utf82macro["\226\136\144"] = "Coproduct"; +macro2utf8["det"] = "det"; +utf82macro["det"] = "det"; +macro2utf8["boxdl"] = "\226\148\144"; +utf82macro["\226\148\144"] = "boxdl"; +macro2utf8["Aopf"] = "\240\157\148\184"; +utf82macro["\240\157\148\184"] = "Aopf"; +macro2utf8["srarr"] = "\226\134\146\239\184\128"; +utf82macro["\226\134\146\239\184\128"] = "srarr"; +macro2utf8["lbrke"] = "\226\166\139"; +utf82macro["\226\166\139"] = "lbrke"; +macro2utf8["boxdr"] = "\226\148\140"; +utf82macro["\226\148\140"] = "boxdr"; +macro2utf8["Ntilde"] = "\195\145"; +utf82macro["\195\145"] = "Ntilde"; +macro2utf8["gnap"] = "\226\170\138"; +utf82macro["\226\170\138"] = "gnap"; +macro2utf8["Cap"] = "\226\139\146"; +utf82macro["\226\139\146"] = "Cap"; +macro2utf8["swarhk"] = "\226\164\166"; +utf82macro["\226\164\166"] = "swarhk"; +macro2utf8["ogt"] = "\226\167\129"; +utf82macro["\226\167\129"] = "ogt"; +macro2utf8["emptyset"] = "\226\136\133\239\184\128"; +utf82macro["\226\136\133\239\184\128"] = "emptyset"; +macro2utf8["harrw"] = "\226\134\173"; +utf82macro["\226\134\173"] = "harrw"; +macro2utf8["lbarr"] = "\226\164\140"; +utf82macro["\226\164\140"] = "lbarr"; +macro2utf8["Tilde"] = "\226\136\188"; +utf82macro["\226\136\188"] = "Tilde"; +macro2utf8["delta"] = "\206\180"; +utf82macro["\206\180"] = "delta"; +macro2utf8["Hopf"] = "\226\132\141"; +utf82macro["\226\132\141"] = "Hopf"; +macro2utf8["dfr"] = "\240\157\148\161"; +utf82macro["\240\157\148\161"] = "dfr"; +macro2utf8["le"] = "\226\137\164"; +utf82macro["\226\137\164"] = "le"; +macro2utf8["lg"] = "lg"; +utf82macro["lg"] = "lg"; +macro2utf8["ohm"] = "\226\132\166"; +utf82macro["\226\132\166"] = "ohm"; +macro2utf8["Jsercy"] = "\208\136"; +utf82macro["\208\136"] = "Jsercy"; +macro2utf8["quaternions"] = "\226\132\141"; +utf82macro["\226\132\141"] = "quaternions"; +macro2utf8["DoubleLongLeftArrow"] = "\239\149\185"; +utf82macro["\239\149\185"] = "DoubleLongLeftArrow"; +macro2utf8["Ncy"] = "\208\157"; +utf82macro["\208\157"] = "Ncy"; +macro2utf8["nabla"] = "\226\136\135"; +utf82macro["\226\136\135"] = "nabla"; +macro2utf8["ltcir"] = "\226\169\185"; +utf82macro["\226\169\185"] = "ltcir"; +macro2utf8["ll"] = "\226\137\170"; +utf82macro["\226\137\170"] = "ll"; +macro2utf8["ln"] = "ln"; +utf82macro["ln"] = "ln"; +macro2utf8["rmoust"] = "\226\142\177"; +utf82macro["\226\142\177"] = "rmoust"; +macro2utf8["Oopf"] = "\240\157\149\134"; +utf82macro["\240\157\149\134"] = "Oopf"; +macro2utf8["nbsp"] = "\194\160"; +utf82macro["\194\160"] = "nbsp"; +macro2utf8["Kcedil"] = "\196\182"; +utf82macro["\196\182"] = "Kcedil"; +macro2utf8["vdots"] = "\226\139\174"; +utf82macro["\226\139\174"] = "vdots"; +macro2utf8["NotLessTilde"] = "\226\137\180"; +utf82macro["\226\137\180"] = "NotLessTilde"; +macro2utf8["lt"] = "<"; +utf82macro["<"] = "lt"; +macro2utf8["djcy"] = "\209\146"; +utf82macro["\209\146"] = "djcy"; +macro2utf8["DownRightTeeVector"] = "\226\165\159"; +utf82macro["\226\165\159"] = "DownRightTeeVector"; +macro2utf8["Ograve"] = "\195\146"; +utf82macro["\195\146"] = "Ograve"; +macro2utf8["boxhD"] = "\226\149\165"; +utf82macro["\226\149\165"] = "boxhD"; +macro2utf8["nsime"] = "\226\137\132"; +utf82macro["\226\137\132"] = "nsime"; +macro2utf8["egsdot"] = "\226\170\152"; +utf82macro["\226\170\152"] = "egsdot"; +macro2utf8["mDDot"] = "\226\136\186"; +utf82macro["\226\136\186"] = "mDDot"; +macro2utf8["bigodot"] = "\226\138\153"; +utf82macro["\226\138\153"] = "bigodot"; +macro2utf8["Vopf"] = "\240\157\149\141"; +utf82macro["\240\157\149\141"] = "Vopf"; +macro2utf8["looparrowright"] = "\226\134\172"; +utf82macro["\226\134\172"] = "looparrowright"; +macro2utf8["yucy"] = "\209\142"; +utf82macro["\209\142"] = "yucy"; +macro2utf8["trade"] = "\226\132\162"; +utf82macro["\226\132\162"] = "trade"; +macro2utf8["Yfr"] = "\240\157\148\156"; +utf82macro["\240\157\148\156"] = "Yfr"; +macro2utf8["kjcy"] = "\209\156"; +utf82macro["\209\156"] = "kjcy"; +macro2utf8["mp"] = "\226\136\147"; +utf82macro["\226\136\147"] = "mp"; +macro2utf8["leftrightarrows"] = "\226\135\134"; +utf82macro["\226\135\134"] = "leftrightarrows"; +macro2utf8["uharl"] = "\226\134\191"; +utf82macro["\226\134\191"] = "uharl"; +macro2utf8["ncap"] = "\226\169\131"; +utf82macro["\226\169\131"] = "ncap"; +macro2utf8["Iogon"] = "\196\174"; +utf82macro["\196\174"] = "Iogon"; +macro2utf8["NotSubset"] = "\226\138\132"; +utf82macro["\226\138\132"] = "NotSubset"; +macro2utf8["Bumpeq"] = "\226\137\142"; +utf82macro["\226\137\142"] = "Bumpeq"; +macro2utf8["mu"] = "\206\188"; +utf82macro["\206\188"] = "mu"; +macro2utf8["FilledVerySmallSquare"] = "\239\150\155"; +utf82macro["\239\150\155"] = "FilledVerySmallSquare"; +macro2utf8["breve"] = "\203\152"; +utf82macro["\203\152"] = "breve"; +macro2utf8["boxhU"] = "\226\149\168"; +utf82macro["\226\149\168"] = "boxhU"; +macro2utf8["Sigma"] = "\206\163"; +utf82macro["\206\163"] = "Sigma"; +macro2utf8["uharr"] = "\226\134\190"; +utf82macro["\226\134\190"] = "uharr"; +macro2utf8["xrArr"] = "\239\149\186"; +utf82macro["\239\149\186"] = "xrArr"; +macro2utf8["ne"] = "\226\137\160"; +utf82macro["\226\137\160"] = "ne"; +macro2utf8["oS"] = "\226\147\136"; +utf82macro["\226\147\136"] = "oS"; +macro2utf8["xodot"] = "\226\138\153"; +utf82macro["\226\138\153"] = "xodot"; +macro2utf8["ni"] = "\226\136\139"; +utf82macro["\226\136\139"] = "ni"; +macro2utf8["mdash"] = "\226\128\148"; +utf82macro["\226\128\148"] = "mdash"; +macro2utf8["Verbar"] = "\226\128\150"; +utf82macro["\226\128\150"] = "Verbar"; +macro2utf8["die"] = "\194\168"; +utf82macro["\194\168"] = "die"; +macro2utf8["veebar"] = "\226\138\187"; +utf82macro["\226\138\187"] = "veebar"; +macro2utf8["UpArrowBar"] = "\226\164\146"; +utf82macro["\226\164\146"] = "UpArrowBar"; +macro2utf8["Ncaron"] = "\197\135"; +utf82macro["\197\135"] = "Ncaron"; +macro2utf8["RightArrowBar"] = "\226\135\165"; +utf82macro["\226\135\165"] = "RightArrowBar"; +macro2utf8["LongLeftArrow"] = "\239\149\182"; +utf82macro["\239\149\182"] = "LongLeftArrow"; +macro2utf8["rceil"] = "\226\140\137"; +utf82macro["\226\140\137"] = "rceil"; +macro2utf8["LeftDownVectorBar"] = "\226\165\153"; +utf82macro["\226\165\153"] = "LeftDownVectorBar"; +macro2utf8["umacr"] = "\197\171"; +utf82macro["\197\171"] = "umacr"; +macro2utf8["Hacek"] = "\203\135"; +utf82macro["\203\135"] = "Hacek"; +macro2utf8["odblac"] = "\197\145"; +utf82macro["\197\145"] = "odblac"; +macro2utf8["lmidot"] = "\197\128"; +utf82macro["\197\128"] = "lmidot"; +macro2utf8["dopf"] = "\240\157\149\149"; +utf82macro["\240\157\149\149"] = "dopf"; +macro2utf8["boxhd"] = "\226\148\172"; +utf82macro["\226\148\172"] = "boxhd"; +macro2utf8["dim"] = "dim"; +utf82macro["dim"] = "dim"; +macro2utf8["vnsub"] = "\226\138\132"; +utf82macro["\226\138\132"] = "vnsub"; +macro2utf8["Bscr"] = "\226\132\172"; +utf82macro["\226\132\172"] = "Bscr"; +macro2utf8["plussim"] = "\226\168\166"; +utf82macro["\226\168\166"] = "plussim"; +macro2utf8["doublebarwedge"] = "\226\140\134"; +utf82macro["\226\140\134"] = "doublebarwedge"; +macro2utf8["nu"] = "\206\189"; +utf82macro["\206\189"] = "nu"; +macro2utf8["eqcolon"] = "\226\137\149"; +utf82macro["\226\137\149"] = "eqcolon"; +macro2utf8["luruhar"] = "\226\165\166"; +utf82macro["\226\165\166"] = "luruhar"; +macro2utf8["Nfr"] = "\240\157\148\145"; +utf82macro["\240\157\148\145"] = "Nfr"; +macro2utf8["preceq"] = "\226\170\175"; +utf82macro["\226\170\175"] = "preceq"; +macro2utf8["LeftTee"] = "\226\138\163"; +utf82macro["\226\138\163"] = "LeftTee"; +macro2utf8["div"] = "\195\183"; +utf82macro["\195\183"] = "div"; +macro2utf8["nVDash"] = "\226\138\175"; +utf82macro["\226\138\175"] = "nVDash"; +macro2utf8["kopf"] = "\240\157\149\156"; +utf82macro["\240\157\149\156"] = "kopf"; +macro2utf8["Iscr"] = "\226\132\144"; +utf82macro["\226\132\144"] = "Iscr"; +macro2utf8["vnsup"] = "\226\138\133"; +utf82macro["\226\138\133"] = "vnsup"; +macro2utf8["gneq"] = "\226\137\169"; +utf82macro["\226\137\169"] = "gneq"; +macro2utf8["backepsilon"] = "\207\182"; +utf82macro["\207\182"] = "backepsilon"; +macro2utf8["boxhu"] = "\226\148\180"; +utf82macro["\226\148\180"] = "boxhu"; +macro2utf8["ominus"] = "\226\138\150"; +utf82macro["\226\138\150"] = "ominus"; +macro2utf8["or"] = "\226\136\168"; +utf82macro["\226\136\168"] = "or"; +macro2utf8["lesdot"] = "\226\169\191"; +utf82macro["\226\169\191"] = "lesdot"; +macro2utf8["RightVectorBar"] = "\226\165\147"; +utf82macro["\226\165\147"] = "RightVectorBar"; +macro2utf8["tcedil"] = "\197\163"; +utf82macro["\197\163"] = "tcedil"; +macro2utf8["hstrok"] = "\196\167"; +utf82macro["\196\167"] = "hstrok"; +macro2utf8["nrarrc"] = "\226\164\179\204\184"; +utf82macro["\226\164\179\204\184"] = "nrarrc"; +macro2utf8["ropf"] = "\240\157\149\163"; +utf82macro["\240\157\149\163"] = "ropf"; +macro2utf8["diamond"] = "\226\139\132"; +utf82macro["\226\139\132"] = "diamond"; +macro2utf8["smid"] = "\226\136\163\239\184\128"; +utf82macro["\226\136\163\239\184\128"] = "smid"; +macro2utf8["nltri"] = "\226\139\170"; +utf82macro["\226\139\170"] = "nltri"; +macro2utf8["Pscr"] = "\240\157\146\171"; +utf82macro["\240\157\146\171"] = "Pscr"; +macro2utf8["vartheta"] = "\207\145"; +utf82macro["\207\145"] = "vartheta"; +macro2utf8["therefore"] = "\226\136\180"; +utf82macro["\226\136\180"] = "therefore"; +macro2utf8["pi"] = "\207\128"; +utf82macro["\207\128"] = "pi"; +macro2utf8["ntrianglelefteq"] = "\226\139\172"; +utf82macro["\226\139\172"] = "ntrianglelefteq"; +macro2utf8["nearrow"] = "\226\134\151"; +utf82macro["\226\134\151"] = "nearrow"; +macro2utf8["pm"] = "\194\177"; +utf82macro["\194\177"] = "pm"; +macro2utf8["natural"] = "\226\153\174"; +utf82macro["\226\153\174"] = "natural"; +macro2utf8["ucy"] = "\209\131"; +utf82macro["\209\131"] = "ucy"; +macro2utf8["olt"] = "\226\167\128"; +utf82macro["\226\167\128"] = "olt"; +macro2utf8["Cfr"] = "\226\132\173"; +utf82macro["\226\132\173"] = "Cfr"; +macro2utf8["yopf"] = "\240\157\149\170"; +utf82macro["\240\157\149\170"] = "yopf"; +macro2utf8["Otilde"] = "\195\149"; +utf82macro["\195\149"] = "Otilde"; +macro2utf8["ntriangleleft"] = "\226\139\170"; +utf82macro["\226\139\170"] = "ntriangleleft"; +macro2utf8["pr"] = "\226\137\186"; +utf82macro["\226\137\186"] = "pr"; +macro2utf8["Wscr"] = "\240\157\146\178"; +utf82macro["\240\157\146\178"] = "Wscr"; +macro2utf8["midcir"] = "\226\171\176"; +utf82macro["\226\171\176"] = "midcir"; +macro2utf8["Lacute"] = "\196\185"; +utf82macro["\196\185"] = "Lacute"; +macro2utf8["DoubleDot"] = "\194\168"; +utf82macro["\194\168"] = "DoubleDot"; +macro2utf8["Tstrok"] = "\197\166"; +utf82macro["\197\166"] = "Tstrok"; +macro2utf8["nrarrw"] = "\226\134\157\204\184"; +utf82macro["\226\134\157\204\184"] = "nrarrw"; +macro2utf8["uArr"] = "\226\135\145"; +utf82macro["\226\135\145"] = "uArr"; +macro2utf8["nLtv"] = "\226\137\170\204\184\239\184\128"; +utf82macro["\226\137\170\204\184\239\184\128"] = "nLtv"; +macro2utf8["rangle"] = "\226\140\170"; +utf82macro["\226\140\170"] = "rangle"; +macro2utf8["olcir"] = "\226\166\190"; +utf82macro["\226\166\190"] = "olcir"; +macro2utf8["Auml"] = "\195\132"; +utf82macro["\195\132"] = "Auml"; +macro2utf8["Succeeds"] = "\226\137\187"; +utf82macro["\226\137\187"] = "Succeeds"; +macro2utf8["DoubleLongLeftRightArrow"] = "\239\149\187"; +utf82macro["\239\149\187"] = "DoubleLongLeftRightArrow"; +macro2utf8["TSHcy"] = "\208\139"; +utf82macro["\208\139"] = "TSHcy"; +macro2utf8["gammad"] = "\207\156"; +utf82macro["\207\156"] = "gammad"; +macro2utf8["epsiv"] = "\201\155"; +utf82macro["\201\155"] = "epsiv"; +macro2utf8["notinva"] = "\226\136\137\204\184"; +utf82macro["\226\136\137\204\184"] = "notinva"; +macro2utf8["notinvb"] = "\226\139\183"; +utf82macro["\226\139\183"] = "notinvb"; +macro2utf8["eqvparsl"] = "\226\167\165"; +utf82macro["\226\167\165"] = "eqvparsl"; +macro2utf8["notinvc"] = "\226\139\182"; +utf82macro["\226\139\182"] = "notinvc"; +macro2utf8["nsubE"] = "\226\138\136"; +utf82macro["\226\138\136"] = "nsubE"; +macro2utf8["supplus"] = "\226\171\128"; +utf82macro["\226\171\128"] = "supplus"; +macro2utf8["RightUpDownVector"] = "\226\165\143"; +utf82macro["\226\165\143"] = "RightUpDownVector"; +macro2utf8["Tab"] = "\t"; +utf82macro["\t"] = "Tab"; +macro2utf8["Lcedil"] = "\196\187"; +utf82macro["\196\187"] = "Lcedil"; +macro2utf8["backslash"] = "\\"; +utf82macro["\\"] = "backslash"; +macro2utf8["pointint"] = "\226\168\149"; +utf82macro["\226\168\149"] = "pointint"; +macro2utf8["jcy"] = "\208\185"; +utf82macro["\208\185"] = "jcy"; +macro2utf8["iocy"] = "\209\145"; +utf82macro["\209\145"] = "iocy"; +macro2utf8["escr"] = "\226\132\175"; +utf82macro["\226\132\175"] = "escr"; +macro2utf8["submult"] = "\226\171\129"; +utf82macro["\226\171\129"] = "submult"; +macro2utf8["iiota"] = "\226\132\169"; +utf82macro["\226\132\169"] = "iiota"; +macro2utf8["lceil"] = "\226\140\136"; +utf82macro["\226\140\136"] = "lceil"; +macro2utf8["omacr"] = "\197\141"; +utf82macro["\197\141"] = "omacr"; +macro2utf8["gneqq"] = "\226\137\169"; +utf82macro["\226\137\169"] = "gneqq"; +macro2utf8["gcirc"] = "\196\157"; +utf82macro["\196\157"] = "gcirc"; +macro2utf8["dotsquare"] = "\226\138\161"; +utf82macro["\226\138\161"] = "dotsquare"; +macro2utf8["ccaron"] = "\196\141"; +utf82macro["\196\141"] = "ccaron"; +macro2utf8["Square"] = "\226\150\161"; +utf82macro["\226\150\161"] = "Square"; +macro2utf8["RightDownTeeVector"] = "\226\165\157"; +utf82macro["\226\165\157"] = "RightDownTeeVector"; +macro2utf8["Ouml"] = "\195\150"; +utf82macro["\195\150"] = "Ouml"; +macro2utf8["lurdshar"] = "\226\165\138"; +utf82macro["\226\165\138"] = "lurdshar"; +macro2utf8["SuchThat"] = "\226\136\139"; +utf82macro["\226\136\139"] = "SuchThat"; +macro2utf8["setminus"] = "\226\136\150"; +utf82macro["\226\136\150"] = "setminus"; +macro2utf8["lscr"] = "\226\132\147"; +utf82macro["\226\132\147"] = "lscr"; +macro2utf8["LessLess"] = "\226\170\161"; +utf82macro["\226\170\161"] = "LessLess"; +macro2utf8["Sub"] = "\226\139\144"; +utf82macro["\226\139\144"] = "Sub"; +macro2utf8["sc"] = "\226\137\187"; +utf82macro["\226\137\187"] = "sc"; +macro2utf8["rx"] = "\226\132\158"; +utf82macro["\226\132\158"] = "rx"; +macro2utf8["RightFloor"] = "\226\140\139"; +utf82macro["\226\140\139"] = "RightFloor"; +macro2utf8["blacksquare"] = "\226\150\170"; +utf82macro["\226\150\170"] = "blacksquare"; +macro2utf8["ufr"] = "\240\157\148\178"; +utf82macro["\240\157\148\178"] = "ufr"; +macro2utf8["block"] = "\226\150\136"; +utf82macro["\226\150\136"] = "block"; +macro2utf8["dots"] = "\226\128\166"; +utf82macro["\226\128\166"] = "dots"; +macro2utf8["nvsim"] = "\226\137\129\204\184"; +utf82macro["\226\137\129\204\184"] = "nvsim"; +macro2utf8["caret"] = "\226\129\129"; +utf82macro["\226\129\129"] = "caret"; +macro2utf8["demptyv"] = "\226\166\177"; +utf82macro["\226\166\177"] = "demptyv"; +macro2utf8["Sum"] = "\226\136\145"; +utf82macro["\226\136\145"] = "Sum"; +macro2utf8["sscr"] = "\240\157\147\136"; +utf82macro["\240\157\147\136"] = "sscr"; +macro2utf8["nsube"] = "\226\138\136"; +utf82macro["\226\138\136"] = "nsube"; +macro2utf8["Sup"] = "\226\139\145"; +utf82macro["\226\139\145"] = "Sup"; +macro2utf8["ccupssm"] = "\226\169\144"; +utf82macro["\226\169\144"] = "ccupssm"; +macro2utf8["Because"] = "\226\136\181"; +utf82macro["\226\136\181"] = "Because"; +macro2utf8["harrcir"] = "\226\165\136"; +utf82macro["\226\165\136"] = "harrcir"; +macro2utf8["capbrcup"] = "\226\169\137"; +utf82macro["\226\169\137"] = "capbrcup"; +macro2utf8["RightUpVectorBar"] = "\226\165\148"; +utf82macro["\226\165\148"] = "RightUpVectorBar"; +macro2utf8["caps"] = "\226\136\169\239\184\128"; +utf82macro["\226\136\169\239\184\128"] = "caps"; +macro2utf8["ohbar"] = "\226\166\181"; +utf82macro["\226\166\181"] = "ohbar"; +macro2utf8["laemptyv"] = "\226\166\180"; +utf82macro["\226\166\180"] = "laemptyv"; +macro2utf8["uacute"] = "\195\186"; +utf82macro["\195\186"] = "uacute"; +macro2utf8["straightphi"] = "\207\134"; +utf82macro["\207\134"] = "straightphi"; +macro2utf8["RightDoubleBracket"] = "\227\128\155"; +utf82macro["\227\128\155"] = "RightDoubleBracket"; +macro2utf8["zscr"] = "\240\157\147\143"; +utf82macro["\240\157\147\143"] = "zscr"; +macro2utf8["uogon"] = "\197\179"; +utf82macro["\197\179"] = "uogon"; +macro2utf8["Uarr"] = "\226\134\159"; +utf82macro["\226\134\159"] = "Uarr"; +macro2utf8["nsucc"] = "\226\138\129"; +utf82macro["\226\138\129"] = "nsucc"; +macro2utf8["RBarr"] = "\226\164\144"; +utf82macro["\226\164\144"] = "RBarr"; +macro2utf8["NotRightTriangleBar"] = "\226\167\144\204\184"; +utf82macro["\226\167\144\204\184"] = "NotRightTriangleBar"; +macro2utf8["to"] = "\226\134\146"; +utf82macro["\226\134\146"] = "to"; +macro2utf8["rpar"] = ")"; +utf82macro[")"] = "rpar"; +macro2utf8["rdsh"] = "\226\134\179"; +utf82macro["\226\134\179"] = "rdsh"; +macro2utf8["jfr"] = "\240\157\148\167"; +utf82macro["\240\157\148\167"] = "jfr"; +macro2utf8["ldquor"] = "\226\128\158"; +utf82macro["\226\128\158"] = "ldquor"; +macro2utf8["bsime"] = "\226\139\141"; +utf82macro["\226\139\141"] = "bsime"; +macro2utf8["lAtail"] = "\226\164\155"; +utf82macro["\226\164\155"] = "lAtail"; +macro2utf8["Hcirc"] = "\196\164"; +utf82macro["\196\164"] = "Hcirc"; +macro2utf8["aacute"] = "\195\161"; +utf82macro["\195\161"] = "aacute"; +macro2utf8["dot"] = "\203\153"; +utf82macro["\203\153"] = "dot"; +macro2utf8["Tcy"] = "\208\162"; +utf82macro["\208\162"] = "Tcy"; +macro2utf8["nsub"] = "\226\138\132"; +utf82macro["\226\138\132"] = "nsub"; +macro2utf8["kappa"] = "\206\186"; +utf82macro["\206\186"] = "kappa"; +macro2utf8["ovbar"] = "\226\140\189"; +utf82macro["\226\140\189"] = "ovbar"; +macro2utf8["shcy"] = "\209\136"; +utf82macro["\209\136"] = "shcy"; +macro2utf8["kappav"] = "\207\176"; +utf82macro["\207\176"] = "kappav"; +macro2utf8["ropar"] = "\227\128\153"; +utf82macro["\227\128\153"] = "ropar"; +macro2utf8["gtcc"] = "\226\170\167"; +utf82macro["\226\170\167"] = "gtcc"; +macro2utf8["ecolon"] = "\226\137\149"; +utf82macro["\226\137\149"] = "ecolon"; +macro2utf8["circledast"] = "\226\138\155"; +utf82macro["\226\138\155"] = "circledast"; +macro2utf8["colon"] = ":"; +utf82macro[":"] = "colon"; +macro2utf8["timesbar"] = "\226\168\177"; +utf82macro["\226\168\177"] = "timesbar"; +macro2utf8["precnsim"] = "\226\139\168"; +utf82macro["\226\139\168"] = "precnsim"; +macro2utf8["ord"] = "\226\169\157"; +utf82macro["\226\169\157"] = "ord"; +macro2utf8["real"] = "\226\132\156"; +utf82macro["\226\132\156"] = "real"; +macro2utf8["nexists"] = "\226\136\132"; +utf82macro["\226\136\132"] = "nexists"; +macro2utf8["nsup"] = "\226\138\133"; +utf82macro["\226\138\133"] = "nsup"; +macro2utf8["zhcy"] = "\208\182"; +utf82macro["\208\182"] = "zhcy"; +macro2utf8["imacr"] = "\196\171"; +utf82macro["\196\171"] = "imacr"; +macro2utf8["egrave"] = "\195\168"; +utf82macro["\195\168"] = "egrave"; +macro2utf8["acirc"] = "\195\162"; +utf82macro["\195\162"] = "acirc"; +macro2utf8["grave"] = "`"; +utf82macro["`"] = "grave"; +macro2utf8["biguplus"] = "\226\138\142"; +utf82macro["\226\138\142"] = "biguplus"; +macro2utf8["HumpEqual"] = "\226\137\143"; +utf82macro["\226\137\143"] = "HumpEqual"; +macro2utf8["GreaterSlantEqual"] = "\226\169\190"; +utf82macro["\226\169\190"] = "GreaterSlantEqual"; +macro2utf8["capand"] = "\226\169\132"; +utf82macro["\226\169\132"] = "capand"; +macro2utf8["yuml"] = "\195\191"; +utf82macro["\195\191"] = "yuml"; +macro2utf8["orv"] = "\226\169\155"; +utf82macro["\226\169\155"] = "orv"; +macro2utf8["Icy"] = "\208\152"; +utf82macro["\208\152"] = "Icy"; +macro2utf8["rightharpoondown"] = "\226\135\129"; +utf82macro["\226\135\129"] = "rightharpoondown"; +macro2utf8["upsilon"] = "\207\133"; +utf82macro["\207\133"] = "upsilon"; +macro2utf8["preccurlyeq"] = "\226\137\188"; +utf82macro["\226\137\188"] = "preccurlyeq"; +macro2utf8["ShortUpArrow"] = "\226\140\131\239\184\128"; +utf82macro["\226\140\131\239\184\128"] = "ShortUpArrow"; +macro2utf8["searhk"] = "\226\164\165"; +utf82macro["\226\164\165"] = "searhk"; +macro2utf8["commat"] = "@"; +utf82macro["@"] = "commat"; +macro2utf8["Sqrt"] = "\226\136\154"; +utf82macro["\226\136\154"] = "Sqrt"; +macro2utf8["wp"] = "\226\132\152"; +utf82macro["\226\132\152"] = "wp"; +macro2utf8["succnapprox"] = "\226\139\169"; +utf82macro["\226\139\169"] = "succnapprox"; +macro2utf8["wr"] = "\226\137\128"; +utf82macro["\226\137\128"] = "wr"; +macro2utf8["NotTildeTilde"] = "\226\137\137"; +utf82macro["\226\137\137"] = "NotTildeTilde"; +macro2utf8["dcaron"] = "\196\143"; +utf82macro["\196\143"] = "dcaron"; +macro2utf8["Tfr"] = "\240\157\148\151"; +utf82macro["\240\157\148\151"] = "Tfr"; +macro2utf8["bigwedge"] = "\226\139\128"; +utf82macro["\226\139\128"] = "bigwedge"; +macro2utf8["DScy"] = "\208\133"; +utf82macro["\208\133"] = "DScy"; +macro2utf8["nrtrie"] = "\226\139\173"; +utf82macro["\226\139\173"] = "nrtrie"; +macro2utf8["esim"] = "\226\137\130"; +utf82macro["\226\137\130"] = "esim"; +macro2utf8["Not"] = "\226\171\172"; +utf82macro["\226\171\172"] = "Not"; +macro2utf8["xmap"] = "\239\149\189"; +utf82macro["\239\149\189"] = "xmap"; +macro2utf8["rect"] = "\226\150\173"; +utf82macro["\226\150\173"] = "rect"; +macro2utf8["Fouriertrf"] = "\226\132\177"; +utf82macro["\226\132\177"] = "Fouriertrf"; +macro2utf8["xi"] = "\206\190"; +utf82macro["\206\190"] = "xi"; +macro2utf8["NotTilde"] = "\226\137\129"; +utf82macro["\226\137\129"] = "NotTilde"; +macro2utf8["gbreve"] = "\196\159"; +utf82macro["\196\159"] = "gbreve"; +macro2utf8["par"] = "\226\136\165"; +utf82macro["\226\136\165"] = "par"; +macro2utf8["ddots"] = "\226\139\177"; +utf82macro["\226\139\177"] = "ddots"; +macro2utf8["nhArr"] = "\226\135\142"; +utf82macro["\226\135\142"] = "nhArr"; +macro2utf8["lsim"] = "\226\137\178"; +utf82macro["\226\137\178"] = "lsim"; +macro2utf8["RightCeiling"] = "\226\140\137"; +utf82macro["\226\140\137"] = "RightCeiling"; +macro2utf8["nedot"] = "\226\137\160\239\184\128"; +utf82macro["\226\137\160\239\184\128"] = "nedot"; +macro2utf8["thksim"] = "\226\136\188\239\184\128"; +utf82macro["\226\136\188\239\184\128"] = "thksim"; +macro2utf8["lEg"] = "\226\139\154"; +utf82macro["\226\139\154"] = "lEg"; +macro2utf8["Ifr"] = "\226\132\145"; +utf82macro["\226\132\145"] = "Ifr"; +macro2utf8["emsp"] = "\226\128\131"; +utf82macro["\226\128\131"] = "emsp"; +macro2utf8["lopar"] = "\227\128\152"; +utf82macro["\227\128\152"] = "lopar"; +macro2utf8["iiiint"] = "\226\168\140"; +utf82macro["\226\168\140"] = "iiiint"; +macro2utf8["straightepsilon"] = "\206\181"; +utf82macro["\206\181"] = "straightepsilon"; +macro2utf8["intlarhk"] = "\226\168\151"; +utf82macro["\226\168\151"] = "intlarhk"; +macro2utf8["image"] = "\226\132\145"; +utf82macro["\226\132\145"] = "image"; +macro2utf8["sqsubseteq"] = "\226\138\145"; +utf82macro["\226\138\145"] = "sqsubseteq"; +macro2utf8["lnapprox"] = "\226\170\137"; +utf82macro["\226\170\137"] = "lnapprox"; +macro2utf8["Leftrightarrow"] = "\226\135\148"; +utf82macro["\226\135\148"] = "Leftrightarrow"; +macro2utf8["cemptyv"] = "\226\166\178"; +utf82macro["\226\166\178"] = "cemptyv"; +macro2utf8["alpha"] = "\206\177"; +utf82macro["\206\177"] = "alpha"; +macro2utf8["uml"] = "\194\168"; +utf82macro["\194\168"] = "uml"; +macro2utf8["barwedge"] = "\226\138\188"; +utf82macro["\226\138\188"] = "barwedge"; +macro2utf8["KHcy"] = "\208\165"; +utf82macro["\208\165"] = "KHcy"; +macro2utf8["tilde"] = "\203\156"; +utf82macro["\203\156"] = "tilde"; +macro2utf8["Superset"] = "\226\138\131"; +utf82macro["\226\138\131"] = "Superset"; +macro2utf8["gesles"] = "\226\170\148"; +utf82macro["\226\170\148"] = "gesles"; +macro2utf8["bigoplus"] = "\226\138\149"; +utf82macro["\226\138\149"] = "bigoplus"; +macro2utf8["boxuL"] = "\226\149\155"; +utf82macro["\226\149\155"] = "boxuL"; +macro2utf8["rbbrk"] = "\227\128\149"; +utf82macro["\227\128\149"] = "rbbrk"; +macro2utf8["nrightarrow"] = "\226\134\155"; +utf82macro["\226\134\155"] = "nrightarrow"; +macro2utf8["hkswarow"] = "\226\164\166"; +utf82macro["\226\164\166"] = "hkswarow"; +macro2utf8["DiacriticalDoubleAcute"] = "\203\157"; +utf82macro["\203\157"] = "DiacriticalDoubleAcute"; +macro2utf8["nbumpe"] = "\226\137\143\204\184"; +utf82macro["\226\137\143\204\184"] = "nbumpe"; +macro2utf8["uhblk"] = "\226\150\128"; +utf82macro["\226\150\128"] = "uhblk"; +macro2utf8["NotSupersetEqual"] = "\226\138\137"; +utf82macro["\226\138\137"] = "NotSupersetEqual"; +macro2utf8["ntgl"] = "\226\137\185"; +utf82macro["\226\137\185"] = "ntgl"; +macro2utf8["Fopf"] = "\240\157\148\189"; +utf82macro["\240\157\148\189"] = "Fopf"; +macro2utf8["boxuR"] = "\226\149\152"; +utf82macro["\226\149\152"] = "boxuR"; +macro2utf8["swarr"] = "\226\134\153"; +utf82macro["\226\134\153"] = "swarr"; +macro2utf8["nsqsube"] = "\226\139\162"; +utf82macro["\226\139\162"] = "nsqsube"; +macro2utf8["pluscir"] = "\226\168\162"; +utf82macro["\226\168\162"] = "pluscir"; +macro2utf8["pcy"] = "\208\191"; +utf82macro["\208\191"] = "pcy"; +macro2utf8["leqslant"] = "\226\169\189"; +utf82macro["\226\169\189"] = "leqslant"; +macro2utf8["lnap"] = "\226\170\137"; +utf82macro["\226\170\137"] = "lnap"; +macro2utf8["lthree"] = "\226\139\139"; +utf82macro["\226\139\139"] = "lthree"; +macro2utf8["smte"] = "\226\170\172"; +utf82macro["\226\170\172"] = "smte"; +macro2utf8["olcross"] = "\226\166\187"; +utf82macro["\226\166\187"] = "olcross"; +macro2utf8["nvrArr"] = "\226\135\143"; +utf82macro["\226\135\143"] = "nvrArr"; +macro2utf8["andslope"] = "\226\169\152"; +utf82macro["\226\169\152"] = "andslope"; +macro2utf8["MediumSpace"] = "\226\129\159"; +utf82macro["\226\129\159"] = "MediumSpace"; +macro2utf8["boxvH"] = "\226\149\170"; +utf82macro["\226\149\170"] = "boxvH"; +macro2utf8["Nacute"] = "\197\131"; +utf82macro["\197\131"] = "Nacute"; +macro2utf8["nGtv"] = "\226\137\171\204\184\239\184\128"; +utf82macro["\226\137\171\204\184\239\184\128"] = "nGtv"; +macro2utf8["Mopf"] = "\240\157\149\132"; +utf82macro["\240\157\149\132"] = "Mopf"; +macro2utf8["dfisht"] = "\226\165\191"; +utf82macro["\226\165\191"] = "dfisht"; +macro2utf8["boxvL"] = "\226\149\161"; +utf82macro["\226\149\161"] = "boxvL"; +macro2utf8["pertenk"] = "\226\128\177"; +utf82macro["\226\128\177"] = "pertenk"; +macro2utf8["NotPrecedes"] = "\226\138\128"; +utf82macro["\226\138\128"] = "NotPrecedes"; +macro2utf8["profalar"] = "\226\140\174"; +utf82macro["\226\140\174"] = "profalar"; +macro2utf8["roplus"] = "\226\168\174"; +utf82macro["\226\168\174"] = "roplus"; +macro2utf8["boxvR"] = "\226\149\158"; +utf82macro["\226\149\158"] = "boxvR"; +macro2utf8["utrif"] = "\226\150\180"; +utf82macro["\226\150\180"] = "utrif"; +macro2utf8["uHar"] = "\226\165\163"; +utf82macro["\226\165\163"] = "uHar"; +macro2utf8["nltrie"] = "\226\139\172"; +utf82macro["\226\139\172"] = "nltrie"; +macro2utf8["NotNestedGreaterGreater"] = "\226\146\162\204\184"; +utf82macro["\226\146\162\204\184"] = "NotNestedGreaterGreater"; +macro2utf8["smtes"] = "\226\170\172\239\184\128"; +utf82macro["\226\170\172\239\184\128"] = "smtes"; +macro2utf8["LeftAngleBracket"] = "\226\140\169"; +utf82macro["\226\140\169"] = "LeftAngleBracket"; +macro2utf8["iogon"] = "\196\175"; +utf82macro["\196\175"] = "iogon"; +macro2utf8["ExponentialE"] = "\226\133\135"; +utf82macro["\226\133\135"] = "ExponentialE"; +macro2utf8["Topf"] = "\240\157\149\139"; +utf82macro["\240\157\149\139"] = "Topf"; +macro2utf8["GreaterEqual"] = "\226\137\165"; +utf82macro["\226\137\165"] = "GreaterEqual"; +macro2utf8["DownTee"] = "\226\138\164"; +utf82macro["\226\138\164"] = "DownTee"; +macro2utf8["boxul"] = "\226\148\152"; +utf82macro["\226\148\152"] = "boxul"; +macro2utf8["wreath"] = "\226\137\128"; +utf82macro["\226\137\128"] = "wreath"; +macro2utf8["sigma"] = "\207\131"; +utf82macro["\207\131"] = "sigma"; +macro2utf8["ENG"] = "\197\138"; +utf82macro["\197\138"] = "ENG"; +macro2utf8["Ncedil"] = "\197\133"; +utf82macro["\197\133"] = "Ncedil"; +macro2utf8["ecy"] = "\209\141"; +utf82macro["\209\141"] = "ecy"; +macro2utf8["nsubset"] = "\226\138\132"; +utf82macro["\226\138\132"] = "nsubset"; +macro2utf8["LessFullEqual"] = "\226\137\166"; +utf82macro["\226\137\166"] = "LessFullEqual"; +macro2utf8["bsolb"] = "\226\167\133"; +utf82macro["\226\167\133"] = "bsolb"; +macro2utf8["boxur"] = "\226\148\148"; +utf82macro["\226\148\148"] = "boxur"; +macro2utf8["ThinSpace"] = "\226\128\137"; +utf82macro["\226\128\137"] = "ThinSpace"; +macro2utf8["supdsub"] = "\226\171\152"; +utf82macro["\226\171\152"] = "supdsub"; +macro2utf8["colone"] = "\226\137\148"; +utf82macro["\226\137\148"] = "colone"; +macro2utf8["curren"] = "\194\164"; +utf82macro["\194\164"] = "curren"; +macro2utf8["boxvh"] = "\226\148\188"; +utf82macro["\226\148\188"] = "boxvh"; +macro2utf8["ecaron"] = "\196\155"; +utf82macro["\196\155"] = "ecaron"; +macro2utf8["UnderBrace"] = "\239\184\184"; +utf82macro["\239\184\184"] = "UnderBrace"; +macro2utf8["caron"] = "\203\135"; +utf82macro["\203\135"] = "caron"; +macro2utf8["ultri"] = "\226\151\184"; +utf82macro["\226\151\184"] = "ultri"; +macro2utf8["boxvl"] = "\226\148\164"; +utf82macro["\226\148\164"] = "boxvl"; +macro2utf8["scap"] = "\226\137\191"; +utf82macro["\226\137\191"] = "scap"; +macro2utf8["boxvr"] = "\226\148\156"; +utf82macro["\226\148\156"] = "boxvr"; +macro2utf8["bopf"] = "\240\157\149\147"; +utf82macro["\240\157\149\147"] = "bopf"; +macro2utf8["pfr"] = "\240\157\148\173"; +utf82macro["\240\157\148\173"] = "pfr"; +macro2utf8["nspar"] = "\226\136\166\239\184\128"; +utf82macro["\226\136\166\239\184\128"] = "nspar"; +macro2utf8["NegativeMediumSpace"] = "\226\129\159\239\184\128"; +utf82macro["\226\129\159\239\184\128"] = "NegativeMediumSpace"; +macro2utf8["simgE"] = "\226\170\160"; +utf82macro["\226\170\160"] = "simgE"; +macro2utf8["nvDash"] = "\226\138\173"; +utf82macro["\226\138\173"] = "nvDash"; +macro2utf8["NotGreaterFullEqual"] = "\226\137\176"; +utf82macro["\226\137\176"] = "NotGreaterFullEqual"; +macro2utf8["uparrow"] = "\226\134\145"; +utf82macro["\226\134\145"] = "uparrow"; +macro2utf8["nsupset"] = "\226\138\133"; +utf82macro["\226\138\133"] = "nsupset"; +macro2utf8["simeq"] = "\226\137\131"; +utf82macro["\226\137\131"] = "simeq"; +macro2utf8["Zcy"] = "\208\151"; +utf82macro["\208\151"] = "Zcy"; +macro2utf8["RightTriangle"] = "\226\138\179"; +utf82macro["\226\138\179"] = "RightTriangle"; +macro2utf8["Lang"] = "\227\128\138"; +utf82macro["\227\128\138"] = "Lang"; +macro2utf8["Ucirc"] = "\195\155"; +utf82macro["\195\155"] = "Ucirc"; +macro2utf8["iopf"] = "\240\157\149\154"; +utf82macro["\240\157\149\154"] = "iopf"; +macro2utf8["leftrightsquigarrow"] = "\226\134\173"; +utf82macro["\226\134\173"] = "leftrightsquigarrow"; +macro2utf8["Gscr"] = "\240\157\146\162"; +utf82macro["\240\157\146\162"] = "Gscr"; +macro2utf8["lfloor"] = "\226\140\138"; +utf82macro["\226\140\138"] = "lfloor"; +macro2utf8["lbbrk"] = "\227\128\148"; +utf82macro["\227\128\148"] = "lbbrk"; +macro2utf8["bigvee"] = "\226\139\129"; +utf82macro["\226\139\129"] = "bigvee"; +macro2utf8["ordf"] = "\194\170"; +utf82macro["\194\170"] = "ordf"; +macro2utf8["rsquo"] = "\226\128\153"; +utf82macro["\226\128\153"] = "rsquo"; +macro2utf8["parallel"] = "\226\136\165"; +utf82macro["\226\136\165"] = "parallel"; +macro2utf8["half"] = "\194\189"; +utf82macro["\194\189"] = "half"; +macro2utf8["supseteq"] = "\226\138\135"; +utf82macro["\226\138\135"] = "supseteq"; +macro2utf8["ngeqq"] = "\226\137\177"; +utf82macro["\226\137\177"] = "ngeqq"; +macro2utf8["popf"] = "\240\157\149\161"; +utf82macro["\240\157\149\161"] = "popf"; +macro2utf8["NonBreakingSpace"] = "\194\160"; +utf82macro["\194\160"] = "NonBreakingSpace"; +macro2utf8["softcy"] = "\209\140"; +utf82macro["\209\140"] = "softcy"; +macro2utf8["ordm"] = "\194\186"; +utf82macro["\194\186"] = "ordm"; +macro2utf8["Nscr"] = "\240\157\146\169"; +utf82macro["\240\157\146\169"] = "Nscr"; +macro2utf8["owns"] = "\226\136\139"; +utf82macro["\226\136\139"] = "owns"; +macro2utf8["phi"] = "\207\149"; +utf82macro["\207\149"] = "phi"; +macro2utf8["efr"] = "\240\157\148\162"; +utf82macro["\240\157\148\162"] = "efr"; +macro2utf8["nesear"] = "\226\164\168"; +utf82macro["\226\164\168"] = "nesear"; +macro2utf8["marker"] = "\226\150\174"; +utf82macro["\226\150\174"] = "marker"; +macro2utf8["lneq"] = "\226\137\168"; +utf82macro["\226\137\168"] = "lneq"; +macro2utf8["parallet"] = "????"; +utf82macro["????"] = "parallet"; +macro2utf8["ndash"] = "\226\128\147"; +utf82macro["\226\128\147"] = "ndash"; +macro2utf8["DoubleLeftTee"] = "\226\171\164"; +utf82macro["\226\171\164"] = "DoubleLeftTee"; +macro2utf8["lArr"] = "\226\135\144"; +utf82macro["\226\135\144"] = "lArr"; +macro2utf8["becaus"] = "\226\136\181"; +utf82macro["\226\136\181"] = "becaus"; +macro2utf8["RightTee"] = "\226\138\162"; +utf82macro["\226\138\162"] = "RightTee"; +macro2utf8["Ocy"] = "\208\158"; +utf82macro["\208\158"] = "Ocy"; +macro2utf8["ntlg"] = "\226\137\184"; +utf82macro["\226\137\184"] = "ntlg"; +macro2utf8["cacute"] = "\196\135"; +utf82macro["\196\135"] = "cacute"; +macro2utf8["wopf"] = "\240\157\149\168"; +utf82macro["\240\157\149\168"] = "wopf"; +macro2utf8["Cup"] = "\226\139\147"; +utf82macro["\226\139\147"] = "Cup"; +macro2utf8["Uscr"] = "\240\157\146\176"; +utf82macro["\240\157\146\176"] = "Uscr"; +macro2utf8["NotHumpEqual"] = "\226\137\143\204\184"; +utf82macro["\226\137\143\204\184"] = "NotHumpEqual"; +macro2utf8["rnmid"] = "\226\171\174"; +utf82macro["\226\171\174"] = "rnmid"; +macro2utf8["nsupE"] = "\226\138\137"; +utf82macro["\226\138\137"] = "nsupE"; +macro2utf8["bemptyv"] = "\226\166\176"; +utf82macro["\226\166\176"] = "bemptyv"; +macro2utf8["lsqb"] = "["; +utf82macro["["] = "lsqb"; +macro2utf8["nrarr"] = "\226\134\155"; +utf82macro["\226\134\155"] = "nrarr"; +macro2utf8["egs"] = "\226\139\157"; +utf82macro["\226\139\157"] = "egs"; +macro2utf8["reals"] = "\226\132\157"; +utf82macro["\226\132\157"] = "reals"; +macro2utf8["CupCap"] = "\226\137\141"; +utf82macro["\226\137\141"] = "CupCap"; +macro2utf8["Oacute"] = "\195\147"; +utf82macro["\195\147"] = "Oacute"; +macro2utf8["Zfr"] = "\226\132\168"; +utf82macro["\226\132\168"] = "Zfr"; +macro2utf8["ReverseEquilibrium"] = "\226\135\139"; +utf82macro["\226\135\139"] = "ReverseEquilibrium"; +macro2utf8["ccedil"] = "\195\167"; +utf82macro["\195\167"] = "ccedil"; +macro2utf8["bigtriangleup"] = "\226\150\179"; +utf82macro["\226\150\179"] = "bigtriangleup"; +macro2utf8["piv"] = "\207\150"; +utf82macro["\207\150"] = "piv"; +macro2utf8["cirscir"] = "\226\167\130"; +utf82macro["\226\167\130"] = "cirscir"; +macro2utf8["exists"] = "\226\136\131"; +utf82macro["\226\136\131"] = "exists"; +macro2utf8["Uarrocir"] = "\226\165\137"; +utf82macro["\226\165\137"] = "Uarrocir"; +macro2utf8["Dcy"] = "\208\148"; +utf82macro["\208\148"] = "Dcy"; +macro2utf8["cscr"] = "\240\157\146\184"; +utf82macro["\240\157\146\184"] = "cscr"; +macro2utf8["zcaron"] = "\197\190"; +utf82macro["\197\190"] = "zcaron"; +macro2utf8["isinE"] = "\226\139\185"; +utf82macro["\226\139\185"] = "isinE"; +macro2utf8["gtcir"] = "\226\169\186"; +utf82macro["\226\169\186"] = "gtcir"; +macro2utf8["hookrightarrow"] = "\226\134\170"; +utf82macro["\226\134\170"] = "hookrightarrow"; +macro2utf8["Int"] = "\226\136\172"; +utf82macro["\226\136\172"] = "Int"; +macro2utf8["nsupe"] = "\226\138\137"; +utf82macro["\226\138\137"] = "nsupe"; +macro2utf8["dotplus"] = "\226\136\148"; +utf82macro["\226\136\148"] = "dotplus"; +macro2utf8["ncup"] = "\226\169\130"; +utf82macro["\226\169\130"] = "ncup"; +macro2utf8["jscr"] = "\240\157\146\191"; +utf82macro["\240\157\146\191"] = "jscr"; +macro2utf8["angmsdaa"] = "\226\166\168"; +utf82macro["\226\166\168"] = "angmsdaa"; +macro2utf8["Iukcy"] = "\208\134"; +utf82macro["\208\134"] = "Iukcy"; +macro2utf8["flat"] = "\226\153\173"; +utf82macro["\226\153\173"] = "flat"; +macro2utf8["bNot"] = "\226\171\173"; +utf82macro["\226\171\173"] = "bNot"; +macro2utf8["angmsdab"] = "\226\166\169"; +utf82macro["\226\166\169"] = "angmsdab"; +macro2utf8["angmsdac"] = "\226\166\170"; +utf82macro["\226\166\170"] = "angmsdac"; +macro2utf8["xdtri"] = "\226\150\189"; +utf82macro["\226\150\189"] = "xdtri"; +macro2utf8["iota"] = "\206\185"; +utf82macro["\206\185"] = "iota"; +macro2utf8["angmsdad"] = "\226\166\171"; +utf82macro["\226\166\171"] = "angmsdad"; +macro2utf8["angmsdae"] = "\226\166\172"; +utf82macro["\226\166\172"] = "angmsdae"; +macro2utf8["rightarrowtail"] = "\226\134\163"; +utf82macro["\226\134\163"] = "rightarrowtail"; +macro2utf8["angmsdaf"] = "\226\166\173"; +utf82macro["\226\166\173"] = "angmsdaf"; +macro2utf8["Ocirc"] = "\195\148"; +utf82macro["\195\148"] = "Ocirc"; +macro2utf8["angmsdag"] = "\226\166\174"; +utf82macro["\226\166\174"] = "angmsdag"; +macro2utf8["Ofr"] = "\240\157\148\146"; +utf82macro["\240\157\148\146"] = "Ofr"; +macro2utf8["maltese"] = "\226\156\160"; +utf82macro["\226\156\160"] = "maltese"; +macro2utf8["angmsdah"] = "\226\166\175"; +utf82macro["\226\166\175"] = "angmsdah"; +macro2utf8["Del"] = "\226\136\135"; +utf82macro["\226\136\135"] = "Del"; +macro2utf8["Barwed"] = "\226\140\134"; +utf82macro["\226\140\134"] = "Barwed"; +macro2utf8["drbkarow"] = "\226\164\144"; +utf82macro["\226\164\144"] = "drbkarow"; +macro2utf8["qscr"] = "\240\157\147\134"; +utf82macro["\240\157\147\134"] = "qscr"; +macro2utf8["ETH"] = "\195\144"; +utf82macro["\195\144"] = "ETH"; +macro2utf8["operp"] = "\226\166\185"; +utf82macro["\226\166\185"] = "operp"; +macro2utf8["daleth"] = "\226\132\184"; +utf82macro["\226\132\184"] = "daleth"; +macro2utf8["bull"] = "\226\128\162"; +utf82macro["\226\128\162"] = "bull"; +macro2utf8["simlE"] = "\226\170\159"; +utf82macro["\226\170\159"] = "simlE"; +macro2utf8["lsquo"] = "\226\128\152"; +utf82macro["\226\128\152"] = "lsquo"; +macro2utf8["Larr"] = "\226\134\158"; +utf82macro["\226\134\158"] = "Larr"; +macro2utf8["curarr"] = "\226\134\183"; +utf82macro["\226\134\183"] = "curarr"; +macro2utf8["blacktriangleleft"] = "\226\151\130"; +utf82macro["\226\151\130"] = "blacktriangleleft"; +macro2utf8["hellip"] = "\226\128\166"; +utf82macro["\226\128\166"] = "hellip"; +macro2utf8["DoubleVerticalBar"] = "\226\136\165"; +utf82macro["\226\136\165"] = "DoubleVerticalBar"; +macro2utf8["rBarr"] = "\226\164\143"; +utf82macro["\226\164\143"] = "rBarr"; +macro2utf8["chcy"] = "\209\135"; +utf82macro["\209\135"] = "chcy"; +macro2utf8["varpi"] = "\207\150"; +utf82macro["\207\150"] = "varpi"; +macro2utf8["Cconint"] = "\226\136\176"; +utf82macro["\226\136\176"] = "Cconint"; +macro2utf8["xlarr"] = "\239\149\182"; +utf82macro["\239\149\182"] = "xlarr"; +macro2utf8["xscr"] = "\240\157\147\141"; +utf82macro["\240\157\147\141"] = "xscr"; +macro2utf8["DoubleLongRightArrow"] = "\239\149\186"; +utf82macro["\239\149\186"] = "DoubleLongRightArrow"; +macro2utf8["CounterClockwiseContourIntegral"] = "\226\136\179"; +utf82macro["\226\136\179"] = "CounterClockwiseContourIntegral"; +macro2utf8["urcrop"] = "\226\140\142"; +utf82macro["\226\140\142"] = "urcrop"; +macro2utf8["RightAngleBracket"] = "\226\140\170"; +utf82macro["\226\140\170"] = "RightAngleBracket"; +macro2utf8["Rcaron"] = "\197\152"; +utf82macro["\197\152"] = "Rcaron"; +macro2utf8["latail"] = "\226\164\153"; +utf82macro["\226\164\153"] = "latail"; +macro2utf8["pitchfork"] = "\226\139\148"; +utf82macro["\226\139\148"] = "pitchfork"; +macro2utf8["nvinfin"] = "\226\167\158"; +utf82macro["\226\167\158"] = "nvinfin"; +macro2utf8["hcirc"] = "\196\165"; +utf82macro["\196\165"] = "hcirc"; +macro2utf8["nexist"] = "\226\136\132"; +utf82macro["\226\136\132"] = "nexist"; +macro2utf8["checkmark"] = "\226\156\147"; +utf82macro["\226\156\147"] = "checkmark"; +macro2utf8["tridot"] = "\226\151\172"; +utf82macro["\226\151\172"] = "tridot"; +macro2utf8["vcy"] = "\208\178"; +utf82macro["\208\178"] = "vcy"; +macro2utf8["isins"] = "\226\139\180"; +utf82macro["\226\139\180"] = "isins"; +macro2utf8["fllig"] = "\239\172\130"; +utf82macro["\239\172\130"] = "fllig"; +macro2utf8["Dfr"] = "\240\157\148\135"; +utf82macro["\240\157\148\135"] = "Dfr"; +macro2utf8["hercon"] = "\226\138\185"; +utf82macro["\226\138\185"] = "hercon"; +macro2utf8["gEl"] = "\226\139\155"; +utf82macro["\226\139\155"] = "gEl"; +macro2utf8["bump"] = "\226\137\142"; +utf82macro["\226\137\142"] = "bump"; +macro2utf8["aleph"] = "\226\132\181"; +utf82macro["\226\132\181"] = "aleph"; +macro2utf8["Ubreve"] = "\197\172"; +utf82macro["\197\172"] = "Ubreve"; +macro2utf8["isinv"] = "\226\136\136"; +utf82macro["\226\136\136"] = "isinv"; +macro2utf8["smile"] = "\226\140\163"; +utf82macro["\226\140\163"] = "smile"; +macro2utf8["llcorner"] = "\226\140\158"; +utf82macro["\226\140\158"] = "llcorner"; +macro2utf8["boxH"] = "\226\149\144"; +utf82macro["\226\149\144"] = "boxH"; +macro2utf8["ecir"] = "\226\137\150"; +utf82macro["\226\137\150"] = "ecir"; +macro2utf8["varnothing"] = "\226\136\133"; +utf82macro["\226\136\133"] = "varnothing"; +macro2utf8["iuml"] = "\195\175"; +utf82macro["\195\175"] = "iuml"; +macro2utf8["mlcp"] = "\226\171\155"; +utf82macro["\226\171\155"] = "mlcp"; +macro2utf8["leftrightharpoons"] = "\226\135\139"; +utf82macro["\226\135\139"] = "leftrightharpoons"; +macro2utf8["ncong"] = "\226\137\135"; +utf82macro["\226\137\135"] = "ncong"; +macro2utf8["Vert"] = "\226\128\150"; +utf82macro["\226\128\150"] = "Vert"; +macro2utf8["vee"] = "\226\136\168"; +utf82macro["\226\136\168"] = "vee"; +macro2utf8["star"] = "\226\139\134"; +utf82macro["\226\139\134"] = "star"; +macro2utf8["boxV"] = "\226\149\145"; +utf82macro["\226\149\145"] = "boxV"; +macro2utf8["LeftRightArrow"] = "\226\134\148"; +utf82macro["\226\134\148"] = "LeftRightArrow"; +macro2utf8["leftrightarrow"] = "\226\134\148"; +utf82macro["\226\134\148"] = "leftrightarrow"; +macro2utf8["lstrok"] = "\197\130"; +utf82macro["\197\130"] = "lstrok"; +macro2utf8["ell"] = "\226\132\147"; +utf82macro["\226\132\147"] = "ell"; +macro2utf8["VerticalSeparator"] = "\226\157\152"; +utf82macro["\226\157\152"] = "VerticalSeparator"; +macro2utf8["Ubrcy"] = "\208\142"; +utf82macro["\208\142"] = "Ubrcy"; +macro2utf8["NotGreater"] = "\226\137\175"; +utf82macro["\226\137\175"] = "NotGreater"; +macro2utf8["Abreve"] = "\196\130"; +utf82macro["\196\130"] = "Abreve"; +macro2utf8["TildeTilde"] = "\226\137\136"; +utf82macro["\226\137\136"] = "TildeTilde"; +macro2utf8["CircleTimes"] = "\226\138\151"; +utf82macro["\226\138\151"] = "CircleTimes"; +macro2utf8["subsetneq"] = "\226\138\138"; +utf82macro["\226\138\138"] = "subsetneq"; +macro2utf8["ltcc"] = "\226\170\166"; +utf82macro["\226\170\166"] = "ltcc"; +macro2utf8["els"] = "\226\139\156"; +utf82macro["\226\139\156"] = "els"; +macro2utf8["succneqq"] = "\226\170\182"; +utf82macro["\226\170\182"] = "succneqq"; +macro2utf8["kcy"] = "\208\186"; +utf82macro["\208\186"] = "kcy"; +macro2utf8["nshortmid"] = "\226\136\164\239\184\128"; +utf82macro["\226\136\164\239\184\128"] = "nshortmid"; +macro2utf8["mldr"] = "\226\128\166"; +utf82macro["\226\128\166"] = "mldr"; +macro2utf8["harr"] = "\226\134\148"; +utf82macro["\226\134\148"] = "harr"; +macro2utf8["gimel"] = "\226\132\183"; +utf82macro["\226\132\183"] = "gimel"; +macro2utf8["Otimes"] = "\226\168\183"; +utf82macro["\226\168\183"] = "Otimes"; +macro2utf8["vsubnE"] = "\226\138\138\239\184\128"; +utf82macro["\226\138\138\239\184\128"] = "vsubnE"; +macro2utf8["ltdot"] = "\226\139\150"; +utf82macro["\226\139\150"] = "ltdot"; +macro2utf8["boxh"] = "\226\148\128"; +utf82macro["\226\148\128"] = "boxh"; +macro2utf8["notin"] = "\226\136\137"; +utf82macro["\226\136\137"] = "notin"; +macro2utf8["RuleDelayed"] = "\226\167\180"; +utf82macro["\226\167\180"] = "RuleDelayed"; +macro2utf8["sqsube"] = "\226\138\145"; +utf82macro["\226\138\145"] = "sqsube"; +macro2utf8["macr"] = "\194\175"; +utf82macro["\194\175"] = "macr"; +macro2utf8["Icirc"] = "\195\142"; +utf82macro["\195\142"] = "Icirc"; +macro2utf8["comma"] = ","; +utf82macro[","] = "comma"; +macro2utf8["Cayleys"] = "\226\132\173"; +utf82macro["\226\132\173"] = "Cayleys"; +macro2utf8["rightleftharpoons"] = "\226\135\140"; +utf82macro["\226\135\140"] = "rightleftharpoons"; +macro2utf8["Rarrtl"] = "\226\164\150"; +utf82macro["\226\164\150"] = "Rarrtl"; +macro2utf8["SquareSubsetEqual"] = "\226\138\145"; +utf82macro["\226\138\145"] = "SquareSubsetEqual"; +macro2utf8["NotGreaterEqual"] = "\226\137\177\226\131\165"; +utf82macro["\226\137\177\226\131\165"] = "NotGreaterEqual"; +macro2utf8["vfr"] = "\240\157\148\179"; +utf82macro["\240\157\148\179"] = "vfr"; +macro2utf8["utri"] = "\226\150\181"; +utf82macro["\226\150\181"] = "utri"; +macro2utf8["simne"] = "\226\137\134"; +utf82macro["\226\137\134"] = "simne"; +macro2utf8["LeftUpVectorBar"] = "\226\165\152"; +utf82macro["\226\165\152"] = "LeftUpVectorBar"; +macro2utf8["hksearow"] = "\226\164\165"; +utf82macro["\226\164\165"] = "hksearow"; +macro2utf8["boxv"] = "\226\148\130"; +utf82macro["\226\148\130"] = "boxv"; +macro2utf8["curvearrowleft"] = "\226\134\182"; +utf82macro["\226\134\182"] = "curvearrowleft"; +macro2utf8["eng"] = "\197\139"; +utf82macro["\197\139"] = "eng"; +macro2utf8["gtrarr"] = "\226\165\184"; +utf82macro["\226\165\184"] = "gtrarr"; +macro2utf8["iecy"] = "\208\181"; +utf82macro["\208\181"] = "iecy"; +macro2utf8["varr"] = "\226\134\149"; +utf82macro["\226\134\149"] = "varr"; +macro2utf8["lBarr"] = "\226\164\142"; +utf82macro["\226\164\142"] = "lBarr"; +macro2utf8["ker"] = "ker"; +utf82macro["ker"] = "ker"; +macro2utf8["imath"] = "\196\177"; +utf82macro["\196\177"] = "imath"; +macro2utf8["Dstrok"] = "\196\144"; +utf82macro["\196\144"] = "Dstrok"; +macro2utf8["rlarr"] = "\226\135\132"; +utf82macro["\226\135\132"] = "rlarr"; +macro2utf8["leftleftarrows"] = "\226\135\135"; +utf82macro["\226\135\135"] = "leftleftarrows"; +macro2utf8["DifferentialD"] = "\226\133\134"; +utf82macro["\226\133\134"] = "DifferentialD"; +macro2utf8["because"] = "\226\136\181"; +utf82macro["\226\136\181"] = "because"; +macro2utf8["ulcrop"] = "\226\140\143"; +utf82macro["\226\140\143"] = "ulcrop"; +macro2utf8["prE"] = "\226\170\175"; +utf82macro["\226\170\175"] = "prE"; +macro2utf8["oast"] = "\226\138\155"; +utf82macro["\226\138\155"] = "oast"; +macro2utf8["DotEqual"] = "\226\137\144"; +utf82macro["\226\137\144"] = "DotEqual"; +macro2utf8["vsubne"] = "\226\138\138\239\184\128"; +utf82macro["\226\138\138\239\184\128"] = "vsubne"; +macro2utf8["hbar"] = "\226\132\143\239\184\128"; +utf82macro["\226\132\143\239\184\128"] = "hbar"; +macro2utf8["subset"] = "\226\138\130"; +utf82macro["\226\138\130"] = "subset"; +macro2utf8["UpTeeArrow"] = "\226\134\165"; +utf82macro["\226\134\165"] = "UpTeeArrow"; +macro2utf8["LeftFloor"] = "\226\140\138"; +utf82macro["\226\140\138"] = "LeftFloor"; +macro2utf8["kfr"] = "\240\157\148\168"; +utf82macro["\240\157\148\168"] = "kfr"; +macro2utf8["nisd"] = "\226\139\186"; +utf82macro["\226\139\186"] = "nisd"; +macro2utf8["scnE"] = "\226\170\182"; +utf82macro["\226\170\182"] = "scnE"; +macro2utf8["Ucy"] = "\208\163"; +utf82macro["\208\163"] = "Ucy"; +macro2utf8["nprec"] = "\226\138\128"; +utf82macro["\226\138\128"] = "nprec"; +macro2utf8["ltrPar"] = "\226\166\150"; +utf82macro["\226\166\150"] = "ltrPar"; +macro2utf8["Scaron"] = "\197\160"; +utf82macro["\197\160"] = "Scaron"; +macro2utf8["InvisibleComma"] = "\226\128\139"; +utf82macro["\226\128\139"] = "InvisibleComma"; +macro2utf8["SquareUnion"] = "\226\138\148"; +utf82macro["\226\138\148"] = "SquareUnion"; +macro2utf8["ffllig"] = "\239\172\132"; +utf82macro["\239\172\132"] = "ffllig"; +macro2utf8["approxeq"] = "\226\137\138"; +utf82macro["\226\137\138"] = "approxeq"; +macro2utf8["yacute"] = "\195\189"; +utf82macro["\195\189"] = "yacute"; +macro2utf8["pre"] = "\226\170\175"; +utf82macro["\226\170\175"] = "pre"; +macro2utf8["nsqsupe"] = "\226\139\163"; +utf82macro["\226\139\163"] = "nsqsupe"; +macro2utf8["supset"] = "\226\138\131"; +utf82macro["\226\138\131"] = "supset"; +macro2utf8["bsolhsub"] = "\\\226\138\130"; +utf82macro["\\\226\138\130"] = "bsolhsub"; +macro2utf8["nshortparallel"] = "\226\136\166\239\184\128"; +utf82macro["\226\136\166\239\184\128"] = "nshortparallel"; +macro2utf8["lozenge"] = "\226\151\138"; +utf82macro["\226\151\138"] = "lozenge"; +macro2utf8["lnot"] = "\194\172"; +utf82macro["\194\172"] = "lnot"; +macro2utf8["Dopf"] = "\240\157\148\187"; +utf82macro["\240\157\148\187"] = "Dopf"; +macro2utf8["leftharpoonup"] = "\226\134\188"; +utf82macro["\226\134\188"] = "leftharpoonup"; +macro2utf8["Jcy"] = "\208\153"; +utf82macro["\208\153"] = "Jcy"; +macro2utf8["rightarrow"] = "\226\134\146"; +utf82macro["\226\134\146"] = "rightarrow"; +macro2utf8["ntriangleright"] = "\226\139\171"; +utf82macro["\226\139\171"] = "ntriangleright"; +macro2utf8["Ccirc"] = "\196\136"; +utf82macro["\196\136"] = "Ccirc"; +macro2utf8["eacute"] = "\195\169"; +utf82macro["\195\169"] = "eacute"; +macro2utf8["acute"] = "\194\180"; +utf82macro["\194\180"] = "acute"; +macro2utf8["Precedes"] = "\226\137\186"; +utf82macro["\226\137\186"] = "Precedes"; +macro2utf8["middot"] = "\194\183"; +utf82macro["\194\183"] = "middot"; +macro2utf8["lHar"] = "\226\165\162"; +utf82macro["\226\165\162"] = "lHar"; +macro2utf8["eparsl"] = "\226\167\163"; +utf82macro["\226\167\163"] = "eparsl"; +macro2utf8["psi"] = "\207\136"; +utf82macro["\207\136"] = "psi"; +macro2utf8["parsl"] = "\226\136\165\239\184\128"; +utf82macro["\226\136\165\239\184\128"] = "parsl"; +macro2utf8["UpperLeftArrow"] = "\226\134\150"; +utf82macro["\226\134\150"] = "UpperLeftArrow"; +macro2utf8["oror"] = "\226\169\150"; +utf82macro["\226\169\150"] = "oror"; +macro2utf8["Kopf"] = "\240\157\149\130"; +utf82macro["\240\157\149\130"] = "Kopf"; +macro2utf8["apacir"] = "\226\169\175"; +utf82macro["\226\169\175"] = "apacir"; +macro2utf8["dharl"] = "\226\135\131"; +utf82macro["\226\135\131"] = "dharl"; +macro2utf8["nequiv"] = "\226\137\162"; +utf82macro["\226\137\162"] = "nequiv"; +macro2utf8["rightleftarrows"] = "\226\135\132"; +utf82macro["\226\135\132"] = "rightleftarrows"; +macro2utf8["UnderParenthesis"] = "\239\184\182"; +utf82macro["\239\184\182"] = "UnderParenthesis"; +macro2utf8["notni"] = "\226\136\140"; +utf82macro["\226\136\140"] = "notni"; +macro2utf8["dagger"] = "\226\128\160"; +utf82macro["\226\128\160"] = "dagger"; +macro2utf8["dharr"] = "\226\135\130"; +utf82macro["\226\135\130"] = "dharr"; +macro2utf8["twoheadleftarrow"] = "\226\134\158"; +utf82macro["\226\134\158"] = "twoheadleftarrow"; +macro2utf8["frac12"] = "\194\189"; +utf82macro["\194\189"] = "frac12"; +macro2utf8["varsubsetneqq"] = "\226\138\138\239\184\128"; +utf82macro["\226\138\138\239\184\128"] = "varsubsetneqq"; +macro2utf8["frac13"] = "\226\133\147"; +utf82macro["\226\133\147"] = "frac13"; +macro2utf8["Ufr"] = "\240\157\148\152"; +utf82macro["\240\157\148\152"] = "Ufr"; +macro2utf8["NestedLessLess"] = "\226\137\170"; +utf82macro["\226\137\170"] = "NestedLessLess"; +macro2utf8["llarr"] = "\226\135\135"; +utf82macro["\226\135\135"] = "llarr"; +macro2utf8["frac14"] = "\194\188"; +utf82macro["\194\188"] = "frac14"; +macro2utf8["frac15"] = "\226\133\149"; +utf82macro["\226\133\149"] = "frac15"; +macro2utf8["Ropf"] = "\226\132\157"; +utf82macro["\226\132\157"] = "Ropf"; +macro2utf8["frac16"] = "\226\133\153"; +utf82macro["\226\133\153"] = "frac16"; +macro2utf8["lrtri"] = "\226\138\191"; +utf82macro["\226\138\191"] = "lrtri"; +macro2utf8["frac18"] = "\226\133\155"; +utf82macro["\226\133\155"] = "frac18"; +macro2utf8["cedil"] = "\194\184"; +utf82macro["\194\184"] = "cedil"; +macro2utf8["subsim"] = "\226\171\135"; +utf82macro["\226\171\135"] = "subsim"; +macro2utf8["PrecedesTilde"] = "\226\137\190"; +utf82macro["\226\137\190"] = "PrecedesTilde"; +macro2utf8["igrave"] = "\195\172"; +utf82macro["\195\172"] = "igrave"; +macro2utf8["gjcy"] = "\209\147"; +utf82macro["\209\147"] = "gjcy"; +macro2utf8["LeftVector"] = "\226\134\188"; +utf82macro["\226\134\188"] = "LeftVector"; +macro2utf8["notniva"] = "\226\136\140"; +utf82macro["\226\136\140"] = "notniva"; +macro2utf8["notnivb"] = "\226\139\190"; +utf82macro["\226\139\190"] = "notnivb"; +macro2utf8["ogon"] = "\203\155"; +utf82macro["\203\155"] = "ogon"; +macro2utf8["notnivc"] = "\226\139\189"; +utf82macro["\226\139\189"] = "notnivc"; +macro2utf8["Yopf"] = "\240\157\149\144"; +utf82macro["\240\157\149\144"] = "Yopf"; +macro2utf8["there4"] = "\226\136\180"; +utf82macro["\226\136\180"] = "there4"; +macro2utf8["udarr"] = "\226\135\133"; +utf82macro["\226\135\133"] = "udarr"; +macro2utf8["bkarow"] = "\226\164\141"; +utf82macro["\226\164\141"] = "bkarow"; +macro2utf8["frac23"] = "\226\133\148"; +utf82macro["\226\133\148"] = "frac23"; +macro2utf8["frac25"] = "\226\133\150"; +utf82macro["\226\133\150"] = "frac25"; +macro2utf8["njcy"] = "\209\154"; +utf82macro["\209\154"] = "njcy"; +macro2utf8["Dashv"] = "\226\171\164"; +utf82macro["\226\171\164"] = "Dashv"; +macro2utf8["eta"] = "\206\183"; +utf82macro["\206\183"] = "eta"; +macro2utf8["bcong"] = "\226\137\140"; +utf82macro["\226\137\140"] = "bcong"; +macro2utf8["Ugrave"] = "\195\153"; +utf82macro["\195\153"] = "Ugrave"; +macro2utf8["csube"] = "\226\171\145"; +utf82macro["\226\171\145"] = "csube"; +macro2utf8["clubs"] = "\226\153\163"; +utf82macro["\226\153\163"] = "clubs"; +macro2utf8["supmult"] = "\226\171\130"; +utf82macro["\226\171\130"] = "supmult"; +macro2utf8["MinusPlus"] = "\226\136\147"; +utf82macro["\226\136\147"] = "MinusPlus"; +macro2utf8["Jfr"] = "\240\157\148\141"; +utf82macro["\240\157\148\141"] = "Jfr"; +macro2utf8["ensp"] = "\226\128\130"; +utf82macro["\226\128\130"] = "ensp"; +macro2utf8["ucirc"] = "\195\187"; +utf82macro["\195\187"] = "ucirc"; +macro2utf8["supsim"] = "\226\171\136"; +utf82macro["\226\171\136"] = "supsim"; +macro2utf8["eth"] = "\195\176"; +utf82macro["\195\176"] = "eth"; +macro2utf8["OverBrace"] = "\239\184\183"; +utf82macro["\239\184\183"] = "OverBrace"; +macro2utf8["Dot"] = "\194\168"; +utf82macro["\194\168"] = "Dot"; +macro2utf8["xcap"] = "\226\139\130"; +utf82macro["\226\139\130"] = "xcap"; +macro2utf8["vangrt"] = "\226\138\190"; +utf82macro["\226\138\190"] = "vangrt"; +macro2utf8["NotSubsetEqual"] = "\226\138\136"; +utf82macro["\226\138\136"] = "NotSubsetEqual"; +macro2utf8["frac34"] = "\194\190"; +utf82macro["\194\190"] = "frac34"; +macro2utf8["frac35"] = "\226\133\151"; +utf82macro["\226\133\151"] = "frac35"; +macro2utf8["planck"] = "\226\132\143\239\184\128"; +utf82macro["\226\132\143\239\184\128"] = "planck"; +macro2utf8["lnsim"] = "\226\139\166"; +utf82macro["\226\139\166"] = "lnsim"; +macro2utf8["gopf"] = "\240\157\149\152"; +utf82macro["\240\157\149\152"] = "gopf"; +macro2utf8["frac38"] = "\226\133\156"; +utf82macro["\226\133\156"] = "frac38"; +macro2utf8["DotDot"] = "\226\131\156"; +utf82macro["\226\131\156"] = "DotDot"; +macro2utf8["mapstoup"] = "\226\134\165"; +utf82macro["\226\134\165"] = "mapstoup"; +macro2utf8["Escr"] = "\226\132\176"; +utf82macro["\226\132\176"] = "Escr"; +macro2utf8["Integral"] = "\226\136\171"; +utf82macro["\226\136\171"] = "Integral"; +macro2utf8["Agrave"] = "\195\128"; +utf82macro["\195\128"] = "Agrave"; +macro2utf8["longleftarrow"] = "????;"; +utf82macro["????;"] = "longleftarrow"; +macro2utf8["Tcaron"] = "\197\164"; +utf82macro["\197\164"] = "Tcaron"; +macro2utf8["nopf"] = "\240\157\149\159"; +utf82macro["\240\157\149\159"] = "nopf"; +macro2utf8["LongLeftRightArrow"] = "\239\149\184"; +utf82macro["\239\149\184"] = "LongLeftRightArrow"; +macro2utf8["Emacr"] = "\196\146"; +utf82macro["\196\146"] = "Emacr"; +macro2utf8["omid"] = "\226\166\182"; +utf82macro["\226\166\182"] = "omid"; +macro2utf8["spades"] = "\226\153\160"; +utf82macro["\226\153\160"] = "spades"; +macro2utf8["naturals"] = "\226\132\149"; +utf82macro["\226\132\149"] = "naturals"; +macro2utf8["Lscr"] = "\226\132\146"; +utf82macro["\226\132\146"] = "Lscr"; +macro2utf8["udblac"] = "\197\177"; +utf82macro["\197\177"] = "udblac"; +macro2utf8["SucceedsTilde"] = "\226\137\191"; +utf82macro["\226\137\191"] = "SucceedsTilde"; +macro2utf8["frac45"] = "\226\133\152"; +utf82macro["\226\133\152"] = "frac45"; +macro2utf8["clubsuit"] = "\226\153\163"; +utf82macro["\226\153\163"] = "clubsuit"; +macro2utf8["mumap"] = "\226\138\184"; +utf82macro["\226\138\184"] = "mumap"; +macro2utf8["vltri"] = "\226\138\178"; +utf82macro["\226\138\178"] = "vltri"; +macro2utf8["LeftArrowBar"] = "\226\135\164"; +utf82macro["\226\135\164"] = "LeftArrowBar"; +macro2utf8["zacute"] = "\197\186"; +utf82macro["\197\186"] = "zacute"; +macro2utf8["szlig"] = "\195\159"; +utf82macro["\195\159"] = "szlig"; +macro2utf8["suplarr"] = "\226\165\187"; +utf82macro["\226\165\187"] = "suplarr"; +macro2utf8["RightDownVector"] = "\226\135\130"; +utf82macro["\226\135\130"] = "RightDownVector"; +macro2utf8["male"] = "\226\153\130"; +utf82macro["\226\153\130"] = "male"; +macro2utf8["RightDownVectorBar"] = "\226\165\149"; +utf82macro["\226\165\149"] = "RightDownVectorBar"; +macro2utf8["gdot"] = "\196\161"; +utf82macro["\196\161"] = "gdot"; +macro2utf8["nleqq"] = "\226\137\176"; +utf82macro["\226\137\176"] = "nleqq"; +macro2utf8["uopf"] = "\240\157\149\166"; +utf82macro["\240\157\149\166"] = "uopf"; +macro2utf8["YIcy"] = "\208\135"; +utf82macro["\208\135"] = "YIcy"; +macro2utf8["Sscr"] = "\240\157\146\174"; +utf82macro["\240\157\146\174"] = "Sscr"; +macro2utf8["empty"] = "\226\136\133\239\184\128"; +utf82macro["\226\136\133\239\184\128"] = "empty"; +macro2utf8["Vdash"] = "\226\138\169"; +utf82macro["\226\138\169"] = "Vdash"; +macro2utf8["sqsubset"] = "\226\138\143"; +utf82macro["\226\138\143"] = "sqsubset"; +macro2utf8["efDot"] = "\226\137\146"; +utf82macro["\226\137\146"] = "efDot"; +macro2utf8["times"] = "\195\151"; +utf82macro["\195\151"] = "times"; +macro2utf8["Oslash"] = "\195\152"; +utf82macro["\195\152"] = "Oslash"; +macro2utf8["itilde"] = "\196\169"; +utf82macro["\196\169"] = "itilde"; +macro2utf8["frac56"] = "\226\133\154"; +utf82macro["\226\133\154"] = "frac56"; +macro2utf8["numero"] = "\226\132\150"; +utf82macro["\226\132\150"] = "numero"; +macro2utf8["malt"] = "\226\156\160"; +utf82macro["\226\156\160"] = "malt"; +macro2utf8["npart"] = "\226\136\130\204\184"; +utf82macro["\226\136\130\204\184"] = "npart"; +macro2utf8["frac58"] = "\226\133\157"; +utf82macro["\226\133\157"] = "frac58"; +macro2utf8["Zscr"] = "\240\157\146\181"; +utf82macro["\240\157\146\181"] = "Zscr"; +macro2utf8["integers"] = "\226\132\164"; +utf82macro["\226\132\164"] = "integers"; +macro2utf8["CloseCurlyQuote"] = "\226\128\153"; +utf82macro["\226\128\153"] = "CloseCurlyQuote"; +macro2utf8["NewLine"] = "\n"; +utf82macro["\n"] = "NewLine"; +macro2utf8["fcy"] = "\209\132"; +utf82macro["\209\132"] = "fcy"; +macro2utf8["nwarr"] = "\226\134\150"; +utf82macro["\226\134\150"] = "nwarr"; +macro2utf8["thicksim"] = "\226\136\188\239\184\128"; +utf82macro["\226\136\188\239\184\128"] = "thicksim"; +macro2utf8["nprcue"] = "\226\139\160"; +utf82macro["\226\139\160"] = "nprcue"; +macro2utf8["lcub"] = "{"; +utf82macro["{"] = "lcub"; +macro2utf8["forall"] = "\226\136\128"; +utf82macro["\226\136\128"] = "forall"; +macro2utf8["plusacir"] = "\226\168\163"; +utf82macro["\226\168\163"] = "plusacir"; +macro2utf8["ascr"] = "\240\157\146\182"; +utf82macro["\240\157\146\182"] = "ascr"; +macro2utf8["plustwo"] = "\226\168\167"; +utf82macro["\226\168\167"] = "plustwo"; +macro2utf8["Utilde"] = "\197\168"; +utf82macro["\197\168"] = "Utilde"; +macro2utf8["lambda"] = "\206\187"; +utf82macro["\206\187"] = "lambda"; +macro2utf8["odash"] = "\226\138\157"; +utf82macro["\226\138\157"] = "odash"; +macro2utf8["iukcy"] = "\209\150"; +utf82macro["\209\150"] = "iukcy"; +macro2utf8["sqsupset"] = "\226\138\144"; +utf82macro["\226\138\144"] = "sqsupset"; +macro2utf8["Racute"] = "\197\148"; +utf82macro["\197\148"] = "Racute"; +macro2utf8["Longleftarrow"] = "????"; +utf82macro["????"] = "Longleftarrow"; +macro2utf8["capcap"] = "\226\169\139"; +utf82macro["\226\169\139"] = "capcap"; +macro2utf8["ocirc"] = "\195\180"; +utf82macro["\195\180"] = "ocirc"; +macro2utf8["nless"] = "\226\137\174"; +utf82macro["\226\137\174"] = "nless"; +macro2utf8["Wedge"] = "\226\139\128"; +utf82macro["\226\139\128"] = "Wedge"; +macro2utf8["qfr"] = "\240\157\148\174"; +utf82macro["\240\157\148\174"] = "qfr"; +macro2utf8["natur"] = "\226\153\174"; +utf82macro["\226\153\174"] = "natur"; +macro2utf8["hscr"] = "\240\157\146\189"; +utf82macro["\240\157\146\189"] = "hscr"; +macro2utf8["ldca"] = "\226\164\182"; +utf82macro["\226\164\182"] = "ldca"; +macro2utf8["ClockwiseContourIntegral"] = "\226\136\178"; +utf82macro["\226\136\178"] = "ClockwiseContourIntegral"; +macro2utf8["exp"] = "exp"; +utf82macro["exp"] = "exp"; +macro2utf8["RightTeeArrow"] = "\226\134\166"; +utf82macro["\226\134\166"] = "RightTeeArrow"; +macro2utf8["orarr"] = "\226\134\187"; +utf82macro["\226\134\187"] = "orarr"; +macro2utf8["tanh"] = "tanh"; +utf82macro["tanh"] = "tanh"; +macro2utf8["frac78"] = "\226\133\158"; +utf82macro["\226\133\158"] = "frac78"; +macro2utf8["Atilde"] = "\195\131"; +utf82macro["\195\131"] = "Atilde"; +macro2utf8["arcsin"] = "arcsin"; +utf82macro["arcsin"] = "arcsin"; +macro2utf8["Rcedil"] = "\197\150"; +utf82macro["\197\150"] = "Rcedil"; +macro2utf8["oscr"] = "\226\132\180"; +utf82macro["\226\132\180"] = "oscr"; +macro2utf8["InvisibleTimes"] = "\226\129\162"; +utf82macro["\226\129\162"] = "InvisibleTimes"; +macro2utf8["sime"] = "\226\137\131"; +utf82macro["\226\137\131"] = "sime"; +macro2utf8["simg"] = "\226\170\158"; +utf82macro["\226\170\158"] = "simg"; +macro2utf8["Conint"] = "\226\136\175"; +utf82macro["\226\136\175"] = "Conint"; +macro2utf8["Yuml"] = "\197\184"; +utf82macro["\197\184"] = "Yuml"; +macro2utf8["rlhar"] = "\226\135\140"; +utf82macro["\226\135\140"] = "rlhar"; +macro2utf8["rarrbfs"] = "\226\164\160"; +utf82macro["\226\164\160"] = "rarrbfs"; +macro2utf8["siml"] = "\226\170\157"; +utf82macro["\226\170\157"] = "siml"; +macro2utf8["DownRightVectorBar"] = "\226\165\151"; +utf82macro["\226\165\151"] = "DownRightVectorBar"; +macro2utf8["vscr"] = "\240\157\147\139"; +utf82macro["\240\157\147\139"] = "vscr"; +macro2utf8["divide"] = "\195\183"; +utf82macro["\195\183"] = "divide"; +macro2utf8["PlusMinus"] = "\194\177"; +utf82macro["\194\177"] = "PlusMinus"; +macro2utf8["ffr"] = "\240\157\148\163"; +utf82macro["\240\157\148\163"] = "ffr"; +macro2utf8["DownLeftTeeVector"] = "\226\165\158"; +utf82macro["\226\165\158"] = "DownLeftTeeVector"; +macro2utf8["EmptySmallSquare"] = "\226\151\189"; +utf82macro["\226\151\189"] = "EmptySmallSquare"; +macro2utf8["SHCHcy"] = "\208\169"; +utf82macro["\208\169"] = "SHCHcy"; +macro2utf8["cirmid"] = "\226\171\175"; +utf82macro["\226\171\175"] = "cirmid"; +macro2utf8["sigmav"] = "\207\130"; +utf82macro["\207\130"] = "sigmav"; +macro2utf8["csub"] = "\226\171\143"; +utf82macro["\226\171\143"] = "csub"; +macro2utf8["npar"] = "\226\136\166"; +utf82macro["\226\136\166"] = "npar"; +macro2utf8["bsemi"] = "\226\129\143"; +utf82macro["\226\129\143"] = "bsemi"; +macro2utf8["swArr"] = "\226\135\153"; +utf82macro["\226\135\153"] = "swArr"; +macro2utf8["Pcy"] = "\208\159"; +utf82macro["\208\159"] = "Pcy"; +macro2utf8["sinh"] = "sinh"; +utf82macro["sinh"] = "sinh"; +macro2utf8["lharul"] = "\226\165\170"; +utf82macro["\226\165\170"] = "lharul"; +macro2utf8["Jukcy"] = "\208\132"; +utf82macro["\208\132"] = "Jukcy"; +macro2utf8["permil"] = "\226\128\176"; +utf82macro["\226\128\176"] = "permil"; +macro2utf8["ndivides"] = "\226\136\164"; +utf82macro["\226\136\164"] = "ndivides"; +macro2utf8["Aring"] = "\195\133"; +utf82macro["\195\133"] = "Aring"; +macro2utf8["longmapsto"] = "????"; +utf82macro["????"] = "longmapsto"; +macro2utf8["Esim"] = "\226\169\179"; +utf82macro["\226\169\179"] = "Esim"; +macro2utf8["csup"] = "\226\171\144"; +utf82macro["\226\171\144"] = "csup"; +macro2utf8["trie"] = "\226\137\156"; +utf82macro["\226\137\156"] = "trie"; +macro2utf8["ubrcy"] = "\209\158"; +utf82macro["\209\158"] = "ubrcy"; +macro2utf8["NotEqualTilde"] = "\226\137\130\204\184"; +utf82macro["\226\137\130\204\184"] = "NotEqualTilde"; +macro2utf8["dotminus"] = "\226\136\184"; +utf82macro["\226\136\184"] = "dotminus"; +macro2utf8["diamondsuit"] = "\226\153\162"; +utf82macro["\226\153\162"] = "diamondsuit"; +macro2utf8["xnis"] = "\226\139\187"; +utf82macro["\226\139\187"] = "xnis"; +macro2utf8["Eogon"] = "\196\152"; +utf82macro["\196\152"] = "Eogon"; +macro2utf8["cuvee"] = "\226\139\142"; +utf82macro["\226\139\142"] = "cuvee"; +macro2utf8["DZcy"] = "\208\143"; +utf82macro["\208\143"] = "DZcy"; +macro2utf8["nRightarrow"] = "\226\135\143"; +utf82macro["\226\135\143"] = "nRightarrow"; +macro2utf8["sqsupe"] = "\226\138\146"; +utf82macro["\226\138\146"] = "sqsupe"; +macro2utf8["nsccue"] = "\226\139\161"; +utf82macro["\226\139\161"] = "nsccue"; +macro2utf8["drcrop"] = "\226\140\140"; +utf82macro["\226\140\140"] = "drcrop"; +macro2utf8["DownBreve"] = "\204\145"; +utf82macro["\204\145"] = "DownBreve"; +macro2utf8["Ecy"] = "\208\173"; +utf82macro["\208\173"] = "Ecy"; +macro2utf8["rdquor"] = "\226\128\157"; +utf82macro["\226\128\157"] = "rdquor"; +macro2utf8["rAtail"] = "\226\164\156"; +utf82macro["\226\164\156"] = "rAtail"; +macro2utf8["icirc"] = "\195\174"; +utf82macro["\195\174"] = "icirc"; +macro2utf8["gacute"] = "\199\181"; +utf82macro["\199\181"] = "gacute"; +macro2utf8["hyphen"] = "\226\128\144"; +utf82macro["\226\128\144"] = "hyphen"; +macro2utf8["uuml"] = "\195\188"; +utf82macro["\195\188"] = "uuml"; +macro2utf8["thorn"] = "\195\190"; +utf82macro["\195\190"] = "thorn"; +macro2utf8["ltri"] = "\226\151\131"; +utf82macro["\226\151\131"] = "ltri"; +macro2utf8["eqslantgtr"] = "\226\139\157"; +utf82macro["\226\139\157"] = "eqslantgtr"; +macro2utf8["DoubleContourIntegral"] = "\226\136\175"; +utf82macro["\226\136\175"] = "DoubleContourIntegral"; +macro2utf8["lescc"] = "\226\170\168"; +utf82macro["\226\170\168"] = "lescc"; +macro2utf8["DiacriticalGrave"] = "`"; +utf82macro["`"] = "DiacriticalGrave"; +macro2utf8["NotPrecedesEqual"] = "\226\170\175\204\184"; +utf82macro["\226\170\175\204\184"] = "NotPrecedesEqual"; +macro2utf8["RightArrow"] = "\226\134\146"; +utf82macro["\226\134\146"] = "RightArrow"; +macro2utf8["race"] = "\226\167\154"; +utf82macro["\226\167\154"] = "race"; +macro2utf8["topbot"] = "\226\140\182"; +utf82macro["\226\140\182"] = "topbot"; +macro2utf8["Pfr"] = "\240\157\148\147"; +utf82macro["\240\157\148\147"] = "Pfr"; +macro2utf8["napprox"] = "\226\137\137"; +utf82macro["\226\137\137"] = "napprox"; +macro2utf8["Sacute"] = "\197\154"; +utf82macro["\197\154"] = "Sacute"; +macro2utf8["cupor"] = "\226\169\133"; +utf82macro["\226\169\133"] = "cupor"; +macro2utf8["OverBar"] = "\194\175"; +utf82macro["\194\175"] = "OverBar"; +macro2utf8["bepsi"] = "\207\182"; +utf82macro["\207\182"] = "bepsi"; +macro2utf8["plankv"] = "\226\132\143"; +utf82macro["\226\132\143"] = "plankv"; +macro2utf8["lap"] = "\226\137\178"; +utf82macro["\226\137\178"] = "lap"; +macro2utf8["orslope"] = "\226\169\151"; +utf82macro["\226\169\151"] = "orslope"; +macro2utf8["beta"] = "\206\178"; +utf82macro["\206\178"] = "beta"; +macro2utf8["ShortDownArrow"] = "\226\140\132\239\184\128"; +utf82macro["\226\140\132\239\184\128"] = "ShortDownArrow"; +macro2utf8["perp"] = "\226\138\165"; +utf82macro["\226\138\165"] = "perp"; +macro2utf8["lat"] = "\226\170\171"; +utf82macro["\226\170\171"] = "lat"; +macro2utf8["CenterDot"] = "\194\183"; +utf82macro["\194\183"] = "CenterDot"; +macro2utf8["urcorner"] = "\226\140\157"; +utf82macro["\226\140\157"] = "urcorner"; +macro2utf8["models"] = "\226\138\167"; +utf82macro["\226\138\167"] = "models"; +macro2utf8["beth"] = "\226\132\182"; +utf82macro["\226\132\182"] = "beth"; +macro2utf8["subE"] = "\226\138\134"; +utf82macro["\226\138\134"] = "subE"; +macro2utf8["subnE"] = "\226\138\138"; +utf82macro["\226\138\138"] = "subnE"; +macro2utf8["ldots"] = "\226\128\166"; +utf82macro["\226\128\166"] = "ldots"; +macro2utf8["yacy"] = "\209\143"; +utf82macro["\209\143"] = "yacy"; +macro2utf8["udhar"] = "\226\165\174"; +utf82macro["\226\165\174"] = "udhar"; +macro2utf8["Scedil"] = "\197\158"; +utf82macro["\197\158"] = "Scedil"; +macro2utf8["subsub"] = "\226\171\149"; +utf82macro["\226\171\149"] = "subsub"; +macro2utf8["nvrtrie"] = "\226\139\173\204\184"; +utf82macro["\226\139\173\204\184"] = "nvrtrie"; +macro2utf8["Phi"] = "\206\166"; +utf82macro["\206\166"] = "Phi"; +macro2utf8["Efr"] = "\240\157\148\136"; +utf82macro["\240\157\148\136"] = "Efr"; +macro2utf8["larrfs"] = "\226\164\157"; +utf82macro["\226\164\157"] = "larrfs"; +macro2utf8["angle"] = "\226\136\160"; +utf82macro["\226\136\160"] = "angle"; +macro2utf8["TildeFullEqual"] = "\226\137\133"; +utf82macro["\226\137\133"] = "TildeFullEqual"; +macro2utf8["Jcirc"] = "\196\180"; +utf82macro["\196\180"] = "Jcirc"; +macro2utf8["THORN"] = "\195\158"; +utf82macro["\195\158"] = "THORN"; +macro2utf8["acE"] = "\226\167\155"; +utf82macro["\226\167\155"] = "acE"; +macro2utf8["Longleftrightarrow"] = "????"; +utf82macro["????"] = "Longleftrightarrow"; +macro2utf8["xuplus"] = "\226\138\142"; +utf82macro["\226\138\142"] = "xuplus"; +macro2utf8["searr"] = "\226\134\152"; +utf82macro["\226\134\152"] = "searr"; +macro2utf8["gvertneqq"] = "\226\137\169\239\184\128"; +utf82macro["\226\137\169\239\184\128"] = "gvertneqq"; +macro2utf8["subsup"] = "\226\171\147"; +utf82macro["\226\171\147"] = "subsup"; +macro2utf8["NotSucceedsEqual"] = "\226\170\176\204\184"; +utf82macro["\226\170\176\204\184"] = "NotSucceedsEqual"; +macro2utf8["gtrsim"] = "\226\137\179"; +utf82macro["\226\137\179"] = "gtrsim"; +macro2utf8["nrArr"] = "\226\135\143"; +utf82macro["\226\135\143"] = "nrArr"; +macro2utf8["NotSquareSupersetEqual"] = "\226\139\163"; +utf82macro["\226\139\163"] = "NotSquareSupersetEqual"; +macro2utf8["notindot"] = "\226\139\182\239\184\128"; +utf82macro["\226\139\182\239\184\128"] = "notindot"; +macro2utf8["HARDcy"] = "\208\170"; +utf82macro["\208\170"] = "HARDcy"; +macro2utf8["jmath"] = "j\239\184\128"; +utf82macro["j\239\184\128"] = "jmath"; +macro2utf8["aelig"] = "\195\166"; +utf82macro["\195\166"] = "aelig"; +macro2utf8["slarr"] = "\226\134\144\239\184\128"; +utf82macro["\226\134\144\239\184\128"] = "slarr"; +macro2utf8["dlcrop"] = "\226\140\141"; +utf82macro["\226\140\141"] = "dlcrop"; +macro2utf8["sube"] = "\226\138\134"; +utf82macro["\226\138\134"] = "sube"; +macro2utf8["cuepr"] = "\226\139\158"; +utf82macro["\226\139\158"] = "cuepr"; +macro2utf8["supsub"] = "\226\171\148"; +utf82macro["\226\171\148"] = "supsub"; +macro2utf8["trianglelefteq"] = "\226\138\180"; +utf82macro["\226\138\180"] = "trianglelefteq"; +macro2utf8["subne"] = "\226\138\138"; +utf82macro["\226\138\138"] = "subne"; +macro2utf8["between"] = "\226\137\172"; +utf82macro["\226\137\172"] = "between"; +macro2utf8["measuredangle"] = "\226\136\161"; +utf82macro["\226\136\161"] = "measuredangle"; +macro2utf8["swnwar"] = "\226\164\170"; +utf82macro["\226\164\170"] = "swnwar"; +macro2utf8["lcy"] = "\208\187"; +utf82macro["\208\187"] = "lcy"; +macro2utf8["ccirc"] = "\196\137"; +utf82macro["\196\137"] = "ccirc"; +macro2utf8["larrhk"] = "\226\134\169"; +utf82macro["\226\134\169"] = "larrhk"; +macro2utf8["DiacriticalTilde"] = "\203\156"; +utf82macro["\203\156"] = "DiacriticalTilde"; +macro2utf8["brvbar"] = "\194\166"; +utf82macro["\194\166"] = "brvbar"; +macro2utf8["triangledown"] = "\226\150\191"; +utf82macro["\226\150\191"] = "triangledown"; +macro2utf8["dtrif"] = "\226\150\190"; +utf82macro["\226\150\190"] = "dtrif"; +macro2utf8["Bopf"] = "\240\157\148\185"; +utf82macro["\240\157\148\185"] = "Bopf"; +macro2utf8["xwedge"] = "\226\139\128"; +utf82macro["\226\139\128"] = "xwedge"; +macro2utf8["rightsquigarrow"] = "\226\134\157"; +utf82macro["\226\134\157"] = "rightsquigarrow"; +macro2utf8["acd"] = "\226\136\191"; +utf82macro["\226\136\191"] = "acd"; +macro2utf8["supsup"] = "\226\171\150"; +utf82macro["\226\171\150"] = "supsup"; +macro2utf8["UpEquilibrium"] = "\226\165\174"; +utf82macro["\226\165\174"] = "UpEquilibrium"; +macro2utf8["succ"] = "\226\137\187"; +utf82macro["\226\137\187"] = "succ"; +macro2utf8["eqslantless"] = "\226\139\156"; +utf82macro["\226\139\156"] = "eqslantless"; +macro2utf8["coprod"] = "\226\136\144"; +utf82macro["\226\136\144"] = "coprod"; +macro2utf8["OpenCurlyDoubleQuote"] = "\226\128\156"; +utf82macro["\226\128\156"] = "OpenCurlyDoubleQuote"; +macro2utf8["NotGreaterSlantEqual"] = "\226\137\177"; +utf82macro["\226\137\177"] = "NotGreaterSlantEqual"; +macro2utf8["solb"] = "\226\167\132"; +utf82macro["\226\167\132"] = "solb"; +macro2utf8["HumpDownHump"] = "\226\137\142"; +utf82macro["\226\137\142"] = "HumpDownHump"; +macro2utf8["gtrapprox"] = "\226\137\179"; +utf82macro["\226\137\179"] = "gtrapprox"; +macro2utf8["Iopf"] = "\240\157\149\128"; +utf82macro["\240\157\149\128"] = "Iopf"; +macro2utf8["leg"] = "\226\139\154"; +utf82macro["\226\139\154"] = "leg"; +macro2utf8["wfr"] = "\240\157\148\180"; +utf82macro["\240\157\148\180"] = "wfr"; +macro2utf8["mapstoleft"] = "\226\134\164"; +utf82macro["\226\134\164"] = "mapstoleft"; +macro2utf8["gnapprox"] = "\226\170\138"; +utf82macro["\226\170\138"] = "gnapprox"; +macro2utf8["lgE"] = "\226\170\145"; +utf82macro["\226\170\145"] = "lgE"; +macro2utf8["CloseCurlyDoubleQuote"] = "\226\128\157"; +utf82macro["\226\128\157"] = "CloseCurlyDoubleQuote"; +macro2utf8["NotNestedLessLess"] = "\226\146\161\204\184"; +utf82macro["\226\146\161\204\184"] = "NotNestedLessLess"; +macro2utf8["acy"] = "\208\176"; +utf82macro["\208\176"] = "acy"; +macro2utf8["leq"] = "\226\137\164"; +utf82macro["\226\137\164"] = "leq"; +macro2utf8["Popf"] = "\226\132\153"; +utf82macro["\226\132\153"] = "Popf"; +macro2utf8["les"] = "\226\169\189"; +utf82macro["\226\169\189"] = "les"; +macro2utf8["succcurlyeq"] = "\226\137\189"; +utf82macro["\226\137\189"] = "succcurlyeq"; +macro2utf8["heartsuit"] = "\226\153\161"; +utf82macro["\226\153\161"] = "heartsuit"; +macro2utf8["angmsd"] = "\226\136\161"; +utf82macro["\226\136\161"] = "angmsd"; +macro2utf8["cuesc"] = "\226\139\159"; +utf82macro["\226\139\159"] = "cuesc"; +macro2utf8["lesseqgtr"] = "\226\139\154"; +utf82macro["\226\139\154"] = "lesseqgtr"; +macro2utf8["vartriangleright"] = "\226\138\179"; +utf82macro["\226\138\179"] = "vartriangleright"; +macro2utf8["csupe"] = "\226\171\146"; +utf82macro["\226\171\146"] = "csupe"; +macro2utf8["rthree"] = "\226\139\140"; +utf82macro["\226\139\140"] = "rthree"; +macro2utf8["Idot"] = "\196\176"; +utf82macro["\196\176"] = "Idot"; +macro2utf8["gtdot"] = "\226\139\151"; +utf82macro["\226\139\151"] = "gtdot"; +macro2utf8["dashv"] = "\226\138\163"; +utf82macro["\226\138\163"] = "dashv"; +macro2utf8["Odblac"] = "\197\144"; +utf82macro["\197\144"] = "Odblac"; +macro2utf8["Lmidot"] = "\196\191"; +utf82macro["\196\191"] = "Lmidot"; +macro2utf8["andd"] = "\226\169\156"; +utf82macro["\226\169\156"] = "andd"; +macro2utf8["Wopf"] = "\240\157\149\142"; +utf82macro["\240\157\149\142"] = "Wopf"; +macro2utf8["nvltrie"] = "\226\139\172\204\184"; +utf82macro["\226\139\172\204\184"] = "nvltrie"; +macro2utf8["nhpar"] = "\226\171\178"; +utf82macro["\226\171\178"] = "nhpar"; +macro2utf8["geqslant"] = "\226\169\190"; +utf82macro["\226\169\190"] = "geqslant"; +macro2utf8["xlArr"] = "\239\149\185"; +utf82macro["\239\149\185"] = "xlArr"; +macro2utf8["SquareSubset"] = "\226\138\143"; +utf82macro["\226\138\143"] = "SquareSubset"; +macro2utf8["intcal"] = "\226\138\186"; +utf82macro["\226\138\186"] = "intcal"; +macro2utf8["ljcy"] = "\209\153"; +utf82macro["\209\153"] = "ljcy"; +macro2utf8["lfr"] = "\240\157\148\169"; +utf82macro["\240\157\148\169"] = "lfr"; +macro2utf8["gtlPar"] = "\226\166\149"; +utf82macro["\226\166\149"] = "gtlPar"; +macro2utf8["zigrarr"] = "\226\135\157"; +utf82macro["\226\135\157"] = "zigrarr"; +macro2utf8["nvap"] = "\226\137\137\204\184"; +utf82macro["\226\137\137\204\184"] = "nvap"; +macro2utf8["boxtimes"] = "\226\138\160"; +utf82macro["\226\138\160"] = "boxtimes"; +macro2utf8["raquo"] = "\194\187"; +utf82macro["\194\187"] = "raquo"; +macro2utf8["CircleMinus"] = "\226\138\150"; +utf82macro["\226\138\150"] = "CircleMinus"; +macro2utf8["centerdot"] = "\194\183"; +utf82macro["\194\183"] = "centerdot"; +macro2utf8["xoplus"] = "\226\138\149"; +utf82macro["\226\138\149"] = "xoplus"; +macro2utf8["simdot"] = "\226\169\170"; +utf82macro["\226\169\170"] = "simdot"; +macro2utf8["Vcy"] = "\208\146"; +utf82macro["\208\146"] = "Vcy"; +macro2utf8["profline"] = "\226\140\146"; +utf82macro["\226\140\146"] = "profline"; +macro2utf8["ltquest"] = "\226\169\187"; +utf82macro["\226\169\187"] = "ltquest"; +macro2utf8["andv"] = "\226\169\154"; +utf82macro["\226\169\154"] = "andv"; +macro2utf8["lessgtr"] = "\226\137\182"; +utf82macro["\226\137\182"] = "lessgtr"; +macro2utf8["lesdoto"] = "\226\170\129"; +utf82macro["\226\170\129"] = "lesdoto"; +macro2utf8["NotSquareSubset"] = "\226\138\143\204\184"; +utf82macro["\226\138\143\204\184"] = "NotSquareSubset"; +macro2utf8["bullet"] = "\226\128\162"; +utf82macro["\226\128\162"] = "bullet"; +macro2utf8["rarrsim"] = "\226\165\180"; +utf82macro["\226\165\180"] = "rarrsim"; +macro2utf8["Tcedil"] = "\197\162"; +utf82macro["\197\162"] = "Tcedil"; +macro2utf8["Hstrok"] = "\196\166"; +utf82macro["\196\166"] = "Hstrok"; +macro2utf8["eopf"] = "\240\157\149\150"; +utf82macro["\240\157\149\150"] = "eopf"; +macro2utf8["Theta"] = "\206\152"; +utf82macro["\206\152"] = "Theta"; +macro2utf8["Cscr"] = "\240\157\146\158"; +utf82macro["\240\157\146\158"] = "Cscr"; +macro2utf8["emacr"] = "\196\147"; +utf82macro["\196\147"] = "emacr"; +macro2utf8["UnionPlus"] = "\226\138\142"; +utf82macro["\226\138\142"] = "UnionPlus"; +macro2utf8["Vee"] = "\226\139\129"; +utf82macro["\226\139\129"] = "Vee"; +macro2utf8["arctan"] = "arctan"; +utf82macro["arctan"] = "arctan"; +macro2utf8["afr"] = "\240\157\148\158"; +utf82macro["\240\157\148\158"] = "afr"; +macro2utf8["thinsp"] = "\226\128\137"; +utf82macro["\226\128\137"] = "thinsp"; +macro2utf8["bottom"] = "\226\138\165"; +utf82macro["\226\138\165"] = "bottom"; +macro2utf8["lopf"] = "\240\157\149\157"; +utf82macro["\240\157\149\157"] = "lopf"; +macro2utf8["larrlp"] = "\226\134\171"; +utf82macro["\226\134\171"] = "larrlp"; +macro2utf8["lbrace"] = "{"; +utf82macro["{"] = "lbrace"; +macro2utf8["Jscr"] = "\240\157\146\165"; +utf82macro["\240\157\146\165"] = "Jscr"; +macro2utf8["Kcy"] = "\208\154"; +utf82macro["\208\154"] = "Kcy"; +macro2utf8["shortparallel"] = "\226\136\165\239\184\128"; +utf82macro["\226\136\165\239\184\128"] = "shortparallel"; +macro2utf8["hairsp"] = "\226\128\138"; +utf82macro["\226\128\138"] = "hairsp"; +macro2utf8["osol"] = "\226\138\152"; +utf82macro["\226\138\152"] = "osol"; +macro2utf8["lbrack"] = "["; +utf82macro["["] = "lbrack"; +macro2utf8["hArr"] = "\226\135\148"; +utf82macro["\226\135\148"] = "hArr"; +macro2utf8["vdash"] = "\226\138\162"; +utf82macro["\226\138\162"] = "vdash"; +macro2utf8["UpDownArrow"] = "\226\134\149"; +utf82macro["\226\134\149"] = "UpDownArrow"; +macro2utf8["edot"] = "\196\151"; +utf82macro["\196\151"] = "edot"; +macro2utf8["vzigzag"] = "\226\166\154"; +utf82macro["\226\166\154"] = "vzigzag"; +macro2utf8["sopf"] = "\240\157\149\164"; +utf82macro["\240\157\149\164"] = "sopf"; +macro2utf8["NotLessGreater"] = "\226\137\184"; +utf82macro["\226\137\184"] = "NotLessGreater"; +macro2utf8["Qscr"] = "\240\157\146\172"; +utf82macro["\240\157\146\172"] = "Qscr"; +macro2utf8["Gammad"] = "\207\156"; +utf82macro["\207\156"] = "Gammad"; +macro2utf8["SubsetEqual"] = "\226\138\134"; +utf82macro["\226\138\134"] = "SubsetEqual"; +macro2utf8["uplus"] = "\226\138\142"; +utf82macro["\226\138\142"] = "uplus"; +macro2utf8["LeftTriangle"] = "\226\138\178"; +utf82macro["\226\138\178"] = "LeftTriangle"; +macro2utf8["ange"] = "\226\166\164"; +utf82macro["\226\166\164"] = "ange"; +macro2utf8["lim"] = "lim"; +utf82macro["lim"] = "lim"; +macro2utf8["triangleright"] = "\226\150\185"; +utf82macro["\226\150\185"] = "triangleright"; +macro2utf8["angrt"] = "\226\136\159"; +utf82macro["\226\136\159"] = "angrt"; +macro2utf8["rfloor"] = "\226\140\139"; +utf82macro["\226\140\139"] = "rfloor"; +macro2utf8["bigtriangledown"] = "\226\150\189"; +utf82macro["\226\150\189"] = "bigtriangledown"; +macro2utf8["ofcir"] = "\226\166\191"; +utf82macro["\226\166\191"] = "ofcir"; +macro2utf8["Vfr"] = "\240\157\148\153"; +utf82macro["\240\157\148\153"] = "Vfr"; +macro2utf8["zopf"] = "\240\157\149\171"; +utf82macro["\240\157\149\171"] = "zopf"; +macro2utf8["UpArrowDownArrow"] = "\226\135\133"; +utf82macro["\226\135\133"] = "UpArrowDownArrow"; +macro2utf8["Xscr"] = "\240\157\146\179"; +utf82macro["\240\157\146\179"] = "Xscr"; +macro2utf8["digamma"] = "\207\156"; +utf82macro["\207\156"] = "digamma"; +macro2utf8["SmallCircle"] = "\226\136\152"; +utf82macro["\226\136\152"] = "SmallCircle"; +macro2utf8["vArr"] = "\226\135\149"; +utf82macro["\226\135\149"] = "vArr"; +macro2utf8["eqsim"] = "\226\137\130"; +utf82macro["\226\137\130"] = "eqsim"; +macro2utf8["downharpoonright"] = "\226\135\130"; +utf82macro["\226\135\130"] = "downharpoonright"; +macro2utf8["Ccaron"] = "\196\140"; +utf82macro["\196\140"] = "Ccaron"; +macro2utf8["sdot"] = "\226\139\133"; +utf82macro["\226\139\133"] = "sdot"; +macro2utf8["frown"] = "\226\140\162"; +utf82macro["\226\140\162"] = "frown"; +macro2utf8["angst"] = "\226\132\171"; +utf82macro["\226\132\171"] = "angst"; +macro2utf8["lesges"] = "\226\170\147"; +utf82macro["\226\170\147"] = "lesges"; +macro2utf8["iacute"] = "\195\173"; +utf82macro["\195\173"] = "iacute"; +macro2utf8["wedge"] = "\226\136\167"; +utf82macro["\226\136\167"] = "wedge"; +macro2utf8["ssetmn"] = "\226\136\150\239\184\128"; +utf82macro["\226\136\150\239\184\128"] = "ssetmn"; +macro2utf8["rotimes"] = "\226\168\181"; +utf82macro["\226\168\181"] = "rotimes"; +macro2utf8["laquo"] = "\194\171"; +utf82macro["\194\171"] = "laquo"; +macro2utf8["bigstar"] = "\226\152\133"; +utf82macro["\226\152\133"] = "bigstar"; +macro2utf8["Rrightarrow"] = "\226\135\155"; +utf82macro["\226\135\155"] = "Rrightarrow"; +macro2utf8["erDot"] = "\226\137\147"; +utf82macro["\226\137\147"] = "erDot"; +macro2utf8["subseteq"] = "\226\138\134"; +utf82macro["\226\138\134"] = "subseteq"; +macro2utf8["leftharpoondown"] = "\226\134\189"; +utf82macro["\226\134\189"] = "leftharpoondown"; +macro2utf8["infin"] = "\226\136\158"; +utf82macro["\226\136\158"] = "infin"; +macro2utf8["zdot"] = "\197\188"; +utf82macro["\197\188"] = "zdot"; +macro2utf8["solbar"] = "\226\140\191"; +utf82macro["\226\140\191"] = "solbar"; +macro2utf8["Iuml"] = "\195\143"; +utf82macro["\195\143"] = "Iuml"; +macro2utf8["Kfr"] = "\240\157\148\142"; +utf82macro["\240\157\148\142"] = "Kfr"; +macro2utf8["fscr"] = "\240\157\146\187"; +utf82macro["\240\157\146\187"] = "fscr"; +macro2utf8["DJcy"] = "\208\130"; +utf82macro["\208\130"] = "DJcy"; +macro2utf8["veeeq"] = "\226\137\154"; +utf82macro["\226\137\154"] = "veeeq"; +macro2utf8["Star"] = "\226\139\134"; +utf82macro["\226\139\134"] = "Star"; +macro2utf8["lsquor"] = "\226\128\154"; +utf82macro["\226\128\154"] = "lsquor"; +macro2utf8["Uacute"] = "\195\154"; +utf82macro["\195\154"] = "Uacute"; +macro2utf8["weierp"] = "\226\132\152"; +utf82macro["\226\132\152"] = "weierp"; +macro2utf8["rang"] = "\226\140\170"; +utf82macro["\226\140\170"] = "rang"; +macro2utf8["hamilt"] = "\226\132\139"; +utf82macro["\226\132\139"] = "hamilt"; +macro2utf8["angsph"] = "\226\136\162"; +utf82macro["\226\136\162"] = "angsph"; +macro2utf8["YUcy"] = "\208\174"; +utf82macro["\208\174"] = "YUcy"; +macro2utf8["Wcirc"] = "\197\180"; +utf82macro["\197\180"] = "Wcirc"; +macro2utf8["supsetneq"] = "\226\138\139"; +utf82macro["\226\138\139"] = "supsetneq"; +macro2utf8["gap"] = "\226\137\179"; +utf82macro["\226\137\179"] = "gap"; +macro2utf8["mscr"] = "\240\157\147\130"; +utf82macro["\240\157\147\130"] = "mscr"; +macro2utf8["KJcy"] = "\208\140"; +utf82macro["\208\140"] = "KJcy"; +macro2utf8["qprime"] = "\226\129\151"; +utf82macro["\226\129\151"] = "qprime"; +macro2utf8["EqualTilde"] = "\226\137\130"; +utf82macro["\226\137\130"] = "EqualTilde"; +macro2utf8["vBar"] = "\226\171\168"; +utf82macro["\226\171\168"] = "vBar"; +macro2utf8["larrpl"] = "\226\164\185"; +utf82macro["\226\164\185"] = "larrpl"; +macro2utf8["nvge"] = "\226\137\177"; +utf82macro["\226\137\177"] = "nvge"; +macro2utf8["approx"] = "\226\137\136"; +utf82macro["\226\137\136"] = "approx"; +macro2utf8["lnE"] = "\226\137\168"; +utf82macro["\226\137\168"] = "lnE"; +macro2utf8["NotGreaterLess"] = "\226\137\185"; +utf82macro["\226\137\185"] = "NotGreaterLess"; +macro2utf8["epar"] = "\226\139\149"; +utf82macro["\226\139\149"] = "epar"; +macro2utf8["bigotimes"] = "\226\138\151"; +utf82macro["\226\138\151"] = "bigotimes"; +macro2utf8["xharr"] = "\239\149\184"; +utf82macro["\239\149\184"] = "xharr"; +macro2utf8["roang"] = "\239\149\153"; +utf82macro["\239\149\153"] = "roang"; +macro2utf8["xcup"] = "\226\139\131"; +utf82macro["\226\139\131"] = "xcup"; +macro2utf8["tscr"] = "\240\157\147\137"; +utf82macro["\240\157\147\137"] = "tscr"; +macro2utf8["thkap"] = "\226\137\136\239\184\128"; +utf82macro["\226\137\136\239\184\128"] = "thkap"; +macro2utf8["Aacute"] = "\195\129"; +utf82macro["\195\129"] = "Aacute"; +macro2utf8["rcy"] = "\209\128"; +utf82macro["\209\128"] = "rcy"; +macro2utf8["jukcy"] = "\209\148"; +utf82macro["\209\148"] = "jukcy"; +macro2utf8["hookleftarrow"] = "\226\134\169"; +utf82macro["\226\134\169"] = "hookleftarrow"; +macro2utf8["napid"] = "\226\137\139\204\184"; +utf82macro["\226\137\139\204\184"] = "napid"; +macro2utf8["tscy"] = "\209\134"; +utf82macro["\209\134"] = "tscy"; +macro2utf8["nvgt"] = "\226\137\175"; +utf82macro["\226\137\175"] = "nvgt"; +macro2utf8["lpar"] = "("; +utf82macro["("] = "lpar"; +macro2utf8["ldsh"] = "\226\134\178"; +utf82macro["\226\134\178"] = "ldsh"; +macro2utf8["aring"] = "\195\165"; +utf82macro["\195\165"] = "aring"; +macro2utf8["nGg"] = "\226\139\153\204\184"; +utf82macro["\226\139\153\204\184"] = "nGg"; +macro2utf8["LessEqualGreater"] = "\226\139\154"; +utf82macro["\226\139\154"] = "LessEqualGreater"; +macro2utf8["gcd"] = "gcd"; +utf82macro["gcd"] = "gcd"; +macro2utf8["oplus"] = "\226\138\149"; +utf82macro["\226\138\149"] = "oplus"; +macro2utf8["lcaron"] = "\196\190"; +utf82macro["\196\190"] = "lcaron"; +macro2utf8["DownArrow"] = "\226\134\147"; +utf82macro["\226\134\147"] = "DownArrow"; +macro2utf8["xutri"] = "\226\150\179"; +utf82macro["\226\150\179"] = "xutri"; +macro2utf8["Psi"] = "\206\168"; +utf82macro["\206\168"] = "Psi"; +macro2utf8["lesssim"] = "\226\137\178"; +utf82macro["\226\137\178"] = "lesssim"; +macro2utf8["topcir"] = "\226\171\177"; +utf82macro["\226\171\177"] = "topcir"; +macro2utf8["puncsp"] = "\226\128\136"; +utf82macro["\226\128\136"] = "puncsp"; +macro2utf8["origof"] = "\226\138\182"; +utf82macro["\226\138\182"] = "origof"; +macro2utf8["gnsim"] = "\226\139\167"; +utf82macro["\226\139\167"] = "gnsim"; +macro2utf8["eogon"] = "\196\153"; +utf82macro["\196\153"] = "eogon"; +macro2utf8["spar"] = "\226\136\165\239\184\128"; +utf82macro["\226\136\165\239\184\128"] = "spar"; +macro2utf8["LowerRightArrow"] = "\226\134\152"; +utf82macro["\226\134\152"] = "LowerRightArrow"; +macro2utf8["Lleftarrow"] = "\226\135\154"; +utf82macro["\226\135\154"] = "Lleftarrow"; +macro2utf8["nGt"] = "\226\137\171\204\184"; +utf82macro["\226\137\171\204\184"] = "nGt"; +macro2utf8["euml"] = "\195\171"; +utf82macro["\195\171"] = "euml"; +macro2utf8["reg"] = "\194\174"; +utf82macro["\194\174"] = "reg"; +macro2utf8["exponentiale"] = "\226\133\135"; +utf82macro["\226\133\135"] = "exponentiale"; +macro2utf8["qint"] = "\226\168\140"; +utf82macro["\226\168\140"] = "qint"; +macro2utf8["sqcups"] = "\226\138\148\239\184\128"; +utf82macro["\226\138\148\239\184\128"] = "sqcups"; +macro2utf8["lne"] = "\226\137\168"; +utf82macro["\226\137\168"] = "lne"; +macro2utf8["LessSlantEqual"] = "\226\169\189"; +utf82macro["\226\169\189"] = "LessSlantEqual"; +macro2utf8["Egrave"] = "\195\136"; +utf82macro["\195\136"] = "Egrave"; +macro2utf8["orderof"] = "\226\132\180"; +utf82macro["\226\132\180"] = "orderof"; +macro2utf8["cirE"] = "\226\167\131"; +utf82macro["\226\167\131"] = "cirE"; +macro2utf8["nleqslant"] = "\226\137\176"; +utf82macro["\226\137\176"] = "nleqslant"; +macro2utf8["gcy"] = "\208\179"; +utf82macro["\208\179"] = "gcy"; +macro2utf8["curvearrowright"] = "\226\134\183"; +utf82macro["\226\134\183"] = "curvearrowright"; +macro2utf8["ratail"] = "\226\134\163"; +utf82macro["\226\134\163"] = "ratail"; +macro2utf8["emsp13"] = "\226\128\132"; +utf82macro["\226\128\132"] = "emsp13"; +macro2utf8["sdotb"] = "\226\138\161"; +utf82macro["\226\138\161"] = "sdotb"; +macro2utf8["horbar"] = "\226\128\149"; +utf82macro["\226\128\149"] = "horbar"; +macro2utf8["emsp14"] = "\226\128\133"; +utf82macro["\226\128\133"] = "emsp14"; +macro2utf8["npre"] = "\226\170\175\204\184"; +utf82macro["\226\170\175\204\184"] = "npre"; +macro2utf8["rbrksld"] = "\226\166\142"; +utf82macro["\226\166\142"] = "rbrksld"; +macro2utf8["sdote"] = "\226\169\166"; +utf82macro["\226\169\166"] = "sdote"; +macro2utf8["varsupsetneqq"] = "\226\138\139\239\184\128"; +utf82macro["\226\138\139\239\184\128"] = "varsupsetneqq"; +macro2utf8["VeryThinSpace"] = "\226\128\138"; +utf82macro["\226\128\138"] = "VeryThinSpace"; +macro2utf8["DownArrowBar"] = "\226\164\147"; +utf82macro["\226\164\147"] = "DownArrowBar"; +macro2utf8["Rightarrow"] = "\226\135\146"; +utf82macro["\226\135\146"] = "Rightarrow"; +macro2utf8["ocir"] = "\226\138\154"; +utf82macro["\226\138\154"] = "ocir"; +macro2utf8["NotHumpDownHump"] = "\226\137\142\204\184"; +utf82macro["\226\137\142\204\184"] = "NotHumpDownHump"; +macro2utf8["darr"] = "\226\134\147"; +utf82macro["\226\134\147"] = "darr"; +macro2utf8["geqq"] = "\226\137\167"; +utf82macro["\226\137\167"] = "geqq"; +macro2utf8["sup1"] = "\194\185"; +utf82macro["\194\185"] = "sup1"; +macro2utf8["log"] = "log"; +utf82macro["log"] = "log"; +macro2utf8["sup2"] = "\194\178"; +utf82macro["\194\178"] = "sup2"; +macro2utf8["micro"] = "\194\181"; +utf82macro["\194\181"] = "micro"; +macro2utf8["amp"] = "&"; +utf82macro["&"] = "amp"; +macro2utf8["arccos"] = "arccos"; +utf82macro["arccos"] = "arccos"; +macro2utf8["sup3"] = "\194\179"; +utf82macro["\194\179"] = "sup3"; +macro2utf8["GreaterTilde"] = "\226\137\179"; +utf82macro["\226\137\179"] = "GreaterTilde"; +macro2utf8["circeq"] = "\226\137\151"; +utf82macro["\226\137\151"] = "circeq"; +macro2utf8["rfr"] = "\240\157\148\175"; +utf82macro["\240\157\148\175"] = "rfr"; +macro2utf8["dash"] = "\226\128\144"; +utf82macro["\226\128\144"] = "dash"; +macro2utf8["rbrkslu"] = "\226\166\144"; +utf82macro["\226\166\144"] = "rbrkslu"; +macro2utf8["Dcaron"] = "\196\142"; +utf82macro["\196\142"] = "Dcaron"; +macro2utf8["and"] = "\226\136\167"; +utf82macro["\226\136\167"] = "and"; +macro2utf8["Vbar"] = "\226\171\171"; +utf82macro["\226\171\171"] = "Vbar"; +macro2utf8["angzarr"] = "\226\141\188"; +utf82macro["\226\141\188"] = "angzarr"; +macro2utf8["gel"] = "\226\139\155"; +utf82macro["\226\139\155"] = "gel"; +macro2utf8["ang"] = "\226\136\160"; +utf82macro["\226\136\160"] = "ang"; +macro2utf8["lor"] = "\226\136\168"; +utf82macro["\226\136\168"] = "lor"; +macro2utf8["circ"] = "\226\136\152"; +utf82macro["\226\136\152"] = "circ"; +macro2utf8["upharpoonright"] = "\226\134\190"; +utf82macro["\226\134\190"] = "upharpoonright"; +macro2utf8["dblac"] = "\203\157"; +utf82macro["\203\157"] = "dblac"; +macro2utf8["subsetneqq"] = "\226\138\138"; +utf82macro["\226\138\138"] = "subsetneqq"; +macro2utf8["rhard"] = "\226\135\129"; +utf82macro["\226\135\129"] = "rhard"; +macro2utf8["Intersection"] = "\226\139\130"; +utf82macro["\226\139\130"] = "Intersection"; +macro2utf8["cire"] = "\226\137\151"; +utf82macro["\226\137\151"] = "cire"; +macro2utf8["apE"] = "\226\137\138"; +utf82macro["\226\137\138"] = "apE"; +macro2utf8["sung"] = "\226\153\170"; +utf82macro["\226\153\170"] = "sung"; +macro2utf8["geq"] = "\226\137\165"; +utf82macro["\226\137\165"] = "geq"; +macro2utf8["succsim"] = "\226\137\191"; +utf82macro["\226\137\191"] = "succsim"; +macro2utf8["ges"] = "\226\169\190"; +utf82macro["\226\169\190"] = "ges"; +macro2utf8["Gbreve"] = "\196\158"; +utf82macro["\196\158"] = "Gbreve"; +macro2utf8["intercal"] = "\226\138\186"; +utf82macro["\226\138\186"] = "intercal"; +macro2utf8["supE"] = "\226\138\135"; +utf82macro["\226\138\135"] = "supE"; +macro2utf8["NotCupCap"] = "\226\137\173"; +utf82macro["\226\137\173"] = "NotCupCap"; +macro2utf8["loz"] = "\226\151\138"; +utf82macro["\226\151\138"] = "loz"; +macro2utf8["capcup"] = "\226\169\135"; +utf82macro["\226\169\135"] = "capcup"; +macro2utf8["larrtl"] = "\226\134\162"; +utf82macro["\226\134\162"] = "larrtl"; +macro2utf8["AElig"] = "\195\134"; +utf82macro["\195\134"] = "AElig"; +macro2utf8["rarr"] = "\226\134\146"; +utf82macro["\226\134\146"] = "rarr"; +macro2utf8["varkappa"] = "\207\176"; +utf82macro["\207\176"] = "varkappa"; +macro2utf8["upsi"] = "\207\133"; +utf82macro["\207\133"] = "upsi"; +macro2utf8["loang"] = "\239\149\152"; +utf82macro["\239\149\152"] = "loang"; +macro2utf8["looparrowleft"] = "\226\134\171"; +utf82macro["\226\134\171"] = "looparrowleft"; +macro2utf8["IOcy"] = "\208\129"; +utf82macro["\208\129"] = "IOcy"; +macro2utf8["backprime"] = "\226\128\181"; +utf82macro["\226\128\181"] = "backprime"; +macro2utf8["sstarf"] = "\226\139\134"; +utf82macro["\226\139\134"] = "sstarf"; +macro2utf8["rharu"] = "\226\135\128"; +utf82macro["\226\135\128"] = "rharu"; +macro2utf8["gesl"] = "\226\139\155\239\184\128"; +utf82macro["\226\139\155\239\184\128"] = "gesl"; +macro2utf8["xotime"] = "\226\138\151"; +utf82macro["\226\138\151"] = "xotime"; +macro2utf8["minus"] = "\226\136\146"; +utf82macro["\226\136\146"] = "minus"; +macro2utf8["gvnE"] = "\226\137\169\239\184\128"; +utf82macro["\226\137\169\239\184\128"] = "gvnE"; +macro2utf8["gfr"] = "\240\157\148\164"; +utf82macro["\240\157\148\164"] = "gfr"; +macro2utf8["lfisht"] = "\226\165\188"; +utf82macro["\226\165\188"] = "lfisht"; +macro2utf8["jcirc"] = "\196\181"; +utf82macro["\196\181"] = "jcirc"; +macro2utf8["roarr"] = "\226\135\190"; +utf82macro["\226\135\190"] = "roarr"; +macro2utf8["rho"] = "\207\129"; +utf82macro["\207\129"] = "rho"; +macro2utf8["nvle"] = "\226\137\176"; +utf82macro["\226\137\176"] = "nvle"; +macro2utf8["sect"] = "\194\167"; +utf82macro["\194\167"] = "sect"; +macro2utf8["ggg"] = "\226\139\153"; +utf82macro["\226\139\153"] = "ggg"; +macro2utf8["plusb"] = "\226\138\158"; +utf82macro["\226\138\158"] = "plusb"; +macro2utf8["NotTildeFullEqual"] = "\226\137\135"; +utf82macro["\226\137\135"] = "NotTildeFullEqual"; +macro2utf8["NegativeVeryThinSpace"] = "\226\128\138\239\184\128"; +utf82macro["\226\128\138\239\184\128"] = "NegativeVeryThinSpace"; +macro2utf8["ape"] = "\226\137\138"; +utf82macro["\226\137\138"] = "ape"; +macro2utf8["pluse"] = "\226\169\178"; +utf82macro["\226\169\178"] = "pluse"; +macro2utf8["dollar"] = "$"; +utf82macro["$"] = "dollar"; +macro2utf8["divonx"] = "\226\139\135"; +utf82macro["\226\139\135"] = "divonx"; +macro2utf8["partial"] = "\226\136\130"; +utf82macro["\226\136\130"] = "partial"; +macro2utf8["DoubleLeftRightArrow"] = "\226\135\148"; +utf82macro["\226\135\148"] = "DoubleLeftRightArrow"; +macro2utf8["varepsilon"] = "\206\181"; +utf82macro["\206\181"] = "varepsilon"; +macro2utf8["supe"] = "\226\138\135"; +utf82macro["\226\138\135"] = "supe"; +macro2utf8["nvlt"] = "\226\137\174"; +utf82macro["\226\137\174"] = "nvlt"; +macro2utf8["angrtvb"] = "\226\166\157\239\184\128"; +utf82macro["\226\166\157\239\184\128"] = "angrtvb"; +macro2utf8["gets"] = "\226\134\144"; +utf82macro["\226\134\144"] = "gets"; +macro2utf8["nparallel"] = "\226\136\166"; +utf82macro["\226\136\166"] = "nparallel"; +macro2utf8["varphi"] = "\207\134"; +utf82macro["\207\134"] = "varphi"; +macro2utf8["nsupseteq"] = "\226\138\137"; +utf82macro["\226\138\137"] = "nsupseteq"; +macro2utf8["circledR"] = "\194\174"; +utf82macro["\194\174"] = "circledR"; +macro2utf8["circledS"] = "\226\147\136"; +utf82macro["\226\147\136"] = "circledS"; +macro2utf8["primes"] = "\226\132\153"; +utf82macro["\226\132\153"] = "primes"; +macro2utf8["cuwed"] = "\226\139\143"; +utf82macro["\226\139\143"] = "cuwed"; +macro2utf8["cupcap"] = "\226\169\134"; +utf82macro["\226\169\134"] = "cupcap"; +macro2utf8["nLl"] = "\226\139\152\204\184"; +utf82macro["\226\139\152\204\184"] = "nLl"; +macro2utf8["lozf"] = "\226\167\171"; +utf82macro["\226\167\171"] = "lozf"; +macro2utf8["ShortLeftArrow"] = "\226\134\144\239\184\128"; +utf82macro["\226\134\144\239\184\128"] = "ShortLeftArrow"; +macro2utf8["nLt"] = "\226\137\170\204\184"; +utf82macro["\226\137\170\204\184"] = "nLt"; +macro2utf8["lesdotor"] = "\226\170\131"; +utf82macro["\226\170\131"] = "lesdotor"; +macro2utf8["Fcy"] = "\208\164"; +utf82macro["\208\164"] = "Fcy"; +macro2utf8["scnsim"] = "\226\139\169"; +utf82macro["\226\139\169"] = "scnsim"; +macro2utf8["VerticalLine"] = "|"; +utf82macro["|"] = "VerticalLine"; +macro2utf8["nwArr"] = "\226\135\150"; +utf82macro["\226\135\150"] = "nwArr"; +macro2utf8["LeftTeeArrow"] = "\226\134\164"; +utf82macro["\226\134\164"] = "LeftTeeArrow"; +macro2utf8["iprod"] = "\226\168\188"; +utf82macro["\226\168\188"] = "iprod"; +macro2utf8["lsh"] = "\226\134\176"; +utf82macro["\226\134\176"] = "lsh"; +macro2utf8["Congruent"] = "\226\137\161"; +utf82macro["\226\137\161"] = "Congruent"; +macro2utf8["NotLeftTriangle"] = "\226\139\170"; +utf82macro["\226\139\170"] = "NotLeftTriangle"; +macro2utf8["rdldhar"] = "\226\165\169"; +utf82macro["\226\165\169"] = "rdldhar"; +macro2utf8["varpropto"] = "\226\136\157"; +utf82macro["\226\136\157"] = "varpropto"; +macro2utf8["nvlArr"] = "\226\135\141"; +utf82macro["\226\135\141"] = "nvlArr"; +macro2utf8["arg"] = "arg"; +utf82macro["arg"] = "arg"; +macro2utf8["lhard"] = "\226\134\189"; +utf82macro["\226\134\189"] = "lhard"; +macro2utf8["surd"] = "????"; +utf82macro["????"] = "surd"; +macro2utf8["napos"] = "\197\137"; +utf82macro["\197\137"] = "napos"; +macro2utf8["lparlt"] = "\226\166\147"; +utf82macro["\226\166\147"] = "lparlt"; +macro2utf8["hslash"] = "\226\132\143"; +utf82macro["\226\132\143"] = "hslash"; +macro2utf8["Gopf"] = "\240\157\148\190"; +utf82macro["\240\157\148\190"] = "Gopf"; +macro2utf8["SHcy"] = "\208\168"; +utf82macro["\208\168"] = "SHcy"; +macro2utf8["triangle"] = "\226\150\181"; +utf82macro["\226\150\181"] = "triangle"; +macro2utf8["Qfr"] = "\240\157\148\148"; +utf82macro["\240\157\148\148"] = "Qfr"; +macro2utf8["DiacriticalAcute"] = "\194\180"; +utf82macro["\194\180"] = "DiacriticalAcute"; +macro2utf8["tbrk"] = "\226\142\180"; +utf82macro["\226\142\180"] = "tbrk"; +macro2utf8["Implies"] = "\226\135\146"; +utf82macro["\226\135\146"] = "Implies"; +macro2utf8["comp"] = "\226\136\129"; +utf82macro["\226\136\129"] = "comp"; +macro2utf8["ddarr"] = "\226\135\138"; +utf82macro["\226\135\138"] = "ddarr"; +macro2utf8["Colone"] = "\226\169\180"; +utf82macro["\226\169\180"] = "Colone"; +macro2utf8["smashp"] = "\226\168\179"; +utf82macro["\226\168\179"] = "smashp"; +macro2utf8["ccups"] = "\226\169\140"; +utf82macro["\226\169\140"] = "ccups"; +macro2utf8["triangleq"] = "\226\137\156"; +utf82macro["\226\137\156"] = "triangleq"; +macro2utf8["NotSquareSubsetEqual"] = "\226\139\162"; +utf82macro["\226\139\162"] = "NotSquareSubsetEqual"; +macro2utf8["Nopf"] = "\226\132\149"; +utf82macro["\226\132\149"] = "Nopf"; +macro2utf8["ZHcy"] = "\208\150"; +utf82macro["\208\150"] = "ZHcy"; +macro2utf8["map"] = "\226\134\166"; +utf82macro["\226\134\166"] = "map"; +macro2utf8["lharu"] = "\226\134\188"; +utf82macro["\226\134\188"] = "lharu"; +macro2utf8["glE"] = "\226\170\146"; +utf82macro["\226\170\146"] = "glE"; +macro2utf8["cong"] = "\226\137\133"; +utf82macro["\226\137\133"] = "cong"; +macro2utf8["Ecaron"] = "\196\154"; +utf82macro["\196\154"] = "Ecaron"; +macro2utf8["Uring"] = "\197\174"; +utf82macro["\197\174"] = "Uring"; +macro2utf8["blacktriangleright"] = "\226\150\184"; +utf82macro["\226\150\184"] = "blacktriangleright"; +macro2utf8["ntilde"] = "\195\177"; +utf82macro["\195\177"] = "ntilde"; +macro2utf8["max"] = "max"; +utf82macro["max"] = "max"; +macro2utf8["loarr"] = "\226\135\189"; +utf82macro["\226\135\189"] = "loarr"; +macro2utf8["LeftArrow"] = "\226\134\144"; +utf82macro["\226\134\144"] = "LeftArrow"; +macro2utf8["Gdot"] = "\196\160"; +utf82macro["\196\160"] = "Gdot"; +macro2utf8["Uopf"] = "\240\157\149\140"; +utf82macro["\240\157\149\140"] = "Uopf"; +macro2utf8["bigsqcup"] = "\226\138\148"; +utf82macro["\226\138\148"] = "bigsqcup"; +macro2utf8["wedgeq"] = "\226\137\153"; +utf82macro["\226\137\153"] = "wedgeq"; +macro2utf8["RoundImplies"] = "\226\165\176"; +utf82macro["\226\165\176"] = "RoundImplies"; +macro2utf8["prap"] = "\226\137\190"; +utf82macro["\226\137\190"] = "prap"; +macro2utf8["gescc"] = "\226\170\169"; +utf82macro["\226\170\169"] = "gescc"; +macro2utf8["realine"] = "\226\132\155"; +utf82macro["\226\132\155"] = "realine"; +macro2utf8["ast"] = "*"; +utf82macro["*"] = "ast"; +macro2utf8["subedot"] = "\226\171\131"; +utf82macro["\226\171\131"] = "subedot"; +macro2utf8["LeftTeeVector"] = "\226\165\154"; +utf82macro["\226\165\154"] = "LeftTeeVector"; +macro2utf8["female"] = "\226\153\128"; +utf82macro["\226\153\128"] = "female"; +macro2utf8["circlearrowleft"] = "\226\134\186"; +utf82macro["\226\134\186"] = "circlearrowleft"; +macro2utf8["Ffr"] = "\240\157\148\137"; +utf82macro["\240\157\148\137"] = "Ffr"; +macro2utf8["VDash"] = "\226\138\171"; +utf82macro["\226\138\171"] = "VDash"; +macro2utf8["jsercy"] = "\209\152"; +utf82macro["\209\152"] = "jsercy"; +macro2utf8["Proportional"] = "\226\136\157"; +utf82macro["\226\136\157"] = "Proportional"; +macro2utf8["OverBracket"] = "\226\142\180"; +utf82macro["\226\142\180"] = "OverBracket"; +macro2utf8["gla"] = "\226\170\165"; +utf82macro["\226\170\165"] = "gla"; +macro2utf8["NotElement"] = "\226\136\137"; +utf82macro["\226\136\137"] = "NotElement"; +macro2utf8["theta"] = "\206\184"; +utf82macro["\206\184"] = "theta"; +macro2utf8["kcedil"] = "\196\183"; +utf82macro["\196\183"] = "kcedil"; +macro2utf8["smeparsl"] = "\226\167\164"; +utf82macro["\226\167\164"] = "smeparsl"; +macro2utf8["rarrb"] = "\226\135\165"; +utf82macro["\226\135\165"] = "rarrb"; +macro2utf8["rarrc"] = "\226\164\179"; +utf82macro["\226\164\179"] = "rarrc"; +macro2utf8["ograve"] = "\195\178"; +utf82macro["\195\178"] = "ograve"; +macro2utf8["glj"] = "\226\170\164"; +utf82macro["\226\170\164"] = "glj"; +macro2utf8["infty"] = "\226\136\158"; +utf82macro["\226\136\158"] = "infty"; +macro2utf8["gnE"] = "\226\137\169"; +utf82macro["\226\137\169"] = "gnE"; +macro2utf8["copf"] = "\240\157\149\148"; +utf82macro["\240\157\149\148"] = "copf"; +macro2utf8["LeftArrowRightArrow"] = "\226\135\134"; +utf82macro["\226\135\134"] = "LeftArrowRightArrow"; +macro2utf8["cwconint"] = "\226\136\178"; +utf82macro["\226\136\178"] = "cwconint"; +macro2utf8["Ascr"] = "\240\157\146\156"; +utf82macro["\240\157\146\156"] = "Ascr"; +macro2utf8["NegativeThinSpace"] = "\226\128\137\239\184\128"; +utf82macro["\226\128\137\239\184\128"] = "NegativeThinSpace"; +macro2utf8["varsubsetneq"] = "\226\138\138\239\184\128"; +utf82macro["\226\138\138\239\184\128"] = "varsubsetneq"; +macro2utf8["trisb"] = "\226\167\141"; +utf82macro["\226\167\141"] = "trisb"; +macro2utf8["rightharpoonup"] = "\226\135\128"; +utf82macro["\226\135\128"] = "rightharpoonup"; +macro2utf8["imagline"] = "\226\132\144"; +utf82macro["\226\132\144"] = "imagline"; +macro2utf8["mcy"] = "\208\188"; +utf82macro["\208\188"] = "mcy"; +macro2utf8["Cacute"] = "\196\134"; +utf82macro["\196\134"] = "Cacute"; +macro2utf8["bumpeq"] = "\226\137\143"; +utf82macro["\226\137\143"] = "bumpeq"; +macro2utf8["jopf"] = "\240\157\149\155"; +utf82macro["\240\157\149\155"] = "jopf"; +macro2utf8["shchcy"] = "\209\137"; +utf82macro["\209\137"] = "shchcy"; +macro2utf8["rarrw"] = "\226\134\157"; +utf82macro["\226\134\157"] = "rarrw"; +macro2utf8["uuarr"] = "\226\135\136"; +utf82macro["\226\135\136"] = "uuarr"; +macro2utf8["doteq"] = "\226\137\144"; +utf82macro["\226\137\144"] = "doteq"; +macro2utf8["cudarrl"] = "\226\164\184"; +utf82macro["\226\164\184"] = "cudarrl"; +macro2utf8["varsigma"] = "\207\130"; +utf82macro["\207\130"] = "varsigma"; +macro2utf8["Hscr"] = "\226\132\139"; +utf82macro["\226\132\139"] = "Hscr"; +macro2utf8["DownArrowUpArrow"] = "\226\135\181"; +utf82macro["\226\135\181"] = "DownArrowUpArrow"; +macro2utf8["Ecirc"] = "\195\138"; +utf82macro["\195\138"] = "Ecirc"; +macro2utf8["DD"] = "\226\133\133"; +utf82macro["\226\133\133"] = "DD"; +macro2utf8["copy"] = "\194\169"; +utf82macro["\194\169"] = "copy"; +macro2utf8["SquareIntersection"] = "\226\138\147"; +utf82macro["\226\138\147"] = "SquareIntersection"; +macro2utf8["RightUpVector"] = "\226\134\190"; +utf82macro["\226\134\190"] = "RightUpVector"; +macro2utf8["NotSucceedsSlantEqual"] = "\226\139\161"; +utf82macro["\226\139\161"] = "NotSucceedsSlantEqual"; +macro2utf8["cudarrr"] = "\226\164\181"; +utf82macro["\226\164\181"] = "cudarrr"; +macro2utf8["verbar"] = "|"; +utf82macro["|"] = "verbar"; +macro2utf8["ncaron"] = "\197\136"; +utf82macro["\197\136"] = "ncaron"; +macro2utf8["prurel"] = "\226\138\176"; +utf82macro["\226\138\176"] = "prurel"; +macro2utf8["nearr"] = "\226\134\151"; +utf82macro["\226\134\151"] = "nearr"; +macro2utf8["cdot"] = "\196\139"; +utf82macro["\196\139"] = "cdot"; +macro2utf8["qopf"] = "\240\157\149\162"; +utf82macro["\240\157\149\162"] = "qopf"; +macro2utf8["SucceedsSlantEqual"] = "\226\137\189"; +utf82macro["\226\137\189"] = "SucceedsSlantEqual"; +macro2utf8["Oscr"] = "\240\157\146\170"; +utf82macro["\240\157\146\170"] = "Oscr"; +macro2utf8["xfr"] = "\240\157\148\181"; +utf82macro["\240\157\148\181"] = "xfr"; +macro2utf8["gne"] = "\226\137\169"; +utf82macro["\226\137\169"] = "gne"; +macro2utf8["Ccedil"] = "\195\135"; +utf82macro["\195\135"] = "Ccedil"; +macro2utf8["nlarr"] = "\226\134\154"; +utf82macro["\226\134\154"] = "nlarr"; +macro2utf8["inodot"] = "\196\177"; +utf82macro["\196\177"] = "inodot"; +macro2utf8["prec"] = "\226\137\186"; +utf82macro["\226\137\186"] = "prec"; +macro2utf8["percnt"] = "%"; +utf82macro["%"] = "percnt"; +macro2utf8["Exists"] = "\226\136\131"; +utf82macro["\226\136\131"] = "Exists"; +macro2utf8["bcy"] = "\208\177"; +utf82macro["\208\177"] = "bcy"; +macro2utf8["xopf"] = "\240\157\149\169"; +utf82macro["\240\157\149\169"] = "xopf"; +macro2utf8["nsimeq"] = "\226\137\132"; +utf82macro["\226\137\132"] = "nsimeq"; +macro2utf8["nrtri"] = "\226\139\171"; +utf82macro["\226\139\171"] = "nrtri"; +macro2utf8["barvee"] = "\226\138\189"; +utf82macro["\226\138\189"] = "barvee"; +macro2utf8["Vscr"] = "\240\157\146\177"; +utf82macro["\240\157\146\177"] = "Vscr"; +macro2utf8["Zcaron"] = "\197\189"; +utf82macro["\197\189"] = "Zcaron"; +macro2utf8["ReverseElement"] = "\226\136\139"; +utf82macro["\226\136\139"] = "ReverseElement"; +macro2utf8["npolint"] = "\226\168\148"; +utf82macro["\226\168\148"] = "npolint"; +macro2utf8["NotGreaterTilde"] = "\226\137\181"; +utf82macro["\226\137\181"] = "NotGreaterTilde"; +macro2utf8["lmoustache"] = "\226\142\176"; +utf82macro["\226\142\176"] = "lmoustache"; +macro2utf8["forkv"] = "\226\171\153"; +utf82macro["\226\171\153"] = "forkv"; +macro2utf8["rmoustache"] = "\226\142\177"; +utf82macro["\226\142\177"] = "rmoustache"; +macro2utf8["DownLeftVectorBar"] = "\226\165\150"; +utf82macro["\226\165\150"] = "DownLeftVectorBar"; +macro2utf8["cosh"] = "cosh"; +utf82macro["cosh"] = "cosh"; +macro2utf8["mfr"] = "\240\157\148\170"; +utf82macro["\240\157\148\170"] = "mfr"; +macro2utf8["LessGreater"] = "\226\137\182"; +utf82macro["\226\137\182"] = "LessGreater"; +macro2utf8["zeetrf"] = "\226\132\168"; +utf82macro["\226\132\168"] = "zeetrf"; +macro2utf8["DiacriticalDot"] = "\203\153"; +utf82macro["\203\153"] = "DiacriticalDot"; +macro2utf8["Poincareplane"] = "\226\132\140"; +utf82macro["\226\132\140"] = "Poincareplane"; +macro2utf8["curlyeqsucc"] = "\226\139\159"; +utf82macro["\226\139\159"] = "curlyeqsucc"; +macro2utf8["Equal"] = "\226\169\181"; +utf82macro["\226\169\181"] = "Equal"; +macro2utf8["divides"] = "\226\136\163"; +utf82macro["\226\136\163"] = "divides"; +macro2utf8["scpolint"] = "\226\168\147"; +utf82macro["\226\168\147"] = "scpolint"; +macro2utf8["ngsim"] = "\226\137\181"; +utf82macro["\226\137\181"] = "ngsim"; +macro2utf8["larrbfs"] = "\226\164\159"; +utf82macro["\226\164\159"] = "larrbfs"; +macro2utf8["HilbertSpace"] = "\226\132\139"; +utf82macro["\226\132\139"] = "HilbertSpace"; +macro2utf8["otilde"] = "\195\181"; +utf82macro["\195\181"] = "otilde"; +macro2utf8["larrb"] = "\226\135\164"; +utf82macro["\226\135\164"] = "larrb"; +macro2utf8["wcirc"] = "\197\181"; +utf82macro["\197\181"] = "wcirc"; +macro2utf8["dscr"] = "\240\157\146\185"; +utf82macro["\240\157\146\185"] = "dscr"; +macro2utf8["phmmat"] = "\226\132\179"; +utf82macro["\226\132\179"] = "phmmat"; +macro2utf8["lacute"] = "\196\186"; +utf82macro["\196\186"] = "lacute"; +macro2utf8["tstrok"] = "\197\167"; +utf82macro["\197\167"] = "tstrok"; +macro2utf8["NotDoubleVerticalBar"] = "\226\136\166"; +utf82macro["\226\136\166"] = "NotDoubleVerticalBar"; +macro2utf8["lagran"] = "\226\132\146"; +utf82macro["\226\132\146"] = "lagran"; +macro2utf8["NotRightTriangle"] = "\226\139\171"; +utf82macro["\226\139\171"] = "NotRightTriangle"; +macro2utf8["dscy"] = "\209\149"; +utf82macro["\209\149"] = "dscy"; +macro2utf8["rightrightarrows"] = "\226\135\137"; +utf82macro["\226\135\137"] = "rightrightarrows"; +macro2utf8["seArr"] = "\226\135\152"; +utf82macro["\226\135\152"] = "seArr"; +macro2utf8["RightTriangleBar"] = "\226\167\144"; +utf82macro["\226\167\144"] = "RightTriangleBar"; +macro2utf8["coth"] = "coth"; +utf82macro["coth"] = "coth"; +macro2utf8["swarrow"] = "\226\134\153"; +utf82macro["\226\134\153"] = "swarrow"; +macro2utf8["semi"] = ";"; +utf82macro[";"] = "semi"; +macro2utf8["kscr"] = "\240\157\147\128"; +utf82macro["\240\157\147\128"] = "kscr"; +macro2utf8["NotLessEqual"] = "\226\137\176\226\131\165"; +utf82macro["\226\137\176\226\131\165"] = "NotLessEqual"; +macro2utf8["cularr"] = "\226\134\182"; +utf82macro["\226\134\182"] = "cularr"; +macro2utf8["blacklozenge"] = "\226\167\171"; +utf82macro["\226\167\171"] = "blacklozenge"; +macro2utf8["realpart"] = "\226\132\156"; +utf82macro["\226\132\156"] = "realpart"; +macro2utf8["LeftTriangleEqual"] = "\226\138\180"; +utf82macro["\226\138\180"] = "LeftTriangleEqual"; +macro2utf8["bfr"] = "\240\157\148\159"; +utf82macro["\240\157\148\159"] = "bfr"; +macro2utf8["Uuml"] = "\195\156"; +utf82macro["\195\156"] = "Uuml"; +macro2utf8["longleftrightarrow"] = "????"; +utf82macro["????"] = "longleftrightarrow"; +macro2utf8["lcedil"] = "\196\188"; +utf82macro["\196\188"] = "lcedil"; +macro2utf8["complement"] = "\226\136\129"; +utf82macro["\226\136\129"] = "complement"; +macro2utf8["rscr"] = "\240\157\147\135"; +utf82macro["\240\157\147\135"] = "rscr"; +macro2utf8["mho"] = "\226\132\167"; +utf82macro["\226\132\167"] = "mho"; +macro2utf8["mcomma"] = "\226\168\169"; +utf82macro["\226\168\169"] = "mcomma"; +macro2utf8["wedbar"] = "\226\169\159"; +utf82macro["\226\169\159"] = "wedbar"; +macro2utf8["NotVerticalBar"] = "\226\136\164"; +utf82macro["\226\136\164"] = "NotVerticalBar"; +macro2utf8["Lcy"] = "\208\155"; +utf82macro["\208\155"] = "Lcy"; +macro2utf8["tprime"] = "\226\128\180"; +utf82macro["\226\128\180"] = "tprime"; +macro2utf8["precneqq"] = "\226\170\181"; +utf82macro["\226\170\181"] = "precneqq"; +macro2utf8["Downarrow"] = "\226\135\147"; +utf82macro["\226\135\147"] = "Downarrow"; +macro2utf8["rsh"] = "\226\134\177"; +utf82macro["\226\134\177"] = "rsh"; +macro2utf8["mid"] = "\226\136\163"; +utf82macro["\226\136\163"] = "mid"; +macro2utf8["blank"] = "\226\144\163"; +utf82macro["\226\144\163"] = "blank"; +macro2utf8["square"] = "\226\150\161"; +utf82macro["\226\150\161"] = "square"; +macro2utf8["squarf"] = "\226\150\170"; +utf82macro["\226\150\170"] = "squarf"; +macro2utf8["fflig"] = "\239\172\128"; +utf82macro["\239\172\128"] = "fflig"; +macro2utf8["downdownarrows"] = "\226\135\138"; +utf82macro["\226\135\138"] = "downdownarrows"; +macro2utf8["yscr"] = "\240\157\147\142"; +utf82macro["\240\157\147\142"] = "yscr"; +macro2utf8["subdot"] = "\226\170\189"; +utf82macro["\226\170\189"] = "subdot"; +macro2utf8["ShortRightArrow"] = "\226\134\146\239\184\128"; +utf82macro["\226\134\146\239\184\128"] = "ShortRightArrow"; +macro2utf8["NotCongruent"] = "\226\137\162"; +utf82macro["\226\137\162"] = "NotCongruent"; +macro2utf8["Gg"] = "\226\139\153"; +utf82macro["\226\139\153"] = "Gg"; +macro2utf8["Lstrok"] = "\197\129"; +utf82macro["\197\129"] = "Lstrok"; +macro2utf8["min"] = "max"; +utf82macro["max"] = "min"; +macro2utf8["Laplacetrf"] = "\226\132\146"; +utf82macro["\226\132\146"] = "Laplacetrf"; +macro2utf8["rarrap"] = "\226\165\181"; +utf82macro["\226\165\181"] = "rarrap"; +macro2utf8["NotLessSlantEqual"] = "\226\137\176"; +utf82macro["\226\137\176"] = "NotLessSlantEqual"; +macro2utf8["DoubleRightArrow"] = "\226\135\146"; +utf82macro["\226\135\146"] = "DoubleRightArrow"; +macro2utf8["Wfr"] = "\240\157\148\154"; +utf82macro["\240\157\148\154"] = "Wfr"; +macro2utf8["subrarr"] = "\226\165\185"; +utf82macro["\226\165\185"] = "subrarr"; +macro2utf8["numsp"] = "\226\128\135"; +utf82macro["\226\128\135"] = "numsp"; +macro2utf8["khcy"] = "\209\133"; +utf82macro["\209\133"] = "khcy"; +macro2utf8["oint"] = "\226\136\174"; +utf82macro["\226\136\174"] = "oint"; +macro2utf8["vprop"] = "\226\136\157"; +utf82macro["\226\136\157"] = "vprop"; +macro2utf8["hardcy"] = "\209\138"; +utf82macro["\209\138"] = "hardcy"; +macro2utf8["boxminus"] = "\226\138\159"; +utf82macro["\226\138\159"] = "boxminus"; +macro2utf8["GreaterLess"] = "\226\137\183"; +utf82macro["\226\137\183"] = "GreaterLess"; +macro2utf8["thetav"] = "\207\145"; +utf82macro["\207\145"] = "thetav"; +macro2utf8["scE"] = "\226\137\190"; +utf82macro["\226\137\190"] = "scE"; +macro2utf8["Gt"] = "\226\137\171"; +utf82macro["\226\137\171"] = "Gt"; +macro2utf8["Acy"] = "\208\144"; +utf82macro["\208\144"] = "Acy"; +macro2utf8["backcong"] = "\226\137\140"; +utf82macro["\226\137\140"] = "backcong"; +macro2utf8["gtquest"] = "\226\169\188"; +utf82macro["\226\169\188"] = "gtquest"; +macro2utf8["awint"] = "\226\168\145"; +utf82macro["\226\168\145"] = "awint"; +macro2utf8["profsurf"] = "\226\140\147"; +utf82macro["\226\140\147"] = "profsurf"; +macro2utf8["capdot"] = "\226\169\128"; +utf82macro["\226\169\128"] = "capdot"; +macro2utf8["supdot"] = "\226\170\190"; +utf82macro["\226\170\190"] = "supdot"; +macro2utf8["oelig"] = "\197\147"; +utf82macro["\197\147"] = "oelig"; +macro2utf8["doteqdot"] = "\226\137\145"; +utf82macro["\226\137\145"] = "doteqdot"; +macro2utf8["rharul"] = "\226\165\172"; +utf82macro["\226\165\172"] = "rharul"; +macro2utf8["cylcty"] = "\226\140\173"; +utf82macro["\226\140\173"] = "cylcty"; +macro2utf8["epsi"] = "\206\181"; +utf82macro["\206\181"] = "epsi"; +macro2utf8["eqcirc"] = "\226\137\150"; +utf82macro["\226\137\150"] = "eqcirc"; +macro2utf8["nLeftarrow"] = "\226\135\141"; +utf82macro["\226\135\141"] = "nLeftarrow"; +macro2utf8["rtrie"] = "\226\138\181"; +utf82macro["\226\138\181"] = "rtrie"; +macro2utf8["para"] = "\194\182"; +utf82macro["\194\182"] = "para"; +macro2utf8["Lfr"] = "\240\157\148\143"; +utf82macro["\240\157\148\143"] = "Lfr"; +macro2utf8["rtrif"] = "\226\150\184"; +utf82macro["\226\150\184"] = "rtrif"; +macro2utf8["NotReverseElement"] = "\226\136\140"; +utf82macro["\226\136\140"] = "NotReverseElement"; +macro2utf8["emptyv"] = "\226\136\133"; +utf82macro["\226\136\133"] = "emptyv"; +macro2utf8["nldr"] = "\226\128\165"; +utf82macro["\226\128\165"] = "nldr"; +macro2utf8["leqq"] = "\226\137\166"; +utf82macro["\226\137\166"] = "leqq"; +macro2utf8["CapitalDifferentialD"] = "\226\133\133"; +utf82macro["\226\133\133"] = "CapitalDifferentialD"; +macro2utf8["supsetneqq"] = "\226\138\139"; +utf82macro["\226\138\139"] = "supsetneqq"; +macro2utf8["boxDL"] = "\226\149\151"; +utf82macro["\226\149\151"] = "boxDL"; +macro2utf8["Im"] = "\226\132\145"; +utf82macro["\226\132\145"] = "Im"; +macro2utf8["sce"] = "\226\137\189"; +utf82macro["\226\137\189"] = "sce"; +macro2utf8["prsim"] = "\226\137\190"; +utf82macro["\226\137\190"] = "prsim"; +macro2utf8["diams"] = "\226\153\166"; +utf82macro["\226\153\166"] = "diams"; +macro2utf8["gtreqqless"] = "\226\139\155"; +utf82macro["\226\139\155"] = "gtreqqless"; +macro2utf8["boxDR"] = "\226\149\148"; +utf82macro["\226\149\148"] = "boxDR"; +macro2utf8["vartriangleleft"] = "\226\138\178"; +utf82macro["\226\138\178"] = "vartriangleleft"; +macro2utf8["SupersetEqual"] = "\226\138\135"; +utf82macro["\226\138\135"] = "SupersetEqual"; +macro2utf8["Omega"] = "\206\169"; +utf82macro["\206\169"] = "Omega"; +macro2utf8["nsubseteqq"] = "\226\138\136"; +utf82macro["\226\138\136"] = "nsubseteqq"; +macro2utf8["Subset"] = "\226\139\144"; +utf82macro["\226\139\144"] = "Subset"; +macro2utf8["ncongdot"] = "\226\169\173\204\184"; +utf82macro["\226\169\173\204\184"] = "ncongdot"; +macro2utf8["minusb"] = "\226\138\159"; +utf82macro["\226\138\159"] = "minusb"; +macro2utf8["ltimes"] = "\226\139\137"; +utf82macro["\226\139\137"] = "ltimes"; +macro2utf8["seswar"] = "\226\164\169"; +utf82macro["\226\164\169"] = "seswar"; +macro2utf8["part"] = "\226\136\130"; +utf82macro["\226\136\130"] = "part"; +macro2utf8["bumpE"] = "\226\170\174"; +utf82macro["\226\170\174"] = "bumpE"; +macro2utf8["minusd"] = "\226\136\184"; +utf82macro["\226\136\184"] = "minusd"; +macro2utf8["Amacr"] = "\196\128"; +utf82macro["\196\128"] = "Amacr"; +macro2utf8["nleq"] = "\226\137\176"; +utf82macro["\226\137\176"] = "nleq"; +macro2utf8["nles"] = "\226\137\176"; +utf82macro["\226\137\176"] = "nles"; +macro2utf8["NotLess"] = "\226\137\174"; +utf82macro["\226\137\174"] = "NotLess"; +macro2utf8["scy"] = "\209\129"; +utf82macro["\209\129"] = "scy"; +macro2utf8["iinfin"] = "\226\167\156"; +utf82macro["\226\167\156"] = "iinfin"; +macro2utf8["Afr"] = "\240\157\148\132"; +utf82macro["\240\157\148\132"] = "Afr"; +macro2utf8["isinsv"] = "\226\139\179"; +utf82macro["\226\139\179"] = "isinsv"; +macro2utf8["prnE"] = "\226\170\181"; +utf82macro["\226\170\181"] = "prnE"; +macro2utf8["lesg"] = "\226\139\154\239\184\128"; +utf82macro["\226\139\154\239\184\128"] = "lesg"; +macro2utf8["cups"] = "\226\136\170\239\184\128"; +utf82macro["\226\136\170\239\184\128"] = "cups"; +macro2utf8["thickapprox"] = "\226\137\136\239\184\128"; +utf82macro["\226\137\136\239\184\128"] = "thickapprox"; +macro2utf8["RightTeeVector"] = "\226\165\155"; +utf82macro["\226\165\155"] = "RightTeeVector"; +macro2utf8["LowerLeftArrow"] = "\226\134\153"; +utf82macro["\226\134\153"] = "LowerLeftArrow"; +macro2utf8["utdot"] = "\226\139\176"; +utf82macro["\226\139\176"] = "utdot"; +macro2utf8["homtht"] = "\226\136\187"; +utf82macro["\226\136\187"] = "homtht"; +macro2utf8["ddotseq"] = "\226\169\183"; +utf82macro["\226\169\183"] = "ddotseq"; +macro2utf8["bowtie"] = "\226\139\136"; +utf82macro["\226\139\136"] = "bowtie"; +macro2utf8["succnsim"] = "\226\139\169"; +utf82macro["\226\139\169"] = "succnsim"; +macro2utf8["boxDl"] = "\226\149\150"; +utf82macro["\226\149\150"] = "boxDl"; +macro2utf8["quot"] = "\""; +utf82macro["\""] = "quot"; +macro2utf8["lvnE"] = "\226\137\168\239\184\128"; +utf82macro["\226\137\168\239\184\128"] = "lvnE"; +macro2utf8["CircleDot"] = "\226\138\153"; +utf82macro["\226\138\153"] = "CircleDot"; +macro2utf8["lsime"] = "\226\170\141"; +utf82macro["\226\170\141"] = "lsime"; +macro2utf8["Yacute"] = "\195\157"; +utf82macro["\195\157"] = "Yacute"; +macro2utf8["esdot"] = "\226\137\144"; +utf82macro["\226\137\144"] = "esdot"; +macro2utf8["Supset"] = "\226\139\145"; +utf82macro["\226\139\145"] = "Supset"; +macro2utf8["lsimg"] = "\226\170\143"; +utf82macro["\226\170\143"] = "lsimg"; +macro2utf8["eDot"] = "\226\137\145"; +utf82macro["\226\137\145"] = "eDot"; +macro2utf8["sec"] = "sec"; +utf82macro["sec"] = "sec"; +macro2utf8["boxDr"] = "\226\149\147"; +utf82macro["\226\149\147"] = "boxDr"; +macro2utf8["plus"] = "+"; +utf82macro["+"] = "plus"; +macro2utf8["ddagger"] = "\226\128\161"; +utf82macro["\226\128\161"] = "ddagger"; +macro2utf8["Vdashl"] = "\226\171\166"; +utf82macro["\226\171\166"] = "Vdashl"; +macro2utf8["equest"] = "\226\137\159"; +utf82macro["\226\137\159"] = "equest"; +macro2utf8["quest"] = "?"; +utf82macro["?"] = "quest"; +macro2utf8["divideontimes"] = "\226\139\135"; +utf82macro["\226\139\135"] = "divideontimes"; +macro2utf8["nsmid"] = "\226\136\164\239\184\128"; +utf82macro["\226\136\164\239\184\128"] = "nsmid"; +macro2utf8["fnof"] = "\198\146"; +utf82macro["\198\146"] = "fnof"; +macro2utf8["bumpe"] = "\226\137\143"; +utf82macro["\226\137\143"] = "bumpe"; +macro2utf8["lhblk"] = "\226\150\132"; +utf82macro["\226\150\132"] = "lhblk"; +macro2utf8["prnap"] = "\226\139\168"; +utf82macro["\226\139\168"] = "prnap"; +macro2utf8["compfn"] = "\226\136\152"; +utf82macro["\226\136\152"] = "compfn"; +macro2utf8["nsucceq"] = "\226\170\176\204\184"; +utf82macro["\226\170\176\204\184"] = "nsucceq"; +macro2utf8["RightArrowLeftArrow"] = "\226\135\132"; +utf82macro["\226\135\132"] = "RightArrowLeftArrow"; +macro2utf8["sharp"] = "\226\153\175"; +utf82macro["\226\153\175"] = "sharp"; +macro2utf8["CHcy"] = "\208\167"; +utf82macro["\208\167"] = "CHcy"; +macro2utf8["dwangle"] = "\226\166\166"; +utf82macro["\226\166\166"] = "dwangle"; +macro2utf8["angrtvbd"] = "\226\166\157"; +utf82macro["\226\166\157"] = "angrtvbd"; +macro2utf8["period"] = "."; +utf82macro["."] = "period"; +macro2utf8["phone"] = "\226\152\142"; +utf82macro["\226\152\142"] = "phone"; +macro2utf8["Eacute"] = "\195\137"; +utf82macro["\195\137"] = "Eacute"; +macro2utf8["dzigrarr"] = "\239\150\162"; +utf82macro["\239\150\162"] = "dzigrarr"; +macro2utf8["Ll"] = "\226\139\152"; +utf82macro["\226\139\152"] = "Ll"; +macro2utf8["succapprox"] = "\226\137\191"; +utf82macro["\226\137\191"] = "succapprox"; +macro2utf8["rarrfs"] = "\226\164\158"; +utf82macro["\226\164\158"] = "rarrfs"; +macro2utf8["dbkarow"] = "\226\164\143"; +utf82macro["\226\164\143"] = "dbkarow"; +macro2utf8["zeta"] = "\206\182"; +utf82macro["\206\182"] = "zeta"; +macro2utf8["Lt"] = "\226\137\170"; +utf82macro["\226\137\170"] = "Lt"; +macro2utf8["triminus"] = "\226\168\186"; +utf82macro["\226\168\186"] = "triminus"; +macro2utf8["odiv"] = "\226\168\184"; +utf82macro["\226\168\184"] = "odiv"; +macro2utf8["ltrie"] = "\226\138\180"; +utf82macro["\226\138\180"] = "ltrie"; +macro2utf8["Dagger"] = "\226\128\161"; +utf82macro["\226\128\161"] = "Dagger"; +macro2utf8["ltrif"] = "\226\151\130"; +utf82macro["\226\151\130"] = "ltrif"; +macro2utf8["boxHD"] = "\226\149\166"; +utf82macro["\226\149\166"] = "boxHD"; +macro2utf8["timesb"] = "\226\138\160"; +utf82macro["\226\138\160"] = "timesb"; +macro2utf8["check"] = "\226\156\147"; +utf82macro["\226\156\147"] = "check"; +macro2utf8["urcorn"] = "\226\140\157"; +utf82macro["\226\140\157"] = "urcorn"; +macro2utf8["timesd"] = "\226\168\176"; +utf82macro["\226\168\176"] = "timesd"; +macro2utf8["tshcy"] = "\209\155"; +utf82macro["\209\155"] = "tshcy"; +macro2utf8["sfr"] = "\240\157\148\176"; +utf82macro["\240\157\148\176"] = "sfr"; +macro2utf8["lmoust"] = "\226\142\176"; +utf82macro["\226\142\176"] = "lmoust"; +macro2utf8["ruluhar"] = "\226\165\168"; +utf82macro["\226\165\168"] = "ruluhar"; +macro2utf8["bne"] = "=\226\131\165"; +utf82macro["=\226\131\165"] = "bne"; +macro2utf8["prod"] = "\226\136\143"; +utf82macro["\226\136\143"] = "prod"; +macro2utf8["Eopf"] = "\240\157\148\188"; +utf82macro["\240\157\148\188"] = "Eopf"; +macro2utf8["scsim"] = "\226\137\191"; +utf82macro["\226\137\191"] = "scsim"; +macro2utf8["GreaterEqualLess"] = "\226\139\155"; +utf82macro["\226\139\155"] = "GreaterEqualLess"; +macro2utf8["Igrave"] = "\195\140"; +utf82macro["\195\140"] = "Igrave"; +macro2utf8["Longrightarrow"] = "\226\135\146"; +utf82macro["\226\135\146"] = "Longrightarrow"; +macro2utf8["bigcap"] = "\226\139\130"; +utf82macro["\226\139\130"] = "bigcap"; +macro2utf8["boxHU"] = "\226\149\169"; +utf82macro["\226\149\169"] = "boxHU"; +macro2utf8["uring"] = "\197\175"; +utf82macro["\197\175"] = "uring"; +macro2utf8["equivDD"] = "\226\169\184"; +utf82macro["\226\169\184"] = "equivDD"; +macro2utf8["prop"] = "\226\136\157"; +utf82macro["\226\136\157"] = "prop"; +macro2utf8["Lopf"] = "\240\157\149\131"; +utf82macro["\240\157\149\131"] = "Lopf"; +macro2utf8["ldrushar"] = "\226\165\139"; +utf82macro["\226\165\139"] = "ldrushar"; +macro2utf8["rarrhk"] = "\226\134\170"; +utf82macro["\226\134\170"] = "rarrhk"; +macro2utf8["Leftarrow"] = "\226\135\144"; +utf82macro["\226\135\144"] = "Leftarrow"; +macro2utf8["lltri"] = "\226\151\186"; +utf82macro["\226\151\186"] = "lltri"; +macro2utf8["NestedGreaterGreater"] = "\226\137\171"; +utf82macro["\226\137\171"] = "NestedGreaterGreater"; +macro2utf8["GreaterFullEqual"] = "\226\137\167"; +utf82macro["\226\137\167"] = "GreaterFullEqual"; +macro2utf8["robrk"] = "\227\128\155"; +utf82macro["\227\128\155"] = "robrk"; +macro2utf8["larrsim"] = "\226\165\179"; +utf82macro["\226\165\179"] = "larrsim"; +macro2utf8["boxHd"] = "\226\149\164"; +utf82macro["\226\149\164"] = "boxHd"; +macro2utf8["vDash"] = "\226\138\168"; +utf82macro["\226\138\168"] = "vDash"; +macro2utf8["hfr"] = "\240\157\148\165"; +utf82macro["\240\157\148\165"] = "hfr"; +macro2utf8["Edot"] = "\196\150"; +utf82macro["\196\150"] = "Edot"; +macro2utf8["Vvdash"] = "\226\138\170"; +utf82macro["\226\138\170"] = "Vvdash"; +macro2utf8["Sopf"] = "\240\157\149\138"; +utf82macro["\240\157\149\138"] = "Sopf"; +macro2utf8["upuparrows"] = "\226\135\136"; +utf82macro["\226\135\136"] = "upuparrows"; +macro2utf8["RightUpTeeVector"] = "\226\165\156"; +utf82macro["\226\165\156"] = "RightUpTeeVector"; +macro2utf8["DownLeftVector"] = "\226\134\189"; +utf82macro["\226\134\189"] = "DownLeftVector"; +macro2utf8["xhArr"] = "\239\149\187"; +utf82macro["\239\149\187"] = "xhArr"; +macro2utf8["triplus"] = "\226\168\185"; +utf82macro["\226\168\185"] = "triplus"; +macro2utf8["bot"] = "\226\138\165"; +utf82macro["\226\138\165"] = "bot"; +macro2utf8["Rcy"] = "\208\160"; +utf82macro["\208\160"] = "Rcy"; +macro2utf8["eDDot"] = "\226\169\183"; +utf82macro["\226\169\183"] = "eDDot"; +macro2utf8["subseteqq"] = "\226\138\134"; +utf82macro["\226\138\134"] = "subseteqq"; +macro2utf8["cirfnint"] = "\226\168\144"; +utf82macro["\226\168\144"] = "cirfnint"; +macro2utf8["spadesuit"] = "\226\153\160"; +utf82macro["\226\153\160"] = "spadesuit"; +macro2utf8["nacute"] = "\197\132"; +utf82macro["\197\132"] = "nacute"; +macro2utf8["Zopf"] = "\226\132\164"; +utf82macro["\226\132\164"] = "Zopf"; +macro2utf8["upharpoonleft"] = "\226\134\191"; +utf82macro["\226\134\191"] = "upharpoonleft"; +macro2utf8["shy"] = "\194\173"; +utf82macro["\194\173"] = "shy"; +macro2utf8["nparsl"] = "\226\136\165\239\184\128\226\131\165"; +utf82macro["\226\136\165\239\184\128\226\131\165"] = "nparsl"; +macro2utf8["boxHu"] = "\226\149\167"; +utf82macro["\226\149\167"] = "boxHu"; +macro2utf8["ThickSpace"] = "\226\128\137\226\128\138\226\128\138"; +utf82macro["\226\128\137\226\128\138\226\128\138"] = "ThickSpace"; +macro2utf8["Or"] = "\226\169\148"; +utf82macro["\226\169\148"] = "Or"; +macro2utf8["raemptyv"] = "\226\166\179"; +utf82macro["\226\166\179"] = "raemptyv"; +macro2utf8["Aogon"] = "\196\132"; +utf82macro["\196\132"] = "Aogon"; +macro2utf8["IEcy"] = "\208\149"; +utf82macro["\208\149"] = "IEcy"; +macro2utf8["sim"] = "\226\136\188"; +utf82macro["\226\136\188"] = "sim"; +macro2utf8["sin"] = "sin"; +utf82macro["sin"] = "sin"; +macro2utf8["copysr"] = "\226\132\151"; +utf82macro["\226\132\151"] = "copysr"; +macro2utf8["scnap"] = "\226\139\169"; +utf82macro["\226\139\169"] = "scnap"; +macro2utf8["rdquo"] = "\226\128\157"; +utf82macro["\226\128\157"] = "rdquo"; +macro2utf8["aopf"] = "\240\157\149\146"; +utf82macro["\240\157\149\146"] = "aopf"; +macro2utf8["Pi"] = "\206\160"; +utf82macro["\206\160"] = "Pi"; +macro2utf8["Udblac"] = "\197\176"; +utf82macro["\197\176"] = "Udblac"; +macro2utf8["expectation"] = "\226\132\176"; +utf82macro["\226\132\176"] = "expectation"; +macro2utf8["Zacute"] = "\197\185"; +utf82macro["\197\185"] = "Zacute"; +macro2utf8["urtri"] = "\226\151\185"; +utf82macro["\226\151\185"] = "urtri"; +macro2utf8["NotTildeEqual"] = "\226\137\132"; +utf82macro["\226\137\132"] = "NotTildeEqual"; +macro2utf8["ncedil"] = "\197\134"; +utf82macro["\197\134"] = "ncedil"; +macro2utf8["Gamma"] = "\206\147"; +utf82macro["\206\147"] = "Gamma"; +macro2utf8["ecirc"] = "\195\170"; +utf82macro["\195\170"] = "ecirc"; +macro2utf8["dsol"] = "\226\167\182"; +utf82macro["\226\167\182"] = "dsol"; +macro2utf8["Gcy"] = "\208\147"; +utf82macro["\208\147"] = "Gcy"; +macro2utf8["Pr"] = "Pr"; +utf82macro["Pr"] = "Pr"; +macro2utf8["Zdot"] = "\197\187"; +utf82macro["\197\187"] = "Zdot"; +macro2utf8["mnplus"] = "\226\136\147"; +utf82macro["\226\136\147"] = "mnplus"; +macro2utf8["hopf"] = "\240\157\149\153"; +utf82macro["\240\157\149\153"] = "hopf"; +macro2utf8["blacktriangledown"] = "\226\150\190"; +utf82macro["\226\150\190"] = "blacktriangledown"; +macro2utf8["LeftCeiling"] = "\226\140\136"; +utf82macro["\226\140\136"] = "LeftCeiling"; +macro2utf8["ulcorn"] = "\226\140\156"; +utf82macro["\226\140\156"] = "ulcorn"; +macro2utf8["searrow"] = "\226\134\152"; +utf82macro["\226\134\152"] = "searrow"; +macro2utf8["GreaterGreater"] = "\226\170\162"; +utf82macro["\226\170\162"] = "GreaterGreater"; +macro2utf8["Fscr"] = "\226\132\177"; +utf82macro["\226\132\177"] = "Fscr"; +macro2utf8["cupcup"] = "\226\169\138"; +utf82macro["\226\169\138"] = "cupcup"; +macro2utf8["NotEqual"] = "\226\137\160"; +utf82macro["\226\137\160"] = "NotEqual"; +macro2utf8["sext"] = "\226\156\182"; +utf82macro["\226\156\182"] = "sext"; +macro2utf8["CirclePlus"] = "\226\138\149"; +utf82macro["\226\138\149"] = "CirclePlus"; +macro2utf8["erarr"] = "\226\165\177"; +utf82macro["\226\165\177"] = "erarr"; +macro2utf8["dArr"] = "\226\135\147"; +utf82macro["\226\135\147"] = "dArr"; +macro2utf8["PrecedesSlantEqual"] = "\226\137\188"; +utf82macro["\226\137\188"] = "PrecedesSlantEqual"; +macro2utf8["Itilde"] = "\196\168"; +utf82macro["\196\168"] = "Itilde"; +macro2utf8["gesdoto"] = "\226\170\130"; +utf82macro["\226\170\130"] = "gesdoto"; +macro2utf8["Rang"] = "\227\128\139"; +utf82macro["\227\128\139"] = "Rang"; +macro2utf8["nwarhk"] = "\226\164\163"; +utf82macro["\226\164\163"] = "nwarhk"; +macro2utf8["minusdu"] = "\226\168\170"; +utf82macro["\226\168\170"] = "minusdu"; +macro2utf8["oopf"] = "\240\157\149\160"; +utf82macro["\240\157\149\160"] = "oopf"; +macro2utf8["Mscr"] = "\226\132\179"; +utf82macro["\226\132\179"] = "Mscr"; +macro2utf8["Rfr"] = "\226\132\156"; +utf82macro["\226\132\156"] = "Rfr"; +macro2utf8["langle"] = "\226\140\169"; +utf82macro["\226\140\169"] = "langle"; +macro2utf8["And"] = "\226\169\147"; +utf82macro["\226\169\147"] = "And"; +macro2utf8["bprime"] = "\226\128\181"; +utf82macro["\226\128\181"] = "bprime"; +macro2utf8["nLeftrightarrow"] = "\226\135\142"; +utf82macro["\226\135\142"] = "nLeftrightarrow"; +macro2utf8["Re"] = "\226\132\156"; +utf82macro["\226\132\156"] = "Re"; +macro2utf8["OpenCurlyQuote"] = "\226\128\152"; +utf82macro["\226\128\152"] = "OpenCurlyQuote"; +macro2utf8["vopf"] = "\240\157\149\167"; +utf82macro["\240\157\149\167"] = "vopf"; +macro2utf8["ulcorner"] = "\226\140\156"; +utf82macro["\226\140\156"] = "ulcorner"; +macro2utf8["nap"] = "\226\137\137"; +utf82macro["\226\137\137"] = "nap"; +macro2utf8["Tscr"] = "\240\157\146\175"; +utf82macro["\240\157\146\175"] = "Tscr"; +macro2utf8["gtreqless"] = "\226\139\155"; +utf82macro["\226\139\155"] = "gtreqless"; +macro2utf8["rarrlp"] = "\226\134\172"; +utf82macro["\226\134\172"] = "rarrlp"; +macro2utf8["Lambda"] = "\206\155"; +utf82macro["\206\155"] = "Lambda"; +macro2utf8["lobrk"] = "\227\128\154"; +utf82macro["\227\128\154"] = "lobrk"; +macro2utf8["rbrace"] = "}"; +utf82macro["}"] = "rbrace"; +macro2utf8["rArr"] = "\226\135\146"; +utf82macro["\226\135\146"] = "rArr"; +macro2utf8["coloneq"] = "\226\137\148"; +utf82macro["\226\137\148"] = "coloneq"; +macro2utf8["UpArrow"] = "\226\134\145"; +utf82macro["\226\134\145"] = "UpArrow"; +macro2utf8["odot"] = "\226\138\153"; +utf82macro["\226\138\153"] = "odot"; +macro2utf8["LeftDownTeeVector"] = "\226\165\161"; +utf82macro["\226\165\161"] = "LeftDownTeeVector"; +macro2utf8["complexes"] = "\226\132\130"; +utf82macro["\226\132\130"] = "complexes"; +macro2utf8["rbrack"] = "]"; +utf82macro["]"] = "rbrack"; +macro2utf8["DownTeeArrow"] = "\226\134\167"; +utf82macro["\226\134\167"] = "DownTeeArrow"; +macro2utf8["sqcap"] = "\226\138\147"; +utf82macro["\226\138\147"] = "sqcap"; +macro2utf8["Sc"] = "\226\170\188"; +utf82macro["\226\170\188"] = "Sc"; +macro2utf8["ycy"] = "\209\139"; +utf82macro["\209\139"] = "ycy"; +macro2utf8["Prime"] = "\226\128\179"; +utf82macro["\226\128\179"] = "Prime"; +macro2utf8["Gfr"] = "\240\157\148\138"; +utf82macro["\240\157\148\138"] = "Gfr"; +macro2utf8["trianglerighteq"] = "\226\138\181"; +utf82macro["\226\138\181"] = "trianglerighteq"; +macro2utf8["rangd"] = "\226\166\146"; +utf82macro["\226\166\146"] = "rangd"; +macro2utf8["gtrdot"] = "\226\139\151"; +utf82macro["\226\139\151"] = "gtrdot"; +macro2utf8["range"] = "\226\166\165"; +utf82macro["\226\166\165"] = "range"; +macro2utf8["rsqb"] = "]"; +utf82macro["]"] = "rsqb"; +macro2utf8["Euml"] = "\195\139"; +utf82macro["\195\139"] = "Euml"; +macro2utf8["Therefore"] = "\226\136\180"; +utf82macro["\226\136\180"] = "Therefore"; +macro2utf8["nesim"] = "\226\137\130\204\184"; +utf82macro["\226\137\130\204\184"] = "nesim"; +macro2utf8["order"] = "\226\132\180"; +utf82macro["\226\132\180"] = "order"; +macro2utf8["vsupnE"] = "\226\138\139\239\184\128"; +utf82macro["\226\138\139\239\184\128"] = "vsupnE"; +macro2utf8["awconint"] = "\226\136\179"; +utf82macro["\226\136\179"] = "awconint"; +macro2utf8["bscr"] = "\240\157\146\183"; +utf82macro["\240\157\146\183"] = "bscr"; +macro2utf8["lesseqqgtr"] = "\226\139\154"; +utf82macro["\226\139\154"] = "lesseqqgtr"; +macro2utf8["cap"] = "\226\136\169"; +utf82macro["\226\136\169"] = "cap"; +macro2utf8["ldquo"] = "\226\128\156"; +utf82macro["\226\128\156"] = "ldquo"; +macro2utf8["nsubseteq"] = "\226\138\136"; +utf82macro["\226\138\136"] = "nsubseteq"; +macro2utf8["rhov"] = "\207\177"; +utf82macro["\207\177"] = "rhov"; +macro2utf8["xvee"] = "\226\139\129"; +utf82macro["\226\139\129"] = "xvee"; +macro2utf8["olarr"] = "\226\134\186"; +utf82macro["\226\134\186"] = "olarr"; +macro2utf8["nang"] = "\226\136\160\204\184"; +utf82macro["\226\136\160\204\184"] = "nang"; +macro2utf8["uwangle"] = "\226\166\167"; +utf82macro["\226\166\167"] = "uwangle"; +macro2utf8["nlsim"] = "\226\137\180"; +utf82macro["\226\137\180"] = "nlsim"; +macro2utf8["smt"] = "\226\170\170"; +utf82macro["\226\170\170"] = "smt"; +macro2utf8["nVdash"] = "\226\138\174"; +utf82macro["\226\138\174"] = "nVdash"; +macro2utf8["napE"] = "\226\169\176\204\184"; +utf82macro["\226\169\176\204\184"] = "napE"; +macro2utf8["ngeq"] = "\226\137\177"; +utf82macro["\226\137\177"] = "ngeq"; +macro2utf8["iscr"] = "\240\157\146\190"; +utf82macro["\240\157\146\190"] = "iscr"; +macro2utf8["GJcy"] = "\208\131"; +utf82macro["\208\131"] = "GJcy"; +macro2utf8["nges"] = "\226\137\177"; +utf82macro["\226\137\177"] = "nges"; +macro2utf8["exist"] = "\226\136\131"; +utf82macro["\226\136\131"] = "exist"; +macro2utf8["cent"] = "\194\162"; +utf82macro["\194\162"] = "cent"; +macro2utf8["oacute"] = "\195\179"; +utf82macro["\195\179"] = "oacute"; +macro2utf8["Darr"] = "\226\134\161"; +utf82macro["\226\134\161"] = "Darr"; +macro2utf8["yen"] = "\194\165"; +utf82macro["\194\165"] = "yen"; +macro2utf8["bigcirc"] = "\226\151\175"; +utf82macro["\226\151\175"] = "bigcirc"; +macro2utf8["ncy"] = "\208\189"; +utf82macro["\208\189"] = "ncy"; +macro2utf8["midast"] = "*"; +utf82macro["*"] = "midast"; +macro2utf8["UpperRightArrow"] = "\226\134\151"; +utf82macro["\226\134\151"] = "UpperRightArrow"; +macro2utf8["precnapprox"] = "\226\139\168"; +utf82macro["\226\139\168"] = "precnapprox"; +macro2utf8["OElig"] = "\197\146"; +utf82macro["\197\146"] = "OElig"; +macro2utf8["hybull"] = "\226\129\131"; +utf82macro["\226\129\131"] = "hybull"; +macro2utf8["cupbrcap"] = "\226\169\136"; +utf82macro["\226\169\136"] = "cupbrcap"; +macro2utf8["rationals"] = "\226\132\154"; +utf82macro["\226\132\154"] = "rationals"; +macro2utf8["VerticalTilde"] = "\226\137\128"; +utf82macro["\226\137\128"] = "VerticalTilde"; +macro2utf8["pscr"] = "\240\157\147\133"; +utf82macro["\240\157\147\133"] = "pscr"; +macro2utf8["NJcy"] = "\208\138"; +utf82macro["\208\138"] = "NJcy"; +macro2utf8["NotSucceedsTilde"] = "\226\137\191\204\184"; +utf82macro["\226\137\191\204\184"] = "NotSucceedsTilde"; +macro2utf8["vsupne"] = "\226\138\139\239\184\128"; +utf82macro["\226\138\139\239\184\128"] = "vsupne"; +macro2utf8["Updownarrow"] = "\226\135\149"; +utf82macro["\226\135\149"] = "Updownarrow"; +macro2utf8["Lsh"] = "\226\134\176"; +utf82macro["\226\134\176"] = "Lsh"; +macro2utf8["rAarr"] = "\226\135\155"; +utf82macro["\226\135\155"] = "rAarr"; +macro2utf8["precapprox"] = "\226\137\190"; +utf82macro["\226\137\190"] = "precapprox"; +macro2utf8["rsquor"] = "\226\128\153"; +utf82macro["\226\128\153"] = "rsquor"; +macro2utf8["pound"] = "\194\163"; +utf82macro["\194\163"] = "pound"; +macro2utf8["lbrksld"] = "\226\166\143"; +utf82macro["\226\166\143"] = "lbrksld"; +macro2utf8["gesdot"] = "\226\170\128"; +utf82macro["\226\170\128"] = "gesdot"; +macro2utf8["Element"] = "\226\136\136"; +utf82macro["\226\136\136"] = "Element"; +macro2utf8["xcirc"] = "\226\151\175"; +utf82macro["\226\151\175"] = "xcirc"; +macro2utf8["wscr"] = "\240\157\147\140"; +utf82macro["\240\157\147\140"] = "wscr"; +macro2utf8["toea"] = "\226\164\168"; +utf82macro["\226\164\168"] = "toea"; +macro2utf8["setmn"] = "\226\136\150"; +utf82macro["\226\136\150"] = "setmn"; +macro2utf8["neg"] = "\194\172"; +utf82macro["\194\172"] = "neg"; +macro2utf8["sol"] = "/"; +utf82macro["/"] = "sol"; +macro2utf8["yfr"] = "\240\157\148\182"; +utf82macro["\240\157\148\182"] = "yfr"; +macro2utf8["DoubleDownArrow"] = "\226\135\147"; +utf82macro["\226\135\147"] = "DoubleDownArrow"; +macro2utf8["Rarr"] = "\226\134\160"; +utf82macro["\226\134\160"] = "Rarr"; +macro2utf8["ngE"] = "\226\137\177"; +utf82macro["\226\137\177"] = "ngE"; +macro2utf8["Upsi"] = "\207\146"; +utf82macro["\207\146"] = "Upsi"; +macro2utf8["opar"] = "\226\166\183"; +utf82macro["\226\166\183"] = "opar"; +macro2utf8["rarrpl"] = "\226\165\133"; +utf82macro["\226\165\133"] = "rarrpl"; +macro2utf8["auml"] = "\195\164"; +utf82macro["\195\164"] = "auml"; +macro2utf8["bmod"] = "mod"; +utf82macro["mod"] = "bmod"; +macro2utf8["SquareSuperset"] = "\226\138\144"; +utf82macro["\226\138\144"] = "SquareSuperset"; +macro2utf8["neq"] = "\226\137\160"; +utf82macro["\226\137\160"] = "neq"; +macro2utf8["circleddash"] = "\226\138\157"; +utf82macro["\226\138\157"] = "circleddash"; +macro2utf8["xrarr"] = "\239\149\183"; +utf82macro["\239\149\183"] = "xrarr"; +macro2utf8["barwed"] = "\226\138\188"; +utf82macro["\226\138\188"] = "barwed"; +macro2utf8["lbrkslu"] = "\226\166\141"; +utf82macro["\226\166\141"] = "lbrkslu"; +macro2utf8["planckh"] = "\226\132\142"; +utf82macro["\226\132\142"] = "planckh"; +macro2utf8["ldrdhar"] = "\226\165\167"; +utf82macro["\226\165\167"] = "ldrdhar"; +macro2utf8["circledcirc"] = "\226\138\154"; +utf82macro["\226\138\154"] = "circledcirc"; +macro2utf8["ctdot"] = "\226\139\175"; +utf82macro["\226\139\175"] = "ctdot"; +macro2utf8["fallingdotseq"] = "\226\137\146"; +utf82macro["\226\137\146"] = "fallingdotseq"; +macro2utf8["Map"] = "\226\164\133"; +utf82macro["\226\164\133"] = "Map"; +macro2utf8["VerticalBar"] = "\226\136\163"; +utf82macro["\226\136\163"] = "VerticalBar"; +macro2utf8["succeq"] = "\226\137\189"; +utf82macro["\226\137\189"] = "succeq"; +macro2utf8["tint"] = "\226\136\173"; +utf82macro["\226\136\173"] = "tint"; +macro2utf8["imof"] = "\226\138\183"; +utf82macro["\226\138\183"] = "imof"; +macro2utf8["diam"] = "\226\139\132"; +utf82macro["\226\139\132"] = "diam"; +macro2utf8["twixt"] = "\226\137\172"; +utf82macro["\226\137\172"] = "twixt"; +macro2utf8["NoBreak"] = "\239\187\191"; +utf82macro["\239\187\191"] = "NoBreak"; +macro2utf8["langd"] = "\226\166\145"; +utf82macro["\226\166\145"] = "langd"; +macro2utf8["Bernoullis"] = "\226\132\172"; +utf82macro["\226\132\172"] = "Bernoullis"; +macro2utf8["rcaron"] = "\197\153"; +utf82macro["\197\153"] = "rcaron"; +macro2utf8["hom"] = "hom"; +utf82macro["hom"] = "hom"; +macro2utf8["nfr"] = "\240\157\148\171"; +utf82macro["\240\157\148\171"] = "nfr"; +macro2utf8["backsimeq"] = "\226\139\141"; +utf82macro["\226\139\141"] = "backsimeq"; +macro2utf8["target"] = "\226\140\150"; +utf82macro["\226\140\150"] = "target"; +macro2utf8["ouml"] = "\195\182"; +utf82macro["\195\182"] = "ouml"; +macro2utf8["nge"] = "\226\137\177\226\131\165"; +utf82macro["\226\137\177\226\131\165"] = "nge"; +macro2utf8["LeftTriangleBar"] = "\226\167\143"; +utf82macro["\226\167\143"] = "LeftTriangleBar"; +macro2utf8["subplus"] = "\226\170\191"; +utf82macro["\226\170\191"] = "subplus"; +macro2utf8["parsim"] = "\226\171\179"; +utf82macro["\226\171\179"] = "parsim"; +macro2utf8["Gcedil"] = "\196\162"; +utf82macro["\196\162"] = "Gcedil"; +macro2utf8["bnequiv"] = "\226\137\161\226\131\165"; +utf82macro["\226\137\161\226\131\165"] = "bnequiv"; +macro2utf8["ubreve"] = "\197\173"; +utf82macro["\197\173"] = "ubreve"; +macro2utf8["iexcl"] = "\194\161"; +utf82macro["\194\161"] = "iexcl"; +macro2utf8["Xi"] = "\206\158"; +utf82macro["\206\158"] = "Xi"; +macro2utf8["omega"] = "\207\137"; +utf82macro["\207\137"] = "omega"; +macro2utf8["elsdot"] = "\226\170\151"; +utf82macro["\226\170\151"] = "elsdot"; +macro2utf8["propto"] = "\226\136\157"; +utf82macro["\226\136\157"] = "propto"; +macro2utf8["squ"] = "\226\150\161"; +utf82macro["\226\150\161"] = "squ"; +macro2utf8["Ycirc"] = "\197\182"; +utf82macro["\197\182"] = "Ycirc"; +macro2utf8["amacr"] = "\196\129"; +utf82macro["\196\129"] = "amacr"; +macro2utf8["curlyeqprec"] = "\226\139\158"; +utf82macro["\226\139\158"] = "curlyeqprec"; +macro2utf8["ngt"] = "\226\137\175"; +utf82macro["\226\137\175"] = "ngt"; +macro2utf8["plusdo"] = "\226\136\148"; +utf82macro["\226\136\148"] = "plusdo"; +macro2utf8["ngeqslant"] = "\226\137\177"; +utf82macro["\226\137\177"] = "ngeqslant"; +macro2utf8["LongRightArrow"] = "\239\149\183"; +utf82macro["\239\149\183"] = "LongRightArrow"; +macro2utf8["LeftUpVector"] = "\226\134\191"; +utf82macro["\226\134\191"] = "LeftUpVector"; +macro2utf8["asymp"] = "\226\137\141"; +utf82macro["\226\137\141"] = "asymp"; +macro2utf8["imped"] = "\240\157\149\131"; +utf82macro["\240\157\149\131"] = "imped"; +macro2utf8["tritime"] = "\226\168\187"; +utf82macro["\226\168\187"] = "tritime"; +macro2utf8["rpargt"] = "\226\166\148"; +utf82macro["\226\166\148"] = "rpargt"; +macro2utf8["DDotrahd"] = "\226\164\145"; +utf82macro["\226\164\145"] = "DDotrahd"; +macro2utf8["prnsim"] = "\226\139\168"; +utf82macro["\226\139\168"] = "prnsim"; +macro2utf8["plusdu"] = "\226\168\165"; +utf82macro["\226\168\165"] = "plusdu"; +macro2utf8["cfr"] = "\240\157\148\160"; +utf82macro["\240\157\148\160"] = "cfr"; +macro2utf8["abreve"] = "\196\131"; +utf82macro["\196\131"] = "abreve"; +macro2utf8["suphsol"] = "\226\138\131/"; +utf82macro["\226\138\131/"] = "suphsol"; +macro2utf8["NegativeThickSpace"] = "\226\128\133\239\184\128"; +utf82macro["\226\128\133\239\184\128"] = "NegativeThickSpace"; +macro2utf8["Mcy"] = "\208\156"; +utf82macro["\208\156"] = "Mcy"; +macro2utf8["uarr"] = "\226\134\145"; +utf82macro["\226\134\145"] = "uarr"; +macro2utf8["LeftRightVector"] = "\226\165\142"; +utf82macro["\226\165\142"] = "LeftRightVector"; +macro2utf8["lAarr"] = "\226\135\154"; +utf82macro["\226\135\154"] = "lAarr"; +macro2utf8["bsim"] = "\226\136\189"; +utf82macro["\226\136\189"] = "bsim"; +macro2utf8["simrarr"] = "\226\165\178"; +utf82macro["\226\165\178"] = "simrarr"; +macro2utf8["otimes"] = "\226\138\151"; +utf82macro["\226\138\151"] = "otimes"; +macro2utf8["NotSucceeds"] = "\226\138\129"; +utf82macro["\226\138\129"] = "NotSucceeds"; +macro2utf8["Cross"] = "\226\168\175"; +utf82macro["\226\168\175"] = "Cross"; +macro2utf8["downarrow"] = "\226\134\147"; +utf82macro["\226\134\147"] = "downarrow"; +macro2utf8["blacktriangle"] = "\226\150\180"; +utf82macro["\226\150\180"] = "blacktriangle"; +macro2utf8["TripleDot"] = "\226\131\155"; +utf82macro["\226\131\155"] = "TripleDot"; +macro2utf8["smallsetminus"] = "\226\136\150\239\184\128"; +utf82macro["\226\136\150\239\184\128"] = "smallsetminus"; +macro2utf8["supedot"] = "\226\171\132"; +utf82macro["\226\171\132"] = "supedot"; +macro2utf8["NotPrecedesSlantEqual"] = "\226\139\160"; +utf82macro["\226\139\160"] = "NotPrecedesSlantEqual"; +macro2utf8["neArr"] = "\226\135\151"; +utf82macro["\226\135\151"] = "neArr"; +macro2utf8["rarrtl"] = "\226\134\163"; +utf82macro["\226\134\163"] = "rarrtl"; +macro2utf8["isin"] = "\226\136\136"; +utf82macro["\226\136\136"] = "isin"; +macro2utf8["rrarr"] = "\226\135\137"; +utf82macro["\226\135\137"] = "rrarr"; +macro2utf8["Upsilon"] = "\207\146"; +utf82macro["\207\146"] = "Upsilon"; +macro2utf8["sqsub"] = "\226\138\143"; +utf82macro["\226\138\143"] = "sqsub"; +macro2utf8["boxUL"] = "\226\149\157"; +utf82macro["\226\149\157"] = "boxUL"; +macro2utf8["LessTilde"] = "\226\137\178"; +utf82macro["\226\137\178"] = "LessTilde"; +macro2utf8["Xfr"] = "\240\157\148\155"; +utf82macro["\240\157\148\155"] = "Xfr"; +macro2utf8["nis"] = "\226\139\188"; +utf82macro["\226\139\188"] = "nis"; +macro2utf8["chi"] = "\207\135"; +utf82macro["\207\135"] = "chi"; +macro2utf8["DownRightVector"] = "\226\135\129"; +utf82macro["\226\135\129"] = "DownRightVector"; +macro2utf8["niv"] = "\226\136\139"; +utf82macro["\226\136\139"] = "niv"; +macro2utf8["boxUR"] = "\226\149\154"; +utf82macro["\226\149\154"] = "boxUR"; +macro2utf8["nlArr"] = "\226\135\141"; +utf82macro["\226\135\141"] = "nlArr"; +macro2utf8["Bcy"] = "\208\145"; +utf82macro["\208\145"] = "Bcy"; +macro2utf8["tan"] = "tan"; +utf82macro["tan"] = "tan"; +macro2utf8["EmptyVerySmallSquare"] = "\239\150\156"; +utf82macro["\239\150\156"] = "EmptyVerySmallSquare"; +macro2utf8["dstrok"] = "\196\145"; +utf82macro["\196\145"] = "dstrok"; +macro2utf8["rfisht"] = "\226\165\189"; +utf82macro["\226\165\189"] = "rfisht"; +macro2utf8["easter"] = "\226\137\155"; +utf82macro["\226\137\155"] = "easter"; +macro2utf8["nlE"] = "\226\137\176"; +utf82macro["\226\137\176"] = "nlE"; +macro2utf8["Mellintrf"] = "\226\132\179"; +utf82macro["\226\132\179"] = "Mellintrf"; +macro2utf8["lotimes"] = "\226\168\180"; +utf82macro["\226\168\180"] = "lotimes"; +macro2utf8["sqsup"] = "\226\138\144"; +utf82macro["\226\138\144"] = "sqsup"; +macro2utf8["boxVH"] = "\226\149\172"; +utf82macro["\226\149\172"] = "boxVH"; +macro2utf8["bbrk"] = "\226\142\181"; +utf82macro["\226\142\181"] = "bbrk"; +macro2utf8["tau"] = "\207\132"; +utf82macro["\207\132"] = "tau"; +macro2utf8["UpTee"] = "\226\138\165"; +utf82macro["\226\138\165"] = "UpTee"; +macro2utf8["NotLeftTriangleBar"] = "\226\167\143\204\184"; +utf82macro["\226\167\143\204\184"] = "NotLeftTriangleBar"; +macro2utf8["boxVL"] = "\226\149\163"; +utf82macro["\226\149\163"] = "boxVL"; +macro2utf8["Proportion"] = "\226\136\183"; +utf82macro["\226\136\183"] = "Proportion"; +macro2utf8["equiv"] = "\226\137\161"; +utf82macro["\226\137\161"] = "equiv"; +macro2utf8["blk12"] = "\226\150\146"; +utf82macro["\226\150\146"] = "blk12"; +macro2utf8["blk14"] = "\226\150\145"; +utf82macro["\226\150\145"] = "blk14"; +macro2utf8["fpartint"] = "\226\168\141"; +utf82macro["\226\168\141"] = "fpartint"; +macro2utf8["boxVR"] = "\226\149\160"; +utf82macro["\226\149\160"] = "boxVR"; +macro2utf8["starf"] = "\226\152\133"; +utf82macro["\226\152\133"] = "starf"; +macro2utf8["risingdotseq"] = "\226\137\147"; +utf82macro["\226\137\147"] = "risingdotseq"; +macro2utf8["Equilibrium"] = "\226\135\140"; +utf82macro["\226\135\140"] = "Equilibrium"; +macro2utf8["ijlig"] = "\196\179"; +utf82macro["\196\179"] = "ijlig"; +macro2utf8["yicy"] = "\209\151"; +utf82macro["\209\151"] = "yicy"; +macro2utf8["sum"] = "\226\136\145"; +utf82macro["\226\136\145"] = "sum"; +macro2utf8["cir"] = "\226\151\139"; +utf82macro["\226\151\139"] = "cir"; +macro2utf8["telrec"] = "\226\140\149"; +utf82macro["\226\140\149"] = "telrec"; +macro2utf8["Mfr"] = "\240\157\148\144"; +utf82macro["\240\157\148\144"] = "Mfr"; +macro2utf8["dHar"] = "\226\165\165"; +utf82macro["\226\165\165"] = "dHar"; +macro2utf8["boxUl"] = "\226\149\156"; +utf82macro["\226\149\156"] = "boxUl"; +macro2utf8["apid"] = "\226\137\139"; +utf82macro["\226\137\139"] = "apid"; +macro2utf8["nleftarrow"] = "\226\134\154"; +utf82macro["\226\134\154"] = "nleftarrow"; +macro2utf8["curarrm"] = "\226\164\188"; +utf82macro["\226\164\188"] = "curarrm"; +macro2utf8["Scirc"] = "\197\156"; +utf82macro["\197\156"] = "Scirc"; +macro2utf8["Copf"] = "\226\132\130"; +utf82macro["\226\132\130"] = "Copf"; +macro2utf8["RightTriangleEqual"] = "\226\138\181"; +utf82macro["\226\138\181"] = "RightTriangleEqual"; +macro2utf8["boxUr"] = "\226\149\153"; +utf82macro["\226\149\153"] = "boxUr"; +macro2utf8["loplus"] = "\226\168\173"; +utf82macro["\226\168\173"] = "loplus"; +macro2utf8["varsupsetneq"] = "\226\138\139\239\184\128"; +utf82macro["\226\138\139\239\184\128"] = "varsupsetneq"; +macro2utf8["scaron"] = "\197\161"; +utf82macro["\197\161"] = "scaron"; +macro2utf8["Diamond"] = "\226\139\132"; +utf82macro["\226\139\132"] = "Diamond"; +macro2utf8["lowast"] = "\226\136\151"; +utf82macro["\226\136\151"] = "lowast"; +macro2utf8["nle"] = "\226\137\176\226\131\165"; +utf82macro["\226\137\176\226\131\165"] = "nle"; +macro2utf8["phiv"] = "\207\149"; +utf82macro["\207\149"] = "phiv"; +macro2utf8["gesdotol"] = "\226\170\132"; +utf82macro["\226\170\132"] = "gesdotol"; +macro2utf8["boxVh"] = "\226\149\171"; +utf82macro["\226\149\171"] = "boxVh"; +macro2utf8["nleftrightarrow"] = "\226\134\174"; +utf82macro["\226\134\174"] = "nleftrightarrow"; +macro2utf8["Jopf"] = "\240\157\149\129"; +utf82macro["\240\157\149\129"] = "Jopf"; +macro2utf8["boxVl"] = "\226\149\162"; +utf82macro["\226\149\162"] = "boxVl"; +macro2utf8["nearhk"] = "\226\164\164"; +utf82macro["\226\164\164"] = "nearhk"; +macro2utf8["vBarv"] = "\226\171\169"; +utf82macro["\226\171\169"] = "vBarv"; +macro2utf8["rHar"] = "\226\165\164"; +utf82macro["\226\165\164"] = "rHar"; +macro2utf8["boxVr"] = "\226\149\159"; +utf82macro["\226\149\159"] = "boxVr"; +macro2utf8["lessdot"] = "\226\139\150"; +utf82macro["\226\139\150"] = "lessdot"; +macro2utf8["LeftDoubleBracket"] = "\227\128\154"; +utf82macro["\227\128\154"] = "LeftDoubleBracket"; +macro2utf8["Delta"] = "\206\148"; +utf82macro["\206\148"] = "Delta"; +macro2utf8["limsup"] = "limsup"; +utf82macro["limsup"] = "limsup"; +macro2utf8["tcy"] = "\209\130"; +utf82macro["\209\130"] = "tcy"; +macro2utf8["nlt"] = "\226\137\174"; +utf82macro["\226\137\174"] = "nlt"; +macro2utf8["Cdot"] = "\196\138"; +utf82macro["\196\138"] = "Cdot"; +macro2utf8["blk34"] = "\226\150\147"; +utf82macro["\226\150\147"] = "blk34"; +macro2utf8["Bfr"] = "\240\157\148\133"; +utf82macro["\240\157\148\133"] = "Bfr"; +macro2utf8["lowbar"] = "_"; +utf82macro["_"] = "lowbar"; +macro2utf8["lneqq"] = "\226\137\168"; +utf82macro["\226\137\168"] = "lneqq"; +macro2utf8["TildeEqual"] = "\226\137\131"; +utf82macro["\226\137\131"] = "TildeEqual"; +macro2utf8["shortmid"] = "\226\136\163\239\184\128"; +utf82macro["\226\136\163\239\184\128"] = "shortmid"; +macro2utf8["Qopf"] = "\226\132\154"; +utf82macro["\226\132\154"] = "Qopf"; +macro2utf8["drcorn"] = "\226\140\159"; +utf82macro["\226\140\159"] = "drcorn"; +macro2utf8["ZeroWidthSpace"] = "\226\128\139"; +utf82macro["\226\128\139"] = "ZeroWidthSpace"; +macro2utf8["aogon"] = "\196\133"; +utf82macro["\196\133"] = "aogon"; +macro2utf8["Rsh"] = "\226\134\177"; +utf82macro["\226\134\177"] = "Rsh"; +macro2utf8["lrarr"] = "\226\135\134"; +utf82macro["\226\135\134"] = "lrarr"; +macro2utf8["cupdot"] = "\226\138\141"; +utf82macro["\226\138\141"] = "cupdot"; +macro2utf8["Xopf"] = "\240\157\149\143"; +utf82macro["\240\157\149\143"] = "Xopf"; +macro2utf8["Backslash"] = "\226\136\150"; +utf82macro["\226\136\150"] = "Backslash"; +macro2utf8["Union"] = "\226\139\131"; +utf82macro["\226\139\131"] = "Union"; +macro2utf8["ratio"] = "\226\136\182"; +utf82macro["\226\136\182"] = "ratio"; +macro2utf8["duarr"] = "\226\135\181"; +utf82macro["\226\135\181"] = "duarr"; +macro2utf8["lates"] = "\226\170\173\239\184\128"; +utf82macro["\226\170\173\239\184\128"] = "lates"; +macro2utf8["suphsub"] = "\226\171\151"; +utf82macro["\226\171\151"] = "suphsub"; +macro2utf8["squf"] = "\226\150\170"; +utf82macro["\226\150\170"] = "squf"; +macro2utf8["gamma"] = "\206\179"; +utf82macro["\206\179"] = "gamma"; +macro2utf8["lrhard"] = "\226\165\173"; +utf82macro["\226\165\173"] = "lrhard"; +macro2utf8["intprod"] = "\226\168\188"; +utf82macro["\226\168\188"] = "intprod"; +macro2utf8["ReverseUpEquilibrium"] = "\226\165\175"; +utf82macro["\226\165\175"] = "ReverseUpEquilibrium"; +macro2utf8["icy"] = "\208\184"; +utf82macro["\208\184"] = "icy"; +macro2utf8["quatint"] = "\226\168\150"; +utf82macro["\226\168\150"] = "quatint"; +macro2utf8["nbump"] = "\226\137\142\204\184"; +utf82macro["\226\137\142\204\184"] = "nbump"; +macro2utf8["downharpoonleft"] = "\226\135\131"; +utf82macro["\226\135\131"] = "downharpoonleft"; +macro2utf8["otimesas"] = "\226\168\182"; +utf82macro["\226\168\182"] = "otimesas"; +macro2utf8["nvHarr"] = "\226\135\142"; +utf82macro["\226\135\142"] = "nvHarr"; +macro2utf8["ContourIntegral"] = "\226\136\174"; +utf82macro["\226\136\174"] = "ContourIntegral"; +macro2utf8["bsol"] = "\\"; +utf82macro["\\"] = "bsol"; +macro2utf8["DoubleUpDownArrow"] = "\226\135\149"; +utf82macro["\226\135\149"] = "DoubleUpDownArrow"; +macro2utf8["disin"] = "\226\139\178"; +utf82macro["\226\139\178"] = "disin"; +macro2utf8["Breve"] = "\203\152"; +utf82macro["\203\152"] = "Breve"; +macro2utf8["YAcy"] = "\208\175"; +utf82macro["\208\175"] = "YAcy"; +macro2utf8["precsim"] = "\226\137\190"; +utf82macro["\226\137\190"] = "precsim"; +macro2utf8["NotGreaterGreater"] = "\226\137\171\204\184\239\184\128"; +utf82macro["\226\137\171\204\184\239\184\128"] = "NotGreaterGreater"; +macro2utf8["fopf"] = "\240\157\149\151"; +utf82macro["\240\157\149\151"] = "fopf"; +macro2utf8["SquareSupersetEqual"] = "\226\138\146"; +utf82macro["\226\138\146"] = "SquareSupersetEqual"; +macro2utf8["Dscr"] = "\240\157\146\159"; +utf82macro["\240\157\146\159"] = "Dscr"; +macro2utf8["gsime"] = "\226\170\142"; +utf82macro["\226\170\142"] = "gsime"; +macro2utf8["PartialD"] = "\226\136\130"; +utf82macro["\226\136\130"] = "PartialD"; +macro2utf8["Umacr"] = "\197\170"; +utf82macro["\197\170"] = "Umacr"; +macro2utf8["tfr"] = "\240\157\148\177"; +utf82macro["\240\157\148\177"] = "tfr"; +macro2utf8["cularrp"] = "\226\164\189"; +utf82macro["\226\164\189"] = "cularrp"; +macro2utf8["UnderBracket"] = "\226\142\181"; +utf82macro["\226\142\181"] = "UnderBracket"; +macro2utf8["ugrave"] = "\195\185"; +utf82macro["\195\185"] = "ugrave"; +macro2utf8["mopf"] = "\240\157\149\158"; +utf82macro["\240\157\149\158"] = "mopf"; +macro2utf8["gsiml"] = "\226\170\144"; +utf82macro["\226\170\144"] = "gsiml"; +macro2utf8["iquest"] = "\194\191"; +utf82macro["\194\191"] = "iquest"; +macro2utf8["nmid"] = "\226\136\164"; +utf82macro["\226\136\164"] = "nmid"; +macro2utf8["leftarrowtail"] = "\226\134\162"; +utf82macro["\226\134\162"] = "leftarrowtail"; +macro2utf8["not"] = "\194\172"; +utf82macro["\194\172"] = "not"; +macro2utf8["Kscr"] = "\240\157\146\166"; +utf82macro["\240\157\146\166"] = "Kscr"; +macro2utf8["xsqcup"] = "\226\138\148"; +utf82macro["\226\138\148"] = "xsqcup"; +macro2utf8["triangleleft"] = "\226\151\131"; +utf82macro["\226\151\131"] = "triangleleft"; +macro2utf8["amalg"] = "\226\168\191"; +utf82macro["\226\168\191"] = "amalg"; +macro2utf8["prcue"] = "\226\137\188"; +utf82macro["\226\137\188"] = "prcue"; +macro2utf8["ac"] = "\226\164\143"; +utf82macro["\226\164\143"] = "ac"; +macro2utf8["nharr"] = "\226\134\174"; +utf82macro["\226\134\174"] = "nharr"; +macro2utf8["dzcy"] = "\209\159"; +utf82macro["\209\159"] = "dzcy"; +macro2utf8["topf"] = "\240\157\149\165"; +utf82macro["\240\157\149\165"] = "topf"; +macro2utf8["iff"] = "\226\135\148"; +utf82macro["\226\135\148"] = "iff"; +macro2utf8["af"] = "\226\129\161"; +utf82macro["\226\129\161"] = "af"; +macro2utf8["Uparrow"] = "\226\135\145"; +utf82macro["\226\135\145"] = "Uparrow"; +macro2utf8["Iacute"] = "\195\141"; +utf82macro["\195\141"] = "Iacute"; +macro2utf8["Rscr"] = "\226\132\155"; +utf82macro["\226\132\155"] = "Rscr"; +macro2utf8["vrtri"] = "\226\138\179"; +utf82macro["\226\138\179"] = "vrtri"; +macro2utf8["multimap"] = "\226\138\184"; +utf82macro["\226\138\184"] = "multimap"; +macro2utf8["Hat"] = "\204\130"; +utf82macro["\204\130"] = "Hat"; +macro2utf8["rtriltri"] = "\226\167\142"; +utf82macro["\226\167\142"] = "rtriltri"; +macro2utf8["npr"] = "\226\138\128"; +utf82macro["\226\138\128"] = "npr"; +macro2utf8["agrave"] = "\195\160"; +utf82macro["\195\160"] = "agrave"; +macro2utf8["UnderBar"] = "\204\178"; +utf82macro["\204\178"] = "UnderBar"; +macro2utf8["prime"] = "\226\128\178"; +utf82macro["\226\128\178"] = "prime"; +macro2utf8["plusmn"] = "\194\177"; +utf82macro["\194\177"] = "plusmn"; +macro2utf8["eplus"] = "\226\169\177"; +utf82macro["\226\169\177"] = "eplus"; +macro2utf8["ap"] = "\226\137\136"; +utf82macro["\226\137\136"] = "ap"; +macro2utf8["dlcorn"] = "\226\140\158"; +utf82macro["\226\140\158"] = "dlcorn"; +macro2utf8["backsim"] = "\226\136\189"; +utf82macro["\226\136\189"] = "backsim"; +macro2utf8["ifr"] = "\240\157\148\166"; +utf82macro["\240\157\148\166"] = "ifr"; +macro2utf8["bigcup"] = "\226\139\131"; +utf82macro["\226\139\131"] = "bigcup"; +macro2utf8["tcaron"] = "\197\165"; +utf82macro["\197\165"] = "tcaron"; +macro2utf8["sqcaps"] = "\226\138\147\239\184\128"; +utf82macro["\226\138\147\239\184\128"] = "sqcaps"; +macro2utf8["equals"] = "="; +utf82macro["="] = "equals"; +macro2utf8["curlywedge"] = "\226\139\143"; +utf82macro["\226\139\143"] = "curlywedge"; +macro2utf8["Yscr"] = "\240\157\146\180"; +utf82macro["\240\157\146\180"] = "Yscr"; +macro2utf8["longrightarrow"] = "????"; +utf82macro["????"] = "longrightarrow"; +macro2utf8["fork"] = "\226\139\148"; +utf82macro["\226\139\148"] = "fork"; +macro2utf8["cos"] = "cos"; +utf82macro["cos"] = "cos"; +macro2utf8["cot"] = "cot"; +utf82macro["cot"] = "cot"; +macro2utf8["ImaginaryI"] = "\226\133\136"; +utf82macro["\226\133\136"] = "ImaginaryI"; +macro2utf8["Scy"] = "\208\161"; +utf82macro["\208\161"] = "Scy"; +macro2utf8["mapsto"] = "\226\134\166"; +utf82macro["\226\134\166"] = "mapsto"; +macro2utf8["tdot"] = "\226\131\155"; +utf82macro["\226\131\155"] = "tdot"; +macro2utf8["vellip"] = "\226\139\174"; +utf82macro["\226\139\174"] = "vellip"; +macro2utf8["sqsupseteq"] = "\226\138\146"; +utf82macro["\226\138\146"] = "sqsupseteq"; +macro2utf8["nvdash"] = "\226\138\172"; +utf82macro["\226\138\172"] = "nvdash"; +macro2utf8["NotSuperset"] = "\226\138\133"; +utf82macro["\226\138\133"] = "NotSuperset"; +macro2utf8["DoubleUpArrow"] = "\226\135\145"; +utf82macro["\226\135\145"] = "DoubleUpArrow"; +macro2utf8["land"] = "\226\136\167"; +utf82macro["\226\136\167"] = "land"; +macro2utf8["topfork"] = "\226\171\154"; +utf82macro["\226\171\154"] = "topfork"; +macro2utf8["llhard"] = "\226\165\171"; +utf82macro["\226\165\171"] = "llhard"; +macro2utf8["apos"] = "'"; +utf82macro["'"] = "apos"; +macro2utf8["oslash"] = "\195\184"; +utf82macro["\195\184"] = "oslash"; +macro2utf8["lang"] = "\226\140\169"; +utf82macro["\226\140\169"] = "lang"; +macro2utf8["bernou"] = "\226\132\172"; +utf82macro["\226\132\172"] = "bernou"; +macro2utf8["varrho"] = "\207\177"; +utf82macro["\207\177"] = "varrho"; +macro2utf8["rcub"] = "}"; +utf82macro["}"] = "rcub"; +macro2utf8["Cedilla"] = "\194\184"; +utf82macro["\194\184"] = "Cedilla"; +macro2utf8["ApplyFunction"] = "\226\129\161"; +utf82macro["\226\129\161"] = "ApplyFunction"; +macro2utf8["nsce"] = "\226\170\176\204\184"; +utf82macro["\226\170\176\204\184"] = "nsce"; +macro2utf8["gscr"] = "\226\132\138"; +utf82macro["\226\132\138"] = "gscr"; +macro2utf8["imagpart"] = "\226\132\145"; +utf82macro["\226\132\145"] = "imagpart"; +macro2utf8["ngtr"] = "\226\137\175"; +utf82macro["\226\137\175"] = "ngtr"; +macro2utf8["nsc"] = "\226\138\129"; +utf82macro["\226\138\129"] = "nsc"; +macro2utf8["Barv"] = "\226\171\167"; +utf82macro["\226\171\167"] = "Barv"; +macro2utf8["tosa"] = "\226\164\169"; +utf82macro["\226\164\169"] = "tosa"; +macro2utf8["nwnear"] = "\226\164\167"; +utf82macro["\226\164\167"] = "nwnear"; +macro2utf8["ltlarr"] = "\226\165\182"; +utf82macro["\226\165\182"] = "ltlarr"; +macro2utf8["PrecedesEqual"] = "\226\170\175"; +utf82macro["\226\170\175"] = "PrecedesEqual"; +macro2utf8["lessapprox"] = "\226\137\178"; +utf82macro["\226\137\178"] = "lessapprox"; +macro2utf8["Lcaron"] = "\196\189"; +utf82macro["\196\189"] = "Lcaron";