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