matita/components/syntax_extensions/utf8MacroTable.ml

   1 (* GENERATED by make_table: DO NOT EDIT! *)
   2 let macro2utf8 = Hashtbl.create 2000
   3 let utf82macro = Hashtbl.create 2000
   4 let data = [
   5   "varsupsetneq", "\226\138\139\239\184\128";
   6   "frac56", "\226\133\154";
   7   "emsp14", "\226\128\133";
   8   "bsim", "\226\136\189";
   9   "quest", "?";
  10   "xrarr", "\239\149\183";
  11   "nabla", "\226\136\135";
  12   "tscr", "\240\157\147\137";
  13   "nesear", "\226\164\168";
  14   "kappa", "\206\186";
  15   "HilbertSpace", "\226\132\139";
  16   "notinva", "\226\136\137\204\184";
  17   "sqsube", "\226\138\145";
  18   "NotLessSlantEqual", "\226\137\176";
  19   "hercon", "\226\138\185";
  20   "npreceq", "\226\170\175\204\184";
  21   "upsilon", "\207\133";
  22   "rmoust", "\226\142\177";
  23   "ggg", "\226\139\153";
  24   "cwint", "\226\136\177";
  25   "copf", "\240\157\149\148";
  26   "nvdash", "\226\138\172";
  27   "Lcaron", "\196\189";
  28   "Vdashl", "\226\171\166";
  29   "ofr", "\240\157\148\172";
  30   "oint", "\226\136\174";
  31   "NestedLessLess", "\226\137\170";
  32   "ffilig", "\239\172\131";
  33   "rightthreetimes", "\226\139\140";
  34   "gtrsim", "\226\137\179";
  35   "angmsdad", "\226\166\171";
  36   "LeftUpVector", "\226\134\191";
  37   "apacir", "\226\169\175";
  38   "urcrop", "\226\140\142";
  39   "LessTilde", "\226\137\178";
  40   "dashv", "\226\138\163";
  41   "uarr", "\226\134\145";
  42   "imath", "\196\177";
  43   "DoubleDot", "\194\168";
  44   "nRightarrow", "\226\135\143";
  45   "colone", "\226\137\148";
  46   "ngeqq", "\226\137\177";
  47   "Jopf", "\240\157\149\129";
  48   "sqcaps", "\226\138\147\239\184\128";
  49   "ldrushar", "\226\165\139";
  50   "nvge", "\226\137\177";
  51   "qprime", "\226\129\151";
  52   "arccos", "arccos";
  53   "Bcy", "\208\145";
  54   "prec", "\226\137\186";
  55   "UpArrow", "\226\134\145";
  56   "ohbar", "\226\166\181";
  57   "capdot", "\226\169\128";
  58   "UpArrowBar", "\226\164\146";
  59   "Rsh", "\226\134\177";
  60   "zfr", "\240\157\148\183";
  61   "ufisht", "\226\165\190";
  62   "gtcir", "\226\169\186";
  63   "succnapprox", "\226\139\169";
  64   "nsubset", "\226\138\132";
  65   "bot", "\226\138\165";
  66   "tcedil", "\197\163";
  67   "uopf", "\240\157\149\166";
  68   "LeftTriangleBar", "\226\167\143";
  69   "downarrow", "\226\134\147";
  70   "Ascr", "\240\157\146\156";
  71   "Qfr", "\240\157\148\148";
  72   "wr", "\226\137\128";
  73   "varrho", "\207\177";
  74   "NoBreak", "\239\187\191";
  75   "otimesas", "\226\168\182";
  76   "TildeTilde", "\226\137\136";
  77   "nang", "\226\136\160\204\184";
  78   "ForAll", "\226\136\128";
  79   "numero", "\226\132\150";
  80   "CircleDot", "\226\138\153";
  81   "rpar", ")";
  82   "eDot", "\226\137\145";
  83   "Lt", "\226\137\170";
  84   "lsh", "\226\134\176";
  85   "sscr", "\240\157\147\136";
  86   "hybull", "\226\129\131";
  87   "odiv", "\226\168\184";
  88   "varsigma", "\207\130";
  89   "olcir", "\226\166\190";
  90   "wopf", "\240\157\149\168";
  91   "amacr", "\196\129";
  92   "rfisht", "\226\165\189";
  93   "Jscr", "\240\157\146\165";
  94   "NegativeMediumSpace", "\226\129\159\239\184\128";
  95   "Zdot", "\197\187";
  96   "Proportion", "\226\136\183";
  97   "gesdot", "\226\170\128";
  98   "kcedil", "\196\183";
  99   "cir", "\226\151\139";
 100   "bigcup", "\226\139\131";
 101   "Esim", "\226\169\179";
 102   "CenterDot", "\194\183";
 103   "nsqsube", "\226\139\162";
 104   "NotTildeFullEqual", "\226\137\135";
 105   "Oslash", "\195\152";
 106   "frac45", "\226\133\152";
 107   "gtdot", "\226\139\151";
 108   "NotSuperset", "\226\138\133";
 109   "loarr", "\226\135\189";
 110   "filig", "\239\172\129";
 111   "cscr", "\240\157\146\184";
 112   "hookleftarrow", "\226\134\169";
 113   "rangle", "\226\140\170";
 114   "bsol", "\\";
 115   "LeftDownVectorBar", "\226\165\153";
 116   "eta", "\206\183";
 117   "gE", "\226\137\167";
 118   "cudarrr", "\226\164\181";
 119   "ShortDownArrow", "\226\140\132\239\184\128";
 120   "nwnear", "\226\164\167";
 121   "supsup", "\226\171\150";
 122   "lnap", "\226\170\137";
 123   "homtht", "\226\136\187";
 124   "boxDr", "\226\149\147";
 125   "lvertneqq", "\226\137\168\239\184\128";
 126   "subnE", "\226\138\138";
 127   "iota", "\206\185";
 128   "horbar", "\226\128\149";
 129   "psi", "\207\136";
 130   "swarhk", "\226\164\166";
 131   "rharu", "\226\135\128";
 132   "equest", "\226\137\159";
 133   "boxv", "\226\148\130";
 134   "RightTee", "\226\138\162";
 135   "boxVH", "\226\149\172";
 136   "Sopf", "\240\157\149\138";
 137   "ni", "\226\136\139";
 138   "doublebarwedge", "\226\140\134";
 139   "lsime", "\226\170\141";
 140   "nleqslant", "\226\137\176";
 141   "roang", "\239\149\153";
 142   "scnE", "\226\170\182";
 143   "|", "|";
 144   "DoubleLongLeftRightArrow", "\239\149\187";
 145   "LeftVector", "\226\134\188";
 146   "trianglelefteq", "\226\138\180";
 147   "succapprox", "\226\137\191";
 148   "macr", "\194\175";
 149   "lharul", "\226\165\170";
 150   "ApplyFunction", "\226\129\161";
 151   "Map", "\226\164\133";
 152   "nscr", "\240\157\147\131";
 153   "Dcaron", "\196\142";
 154   "vzigzag", "\226\166\154";
 155   "naturals", "\226\132\149";
 156   "pluse", "\226\169\178";
 157   "nparsl", "\226\136\165\239\184\128\226\131\165";
 158   "cosh", "cosh";
 159   "vnsub", "\226\138\132";
 160   "Oacute", "\195\147";
 161   "LeftTeeVector", "\226\165\154";
 162   "ncap", "\226\169\131";
 163   "lneqq", "\226\137\168";
 164   "csub", "\226\171\143";
 165   "bopf", "\240\157\149\147";
 166   "ovbar", "\226\140\189";
 167   "triangleright", "\226\150\185";
 168   "shortparallel", "\226\136\165\239\184\128";
 169   "timesb", "\226\138\160";
 170   "nwarrow", "\226\134\150";
 171   "harr", "\226\134\148";
 172   "backprime", "\226\128\181";
 173   "rceil", "\226\140\137";
 174   "softcy", "\209\140";
 175   "Lang", "\227\128\138";
 176   "mopf", "\240\157\149\158";
 177   "HumpEqual", "\226\137\143";
 178   "esdot", "\226\137\144";
 179   "CloseCurlyQuote", "\226\128\153";
 180   "Popf", "\226\132\153";
 181   "Pi", "\206\160";
 182   "els", "\226\139\156";
 183   "DifferentialD", "\226\133\134";
 184   "SquareIntersection", "\226\138\147";
 185   "rfr", "\240\157\148\175";
 186   "propto", "\226\136\157";
 187   "angzarr", "\226\141\188";
 188   "succneqq", "\226\170\182";
 189   "there4", "\226\136\180";
 190   "sect", "\194\167";
 191   "tilde", "\203\156";
 192   "boxV", "\226\149\145";
 193   "scap", "\226\137\191";
 194   "ldca", "\226\164\182";
 195   "rho", "\207\129";
 196   "auml", "\195\164";
 197   "vsubne", "\226\138\138\239\184\128";
 198   "larrpl", "\226\164\185";
 199   "aleph", "\226\132\181";
 200   "Wopf", "\240\157\149\142";
 201   "lsim", "\226\137\178";
 202   "yacute", "\195\189";
 203   "Rscr", "\226\132\155";
 204   "succsim", "\226\137\191";
 205   "Acirc", "\195\130";
 206   "dots", "\226\128\166";
 207   "napos", "\197\137";
 208   "igrave", "\195\172";
 209   "curlywedge", "\226\139\143";
 210   "to", "\226\134\146";
 211   "NotLess", "\226\137\174";
 212   "Vopf", "\240\157\149\141";
 213   "subsup", "\226\171\147";
 214   "npolint", "\226\168\148";
 215   "Gcy", "\208\147";
 216   "FilledSmallSquare", "\226\151\190";
 217   "raemptyv", "\226\166\179";
 218   "lates", "\226\170\173\239\184\128";
 219   "Ccaron", "\196\140";
 220   "SquareSuperset", "\226\138\144";
 221   "demptyv", "\226\166\177";
 222   "Backslash", "\226\136\150";
 223   "nvsim", "\226\137\129\204\184";
 224   "ltcc", "\226\170\166";
 225   "Scy", "\208\161";
 226   "bnequiv", "\226\137\161\226\131\165";
 227   "not", "\194\172";
 228   "lozenge", "\226\151\138";
 229   "Lfr", "\240\157\148\143";
 230   "oscr", "\226\132\180";
 231   "ReverseEquilibrium", "\226\135\139";
 232   "Afr", "\240\157\148\132";
 233   "topcir", "\226\171\177";
 234   "planckh", "\226\132\142";
 235   "abreve", "\196\131";
 236   "rBarr", "\226\164\143";
 237   "nacute", "\197\132";
 238   "DownTeeArrow", "\226\134\167";
 239   "CupCap", "\226\137\141";
 240   "Cacute", "\196\134";
 241   "rpargt", "\226\166\148";
 242   "parsim", "\226\171\179";
 243   "Leftarrow", "\226\135\144";
 244   "angmsdaf", "\226\166\173";
 245   "Yfr", "\240\157\148\156";
 246   "emsp", "\226\128\131";
 247   "backsimeq", "\226\139\141";
 248   "lbrkslu", "\226\166\141";
 249   "NotHumpEqual", "\226\137\143\204\184";
 250   "larrfs", "\226\164\157";
 251   "hyphen", "\226\128\144";
 252   "pscr", "\240\157\147\133";
 253   "NotReverseElement", "\226\136\140";
 254   "vartriangleright", "\226\138\179";
 255   "Zacute", "\197\185";
 256   "LowerRightArrow", "\226\134\152";
 257   "ape", "\226\137\138";
 258   "ll", "\226\137\170";
 259   "ldquo", "\226\128\156";
 260   "angmsdab", "\226\166\169";
 261   "ZHcy", "\208\150";
 262   "ntrianglerighteq", "\226\139\173";
 263   "frac25", "\226\133\150";
 264   "nrtrie", "\226\139\173";
 265   "barwedge", "\226\138\188";
 266   "rarrpl", "\226\165\133";
 267   "Nfr", "\240\157\148\145";
 268   "xcirc", "\226\151\175";
 269   "dscr", "\240\157\146\185";
 270   "gjcy", "\209\147";
 271   "VerticalLine", "|";
 272   "Vbar", "\226\171\171";
 273   "dfisht", "\226\165\191";
 274   "Egrave", "\195\136";
 275   "orslope", "\226\169\151";
 276   "nle", "\226\137\176\226\131\165";
 277   "TSHcy", "\208\139";
 278   "angle", "\226\136\160";
 279   "szlig", "\195\159";
 280   "rtri", "\226\150\185";
 281   "ljcy", "\209\153";
 282   "puncsp", "\226\128\136";
 283   "lobrk", "\227\128\154";
 284   "lAtail", "\226\164\155";
 285   "Pcy", "\208\159";
 286   "copysr", "\226\132\151";
 287   "Aopf", "\240\157\148\184";
 288   "nvle", "\226\137\176";
 289   "NotPrecedesEqual", "\226\170\175\204\184";
 290   "dd", "\226\133\134";
 291   "LeftVectorBar", "\226\165\146";
 292   "agrave", "\195\160";
 293   "ker", "ker";
 294   "Scedil", "\197\158";
 295   "DoubleUpDownArrow", "\226\135\149";
 296   "ocirc", "\195\180";
 297   "slarr", "\226\134\144\239\184\128";
 298   "urcorn", "\226\140\157";
 299   "elsdot", "\226\170\151";
 300   "tridot", "\226\151\172";
 301   "vopf", "\240\157\149\167";
 302   "NotLeftTriangleEqual", "\226\139\172";
 303   "bigwedge", "\226\139\128";
 304   "Uogon", "\197\178";
 305   "NotRightTriangleEqual", "\226\139\173";
 306   "gcirc", "\196\157";
 307   "srarr", "\226\134\146\239\184\128";
 308   "SquareSubset", "\226\138\143";
 309   "Euml", "\195\139";
 310   "dsol", "\226\167\182";
 311   "lmoust", "\226\142\176";
 312   "lagran", "\226\132\146";
 313   "ssetmn", "\226\136\150\239\184\128";
 314   "Theta", "\206\152";
 315   "mscr", "\240\157\147\130";
 316   "ntlg", "\226\137\184";
 317   "Hfr", "\226\132\140";
 318   "edot", "\196\151";
 319   "Iukcy", "\208\134";
 320   "arg", "arg";
 321   "CHcy", "\208\167";
 322   "multimap", "\226\138\184";
 323   "NotElement", "\226\136\137";
 324   "imped", "\240\157\149\131";
 325   "sube", "\226\138\134";
 326   "NotRightTriangleBar", "\226\167\144\204\184";
 327   "wp", "\226\132\152";
 328   "Sacute", "\197\154";
 329   "rbrkslu", "\226\166\144";
 330   "larrbfs", "\226\164\159";
 331   "ycy", "\209\139";
 332   "Xscr", "\240\157\146\179";
 333   "RightVectorBar", "\226\165\147";
 334   "PrecedesEqual", "\226\170\175";
 335   "succeq", "\226\137\189";
 336   "rationals", "\226\132\154";
 337   "oacute", "\195\179";
 338   "boxtimes", "\226\138\160";
 339   "plusmn", "\194\177";
 340   "bumpE", "\226\170\174";
 341   "xlarr", "\239\149\182";
 342   "nLl", "\226\139\152\204\184";
 343   "dlcrop", "\226\140\141";
 344   "blacktriangleright", "\226\150\184";
 345   "Phi", "\206\166";
 346   "zdot", "\197\188";
 347   "lmoustache", "\226\142\176";
 348   "DownRightVector", "\226\135\129";
 349   "xsqcup", "\226\138\148";
 350   "frac12", "\194\189";
 351   "nVdash", "\226\138\174";
 352   "ee", "\226\133\135";
 353   "OverBar", "\194\175";
 354   "lbrksld", "\226\166\143";
 355   "flat", "\226\153\173";
 356   "xrArr", "\239\149\186";
 357   "Vvdash", "\226\138\170";
 358   "upuparrows", "\226\135\136";
 359   "dlcorn", "\226\140\158";
 360   "vert", "|";
 361   "eg", "\226\170\154";
 362   "VerticalTilde", "\226\137\128";
 363   "Subset", "\226\139\144";
 364   "nvrArr", "\226\135\143";
 365   "cirfnint", "\226\168\144";
 366   "iexcl", "\194\161";
 367   "hslash", "\226\132\143";
 368   "duhar", "\226\165\175";
 369   "Sqrt", "\226\136\154";
 370   "NotTildeTilde", "\226\137\137";
 371   "sum", "\226\136\145";
 372   "ntilde", "\195\177";
 373   "DotEqual", "\226\137\144";
 374   "scpolint", "\226\168\147";
 375   "mid", "\226\136\163";
 376   "lceil", "\226\140\136";
 377   "quaternions", "\226\132\141";
 378   "Fopf", "\240\157\148\189";
 379   "Wscr", "\240\157\146\178";
 380   "Lmidot", "\196\191";
 381   "HARDcy", "\208\170";
 382   "forall", "\226\136\128";
 383   "el", "\226\170\153";
 384   "diams", "\226\153\166";
 385   "oror", "\226\169\150";
 386   "ratio", "\226\136\182";
 387   "rbbrk", "\227\128\149";
 388   "nleq", "\226\137\176";
 389   "dagger", "\226\128\160";
 390   "perp", "\226\138\165";
 391   "zscr", "\240\157\147\143";
 392   "NotSucceedsTilde", "\226\137\191\204\184";
 393   "bmod", "mod";
 394   "quot", "\"";
 395   "nsubseteq", "\226\138\136";
 396   "Iuml", "\195\143";
 397   "spades", "\226\153\160";
 398   "osol", "\226\138\152";
 399   "EmptySmallSquare", "\226\151\189";
 400   "sqsup", "\226\138\144";
 401   "cularrp", "\226\164\189";
 402   "times", "\195\151";
 403   "wfr", "\240\157\148\180";
 404   "LongLeftRightArrow", "\239\149\184";
 405   "RightAngleBracket", "\226\140\170";
 406   "lhblk", "\226\150\132";
 407   "lHar", "\226\165\162";
 408   "ngt", "\226\137\175";
 409   "Vee", "\226\139\129";
 410   "sqsupseteq", "\226\138\146";
 411   "dotplus", "\226\136\148";
 412   "bigcirc", "\226\151\175";
 413   "phiv", "\207\149";
 414   "otimes", "\226\138\151";
 415   "nsqsupe", "\226\139\163";
 416   "sstarf", "\226\139\134";
 417   "qfr", "\240\157\148\174";
 418   "Bopf", "\240\157\148\185";
 419   "harrw", "\226\134\173";
 420   "leqq", "\226\137\166";
 421   "backsim", "\226\136\189";
 422   "leftharpoondown", "\226\134\189";
 423   "geqslant", "\226\169\190";
 424   "blk14", "\226\150\145";
 425   "beta", "\206\178";
 426   "ac", "\226\164\143";
 427   "vellip", "\226\139\174";
 428   "bigodot", "\226\138\153";
 429   "olcross", "\226\166\187";
 430   "CapitalDifferentialD", "\226\133\133";
 431   "uparrow", "\226\134\145";
 432   "dwangle", "\226\166\166";
 433   "larr", "\226\134\144";
 434   "lowbar", "_";
 435   "Ffr", "\240\157\148\137";
 436   "rbrksld", "\226\166\142";
 437   "squ", "\226\150\161";
 438   "hkswarow", "\226\164\166";
 439   "lopf", "\240\157\149\157";
 440   "Colon", "\226\136\183";
 441   "nge", "\226\137\177\226\131\165";
 442   "int", "\226\136\171";
 443   "ffllig", "\239\172\132";
 444   "npar", "\226\136\166";
 445   "af", "\226\129\161";
 446   "Kopf", "\240\157\149\130";
 447   "Ouml", "\195\150";
 448   "LessLess", "\226\170\161";
 449   "euml", "\195\171";
 450   "nsubseteqq", "\226\138\136";
 451   "SHCHcy", "\208\169";
 452   "plus", "+";
 453   "acirc", "\195\162";
 454   "RightFloor", "\226\140\139";
 455   "lhard", "\226\134\189";
 456   "zeetrf", "\226\132\168";
 457   "para", "\194\182";
 458   "asymp", "\226\137\141";
 459   "aacute", "\195\161";
 460   "NotTilde", "\226\137\129";
 461   "egsdot", "\226\170\152";
 462   "CircleMinus", "\226\138\150";
 463   "DownRightTeeVector", "\226\165\159";
 464   "Del", "\226\136\135";
 465   "blk34", "\226\150\147";
 466   "ltrif", "\226\151\130";
 467   "csube", "\226\171\145";
 468   "Ograve", "\195\146";
 469   "ntriangleleft", "\226\139\170";
 470   "vBar", "\226\171\168";
 471   "nmid", "\226\136\164";
 472   "DoubleRightTee", "\226\138\168";
 473   "ccaps", "\226\169\141";
 474   "lesdoto", "\226\170\129";
 475   "kfr", "\240\157\148\168";
 476   "gesl", "\226\139\155\239\184\128";
 477   "boxDL", "\226\149\151";
 478   "hscr", "\240\157\146\189";
 479   "yuml", "\195\191";
 480   "Scaron", "\197\160";
 481   "ImaginaryI", "\226\133\136";
 482   "eDDot", "\226\169\183";
 483   "rdca", "\226\164\183";
 484   "OverBracket", "\226\142\180";
 485   "arcsin", "arcsin";
 486   "vBarv", "\226\171\169";
 487   "Mellintrf", "\226\132\179";
 488   "Edot", "\196\150";
 489   "Gt", "\226\137\171";
 490   "boxUR", "\226\149\154";
 491   "RightTriangleBar", "\226\167\144";
 492   "ropf", "\240\157\149\163";
 493   "it", "\226\129\162";
 494   "lim", "lim";
 495   "Yscr", "\240\157\146\180";
 496   "yen", "\194\165";
 497   "rang", "\226\140\170";
 498   "ufr", "\240\157\148\178";
 499   "ograve", "\195\178";
 500   "DoubleLongLeftArrow", "\239\149\185";
 501   "Kcedil", "\196\182";
 502   "iecy", "\208\181";
 503   "lne", "\226\137\168";
 504   "epsilon", "\207\181";
 505   "cuvee", "\226\139\142";
 506   "alpha", "\206\177";
 507   "circ", "\226\136\152";
 508   "ncaron", "\197\136";
 509   "risingdotseq", "\226\137\147";
 510   "ctdot", "\226\139\175";
 511   "lor", "\226\136\168";
 512   "minusb", "\226\138\159";
 513   "Succeeds", "\226\137\187";
 514   "plusdu", "\226\168\165";
 515   "preccurlyeq", "\226\137\188";
 516   "rightleftarrows", "\226\135\132";
 517   "Superset", "\226\138\131";
 518   "DD", "\226\133\133";
 519   "det", "det";
 520   "telrec", "\226\140\149";
 521   "suphsol", "\226\138\131/";
 522   "cemptyv", "\226\166\178";
 523   "les", "\226\169\189";
 524   "ngeqslant", "\226\137\177";
 525   "eqcolon", "\226\137\149";
 526   "boxDR", "\226\149\148";
 527   "veebar", "\226\138\187";
 528   "npr", "\226\138\128";
 529   "profalar", "\226\140\174";
 530   "Cfr", "\226\132\173";
 531   "upharpoonleft", "\226\134\191";
 532   "theta", "\206\184";
 533   "Diamond", "\226\139\132";
 534   "LeftAngleBracket", "\226\140\169";
 535   "swArr", "\226\135\153";
 536   "VDash", "\226\138\171";
 537   "vangrt", "\226\138\190";
 538   "NegativeThickSpace", "\226\128\133\239\184\128";
 539   "Ufr", "\240\157\148\152";
 540   "Gfr", "\240\157\148\138";
 541   "pertenk", "\226\128\177";
 542   "phone", "\226\152\142";
 543   "Rfr", "\226\132\156";
 544   "Otimes", "\226\168\183";
 545   "conint", "\226\136\174";
 546   "ges", "\226\169\190";
 547   "Cdot", "\196\138";
 548   "Lopf", "\240\157\149\131";
 549   "DownLeftRightVector", "\226\165\144";
 550   "boxVr", "\226\149\159";
 551   "TripleDot", "\226\131\155";
 552   "ltquest", "\226\169\187";
 553   "longleftarrow", "????;";
 554   "ccups", "\226\169\140";
 555   "Star", "\226\139\134";
 556   "ange", "\226\166\164";
 557   "zeta", "\206\182";
 558   "SuchThat", "\226\136\139";
 559   "RoundImplies", "\226\165\176";
 560   "ltimes", "\226\139\137";
 561   "sdotb", "\226\138\161";
 562   "OverBrace", "\239\184\183";
 563   "Escr", "\226\132\176";
 564   "UpTee", "\226\138\165";
 565   "deg", "deg";
 566   "ddots", "\226\139\177";
 567   "bsolb", "\226\167\133";
 568   "lrhar", "\226\135\139";
 569   "nltri", "\226\139\170";
 570   "LeftDownVector", "\226\135\131";
 571   "measuredangle", "\226\136\161";
 572   "boxVl", "\226\149\162";
 573   "NotPrecedes", "\226\138\128";
 574   "NotGreaterTilde", "\226\137\181";
 575   "Omacr", "\197\140";
 576   "because", "\226\136\181";
 577   "ubrcy", "\209\158";
 578   "mdash", "\226\128\148";
 579   "Delta", "\206\148";
 580   "lambda", "\206\187";
 581   "gla", "\226\170\165";
 582   "tstrok", "\197\167";
 583   "ratail", "\226\134\163";
 584   "luruhar", "\226\165\166";
 585   "Uring", "\197\174";
 586   "angmsdaa", "\226\166\168";
 587   "smile", "\226\140\163";
 588   "prop", "\226\136\157";
 589   "circlearrowright", "\226\134\187";
 590   "ngeq", "\226\137\177";
 591   "dbkarow", "\226\164\143";
 592   "updownarrow", "\226\134\149";
 593   "rAarr", "\226\135\155";
 594   "mcy", "\208\188";
 595   "cupor", "\226\169\133";
 596   "supsim", "\226\171\136";
 597   "gl", "\226\137\183";
 598   "order", "\226\132\180";
 599   "rAtail", "\226\164\156";
 600   "racute", "\197\149";
 601   "gtreqqless", "\226\139\155";
 602   "icirc", "\195\174";
 603   "bcy", "\208\177";
 604   "sqsubset", "\226\138\143";
 605   "cupdot", "\226\138\141";
 606   "leftrightarrows", "\226\135\134";
 607   "intlarhk", "\226\168\151";
 608   "nprcue", "\226\139\160";
 609   "Vfr", "\240\157\148\153";
 610   "dtdot", "\226\139\177";
 611   "Cscr", "\240\157\146\158";
 612   "equiv", "\226\137\161";
 613   "SucceedsSlantEqual", "\226\137\189";
 614   "nsupE", "\226\138\137";
 615   "reals", "\226\132\157";
 616   "NotCongruent", "\226\137\162";
 617   "drbkarow", "\226\164\144";
 618   "varpropto", "\226\136\157";
 619   "rlarr", "\226\135\132";
 620   "hcirc", "\196\165";
 621   "gtcc", "\226\170\167";
 622   "npre", "\226\170\175\204\184";
 623   "eplus", "\226\169\177";
 624   "ncup", "\226\169\130";
 625   "eqsim", "\226\137\130";
 626   "lcedil", "\196\188";
 627   "orv", "\226\169\155";
 628   "andand", "\226\169\149";
 629   "DoubleLeftRightArrow", "\226\135\148";
 630   "infty", "\226\136\158";
 631   "nesim", "\226\137\130\204\184";
 632   "Itilde", "\196\168";
 633   "Hscr", "\226\132\139";
 634   "OpenCurlyDoubleQuote", "\226\128\156";
 635   "neArr", "\226\135\151";
 636   "acy", "\208\176";
 637   "ThinSpace", "\226\128\137";
 638   "precneqq", "\226\170\181";
 639   "yicy", "\209\151";
 640   "notnivc", "\226\139\189";
 641   "lcaron", "\196\190";
 642   "cups", "\226\136\170\239\184\128";
 643   "ContourIntegral", "\226\136\174";
 644   "xharr", "\239\149\184";
 645   "rcedil", "\197\151";
 646   "notinvb", "\226\139\183";
 647   "nldr", "\226\128\165";
 648   "check", "\226\156\147";
 649   "lharu", "\226\134\188";
 650   "glj", "\226\170\164";
 651   "lesg", "\226\139\154\239\184\128";
 652   "subsub", "\226\171\149";
 653   "DiacriticalDot", "\203\153";
 654   "bemptyv", "\226\166\176";
 655   "nearhk", "\226\164\164";
 656   "curren", "\194\164";
 657   "subset", "\226\138\130";
 658   "LeftTriangle", "\226\138\178";
 659   "quatint", "\226\168\150";
 660   "robrk", "\227\128\155";
 661   "iiiint", "\226\168\140";
 662   "boxvL", "\226\149\161";
 663   "max", "max";
 664   "Ofr", "\240\157\148\146";
 665   "timesbar", "\226\168\177";
 666   "rmoustache", "\226\142\177";
 667   "VeryThinSpace", "\226\128\138";
 668   "hamilt", "\226\132\139";
 669   "thickapprox", "\226\137\136\239\184\128";
 670   "iocy", "\209\145";
 671   "jcirc", "\196\181";
 672   "Congruent", "\226\137\161";
 673   "subne", "\226\138\138";
 674   "notniva", "\226\136\140";
 675   "Element", "\226\136\136";
 676   "barwed", "\226\138\188";
 677   "utdot", "\226\139\176";
 678   "Ucirc", "\195\155";
 679   "rarrtl", "\226\134\163";
 680   "boxHd", "\226\149\164";
 681   "nsubE", "\226\138\136";
 682   "smashp", "\226\168\179";
 683   "NotGreaterLess", "\226\137\185";
 684   "SucceedsEqual", "\226\137\189";
 685   "ii", "\226\133\136";
 686   "YUcy", "\208\174";
 687   "NotTildeEqual", "\226\137\132";
 688   "gnE", "\226\137\169";
 689   "frac38", "\226\133\156";
 690   "emacr", "\196\147";
 691   "trianglerighteq", "\226\138\181";
 692   "lsqb", "[";
 693   "supnE", "\226\138\139";
 694   "squf", "\226\150\170";
 695   "PrecedesTilde", "\226\137\190";
 696   "RightUpVectorBar", "\226\165\148";
 697   "mumap", "\226\138\184";
 698   "DoubleVerticalBar", "\226\136\165";
 699   "NotSucceeds", "\226\138\129";
 700   "Rightarrow", "\226\135\146";
 701   "real", "\226\132\156";
 702   "lbrack", "[";
 703   "ugrave", "\195\185";
 704   "notni", "\226\136\140";
 705   "equals", "=";
 706   "xfr", "\240\157\148\181";
 707   "dharr", "\226\135\130";
 708   "Agrave", "\195\128";
 709   "dot", "\203\153";
 710   "supseteqq", "\226\138\135";
 711   "napid", "\226\137\139\204\184";
 712   "esim", "\226\137\130";
 713   "triminus", "\226\168\186";
 714   "UpTeeArrow", "\226\134\165";
 715   "Leftrightarrow", "\226\135\148";
 716   "submult", "\226\171\129";
 717   "lat", "\226\170\171";
 718   "delta", "\206\180";
 719   "Proportional", "\226\136\157";
 720   "LeftArrowBar", "\226\135\164";
 721   "eth", "\195\176";
 722   "UnderBrace", "\239\184\184";
 723   "sacute", "\197\155";
 724   "ntriangleright", "\226\139\171";
 725   "bigvee", "\226\139\129";
 726   "sec", "sec";
 727   "Ncedil", "\197\133";
 728   "rightleftharpoons", "\226\135\140";
 729   "vsubnE", "\226\138\138\239\184\128";
 730   "wscr", "\240\157\147\140";
 731   "triangledown", "\226\150\191";
 732   "Lacute", "\196\185";
 733   "DownLeftTeeVector", "\226\165\158";
 734   "VerticalBar", "\226\136\163";
 735   "gtreqless", "\226\139\155";
 736   "kappav", "\207\176";
 737   "thicksim", "\226\136\188\239\184\128";
 738   "bnot", "\226\140\144";
 739   "yacy", "\209\143";
 740   "searr", "\226\134\152";
 741   "Utilde", "\197\168";
 742   "nwarhk", "\226\164\163";
 743   "Bernoullis", "\226\132\172";
 744   "subedot", "\226\171\131";
 745   "setmn", "\226\136\150";
 746   "rdquo", "\226\128\157";
 747   "models", "\226\138\167";
 748   "nwArr", "\226\135\150";
 749   "gscr", "\226\132\138";
 750   "eqvparsl", "\226\167\165";
 751   "Psi", "\206\168";
 752   "nexists", "\226\136\132";
 753   "boxvH", "\226\149\170";
 754   "lt", "<";
 755   "dfr", "\240\157\148\161";
 756   "wedge", "\226\136\167";
 757   "Rarr", "\226\134\160";
 758   "Gscr", "\240\157\146\162";
 759   "boxhD", "\226\149\165";
 760   "supdsub", "\226\171\152";
 761   "copy", "\194\169";
 762   "Breve", "\203\152";
 763   "integers", "\226\132\164";
 764   "comp", "\226\136\129";
 765   "frac58", "\226\133\157";
 766   "CircleTimes", "\226\138\151";
 767   "imof", "\226\138\183";
 768   "xvee", "\226\139\129";
 769   "subsim", "\226\171\135";
 770   "lang", "\226\140\169";
 771   "prap", "\226\137\190";
 772   "notindot", "\226\139\182\239\184\128";
 773   "operp", "\226\166\185";
 774   "nsimeq", "\226\137\132";
 775   "rtimes", "\226\139\138";
 776   "mldr", "\226\128\166";
 777   "lcy", "\208\187";
 778   "bsime", "\226\139\141";
 779   "trade", "\226\132\162";
 780   "Yuml", "\197\184";
 781   "ohm", "\226\132\166";
 782   "NotNestedGreaterGreater", "\226\146\162\204\184";
 783   "Im", "\226\132\145";
 784   "sqsubseteq", "\226\138\145";
 785   "Gbreve", "\196\158";
 786   "plusacir", "\226\168\163";
 787   "cire", "\226\137\151";
 788   "loz", "\226\151\138";
 789   "leftharpoonup", "\226\134\188";
 790   "circleddash", "\226\138\157";
 791   "rarrbfs", "\226\164\160";
 792   "boxdr", "\226\148\140";
 793   "shortmid", "\226\136\163\239\184\128";
 794   "xhArr", "\239\149\187";
 795   "xuplus", "\226\138\142";
 796   "circledR", "\194\174";
 797   "eqcirc", "\226\137\150";
 798   "prnap", "\226\139\168";
 799   "NotSubsetEqual", "\226\138\136";
 800   "DownBreve", "\204\145";
 801   "uwangle", "\226\166\167";
 802   "nges", "\226\137\177";
 803   "oS", "\226\147\136";
 804   "nsupset", "\226\138\133";
 805   "fcy", "\209\132";
 806   "gcd", "gcd";
 807   "umacr", "\197\171";
 808   "prime", "\226\128\178";
 809   "nLeftrightarrow", "\226\135\142";
 810   "supdot", "\226\170\190";
 811   "{", "{";
 812   "triangleq", "\226\137\156";
 813   "UpArrowDownArrow", "\226\135\133";
 814   "nvap", "\226\137\137\204\184";
 815   "cdot", "\196\139";
 816   "boxbox", "\226\167\137";
 817   "ascr", "\240\157\146\182";
 818   "cirE", "\226\167\131";
 819   "rtrif", "\226\150\184";
 820   "ofcir", "\226\166\191";
 821   "sup3", "\194\179";
 822   "ap", "\226\137\136";
 823   "NotSquareSupersetEqual", "\226\139\163";
 824   "iukcy", "\209\150";
 825   "iiint", "\226\136\173";
 826   "Ycirc", "\197\182";
 827   "triangleleft", "\226\151\131";
 828   "Darr", "\226\134\161";
 829   "prnE", "\226\170\181";
 830   "notnivb", "\226\139\190";
 831   "ldrdhar", "\226\165\167";
 832   "OpenCurlyQuote", "\226\128\152";
 833   "triangle", "\226\150\181";
 834   "profline", "\226\140\146";
 835   "gtrarr", "\226\165\184";
 836   "ultri", "\226\151\184";
 837   "zcy", "\208\183";
 838   "Vcy", "\208\146";
 839   "UnionPlus", "\226\138\142";
 840   "ucirc", "\195\187";
 841   "Lsh", "\226\134\176";
 842   "Gdot", "\196\160";
 843   "parallet", "????";
 844   "Rang", "\227\128\139";
 845   "gel", "\226\139\155";
 846   "origof", "\226\138\182";
 847   "RightDownVectorBar", "\226\165\149";
 848   "bottom", "\226\138\165";
 849   "angst", "\226\132\171";
 850   "nvrtrie", "\226\139\173\204\184";
 851   "ddotseq", "\226\169\183";
 852   "lesges", "\226\170\147";
 853   "HumpDownHump", "\226\137\142";
 854   "THORN", "\195\158";
 855   "fopf", "\240\157\149\151";
 856   "bNot", "\226\171\173";
 857   "Tscr", "\240\157\146\175";
 858   "rightsquigarrow", "\226\134\157";
 859   "uogon", "\197\179";
 860   "sigmav", "\207\130";
 861   "prurel", "\226\138\176";
 862   "NotLessEqual", "\226\137\176\226\131\165";
 863   "lbarr", "\226\164\140";
 864   "easter", "\226\137\155";
 865   "boxur", "\226\148\148";
 866   "RBarr", "\226\164\144";
 867   "inodot", "\196\177";
 868   "mho", "\226\132\167";
 869   "geq", "\226\137\165";
 870   "intprod", "\226\168\188";
 871   "gacute", "\199\181";
 872   "prcue", "\226\137\188";
 873   "GreaterGreater", "\226\170\162";
 874   "NotExists", "\226\136\132";
 875   "starf", "\226\152\133";
 876   "Lcy", "\208\155";
 877   "uacute", "\195\186";
 878   "nrarrw", "\226\134\157\204\184";
 879   "ffr", "\240\157\148\163";
 880   "sigma", "\207\131";
 881   "olarr", "\226\134\186";
 882   "TildeEqual", "\226\137\131";
 883   "nsime", "\226\137\132";
 884   "nGg", "\226\139\153\204\184";
 885   "sc", "\226\137\187";
 886   "oslash", "\195\184";
 887   "gammad", "\207\156";
 888   "circledS", "\226\147\136";
 889   "iuml", "\195\175";
 890   "gamma", "\206\179";
 891   "iogon", "\196\175";
 892   "commat", "@";
 893   "Tfr", "\240\157\148\151";
 894   "Pr", "Pr";
 895   "nLt", "\226\137\170\204\184";
 896   "Gcedil", "\196\162";
 897   "boxhu", "\226\148\180";
 898   "Precedes", "\226\137\186";
 899   "andd", "\226\169\156";
 900   "nless", "\226\137\174";
 901   "aogon", "\196\133";
 902   "cuepr", "\226\139\158";
 903   "bowtie", "\226\139\136";
 904   "vArr", "\226\135\149";
 905   "SHcy", "\208\168";
 906   "nsccue", "\226\139\161";
 907   "maltese", "\226\156\160";
 908   "verbar", "|";
 909   "vDash", "\226\138\168";
 910   "nsupe", "\226\138\137";
 911   "rightharpoondown", "\226\135\129";
 912   "xopf", "\240\157\149\169";
 913   "OverParenthesis", "\239\184\181";
 914   "raquo", "\194\187";
 915   "ltri", "\226\151\131";
 916   "Icirc", "\195\142";
 917   "frac35", "\226\133\151";
 918   "diam", "\226\139\132";
 919   "blacklozenge", "\226\167\171";
 920   "rscr", "\240\157\147\135";
 921   "lfr", "\240\157\148\169";
 922   "tbrk", "\226\142\180";
 923   "nbumpe", "\226\137\143\204\184";
 924   "curlyeqsucc", "\226\139\159";
 925   "NotDoubleVerticalBar", "\226\136\166";
 926   "map", "\226\134\166";
 927   "nleqq", "\226\137\176";
 928   "rdldhar", "\226\165\169";
 929   "IOcy", "\208\129";
 930   "ecy", "\209\141";
 931   "Oopf", "\240\157\149\134";
 932   "hksearow", "\226\164\165";
 933   "hardcy", "\209\138";
 934   "cuesc", "\226\139\159";
 935   "nsce", "\226\170\176\204\184";
 936   "coth", "coth";
 937   "LessSlantEqual", "\226\169\189";
 938   "LessFullEqual", "\226\137\166";
 939   "LeftArrowRightArrow", "\226\135\134";
 940   "ReverseElement", "\226\136\139";
 941   "boxdl", "\226\148\144";
 942   "capcup", "\226\169\135";
 943   "ccedil", "\195\167";
 944   "varsubsetneq", "\226\138\138\239\184\128";
 945   "lsquo", "\226\128\152";
 946   "LeftCeiling", "\226\140\136";
 947   "subseteq", "\226\138\134";
 948   "profsurf", "\226\140\147";
 949   "nharr", "\226\134\174";
 950   "ldsh", "\226\134\178";
 951   "apos", "'";
 952   "precapprox", "\226\137\190";
 953   "nis", "\226\139\188";
 954   "lessdot", "\226\139\150";
 955   "longleftrightarrow", "????";
 956   "min", "max";
 957   "DoubleLeftArrow", "\226\135\144";
 958   "nvlArr", "\226\135\141";
 959   "smeparsl", "\226\167\164";
 960   "lnsim", "\226\139\166";
 961   "uharr", "\226\134\190";
 962   "dotsquare", "\226\138\161";
 963   "oopf", "\240\157\149\160";
 964   "Zopf", "\226\132\164";
 965   "Zcy", "\208\151";
 966   "vartriangleleft", "\226\138\178";
 967   "rarrlp", "\226\134\172";
 968   "Mopf", "\240\157\149\132";
 969   "ecirc", "\195\170";
 970   "Ubreve", "\197\172";
 971   "UpDownArrow", "\226\134\149";
 972   "sce", "\226\137\189";
 973   "NotLessGreater", "\226\137\184";
 974   "Fscr", "\226\132\177";
 975   "caret", "\226\129\129";
 976   "andslope", "\226\169\152";
 977   "ordf", "\194\170";
 978   "fnof", "\198\146";
 979   "ocy", "\208\190";
 980   "leftrightsquigarrow", "\226\134\173";
 981   "larrhk", "\226\134\169";
 982   "ubreve", "\197\173";
 983   "epsiv", "\201\155";
 984   "leftrightharpoons", "\226\135\139";
 985   "veeeq", "\226\137\154";
 986   "nap", "\226\137\137";
 987   "Therefore", "\226\136\180";
 988   "RuleDelayed", "\226\167\180";
 989   "PlusMinus", "\194\177";
 990   "lowast", "\226\136\151";
 991   "lesssim", "\226\137\178";
 992   "precnsim", "\226\139\168";
 993   "gEl", "\226\139\155";
 994   "odblac", "\197\145";
 995   "dtri", "\226\150\191";
 996   "nsupseteq", "\226\138\137";
 997   "lbrke", "\226\166\139";
 998   "divides", "\226\136\163";
 999   "rtrie", "\226\138\181";
1000   "orarr", "\226\134\187";
1001   "equivDD", "\226\169\184";
1002   "ddagger", "\226\128\161";
1003   "Intersection", "\226\139\130";
1004   "gbreve", "\196\159";
1005   "cupbrcap", "\226\169\136";
1006   "tprime", "\226\128\180";
1007   "sccue", "\226\137\189";
1008   "Uuml", "\195\156";
1009   "sim", "\226\136\188";
1010   "lsquor", "\226\128\154";
1011   "Laplacetrf", "\226\132\146";
1012   "frown", "\226\140\162";
1013   "andv", "\226\169\154";
1014   "nbsp", "\194\160";
1015   "dscy", "\209\149";
1016   "odot", "\226\138\153";
1017   "LessEqualGreater", "\226\139\154";
1018   "ltrie", "\226\138\180";
1019   "curarr", "\226\134\183";
1020   "LeftFloor", "\226\140\138";
1021   "nearrow", "\226\134\151";
1022   "xdtri", "\226\150\189";
1023   "nbump", "\226\137\142\204\184";
1024   "cross", "\226\156\151";
1025   "boxplus", "\226\138\158";
1026   "amalg", "\226\168\191";
1027   "spadesuit", "\226\153\160";
1028   "congdot", "\226\169\173";
1029   "angrtvb", "\226\166\157\239\184\128";
1030   "nrtri", "\226\139\171";
1031   "leftleftarrows", "\226\135\135";
1032   "cirmid", "\226\171\175";
1033   "curarrm", "\226\164\188";
1034   "upharpoonright", "\226\134\190";
1035   "NotSucceedsEqual", "\226\170\176\204\184";
1036   "uplus", "\226\138\142";
1037   "scaron", "\197\161";
1038   "HorizontalLine", "\226\148\128";
1039   "ulcrop", "\226\140\143";
1040   "permil", "\226\128\176";
1041   "fallingdotseq", "\226\137\146";
1042   "num", "#";
1043   "nlt", "\226\137\174";
1044   "triplus", "\226\168\185";
1045   "natur", "\226\153\174";
1046   "latail", "\226\164\153";
1047   "Conint", "\226\136\175";
1048   "orderof", "\226\132\180";
1049   "Poincareplane", "\226\132\140";
1050   "planck", "\226\132\143\239\184\128";
1051   "lopar", "\227\128\152";
1052   "olt", "\226\167\128";
1053   "ClockwiseContourIntegral", "\226\136\178";
1054   "imagline", "\226\132\144";
1055   "YIcy", "\208\135";
1056   "leftrightarrow", "\226\134\148";
1057   "xcup", "\226\139\131";
1058   "atilde", "\195\163";
1059   "simg", "\226\170\158";
1060   "Kscr", "\240\157\146\166";
1061   "emptyset", "\226\136\133\239\184\128";
1062   "ncy", "\208\189";
1063   "cudarrl", "\226\164\184";
1064   "yucy", "\209\142";
1065   "urtri", "\226\151\185";
1066   "female", "\226\153\128";
1067   "nlarr", "\226\134\154";
1068   "Re", "\226\132\156";
1069   "gfr", "\240\157\148\164";
1070   "Sub", "\226\139\144";
1071   "twixt", "\226\137\172";
1072   "ic", "\226\128\139";
1073   "mapstoup", "\226\134\165";
1074   "Bfr", "\240\157\148\133";
1075   "twoheadleftarrow", "\226\134\158";
1076   "preceq", "\226\170\175";
1077   "plusdo", "\226\136\148";
1078   "DoubleUpArrow", "\226\135\145";
1079   "nrArr", "\226\135\143";
1080   "xutri", "\226\150\179";
1081   "DJcy", "\208\130";
1082   "frac34", "\194\190";
1083   "curvearrowleft", "\226\134\182";
1084   "RightDownVector", "\226\135\130";
1085   "Longleftarrow", "????";
1086   "UpperRightArrow", "\226\134\151";
1087   "nsub", "\226\138\132";
1088   "lurdshar", "\226\165\138";
1089   "Umacr", "\197\170";
1090   "range", "\226\166\165";
1091   "subseteqq", "\226\138\134";
1092   "rightharpoonup", "\226\135\128";
1093   "rarrfs", "\226\164\158";
1094   "Jfr", "\240\157\148\141";
1095   "fork", "\226\139\148";
1096   "MinusPlus", "\226\136\147";
1097   "RightUpTeeVector", "\226\165\156";
1098   "rsh", "\226\134\177";
1099   "nwarr", "\226\134\150";
1100   "NonBreakingSpace", "\194\160";
1101   "zcaron", "\197\190";
1102   "Vert", "\226\128\150";
1103   "nprec", "\226\138\128";
1104   "GreaterFullEqual", "\226\137\167";
1105   "precnapprox", "\226\139\168";
1106   "gneq", "\226\137\169";
1107   "bernou", "\226\132\172";
1108   "lsimg", "\226\170\143";
1109   "leq", "\226\137\164";
1110   "vltri", "\226\138\178";
1111   "NotVerticalBar", "\226\136\164";
1112   "NestedGreaterGreater", "\226\137\171";
1113   "marker", "\226\150\174";
1114   "kscr", "\240\157\147\128";
1115   "DoubleDownArrow", "\226\135\147";
1116   "LeftTriangleEqual", "\226\138\180";
1117   "isinsv", "\226\139\179";
1118   "nrarrc", "\226\164\179\204\184";
1119   "lessgtr", "\226\137\182";
1120   "kopf", "\240\157\149\156";
1121   "in", "\226\136\136";
1122   "rArr", "\226\135\146";
1123   "gnapprox", "\226\170\138";
1124   "die", "\194\168";
1125   "cedil", "\194\184";
1126   "block", "\226\150\136";
1127   "Verbar", "\226\128\150";
1128   "Tstrok", "\197\166";
1129   "half", "\194\189";
1130   "smtes", "\226\170\172\239\184\128";
1131   "NotLessTilde", "\226\137\180";
1132   "wedgeq", "\226\137\153";
1133   "sqsupe", "\226\138\146";
1134   "suplarr", "\226\165\187";
1135   "parallel", "\226\136\165";
1136   "nsucc", "\226\138\129";
1137   "DiacriticalTilde", "\203\156";
1138   "Zcaron", "\197\189";
1139   "prnsim", "\226\139\168";
1140   "phmmat", "\226\132\179";
1141   "Gammad", "\207\156";
1142   "cularr", "\226\134\182";
1143   "uArr", "\226\135\145";
1144   "gneqq", "\226\137\169";
1145   "xwedge", "\226\139\128";
1146   "Sscr", "\240\157\146\174";
1147   "llcorner", "\226\140\158";
1148   "searrow", "\226\134\152";
1149   "smte", "\226\170\172";
1150   "Jukcy", "\208\132";
1151   "ouml", "\195\182";
1152   "Jcirc", "\196\180";
1153   "Emacr", "\196\146";
1154   "blacksquare", "\226\150\170";
1155   "UpEquilibrium", "\226\165\174";
1156   "limsup", "limsup";
1157   "GJcy", "\208\131";
1158   "thksim", "\226\136\188\239\184\128";
1159   "seswar", "\226\164\169";
1160   "fllig", "\239\172\130";
1161   "eqslantless", "\226\139\156";
1162   "amp", "&";
1163   "gescc", "\226\170\169";
1164   "ge", "\226\137\165";
1165   "angmsdac", "\226\166\170";
1166   "backslash", "\\";
1167   "radic", "\226\136\154";
1168   "Hopf", "\226\132\141";
1169   "ast", "*";
1170   "AElig", "\195\134";
1171   "ShortRightArrow", "\226\134\146\239\184\128";
1172   "jcy", "\208\185";
1173   "barvee", "\226\138\189";
1174   "supE", "\226\138\135";
1175   "Racute", "\197\148";
1176   "boxuR", "\226\149\152";
1177   "ExponentialE", "\226\133\135";
1178   "zopf", "\240\157\149\171";
1179   "acE", "\226\167\155";
1180   "topfork", "\226\171\154";
1181   "part", "\226\136\130";
1182   "scnsim", "\226\139\169";
1183   "micro", "\194\181";
1184   "IEcy", "\208\149";
1185   "target", "\226\140\150";
1186   "digamma", "\207\156";
1187   "Upsilon", "\207\146";
1188   "period", ".";
1189   "Auml", "\195\132";
1190   "nvinfin", "\226\167\158";
1191   "ETH", "\195\144";
1192   "circledcirc", "\226\138\154";
1193   "uring", "\197\175";
1194   "bumpe", "\226\137\143";
1195   "varsupsetneqq", "\226\138\139\239\184\128";
1196   "neg", "\194\172";
1197   "bigsqcup", "\226\138\148";
1198   "vdots", "\226\139\174";
1199   "RightDownTeeVector", "\226\165\157";
1200   "bigcap", "\226\139\130";
1201   "varepsilon", "\206\181";
1202   "nequiv", "\226\137\162";
1203   "lfloor", "\226\140\138";
1204   "Dfr", "\240\157\148\135";
1205   "supplus", "\226\171\128";
1206   "bigtriangleup", "\226\150\179";
1207   "emptyv", "\226\136\133";
1208   "biguplus", "\226\138\142";
1209   "Copf", "\226\132\130";
1210   "circledast", "\226\138\155";
1211   "boxvR", "\226\149\158";
1212   "brvbar", "\194\166";
1213   "sqsub", "\226\138\143";
1214   "rcub", "}";
1215   "DownLeftVector", "\226\134\189";
1216   "gtquest", "\226\169\188";
1217   "nLtv", "\226\137\170\204\184\239\184\128";
1218   "Kcy", "\208\154";
1219   "ring", "\203\154";
1220   "pound", "\194\163";
1221   "lesseqgtr", "\226\139\154";
1222   "LeftUpVectorBar", "\226\165\152";
1223   "scy", "\209\129";
1224   "NotSupersetEqual", "\226\138\137";
1225   "pcy", "\208\191";
1226   "land", "\226\136\167";
1227   "iscr", "\240\157\146\190";
1228   "supedot", "\226\171\132";
1229   "InvisibleComma", "\226\128\139";
1230   "boxVR", "\226\149\160";
1231   "minusd", "\226\136\184";
1232   "gsim", "\226\137\179";
1233   "cuwed", "\226\139\143";
1234   "iprod", "\226\168\188";
1235   "GreaterTilde", "\226\137\179";
1236   "Longleftrightarrow", "????";
1237   "lessapprox", "\226\137\178";
1238   "surd", "????";
1239   "SucceedsTilde", "\226\137\191";
1240   "empty", "\226\136\133\239\184\128";
1241   "vartheta", "\207\145";
1242   "SupersetEqual", "\226\138\135";
1243   "ord", "\226\169\157";
1244   "Because", "\226\136\181";
1245   "nvlt", "\226\137\174";
1246   "hoarr", "\226\135\191";
1247   "tdot", "\226\131\155";
1248   "Longrightarrow", "\226\135\146";
1249   "lnE", "\226\137\168";
1250   "llhard", "\226\165\171";
1251   "vsupne", "\226\138\139\239\184\128";
1252   "Uacute", "\195\154";
1253   "minusdu", "\226\168\170";
1254   "lbrace", "{";
1255   "partial", "\226\136\130";
1256   "udhar", "\226\165\174";
1257   "nleftrightarrow", "\226\134\174";
1258   "topbot", "\226\140\182";
1259   "odsold", "\226\166\188";
1260   "nGtv", "\226\137\171\204\184\239\184\128";
1261   "primes", "\226\132\153";
1262   "khcy", "\209\133";
1263   "Igrave", "\195\140";
1264   "forkv", "\226\171\153";
1265   "sqcup", "\226\138\148";
1266   "ulcorn", "\226\140\156";
1267   "dHar", "\226\165\165";
1268   "late", "\226\170\173";
1269   "efr", "\240\157\148\162";
1270   "nsupseteqq", "\226\138\137";
1271   "blacktriangleleft", "\226\151\130";
1272   "npart", "\226\136\130\204\184";
1273   "vscr", "\240\157\147\139";
1274   "straightepsilon", "\206\181";
1275   "DoubleLeftTee", "\226\171\164";
1276   "supsetneqq", "\226\138\139";
1277   "mfr", "\240\157\148\170";
1278   "Iopf", "\240\157\149\128";
1279   "Aogon", "\196\132";
1280   "harrcir", "\226\165\136";
1281   "boxvl", "\226\148\164";
1282   "nisd", "\226\139\186";
1283   "LeftTeeArrow", "\226\134\164";
1284   "Xfr", "\240\157\148\155";
1285   "Uparrow", "\226\135\145";
1286   "popf", "\240\157\149\161";
1287   "Dagger", "\226\128\161";
1288   "realine", "\226\132\155";
1289   "supne", "\226\138\139";
1290   "doteq", "\226\137\144";
1291   "dharl", "\226\135\131";
1292   "boxUl", "\226\149\156";
1293   "Jsercy", "\208\136";
1294   "nexist", "\226\136\132";
1295   "IJlig", "\196\178";
1296   "expectation", "\226\132\176";
1297   "loang", "\239\149\152";
1298   "Atilde", "\195\131";
1299   "lmidot", "\197\128";
1300   "DDotrahd", "\226\164\145";
1301   "Ugrave", "\195\153";
1302   "oplus", "\226\138\149";
1303   "Ncy", "\208\157";
1304   "tritime", "\226\168\187";
1305   "Uarrocir", "\226\165\137";
1306   "NegativeThinSpace", "\226\128\137\239\184\128";
1307   "rrarr", "\226\135\137";
1308   "NotGreater", "\226\137\175";
1309   "VerticalSeparator", "\226\157\152";
1310   "subsetneqq", "\226\138\138";
1311   "NotGreaterFullEqual", "\226\137\176";
1312   "LongLeftArrow", "\239\149\182";
1313   "DownArrow", "\226\134\147";
1314   "dash", "\226\128\144";
1315   "bigoplus", "\226\138\149";
1316   "rightarrowtail", "\226\134\163";
1317   "itilde", "\196\169";
1318   "lg", "lg";
1319   "smid", "\226\136\163\239\184\128";
1320   "GreaterSlantEqual", "\226\169\190";
1321   "dtrif", "\226\150\190";
1322   "Wcirc", "\197\180";
1323   "napprox", "\226\137\137";
1324   "NotLeftTriangleBar", "\226\167\143\204\184";
1325   "njcy", "\209\154";
1326   "rsquo", "\226\128\153";
1327   "lpar", "(";
1328   "colon", ":";
1329   "Colone", "\226\169\180";
1330   "Downarrow", "\226\135\147";
1331   "Ecirc", "\195\138";
1332   "eparsl", "\226\167\163";
1333   "SOFTcy", "\208\172";
1334   "NewLine", "\n";
1335   "plustwo", "\226\168\167";
1336   "epsi", "\206\181";
1337   "ycirc", "\197\183";
1338   "qscr", "\240\157\147\134";
1339   "UnderBracket", "\226\142\181";
1340   "boxHD", "\226\149\166";
1341   "def", "\226\137\157";
1342   "Rcy", "\208\160";
1343   "Fcy", "\208\164";
1344   "tcy", "\209\130";
1345   "uscr", "\240\157\147\138";
1346   "realpart", "\226\132\156";
1347   "gt", ">";
1348   "imagpart", "\226\132\145";
1349   "leftarrowtail", "\226\134\162";
1350   "ell", "\226\132\147";
1351   "DoubleRightArrow", "\226\135\146";
1352   "boxdL", "\226\149\149";
1353   "NotGreaterSlantEqual", "\226\137\177";
1354   "jukcy", "\209\148";
1355   "Aacute", "\195\129";
1356   "mu", "\206\188";
1357   "xmap", "\239\149\189";
1358   "Tcy", "\208\162";
1359   "liminf", "liminf";
1360   "isins", "\226\139\180";
1361   "eogon", "\196\153";
1362   "boxhd", "\226\148\172";
1363   "bigotimes", "\226\138\151";
1364   "top", "\226\138\164";
1365   "Tcaron", "\197\164";
1366   "smallsetminus", "\226\136\150\239\184\128";
1367   "oelig", "\197\147";
1368   "ldquor", "\226\128\158";
1369   "compfn", "\226\136\152";
1370   "lAarr", "\226\135\154";
1371   "frac16", "\226\133\153";
1372   "Bumpeq", "\226\137\142";
1373   "erarr", "\226\165\177";
1374   "xscr", "\240\157\147\141";
1375   "DoubleLongRightArrow", "\239\149\186";
1376   "boxvr", "\226\148\156";
1377   "thinsp", "\226\128\137";
1378   "ZeroWidthSpace", "\226\128\139";
1379   "nvHarr", "\226\135\142";
1380   "lparlt", "\226\166\147";
1381   "hfr", "\240\157\148\165";
1382   "nsube", "\226\138\136";
1383   "Mfr", "\240\157\148\144";
1384   "ENG", "\197\138";
1385   "boxVh", "\226\149\171";
1386   "comma", ",";
1387   "angmsdag", "\226\166\174";
1388   "succcurlyeq", "\226\137\189";
1389   "sup2", "\194\178";
1390   "RightDoubleBracket", "\227\128\155";
1391   "reg", "\194\174";
1392   "Rarrtl", "\226\164\150";
1393   "nGt", "\226\137\171\204\184";
1394   "DScy", "\208\133";
1395   "NotCupCap", "\226\137\173";
1396   "NotPrecedesSlantEqual", "\226\139\160";
1397   "Sc", "\226\170\188";
1398   "isin", "\226\136\136";
1399   "GreaterEqualLess", "\226\139\155";
1400   "subsetneq", "\226\138\138";
1401   "LeftUpDownVector", "\226\165\145";
1402   "dotminus", "\226\136\184";
1403   "efDot", "\226\137\146";
1404   "scE", "\226\137\190";
1405   "Not", "\226\171\172";
1406   "TScy", "\208\166";
1407   "ne", "\226\137\160";
1408   "DZcy", "\208\143";
1409   "boxul", "\226\148\152";
1410   "coprod", "\226\136\144";
1411   "}", "}";
1412   "SubsetEqual", "\226\138\134";
1413   "SquareUnion", "\226\138\148";
1414   "Larr", "\226\134\158";
1415   "lArr", "\226\135\144";
1416   "larrtl", "\226\134\162";
1417   "drcorn", "\226\140\159";
1418   "tau", "\207\132";
1419   "seArr", "\226\135\152";
1420   "mapstodown", "\226\134\167";
1421   "escr", "\226\132\175";
1422   "uHar", "\226\165\163";
1423   "Efr", "\240\157\148\136";
1424   "llarr", "\226\135\135";
1425   "lap", "\226\137\178";
1426   "lacute", "\196\186";
1427   "gnsim", "\226\139\167";
1428   "shy", "\194\173";
1429   "oast", "\226\138\155";
1430   "nsim", "\226\137\129";
1431   "bbrk", "\226\142\181";
1432   "sfr", "\240\157\148\176";
1433   "RightArrowBar", "\226\135\165";
1434   "gap", "\226\137\179";
1435   "lozf", "\226\167\171";
1436   "NotLeftTriangle", "\226\139\170";
1437   "sin", "sin";
1438   "omid", "\226\166\182";
1439   "lE", "\226\137\166";
1440   "Barwed", "\226\140\134";
1441   "hstrok", "\196\167";
1442   "DiacriticalGrave", "`";
1443   "sqsupset", "\226\138\144";
1444   "boxHU", "\226\149\169";
1445   "nhArr", "\226\135\142";
1446   "semi", ";";
1447   "Rrightarrow", "\226\135\155";
1448   "DownTee", "\226\138\164";
1449   "swarrow", "\226\134\153";
1450   "rHar", "\226\165\164";
1451   "tint", "\226\136\173";
1452   "vnsup", "\226\138\133";
1453   "mstpos", "\226\136\190";
1454   "lrcorner", "\226\140\159";
1455   "tshcy", "\209\155";
1456   "rcy", "\209\128";
1457   "lthree", "\226\139\139";
1458   "rlhar", "\226\135\140";
1459   "midast", "*";
1460   "ang", "\226\136\160";
1461   "lnot", "\194\172";
1462   "uuml", "\195\188";
1463   "gtrless", "\226\137\183";
1464   "fflig", "\239\172\128";
1465   "Cap", "\226\139\146";
1466   "Product", "\226\136\143";
1467   "sopf", "\240\157\149\164";
1468   "rnmid", "\226\171\174";
1469   "nsucceq", "\226\170\176\204\184";
1470   "bull", "\226\128\162";
1471   "bscr", "\240\157\146\183";
1472   "bepsi", "\207\182";
1473   "Int", "\226\136\172";
1474   "succ", "\226\137\187";
1475   "SquareSupersetEqual", "\226\138\146";
1476   "LongRightArrow", "\239\149\183";
1477   "aopf", "\240\157\149\146";
1478   "Lscr", "\226\132\146";
1479   "erDot", "\226\137\147";
1480   "longrightarrow", "????";
1481   "yopf", "\240\157\149\170";
1482   "Upsi", "\207\146";
1483   "ijlig", "\196\179";
1484   "frac78", "\226\133\158";
1485   "duarr", "\226\135\181";
1486   "curvearrowright", "\226\134\183";
1487   "sup1", "\194\185";
1488   "eqslantgtr", "\226\139\157";
1489   "tfr", "\240\157\148\177";
1490   "rotimes", "\226\168\181";
1491   "roarr", "\226\135\190";
1492   "rarrhk", "\226\134\170";
1493   "doteqdot", "\226\137\145";
1494   "pr", "\226\137\186";
1495   "ccirc", "\196\137";
1496   "aring", "\195\165";
1497   "Pfr", "\240\157\148\147";
1498   "geqq", "\226\137\167";
1499   "parsl", "\226\136\165\239\184\128";
1500   "vee", "\226\136\168";
1501   "aelig", "\195\166";
1502   "dim", "dim";
1503   "SquareSubsetEqual", "\226\138\145";
1504   "Oscr", "\240\157\146\170";
1505   "DotDot", "\226\131\156";
1506   "Rcedil", "\197\150";
1507   "Gopf", "\240\157\148\190";
1508   "subplus", "\226\170\191";
1509   "DoubleContourIntegral", "\226\136\175";
1510   "ocir", "\226\138\154";
1511   "EmptyVerySmallSquare", "\239\150\156";
1512   "percnt", "%";
1513   "hellip", "\226\128\166";
1514   "uml", "\194\168";
1515   "male", "\226\153\130";
1516   "zacute", "\197\186";
1517   "DownArrowUpArrow", "\226\135\181";
1518   "complexes", "\226\132\130";
1519   "Rcaron", "\197\152";
1520   "ncong", "\226\137\135";
1521   "grave", "`";
1522   "rarrsim", "\226\165\180";
1523   "jscr", "\240\157\146\191";
1524   "leg", "\226\139\154";
1525   "bfr", "\240\157\148\159";
1526   "exp", "exp";
1527   "NotHumpDownHump", "\226\137\142\204\184";
1528   "niv", "\226\136\139";
1529   "ShortUpArrow", "\226\140\131\239\184\128";
1530   "ntgl", "\226\137\185";
1531   "ngE", "\226\137\177";
1532   "KJcy", "\208\140";
1533   "divonx", "\226\139\135";
1534   "disin", "\226\139\178";
1535   "wcirc", "\197\181";
1536   "Prime", "\226\128\179";
1537   "varphi", "\207\134";
1538   "subE", "\226\138\134";
1539   "NotSubset", "\226\138\132";
1540   "Hstrok", "\196\166";
1541   "Ocy", "\208\158";
1542   "awint", "\226\168\145";
1543   "Updownarrow", "\226\135\149";
1544   "simlE", "\226\170\159";
1545   "hopf", "\240\157\149\153";
1546   "uhblk", "\226\150\128";
1547   "blacktriangle", "\226\150\180";
1548   "plusb", "\226\138\158";
1549   "Equilibrium", "\226\135\140";
1550   "blk12", "\226\150\146";
1551   "blacktriangledown", "\226\150\190";
1552   "larrb", "\226\135\164";
1553   "Aring", "\195\133";
1554   "hookrightarrow", "\226\134\170";
1555   "twoheadrightarrow", "\226\134\160";
1556   "subrarr", "\226\165\185";
1557   "rhov", "\207\177";
1558   "rangd", "\226\166\146";
1559   "lscr", "\226\132\147";
1560   "downdownarrows", "\226\135\138";
1561   "mapstoleft", "\226\134\164";
1562   "heartsuit", "\226\153\161";
1563   "egrave", "\195\168";
1564   "cdots", "\226\139\175";
1565   "afr", "\240\157\148\158";
1566   "rppolint", "\226\168\146";
1567   "Dcy", "\208\148";
1568   "owns", "\226\136\139";
1569   "scsim", "\226\137\191";
1570   "Nscr", "\240\157\146\169";
1571   "supsetneq", "\226\138\139";
1572   "boxdR", "\226\149\146";
1573   "LeftRightArrow", "\226\134\148";
1574   "vfr", "\240\157\148\179";
1575   "ltlarr", "\226\165\182";
1576   "sharp", "\226\153\175";
1577   "iinfin", "\226\167\156";
1578   "udarr", "\226\135\133";
1579   "dblac", "\203\157";
1580   "boxuL", "\226\149\155";
1581   "prE", "\226\170\175";
1582   "Ccirc", "\196\136";
1583   "scirc", "\197\157";
1584   "LessGreater", "\226\137\182";
1585   "gne", "\226\137\169";
1586   "ecaron", "\196\155";
1587   "nltrie", "\226\139\172";
1588   "inf", "inf";
1589   "rsqb", "]";
1590   "nparallel", "\226\136\166";
1591   "rarrb", "\226\135\165";
1592   "plankv", "\226\132\143";
1593   "Fouriertrf", "\226\132\177";
1594   "urcorner", "\226\140\157";
1595   "Yacute", "\195\157";
1596   "Iacute", "\195\141";
1597   "curlyeqprec", "\226\139\158";
1598   "Supset", "\226\139\145";
1599   "gcy", "\208\179";
1600   "bsolhsub", "\\\226\138\130";
1601   "supsub", "\226\171\148";
1602   "rarrap", "\226\165\181";
1603   "NotRightTriangle", "\226\139\171";
1604   "LJcy", "\208\137";
1605   "iff", "\226\135\148";
1606   "becaus", "\226\136\181";
1607   "Lcedil", "\196\187";
1608   "gets", "\226\134\144";
1609   "ntrianglelefteq", "\226\139\172";
1610   "MediumSpace", "\226\129\159";
1611   "nlArr", "\226\135\141";
1612   "Cup", "\226\139\147";
1613   "complement", "\226\136\129";
1614   "angmsdah", "\226\166\175";
1615   "vcy", "\208\178";
1616   "swnwar", "\226\164\170";
1617   "prod", "\226\136\143";
1618   "neq", "\226\137\160";
1619   "RightTeeArrow", "\226\134\166";
1620   "simeq", "\226\137\131";
1621   "LeftArrow", "\226\134\144";
1622   "roplus", "\226\168\174";
1623   "glE", "\226\170\146";
1624   "ln", "ln";
1625   "Icy", "\208\152";
1626   "Yopf", "\240\157\149\144";
1627   "thetav", "\207\145";
1628   "KHcy", "\208\165";
1629   "lrtri", "\226\138\191";
1630   "CloseCurlyDoubleQuote", "\226\128\157";
1631   "circeq", "\226\137\151";
1632   "dcaron", "\196\143";
1633   "circlearrowleft", "\226\134\186";
1634   "NotEqual", "\226\137\160";
1635   "bigstar", "\226\152\133";
1636   "hbar", "\226\132\143\239\184\128";
1637   "And", "\226\169\147";
1638   "lEg", "\226\139\154";
1639   "EqualTilde", "\226\137\130";
1640   "darr", "\226\134\147";
1641   "succnsim", "\226\139\169";
1642   "NotGreaterGreater", "\226\137\171\204\184\239\184\128";
1643   "frac14", "\194\188";
1644   "ecir", "\226\137\150";
1645   "vdash", "\226\138\162";
1646   "minus", "\226\136\146";
1647   "Bscr", "\226\132\172";
1648   "coloneq", "\226\137\148";
1649   "ensp", "\226\128\130";
1650   "nlsim", "\226\137\180";
1651   "lesdotor", "\226\170\131";
1652   "Gamma", "\206\147";
1653   "capand", "\226\169\132";
1654   "boxDl", "\226\149\150";
1655   "spar", "\226\136\165\239\184\128";
1656   "Ubrcy", "\208\142";
1657   "Tilde", "\226\136\188";
1658   "solbar", "\226\140\191";
1659   "mapsto", "\226\134\166";
1660   "djcy", "\209\146";
1661   "sdot", "\226\139\133";
1662   "par", "\226\136\165";
1663   "chcy", "\209\135";
1664   "Ncaron", "\197\135";
1665   "and", "\226\136\167";
1666   "cot", "cot";
1667   "Ropf", "\226\132\157";
1668   "pointint", "\226\168\149";
1669   "jmath", "j\239\184\128";
1670   "leftthreetimes", "\226\139\139";
1671   "mnplus", "\226\136\147";
1672   "nsup", "\226\138\133";
1673   "nLeftarrow", "\226\135\141";
1674   "pm", "\194\177";
1675   "diamondsuit", "\226\153\162";
1676   "backcong", "\226\137\140";
1677   "gnap", "\226\170\138";
1678   "DiacriticalAcute", "\194\180";
1679   "Ll", "\226\139\152";
1680   "cupcap", "\226\169\134";
1681   "square", "\226\150\161";
1682   "RightTriangleEqual", "\226\138\181";
1683   "RightTeeVector", "\226\165\155";
1684   "lltri", "\226\151\186";
1685   "TildeFullEqual", "\226\137\133";
1686   "RightUpVector", "\226\134\190";
1687   "between", "\226\137\172";
1688   "supe", "\226\138\135";
1689   "kjcy", "\209\156";
1690   "dzcy", "\209\159";
1691   "uharl", "\226\134\191";
1692   "trisb", "\226\167\141";
1693   "lesdot", "\226\169\191";
1694   "intcal", "\226\138\186";
1695   "div", "\195\183";
1696   "xnis", "\226\139\187";
1697   "sqcap", "\226\138\147";
1698   "mcomma", "\226\168\169";
1699   "Zscr", "\240\157\146\181";
1700   "apid", "\226\137\139";
1701   "rtriltri", "\226\167\142";
1702   "nvDash", "\226\138\173";
1703   "vrtri", "\226\138\179";
1704   "xlArr", "\239\149\185";
1705   "Eopf", "\240\157\148\188";
1706   "tosa", "\226\164\169";
1707   "ngtr", "\226\137\175";
1708   "diamond", "\226\139\132";
1709   "shcy", "\209\136";
1710   "cos", "cos";
1711   "Cross", "\226\168\175";
1712   "Wedge", "\226\139\128";
1713   "infin", "\226\136\158";
1714   "divide", "\195\183";
1715   "gesles", "\226\170\148";
1716   "pre", "\226\170\175";
1717   "bump", "\226\137\142";
1718   "Xopf", "\240\157\149\143";
1719   "hairsp", "\226\128\138";
1720   "qopf", "\240\157\149\162";
1721   "frac13", "\226\133\147";
1722   "Omega", "\206\169";
1723   "rect", "\226\150\173";
1724   "Lleftarrow", "\226\135\154";
1725   "caron", "\203\135";
1726   "bcong", "\226\137\140";
1727   "Qscr", "\240\157\146\172";
1728   "Lambda", "\206\155";
1729   "leqslant", "\226\169\189";
1730   "Iscr", "\226\132\144";
1731   "varsubsetneqq", "\226\138\138\239\184\128";
1732   "lvnE", "\226\137\168\239\184\128";
1733   "bkarow", "\226\164\141";
1734   "iquest", "\194\191";
1735   "frac23", "\226\133\148";
1736   "natural", "\226\153\174";
1737   "middot", "\194\183";
1738   "Pscr", "\240\157\146\171";
1739   "Implies", "\226\135\146";
1740   "DownRightVectorBar", "\226\165\151";
1741   "RightVector", "\226\135\128";
1742   "rightarrow", "\226\134\146";
1743   "cirscir", "\226\167\130";
1744   "supmult", "\226\171\130";
1745   "simgE", "\226\170\160";
1746   "pitchfork", "\226\139\148";
1747   "lescc", "\226\170\168";
1748   "Kfr", "\240\157\148\142";
1749   "bigtriangledown", "\226\150\189";
1750   "beth", "\226\132\182";
1751   "frac18", "\226\133\155";
1752   "precsim", "\226\137\190";
1753   "ordm", "\194\186";
1754   "rbarr", "\226\164\141";
1755   "boxHu", "\226\149\167";
1756   "boxhU", "\226\149\168";
1757   "lotimes", "\226\168\180";
1758   "gvnE", "\226\137\169\239\184\128";
1759   "daleth", "\226\132\184";
1760   "FilledVerySmallSquare", "\239\150\155";
1761   "straightphi", "\207\134";
1762   "PrecedesSlantEqual", "\226\137\188";
1763   "notinvc", "\226\139\182";
1764   "Hacek", "\203\135";
1765   "phi", "\207\149";
1766   "ncongdot", "\226\169\173\204\184";
1767   "drcrop", "\226\140\140";
1768   "plussim", "\226\168\166";
1769   "angmsdae", "\226\166\172";
1770   "zhcy", "\208\182";
1771   "Nacute", "\197\131";
1772   "lcub", "{";
1773   "nrightarrow", "\226\134\155";
1774   "ltdot", "\226\139\150";
1775   "arctan", "arctan";
1776   "NotSucceedsSlantEqual", "\226\139\161";
1777   "UnderParenthesis", "\239\184\182";
1778   "rarrw", "\226\134\157";
1779   "nvltrie", "\226\139\172\204\184";
1780   "awconint", "\226\136\179";
1781   "tscy", "\209\134";
1782   "gdot", "\196\161";
1783   "simplus", "\226\168\164";
1784   "opar", "\226\166\183";
1785   "ThickSpace", "\226\128\137\226\128\138\226\128\138";
1786   "mDDot", "\226\136\186";
1787   "pluscir", "\226\168\162";
1788   "angrt", "\226\136\159";
1789   "gesdotol", "\226\170\132";
1790   "Tcedil", "\197\162";
1791   "egs", "\226\139\157";
1792   "setminus", "\226\136\150";
1793   "bullet", "\226\128\162";
1794   "approx", "\226\137\136";
1795   "NotSquareSubsetEqual", "\226\139\162";
1796   "ReverseUpEquilibrium", "\226\165\175";
1797   "langd", "\226\166\145";
1798   "siml", "\226\170\157";
1799   "nshortmid", "\226\136\164\239\184\128";
1800   "simne", "\226\137\134";
1801   "simrarr", "\226\165\178";
1802   "tan", "tan";
1803   "hom", "hom";
1804   "Ycy", "\208\171";
1805   "rfloor", "\226\140\139";
1806   "rarr", "\226\134\146";
1807   "leftarrow", "\226\134\144";
1808   "Dashv", "\226\171\164";
1809   "midcir", "\226\171\176";
1810   "intercal", "\226\138\186";
1811   "Amacr", "\196\128";
1812   "nshortparallel", "\226\136\166\239\184\128";
1813   "larrsim", "\226\165\179";
1814   "DiacriticalDoubleAcute", "\203\157";
1815   "lesseqqgtr", "\226\139\154";
1816   "gtlPar", "\226\166\149";
1817   "Ecaron", "\196\154";
1818   "boxvh", "\226\148\188";
1819   "ifr", "\240\157\148\166";
1820   "subdot", "\226\170\189";
1821   "acute", "\194\180";
1822   "UnderBar", "\204\178";
1823   "supset", "\226\138\131";
1824   "ltrPar", "\226\166\150";
1825   "Uopf", "\240\157\149\140";
1826   "Dopf", "\240\157\148\187";
1827   "rcaron", "\197\153";
1828   "trie", "\226\137\156";
1829   "varkappa", "\207\176";
1830   "sext", "\226\156\182";
1831   "lgE", "\226\170\145";
1832   "NotGreaterEqual", "\226\137\177\226\131\165";
1833   "csup", "\226\171\144";
1834   "RightCeiling", "\226\140\137";
1835   "kcy", "\208\186";
1836   "exist", "\226\136\131";
1837   "nu", "\206\189";
1838   "nleftarrow", "\226\134\154";
1839   "ropar", "\227\128\153";
1840   "lnapprox", "\226\170\137";
1841   "Ccedil", "\195\135";
1842   "Barv", "\226\171\167";
1843   "rthree", "\226\139\140";
1844   "kgreen", "\196\184";
1845   "dollar", "$";
1846   "Cconint", "\226\136\176";
1847   "DownLeftVectorBar", "\226\165\150";
1848   "GreaterEqual", "\226\137\165";
1849   "cfr", "\240\157\148\160";
1850   "gsiml", "\226\170\144";
1851   "lfisht", "\226\165\188";
1852   "lBarr", "\226\164\142";
1853   "chi", "\207\135";
1854   "rx", "\226\132\158";
1855   "Ntilde", "\195\145";
1856   "SmallCircle", "\226\136\152";
1857   "YAcy", "\208\175";
1858   "Sum", "\226\136\145";
1859   "Eogon", "\196\152";
1860   "boxUr", "\226\149\153";
1861   "bprime", "\226\128\181";
1862   "blank", "\226\144\163";
1863   "ShortLeftArrow", "\226\134\144\239\184\128";
1864   "divideontimes", "\226\139\135";
1865   "bumpeq", "\226\137\143";
1866   "wreath", "\226\137\128";
1867   "le", "\226\137\164";
1868   "DownArrowBar", "\226\164\147";
1869   "Iogon", "\196\174";
1870   "Mcy", "\208\156";
1871   "OElig", "\197\146";
1872   "utilde", "\197\169";
1873   "notin", "\226\136\137";
1874   "sinh", "sinh";
1875   "rbrack", "]";
1876   "Hcirc", "\196\164";
1877   "apE", "\226\137\138";
1878   "nspar", "\226\136\166\239\184\128";
1879   "NotSquareSuperset", "\226\138\144\204\184";
1880   "xi", "\206\190";
1881   "boxUL", "\226\149\157";
1882   "nrarr", "\226\134\155";
1883   "clubs", "\226\153\163";
1884   "Equal", "\226\169\181";
1885   "imacr", "\196\171";
1886   "gtrapprox", "\226\137\179";
1887   "angmsd", "\226\136\161";
1888   "ecolon", "\226\137\149";
1889   "ccupssm", "\226\169\144";
1890   "lbbrk", "\227\128\148";
1891   "breve", "\203\152";
1892   "Wfr", "\240\157\148\154";
1893   "fpartint", "\226\168\141";
1894   "Odblac", "\197\144";
1895   "boxVL", "\226\149\163";
1896   "epar", "\226\139\149";
1897   "cup", "\226\136\170";
1898   "piv", "\207\150";
1899   "mp", "\226\136\147";
1900   "xodot", "\226\138\153";
1901   "rhard", "\226\135\129";
1902   "incare", "\226\132\133";
1903   "NotNestedLessLess", "\226\146\161\204\184";
1904   "solb", "\226\167\132";
1905   "ncedil", "\197\134";
1906   "Uarr", "\226\134\159";
1907   "Sigma", "\206\163";
1908   "ominus", "\226\138\150";
1909   "nhpar", "\226\171\178";
1910   "yfr", "\240\157\148\182";
1911   "utrif", "\226\150\180";
1912   "NotLessLess", "\226\137\170\204\184\239\184\128";
1913   "ogon", "\203\155";
1914   "qint", "\226\168\140";
1915   "Coproduct", "\226\136\144";
1916   "bne", "=\226\131\165";
1917   "ldots", "\226\128\166";
1918   "squarf", "\226\150\170";
1919   "scedil", "\197\159";
1920   "ndash", "\226\128\147";
1921   "dzigrarr", "\239\150\162";
1922   "ogt", "\226\167\129";
1923   "sdote", "\226\169\166";
1924   "LeftDownTeeVector", "\226\165\161";
1925   "downharpoonleft", "\226\135\131";
1926   "questeq", "\226\137\159";
1927   "looparrowright", "\226\134\172";
1928   "boxminus", "\226\138\159";
1929   "iopf", "\240\157\149\154";
1930   "Idot", "\196\176";
1931   "thkap", "\226\137\136\239\184\128";
1932   "NotEqualTilde", "\226\137\130\204\184";
1933   "LeftDoubleBracket", "\227\128\154";
1934   "gsime", "\226\170\142";
1935   "angsph", "\226\136\162";
1936   "centerdot", "\194\183";
1937   "xotime", "\226\138\151";
1938   "timesd", "\226\168\176";
1939   "xoplus", "\226\138\149";
1940   "looparrowleft", "\226\134\171";
1941   "Integral", "\226\136\171";
1942   "varnothing", "\226\136\133";
1943   "excl", "!";
1944   "rarrc", "\226\164\179";
1945   "RightArrowLeftArrow", "\226\135\132";
1946   "jfr", "\240\157\148\167";
1947   "sime", "\226\137\131";
1948   "RightUpDownVector", "\226\165\143";
1949   "hArr", "\226\135\148";
1950   "Gcirc", "\196\156";
1951   "Abreve", "\196\130";
1952   "RightArrow", "\226\134\146";
1953   "numsp", "\226\128\135";
1954   "nedot", "\226\137\160\239\184\128";
1955   "cent", "\194\162";
1956   "nsc", "\226\138\129";
1957   "Dot", "\194\168";
1958   "Tab", "\t";
1959   "LowerLeftArrow", "\226\134\153";
1960   "gtrdot", "\226\139\151";
1961   "approxeq", "\226\137\138";
1962   "pi", "\207\128";
1963   "ngsim", "\226\137\181";
1964   "downharpoonright", "\226\135\130";
1965   "supseteq", "\226\138\135";
1966   "lstrok", "\197\130";
1967   "Vdash", "\226\138\169";
1968   "iiota", "\226\132\169";
1969   "gimel", "\226\132\183";
1970   "zigrarr", "\226\135\157";
1971   "nlE", "\226\137\176";
1972   "upsi", "\207\133";
1973   "capbrcup", "\226\169\137";
1974   "backepsilon", "\207\182";
1975   "napE", "\226\169\176\204\184";
1976   "Lstrok", "\197\129";
1977   "Cedilla", "\194\184";
1978   "nvgt", "\226\137\175";
1979   "bsemi", "\226\129\143";
1980   "star", "\226\139\134";
1981   "InvisibleTimes", "\226\129\162";
1982   "uuarr", "\226\135\136";
1983   "rharul", "\226\165\172";
1984   "rbrace", "}";
1985   "Imacr", "\196\170";
1986   "dArr", "\226\135\147";
1987   "Xi", "\206\158";
1988   "o", "\206\191";
1989   "Udblac", "\197\176";
1990   "dopf", "\240\157\149\149";
1991   "ulcorner", "\226\140\156";
1992   "emsp13", "\226\128\132";
1993   "ccaron", "\196\141";
1994   "tcaron", "\197\165";
1995   "Scirc", "\197\156";
1996   "eopf", "\240\157\149\150";
1997   "angrtvbd", "\226\166\157";
1998   "smt", "\226\170\170";
1999   "PartialD", "\226\136\130";
2000   "jopf", "\240\157\149\155";
2001   "Jcy", "\208\153";
2002   "tanh", "tanh";
2003   "nVDash", "\226\138\175";
2004   "longmapsto", "????";
2005   "eng", "\197\139";
2006   "weierp", "\226\132\152";
2007   "log", "log";
2008   "swarr", "\226\134\153";
2009   "xcap", "\226\139\130";
2010   "langle", "\226\140\169";
2011   "ddarr", "\226\135\138";
2012   "image", "\226\132\145";
2013   "Eacute", "\195\137";
2014   "curlyvee", "\226\139\142";
2015   "clubsuit", "\226\153\163";
2016   "caps", "\226\136\169\239\184\128";
2017   "topf", "\240\157\149\165";
2018   "Hat", "\204\130";
2019   "Gg", "\226\139\153";
2020   "prsim", "\226\137\190";
2021   "checkmark", "\226\156\147";
2022   "rightrightarrows", "\226\135\137";
2023   "omacr", "\197\141";
2024   "isindot", "\226\139\181";
2025   "gopf", "\240\157\149\152";
2026   "Union", "\226\139\131";
2027   "cupcup", "\226\169\138";
2028   "vsupnE", "\226\138\139\239\184\128";
2029   "Ocirc", "\195\148";
2030   "Nopf", "\226\132\149";
2031   "Square", "\226\150\161";
2032   "iacute", "\195\173";
2033   "fscr", "\240\157\146\187";
2034   "boxH", "\226\149\144";
2035   "or", "\226\136\168";
2036   "gvertneqq", "\226\137\169\239\184\128";
2037   "yscr", "\240\157\147\142";
2038   "sung", "\226\153\170";
2039   "CounterClockwiseContourIntegral", "\226\136\179";
2040   "boxh", "\226\148\128";
2041   "icy", "\208\184";
2042   "GreaterLess", "\226\137\183";
2043   "shchcy", "\209\137";
2044   "Qopf", "\226\132\154";
2045   "ndivides", "\226\136\164";
2046   "thorn", "\195\190";
2047   "searhk", "\226\164\165";
2048   "rbrke", "\226\166\140";
2049   "Dstrok", "\196\144";
2050   "acd", "\226\136\191";
2051   "Vscr", "\240\157\146\177";
2052   "csupe", "\226\171\146";
2053   "ruluhar", "\226\165\168";
2054   "dstrok", "\196\145";
2055   "cacute", "\196\135";
2056   "Mscr", "\226\132\179";
2057   "odash", "\226\138\157";
2058   "frac15", "\226\133\149";
2059   "cwconint", "\226\136\178";
2060   "Acy", "\208\144";
2061   "jsercy", "\209\152";
2062   "cylcty", "\226\140\173";
2063   "mlcp", "\226\171\155";
2064   "rdsh", "\226\134\179";
2065   "simdot", "\226\169\170";
2066   "LeftTee", "\226\138\163";
2067   "laquo", "\194\171";
2068   "Ecy", "\208\173";
2069   "Dscr", "\240\157\146\159";
2070   "UpperLeftArrow", "\226\134\150";
2071   "scnap", "\226\139\169";
2072   "nearr", "\226\134\151";
2073   "varpi", "\207\150";
2074   "Cayleys", "\226\132\173";
2075   "Zfr", "\226\132\168";
2076   "larrlp", "\226\134\171";
2077   "udblac", "\197\177";
2078   "Ucy", "\208\163";
2079   "nopf", "\240\157\149\159";
2080   "wedbar", "\226\169\159";
2081   "csc", "csc";
2082   "Uscr", "\240\157\146\176";
2083   "sol", "/";
2084   "nfr", "\240\157\148\171";
2085   "lrarr", "\226\135\134";
2086   "race", "\226\167\154";
2087   "gg", "\226\137\171";
2088   "rsquor", "\226\128\153";
2089   "Ifr", "\226\132\145";
2090   "NJcy", "\208\138";
2091   "lneq", "\226\137\168";
2092   "exponentiale", "\226\133\135";
2093   "toea", "\226\164\168";
2094   "laemptyv", "\226\166\180";
2095   "capcap", "\226\169\139";
2096   "isinv", "\226\136\136";
2097   "varr", "\226\134\149";
2098   "Otilde", "\195\149";
2099   "ltcir", "\226\169\185";
2100   "cap", "\226\136\169";
2101   "therefore", "\226\136\180";
2102   "malt", "\226\156\160";
2103   "ucy", "\209\131";
2104   "LeftUpTeeVector", "\226\165\160";
2105   "omega", "\207\137";
2106   "Assign", "\226\137\148";
2107   "LeftRightVector", "\226\165\142";
2108   "cong", "\226\137\133";
2109   "pfr", "\240\157\148\173";
2110   "Exists", "\226\136\131";
2111   "loplus", "\226\168\173";
2112   "Or", "\226\169\148";
2113   "dcy", "\208\180";
2114   "Topf", "\240\157\149\139";
2115   "rdquor", "\226\128\157";
2116   "CirclePlus", "\226\138\149";
2117   "lrhard", "\226\165\173";
2118   "Sup", "\226\139\145";
2119   "nsmid", "\226\136\164\239\184\128";
2120   "RightTriangle", "\226\138\179";
2121   "gesdoto", "\226\170\130";
2122   "NotSquareSubset", "\226\138\143\204\184";
2123   "suphsub", "\226\171\151";
2124   "sqcups", "\226\138\148\239\184\128";
2125   "eacute", "\195\169";
2126   "exists", "\226\136\131";
2127   "utri", "\226\150\181";
2128   "Sfr", "\240\157\148\150";
2129   "nles", "\226\137\176";
2130   "vprop", "\226\136\157";
2131   "NegativeVeryThinSpace", "\226\128\138\239\184\128";
2132   "isinE", "\226\139\185";
2133   "otilde", "\195\181";
2134   ];;
2135 let _ =
2136   List.iter
2137     (fun (macro, utf8) ->
2138       Hashtbl.replace macro2utf8 macro utf8;
2139       Hashtbl.replace utf82macro utf8 macro)
2140     data;;