X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fsyntax_extensions%2Futf8MacroTable.ml;h=0bf4480257f08c8445bca3e105c42b928dabe174;hb=8a5c30a914d7ff665218b31853c6fb4bcf58aa08;hp=588321c480f65957cad6e64099bf0c42aec18797;hpb=d7aca3eacb4bd8dc56223098f92e5370c82f92ff;p=helm.git diff --git a/matita/components/syntax_extensions/utf8MacroTable.ml b/matita/components/syntax_extensions/utf8MacroTable.ml index 588321c48..0bf448025 100644 --- a/matita/components/syntax_extensions/utf8MacroTable.ml +++ b/matita/components/syntax_extensions/utf8MacroTable.ml @@ -2,2139 +2,2139 @@ 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;;