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