X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=components%2Fsyntax_extensions%2Futf8MacroTable.ml;fp=components%2Fsyntax_extensions%2Futf8MacroTable.ml;h=eefdcea0ff0236f91a08efd6713ae67a5fb33e99;hp=0000000000000000000000000000000000000000;hb=f61af501fb4608cc4fb062a0864c774e677f0d76;hpb=58ae1809c352e71e7b5530dc41e2bfc834e1aef1 diff --git a/components/syntax_extensions/utf8MacroTable.ml b/components/syntax_extensions/utf8MacroTable.ml new file mode 100644 index 000000000..eefdcea0f --- /dev/null +++ b/components/syntax_extensions/utf8MacroTable.ml @@ -0,0 +1,2140 @@ +(* GENERATED by make_table: DO NOT EDIT! *) +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"; + "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"; + "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"; + "ofr", "\240\157\148\172"; + "|", "|"; + "liminf", "liminf"; + "}", "}"; + "LeftUpTeeVector", "\226\165\160"; + "scirc", "\197\157"; + "scedil", "\197\159"; + "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"; + "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"; + "olcir", "\226\166\190"; + "Auml", "\195\132"; + "Succeeds", "\226\137\187"; + "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"; + "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"; + "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"; + "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"; + "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"; + "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"; + "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"; + "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"; + "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"; + "xlarr", "\239\149\182"; + "xscr", "\240\157\147\141"; + "DoubleLongRightArrow", "\239\149\186"; + "CounterClockwiseContourIntegral", "\226\136\179"; + "urcrop", "\226\140\142"; + "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"; + "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"; + "Kopf", "\240\157\149\130"; + "apacir", "\226\169\175"; + "dharl", "\226\135\131"; + "nequiv", "\226\137\162"; + "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"; + "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"; + "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"; + "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"; + "rAtail", "\226\164\156"; + "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"; + "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"; + "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"; + "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"; + "hamilt", "\226\132\139"; + "angsph", "\226\136\162"; + "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"; + "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"; + "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"; + "Gbreve", "\196\158"; + "intercal", "\226\138\186"; + "supE", "\226\138\135"; + "NotCupCap", "\226\137\173"; + "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"; + "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"; + "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"; + "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"; + "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"; + "mho", "\226\132\167"; + "mcomma", "\226\168\169"; + "wedbar", "\226\169\159"; + "NotVerticalBar", "\226\136\164"; + "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"; + "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"; + "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"; + "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"; + "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"; + "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"; + "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"; + "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"; + "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"; + "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"; + "Upsilon", "\207\146"; + "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"; + "dHar", "\226\165\165"; + "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"; + "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"; + "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"; + "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"; + "ltlarr", "\226\165\182"; + "PrecedesEqual", "\226\170\175"; + "lessapprox", "\226\137\178"; + "Lcaron", "\196\189"; + ];; +let _ = + List.iter + (fun (macro, utf8) -> + Hashtbl.replace macro2utf8 macro utf8; + Hashtbl.replace utf82macro utf8 macro) + data;;