/* TODO: include GPL headers */
#include <hashtab.h>
static struct element entities_htable_elements[] = {
{(const unsigned char*)"varpropto", 8733},
{(const unsigned char*)"ncong", 8775},
{(const unsigned char*)"grave", 96},
{NULL, 0},
{(const unsigned char*)"toea", 10536},
{(const unsigned char*)"map", 8614},
{(const unsigned char*)"nap", 8777},
{(const unsigned char*)"lap", 10885},
{NULL, 0},
{(const unsigned char*)"gap", 10886},
{NULL, 0},
{(const unsigned char*)"twoheadrightarrow", 8608},
{NULL, 0},
{(const unsigned char*)"Ll", 8920},
{(const unsigned char*)"amalg", 10815},
{(const unsigned char*)"geqslant", 10878},
{NULL, 0},
{(const unsigned char*)"origof", 8886},
{(const unsigned char*)"Tab", 9},
{NULL, 0},
{(const unsigned char*)"leqslant", 10877},
{(const unsigned char*)"asympeq", 8781},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"sext", 10038},
{(const unsigned char*)"Wedge", 8896},
{(const unsigned char*)"sqcap", 8851},
{(const unsigned char*)"loang", 12312},
{(const unsigned char*)"ngeq", 8817},
{NULL, 0},
{(const unsigned char*)"NotLessTilde", 8820},
{(const unsigned char*)"nwArr", 8662},
{NULL, 0},
{(const unsigned char*)"roang", 12313},
{(const unsigned char*)"Delta", 916},
{NULL, 0},
{(const unsigned char*)"swArr", 8665},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"DifferentialD", 8518},
{(const unsigned char*)"gl", 8823},
{(const unsigned char*)"loz", 9674},
{(const unsigned char*)"Prime", 8243},
{(const unsigned char*)"ShortRightArrow", 8594},
{(const unsigned char*)"sigmaf", 962},
{(const unsigned char*)"ll", 8810},
{(const unsigned char*)"rx", 8478},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"circledS", 9416},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"notni", 8716},
{NULL, 0},
{(const unsigned char*)"wedge", 8743},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"rightrightarrows", 8649},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"delta", 948},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"ffllig", 64260},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"Bernoullis", 8492},
{(const unsigned char*)"djcy", 1106},
{NULL, 0},
{(const unsigned char*)"gjcy", 1107},
{(const unsigned char*)"prime", 8242},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"kjcy", 1116},
{(const unsigned char*)"ljcy", 1113},
{(const unsigned char*)"lmoustache", 9136},
{(const unsigned char*)"njcy", 1114},
{(const unsigned char*)"boxDl", 9558},
{(const unsigned char*)"clubs", 9827},
{(const unsigned char*)"Integral", 8747},
{NULL, 0},
{(const unsigned char*)"rmoustache", 9137},
{(const unsigned char*)"sol", 47},
{(const unsigned char*)"SquareSubset", 8847},
{NULL, 0},
{(const unsigned char*)"rect", 9645},
{(const unsigned char*)"sect", 167},
{(const unsigned char*)"VeryThinSpace", 8202},
{(const unsigned char*)"lesssim", 8818},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"UnderBrace", 65080},
{NULL, 0},
{(const unsigned char*)"comp", 8705},
{(const unsigned char*)"mapstoup", 8613},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"circ", 710},
{(const unsigned char*)"complement", 8705},
{(const unsigned char*)"flat", 9837},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"LowerLeftArrow", 8601},
{NULL, 0},
{(const unsigned char*)"cuesc", 8927},
{(const unsigned char*)"sce", 10928},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"euro", 8364},
{(const unsigned char*)"succcurlyeq", 8829},
{(const unsigned char*)"LeftCeiling", 8968},
{(const unsigned char*)"vprop", 8733},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"nexists", 8708},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"pitchfork", 8916},
{(const unsigned char*)"darr2", 8650},
{NULL, 0},
{(const unsigned char*)"Ubrcy", 1038},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"sqsupe", 8850},
{(const unsigned char*)"eparsl", 10723},
{NULL, 0},
{(const unsigned char*)"larr2", 8647},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"LeftUpVectorBar", 10584},
{(const unsigned char*)"sqsupseteq", 8850},
{NULL, 0},
{(const unsigned char*)"rarr2", 8649},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"uarr2", 8648},
{(const unsigned char*)"veeeq", 8794},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"AElig", 198},
{(const unsigned char*)"notnivb", 8958},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"plusb", 8862},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"DoubleRightTee", 8872},
{(const unsigned char*)"NotSquareSupersetEqual", 8931},
{(const unsigned char*)"hookrightarrow", 8618},
{(const unsigned char*)"ubrcy", 1118},
{NULL, 0},
{(const unsigned char*)"OElig", 338},
{NULL, 0},
{(const unsigned char*)"NotGreaterTilde", 8821},
{(const unsigned char*)"filig", 64257},
{(const unsigned char*)"nlt", 8814},
{(const unsigned char*)"Agr", 913},
{(const unsigned char*)"GreaterEqual", 8805},
{(const unsigned char*)"mldr", 8230},
{(const unsigned char*)"nldr", 8229},
{(const unsigned char*)"drcrop", 8972},
{(const unsigned char*)"Dgr", 916},
{(const unsigned char*)"Bgr", 914},
{(const unsigned char*)"Igr", 921},
{(const unsigned char*)"angmsd", 8737},
{(const unsigned char*)"trie", 8796},
{(const unsigned char*)"Kgr", 922},
{(const unsigned char*)"Ggr", 915},
{(const unsigned char*)"Mgr", 924},
{(const unsigned char*)"Egr", 917},
{(const unsigned char*)"Ogr", 927},
{(const unsigned char*)"Ngr", 925},
{(const unsigned char*)"Lgr", 923},
{(const unsigned char*)"Pgr", 928},
{(const unsigned char*)"Sgr", 931},
{(const unsigned char*)"cong", 8773},
{(const unsigned char*)"doteqdot", 8785},
{(const unsigned char*)"urcrop", 8974},
{(const unsigned char*)"Rgr", 929},
{(const unsigned char*)"Xgr", 926},
{(const unsigned char*)"Tgr", 932},
{(const unsigned char*)"Ugr", 933},
{NULL, 0},
{(const unsigned char*)"nless", 8814},
{(const unsigned char*)"LeftTee", 8867},
{(const unsigned char*)"OverBar", 175},
{(const unsigned char*)"Zgr", 918},
{(const unsigned char*)"agr", 945},
{(const unsigned char*)"bgr", 946},
{(const unsigned char*)"phis", 981},
{(const unsigned char*)"dgr", 948},
{(const unsigned char*)"intlarhk", 10775},
{(const unsigned char*)"boxplus", 8862},
{(const unsigned char*)"ggr", 947},
{(const unsigned char*)"egr", 949},
{(const unsigned char*)"nrtrie", 8941},
{(const unsigned char*)"rdldhar", 10601},
{(const unsigned char*)"lrcorner", 8991},
{(const unsigned char*)"igr", 953},
{(const unsigned char*)"lgr", 955},
{(const unsigned char*)"lhblk", 9604},
{(const unsigned char*)"ngr", 957},
{(const unsigned char*)"mgr", 956},
{(const unsigned char*)"kgr", 954},
{(const unsigned char*)"ogr", 959},
{(const unsigned char*)"urcorner", 8989},
{(const unsigned char*)"sgr", 963},
{(const unsigned char*)"boxUL", 9565},
{(const unsigned char*)"npolint", 10772},
{(const unsigned char*)"uhblk", 9600},
{(const unsigned char*)"rgr", 961},
{(const unsigned char*)"curarrm", 10556},
{(const unsigned char*)"pgr", 960},
{(const unsigned char*)"ruluhar", 10600},
{(const unsigned char*)"lbbrk", 12308},
{(const unsigned char*)"zgr", 950},
{(const unsigned char*)"tgr", 964},
{(const unsigned char*)"ugr", 965},
{NULL, 0},
{(const unsigned char*)"rbbrk", 12309},
{(const unsigned char*)"profline", 8978},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"rlm", 8207},
{(const unsigned char*)"OverBrace", 65079},
{(const unsigned char*)"xgr", 958},
{(const unsigned char*)"lsaquo", 8249},
{NULL, 0},
{(const unsigned char*)"nwarrow", 8598},
{(const unsigned char*)"Equilibrium", 8652},
{NULL, 0},
{(const unsigned char*)"rsaquo", 8250},
{NULL, 0},
{(const unsigned char*)"swarrow", 8601},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"prec", 8826},
{(const unsigned char*)"ltrie", 8884},
{(const unsigned char*)"dharl", 8643},
{(const unsigned char*)"shortmid", 8739},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"nleftrightarrow", 8622},
{(const unsigned char*)"rtrie", 8885},
{(const unsigned char*)"Im", 8465},
{(const unsigned char*)"frown", 8994},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"pertenk", 8241},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"lessgtr", 8822},
{(const unsigned char*)"bigvee", 8897},
{(const unsigned char*)"supseteq", 8839},
{(const unsigned char*)"uharl", 8639},
{NULL, 0},
{(const unsigned char*)"Longrightarrow", 10233},
{(const unsigned char*)"lrarr2", 8646},
{NULL, 0},
{(const unsigned char*)"wreath", 8768},
{NULL, 0},
{(const unsigned char*)"Updownarrow", 8661},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"lessdot", 8918},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"nlArr", 8653},
{(const unsigned char*)"SOFTcy", 1068},
{NULL, 0},
{(const unsigned char*)"Barwed", 8966},
{(const unsigned char*)"upharpoonleft", 8639},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"FilledVerySmallSquare", 9642},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"coprod", 8720},
{(const unsigned char*)"pm", 177},
{NULL, 0},
{(const unsigned char*)"nLeftarrow", 8653},
{NULL, 0},
{(const unsigned char*)"DScy", 1029},
{(const unsigned char*)"xlArr", 10232},
{(const unsigned char*)"longrightarrow", 10230},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"subseteq", 8838},
{NULL, 0},
{(const unsigned char*)"updownarrow", 8597},
{(const unsigned char*)"bsime", 8909},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"supsetneq", 8843},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"frac56", 8538},
{NULL, 0},
{(const unsigned char*)"TScy", 1062},
{NULL, 0},
{(const unsigned char*)"zeetrf", 8488},
{(const unsigned char*)"ogon", 731},
{(const unsigned char*)"barwed", 8965},
{(const unsigned char*)"nsime", 8772},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"lEg", 10891},
{(const unsigned char*)"lrhar", 8651},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"boxminus", 8863},
{(const unsigned char*)"ape", 8778},
{NULL, 0},
{(const unsigned char*)"divonx", 8903},
{(const unsigned char*)"hksearow", 10533},
{(const unsigned char*)"boxhD", 9573},
{(const unsigned char*)"NotLessEqual", 8816},
{(const unsigned char*)"ang90", 8735},
{(const unsigned char*)"sstarf", 8902},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"subsetneq", 8842},
{(const unsigned char*)"Darr", 8609},
{NULL, 0},
{(const unsigned char*)"curarr", 8631},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"real", 8476},
{(const unsigned char*)"Larr", 8606},
{(const unsigned char*)"CircleDot", 8857},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"CircleTimes", 8855},
{(const unsigned char*)"Rarr", 8608},
{(const unsigned char*)"varpi", 982},
{(const unsigned char*)"SuchThat", 8715},
{(const unsigned char*)"Uarr", 8607},
{(const unsigned char*)"smeparsl", 10724},
{NULL, 0},
{(const unsigned char*)"orslope", 10839},
{(const unsigned char*)"cuwed", 8911},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"Breve", 728},
{(const unsigned char*)"nwarr", 8598},
{NULL, 0},
{(const unsigned char*)"orv", 10843},
{(const unsigned char*)"zwj", 8205},
{(const unsigned char*)"swarr", 8601},
{NULL, 0},
{(const unsigned char*)"darr", 8595},
{(const unsigned char*)"gtrdot", 8919},
{(const unsigned char*)"precneqq", 10933},
{(const unsigned char*)"LessGreater", 8822},
{(const unsigned char*)"harr", 8596},
{(const unsigned char*)"UpperLeftArrow", 8598},
{(const unsigned char*)"Verbar", 8214},
{(const unsigned char*)"harrw", 8621},
{(const unsigned char*)"TildeTilde", 8776},
{(const unsigned char*)"larr", 8592},
{NULL, 0},
{(const unsigned char*)"succsim", 8831},
{(const unsigned char*)"rarrw", 8605},
{NULL, 0},
{(const unsigned char*)"rarr", 8594},
{(const unsigned char*)"prnE", 10933},
{(const unsigned char*)"Hat", 94},
{(const unsigned char*)"uarr", 8593},
{(const unsigned char*)"varr", 8597},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"boxvR", 9566},
{NULL, 0},
{(const unsigned char*)"micro", 181},
{(const unsigned char*)"breve", 728},
{NULL, 0},
{(const unsigned char*)"nequiv", 8802},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"verbar", 124},
{(const unsigned char*)"lopar", 10629},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"frac35", 8535},
{(const unsigned char*)"RightArrow", 8594},
{(const unsigned char*)"copy", 169},
{(const unsigned char*)"ropar", 10630},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"nsubseteq", 8840},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"nvlArr", 10498},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"setminus", 8726},
{(const unsigned char*)"boxvH", 9578},
{(const unsigned char*)"doteq", 8784},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"vartriangleleft", 8882},
{NULL, 0},
{(const unsigned char*)"RightTriangleBar", 10704},
{(const unsigned char*)"shy", 173},
{(const unsigned char*)"RightUpVectorBar", 10580},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"Kappa", 922},
{NULL, 0},
{(const unsigned char*)"leftrightarrows", 8646},
{(const unsigned char*)"sqsupset", 8848},
{(const unsigned char*)"rationals", 8474},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"cent", 162},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"lobrk", 12314},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"OverBracket", 9140},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"robrk", 12315},
{(const unsigned char*)"Fouriertrf", 8497},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"blacktriangleleft", 9666},
{(const unsigned char*)"bumpe", 8783},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"kappa", 954},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"weierp", 8472},
{NULL, 0},
{(const unsigned char*)"intcal", 8890},
{(const unsigned char*)"rarrc", 10547},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"iiint", 8749},
{NULL, 0},
{(const unsigned char*)"boxdr", 9484},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"percnt", 37},
{(const unsigned char*)"top", 8868},
{NULL, 0},
{(const unsigned char*)"ffilig", 64259},
{(const unsigned char*)"notnivc", 8957},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"diams", 9830},
{NULL, 0},
{(const unsigned char*)"maltese", 10016},
{(const unsigned char*)"vartriangleright", 8883},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"OverParenthesis", 65077},
{(const unsigned char*)"nesear", 10536},
{(const unsigned char*)"LessFullEqual", 8806},
{NULL, 0},
{(const unsigned char*)"UpDownArrow", 8597},
{(const unsigned char*)"measuredangle", 8737},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"Leftarrow", 8656},
{(const unsigned char*)"HumpDownHump", 8782},
{(const unsigned char*)"frac14", 188},
{NULL, 0},
{(const unsigned char*)"LeftUpVector", 8639},
{(const unsigned char*)"bigotimes", 10754},
{(const unsigned char*)"questeq", 8799},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"GreaterFullEqual", 8807},
{NULL, 0},
{(const unsigned char*)"in", 8712},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"Del", 8711},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"CHcy", 1063},
{(const unsigned char*)"supne", 8843},
{NULL, 0},
{(const unsigned char*)"leftarrow", 8592},
{(const unsigned char*)"ges", 10878},
{(const unsigned char*)"bnot", 8976},
{(const unsigned char*)"mumap", 8888},
{(const unsigned char*)"LeftTriangleEqual", 8884},
{(const unsigned char*)"KHcy", 1061},
{(const unsigned char*)"les", 10877},
{(const unsigned char*)"xutri", 9651},
{NULL, 0},
{(const unsigned char*)"caron", 711},
{NULL, 0},
{(const unsigned char*)"EqualTilde", 8770},
{(const unsigned char*)"UnderBar", 818},
{(const unsigned char*)"SHcy", 1064},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"ZHcy", 1046},
{(const unsigned char*)"gel", 8923},
{(const unsigned char*)"Vee", 8897},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"subne", 8842},
{NULL, 0},
{(const unsigned char*)"ngtr", 8815},
{(const unsigned char*)"isins", 8948},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"angle", 8736},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"ThinSpace", 8201},
{(const unsigned char*)"samalg", 8720},
{NULL, 0},
{(const unsigned char*)"supseteqq", 10950},
{(const unsigned char*)"SucceedsEqual", 10928},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"vee", 8744},
{NULL, 0},
{(const unsigned char*)"approxeq", 8778},
{(const unsigned char*)"leftarrowtail", 8610},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"dHar", 10597},
{(const unsigned char*)"andand", 10837},
{(const unsigned char*)"dlarr", 8601},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"circeq", 8791},
{NULL, 0},
{(const unsigned char*)"Lsh", 8624},
{(const unsigned char*)"laquo", 171},
{(const unsigned char*)"coloneq", 8788},
{(const unsigned char*)"llarr", 8647},
{(const unsigned char*)"Int", 8748},
{(const unsigned char*)"nlarr", 8602},
{(const unsigned char*)"Rsh", 8625},
{(const unsigned char*)"varepsilon", 949},
{(const unsigned char*)"olarr", 8634},
{(const unsigned char*)"raquo", 187},
{(const unsigned char*)"slarr", 8592},
{(const unsigned char*)"rlarr", 8644},
{(const unsigned char*)"boxuR", 9560},
{(const unsigned char*)"minus", 8722},
{(const unsigned char*)"xlarr", 10229},
{(const unsigned char*)"lHar", 10594},
{(const unsigned char*)"rHar", 10596},
{(const unsigned char*)"subseteqq", 10949},
{NULL, 0},
{(const unsigned char*)"uHar", 10595},
{(const unsigned char*)"epsis", 1013},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"ssetmn", 8726},
{(const unsigned char*)"equals", 61},
{NULL, 0},
{(const unsigned char*)"NotExists", 8708},
{(const unsigned char*)"prnsim", 8936},
{(const unsigned char*)"lsh", 8624},
{(const unsigned char*)"curlyeqsucc", 8927},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"int", 8747},
{NULL, 0},
{(const unsigned char*)"rsh", 8625},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"LessSlantEqual", 10877},
{(const unsigned char*)"DiacriticalDot", 729},
{NULL, 0},
{(const unsigned char*)"nvDash", 8877},
{(const unsigned char*)"prnap", 10937},
{(const unsigned char*)"ZeroWidthSpace", 8203},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"oplus", 8853},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"middot", 183},
{NULL, 0},
{(const unsigned char*)"emptyset", 8709},
{(const unsigned char*)"uplus", 8846},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"boxhu", 9524},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"softcy", 1100},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"squarf", 9642},
{(const unsigned char*)"TripleDot", 8411},
{(const unsigned char*)"DownTee", 8868},
{(const unsigned char*)"cir", 9675},
{(const unsigned char*)"expectation", 8496},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"cirfnint", 10768},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"sfrown", 8994},
{(const unsigned char*)"ntriangleright", 8939},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"nisd", 8954},
{(const unsigned char*)"dash", 8208},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"nvHarr", 10500},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"hybull", 8259},
{(const unsigned char*)"RightArrowBar", 8677},
{(const unsigned char*)"leftrightsquigarrow", 8621},
{(const unsigned char*)"minusb", 8863},
{NULL, 0},
{(const unsigned char*)"frac38", 8540},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"centerdot", 183},
{(const unsigned char*)"nwnear", 10535},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"larrpl", 10553},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"hookleftarrow", 8617},
{(const unsigned char*)"hellip", 8230},
{(const unsigned char*)"rarrpl", 10565},
{(const unsigned char*)"mid", 8739},
{NULL, 0},
{(const unsigned char*)"oast", 8859},
{(const unsigned char*)"NotTildeTilde", 8777},
{NULL, 0},
{(const unsigned char*)"NotTilde", 8769},
{(const unsigned char*)"ohacgr", 974},
{(const unsigned char*)"marker", 9646},
{(const unsigned char*)"langle", 9001},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"vellip", 8942},
{(const unsigned char*)"NotRightTriangleEqual", 8941},
{(const unsigned char*)"rangle", 9002},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"gnsim", 8935},
{(const unsigned char*)"malt", 10016},
{(const unsigned char*)"times", 215},
{(const unsigned char*)"RightDownTeeVector", 10589},
{NULL, 0},
{(const unsigned char*)"lnsim", 8934},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"preceq", 10927},
{(const unsigned char*)"equiv", 8801},
{(const unsigned char*)"geqq", 8807},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"Iota", 921},
{(const unsigned char*)"leqq", 8806},
{NULL, 0},
{(const unsigned char*)"cuepr", 8926},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"boxtimes", 8864},
{(const unsigned char*)"numero", 8470},
{(const unsigned char*)"setmn", 8726},
{NULL, 0},
{(const unsigned char*)"ForAll", 8704},
{NULL, 0},
{(const unsigned char*)"excl", 33},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"bsol", 92},
{(const unsigned char*)"imof", 8887},
{(const unsigned char*)"dsol", 10742},
{(const unsigned char*)"ic", 8291},
{(const unsigned char*)"ReverseElement", 8715},
{(const unsigned char*)"Exists", 8707},
{NULL, 0},
{(const unsigned char*)"parsl", 11005},
{(const unsigned char*)"bprime", 8245},
{(const unsigned char*)"Ccedil", 199},
{(const unsigned char*)"sc", 8827},
{(const unsigned char*)"propto", 8733},
{NULL, 0},
{(const unsigned char*)"osol", 8856},
{(const unsigned char*)"RightVectorBar", 10579},
{(const unsigned char*)"iota", 953},
{(const unsigned char*)"boxDR", 9556},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"Theta", 920},
{(const unsigned char*)"lharu", 8636},
{(const unsigned char*)"Because", 8757},
{(const unsigned char*)"qprime", 8279},
{(const unsigned char*)"simrarr", 10610},
{NULL, 0},
{(const unsigned char*)"tprime", 8244},
{(const unsigned char*)"rharu", 8640},
{(const unsigned char*)"vprime", 8242},
{(const unsigned char*)"YUcy", 1070},
{(const unsigned char*)"plusmn", 177},
{NULL, 0},
{(const unsigned char*)"planckh", 8462},
{(const unsigned char*)"YIcy", 1031},
{NULL, 0},
{(const unsigned char*)"NotRightTriangle", 8939},
{(const unsigned char*)"becaus", 8757},
{NULL, 0},
{(const unsigned char*)"PrecedesEqual", 10927},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"nsupe", 8841},
{(const unsigned char*)"ccedil", 231},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"yacy", 1103},
{(const unsigned char*)"succnsim", 8937},
{(const unsigned char*)"theta", 952},
{(const unsigned char*)"because", 8757},
{(const unsigned char*)"pre", 10927},
{NULL, 0},
{(const unsigned char*)"sharp", 9839},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"timesb", 8864},
{(const unsigned char*)"Longleftarrow", 10232},
{(const unsigned char*)"Sqrt", 8730},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"Vert", 8214},
{NULL, 0},
{(const unsigned char*)"Rho", 929},
{NULL, 0},
{(const unsigned char*)"LeftDownTeeVector", 10593},
{(const unsigned char*)"erDot", 8787},
{NULL, 0},
{(const unsigned char*)"integers", 8484},
{(const unsigned char*)"Dot", 168},
{(const unsigned char*)"eqvparsl", 10725},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"efDot", 8786},
{NULL, 0},
{(const unsigned char*)"NewLine", 10},
{(const unsigned char*)"sbquo", 8218},
{NULL, 0},
{(const unsigned char*)"Diamond", 8900},
{(const unsigned char*)"Not", 10988},
{NULL, 0},
{(const unsigned char*)"Eta", 919},
{(const unsigned char*)"longleftarrow", 10229},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"starf", 9733},
{(const unsigned char*)"RoundImplies", 10608},
{(const unsigned char*)"RightAngleBracket", 9002},
{NULL, 0},
{(const unsigned char*)"diamondsuit", 9830},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"vert", 124},
{(const unsigned char*)"eth", 240},
{(const unsigned char*)"NotReverseElement", 8716},
{(const unsigned char*)"Longleftrightarrow", 10234},
{(const unsigned char*)"ssmile", 8995},
{(const unsigned char*)"bot", 8869},
{(const unsigned char*)"supe", 8839},
{(const unsigned char*)"dot", 729},
{(const unsigned char*)"pointint", 10773},
{(const unsigned char*)"intercal", 8890},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"rho", 961},
{NULL, 0},
{(const unsigned char*)"primes", 8473},
{(const unsigned char*)"fllig", 64258},
{NULL, 0},
{(const unsigned char*)"diamond", 8900},
{(const unsigned char*)"not", 172},
{(const unsigned char*)"precapprox", 10935},
{(const unsigned char*)"eta", 951},
{NULL, 0},
{(const unsigned char*)"backprime", 8245},
{(const unsigned char*)"GreaterEqualLess", 8923},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"RightTeeArrow", 8614},
{(const unsigned char*)"boxHd", 9572},
{(const unsigned char*)"Gammad", 988},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"Assign", 8788},
{(const unsigned char*)"squf", 9642},
{(const unsigned char*)"angzarr", 9084},
{(const unsigned char*)"longleftrightarrow", 10231},
{NULL, 0},
{(const unsigned char*)"pound", 163},
{(const unsigned char*)"topbot", 9014},
{(const unsigned char*)"twoheadleftarrow", 8606},
{(const unsigned char*)"Congruent", 8801},
{(const unsigned char*)"nshortparallel", 8742},
{(const unsigned char*)"LeftArrowRightArrow", 8646},
{NULL, 0},
{(const unsigned char*)"sube", 8838},
{NULL, 0},
{(const unsigned char*)"hamilt", 8459},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"harrcir", 10568},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"boxV", 9553},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"gammad", 989},
{(const unsigned char*)"OpenCurlyDoubleQuote", 8220},
{NULL, 0},
{(const unsigned char*)"target", 8982},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"bigsqcup", 10758},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"boxVr", 9567},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"eegr", 951},
{(const unsigned char*)"awint", 10769},
{(const unsigned char*)"EEacgr", 905},
{(const unsigned char*)"cwint", 8753},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"RightVector", 8640},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"Vvdash", 8874},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"Aacute", 193},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"Eacute", 201},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"Iacute", 205},
{(const unsigned char*)"boxHU", 9577},
{(const unsigned char*)"daleth", 8504},
{(const unsigned char*)"olcross", 10683},
{(const unsigned char*)"eqcirc", 8790},
{NULL, 0},
{(const unsigned char*)"Oacute", 211},
{(const unsigned char*)"bigodot", 10752},
{(const unsigned char*)"notinva", 8713},
{(const unsigned char*)"LeftRightArrow", 8596},
{(const unsigned char*)"lozenge", 9674},
{NULL, 0},
{(const unsigned char*)"Uacute", 218},
{(const unsigned char*)"nvdash", 8876},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"Yacute", 221},
{(const unsigned char*)"boxvL", 9569},
{(const unsigned char*)"Bscr", 8492},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"Escr", 8496},
{(const unsigned char*)"Fscr", 8497},
{(const unsigned char*)"Hacek", 711},
{(const unsigned char*)"Hscr", 8459},
{(const unsigned char*)"Iscr", 8464},
{(const unsigned char*)"boxVh", 9579},
{(const unsigned char*)"aacute", 225},
{(const unsigned char*)"Lscr", 8466},
{(const unsigned char*)"Mscr", 8499},
{(const unsigned char*)"Downarrow", 8659},
{(const unsigned char*)"eacute", 233},
{(const unsigned char*)"iacute", 237},
{(const unsigned char*)"VerticalLine", 124},
{(const unsigned char*)"Rscr", 8475},
{(const unsigned char*)"ap", 8776},
{(const unsigned char*)"NegativeVeryThinSpace", 8203},
{(const unsigned char*)"LessTilde", 8818},
{(const unsigned char*)"oacute", 243},
{(const unsigned char*)"blk12", 9618},
{(const unsigned char*)"frac25", 8534},
{(const unsigned char*)"mp", 8723},
{(const unsigned char*)"fnof", 402},
{(const unsigned char*)"Conint", 8751},
{(const unsigned char*)"uacute", 250},
{(const unsigned char*)"dd", 8518},
{(const unsigned char*)"scsim", 8831},
{(const unsigned char*)"NotSucceeds", 8833},
{(const unsigned char*)"yacute", 253},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"wp", 8472},
{(const unsigned char*)"infin", 8734},
{(const unsigned char*)"escr", 8495},
{NULL, 0},
{(const unsigned char*)"DJcy", 1026},
{(const unsigned char*)"gscr", 8458},
{(const unsigned char*)"LowerRightArrow", 8600},
{(const unsigned char*)"GJcy", 1027},
{(const unsigned char*)"dzcy", 1119},
{(const unsigned char*)"brvbar", 166},
{(const unsigned char*)"sqcup", 8852},
{(const unsigned char*)"KJcy", 1036},
{(const unsigned char*)"LJcy", 1033},
{(const unsigned char*)"oscr", 8500},
{(const unsigned char*)"NJcy", 1034},
{(const unsigned char*)"ddagger", 8225},
{(const unsigned char*)"Agrave", 192},
{(const unsigned char*)"downarrow", 8595},
{NULL, 0},
{(const unsigned char*)"duhar", 10607},
{(const unsigned char*)"Egrave", 200},
{(const unsigned char*)"Oslash", 216},
{NULL, 0},
{(const unsigned char*)"preccurlyeq", 8828},
{(const unsigned char*)"Igrave", 204},
{(const unsigned char*)"conint", 8750},
{(const unsigned char*)"drbkarow", 10512},
{(const unsigned char*)"DownRightTeeVector", 10591},
{(const unsigned char*)"odot", 8857},
{NULL, 0},
{(const unsigned char*)"Ograve", 210},
{(const unsigned char*)"ldot", 8918},
{(const unsigned char*)"LeftAngleBracket", 9001},
{(const unsigned char*)"tdot", 8411},
{(const unsigned char*)"idiagr", 912},
{(const unsigned char*)"sdot", 8901},
{(const unsigned char*)"Ugrave", 217},
{(const unsigned char*)"triangleleft", 9667},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"diam", 8900},
{(const unsigned char*)"commat", 64},
{(const unsigned char*)"udiagr", 944},
{(const unsigned char*)"larrb", 8676},
{(const unsigned char*)"hslash", 8463},
{(const unsigned char*)"rightleftarrows", 8644},
{(const unsigned char*)"succnapprox", 10938},
{(const unsigned char*)"agrave", 224},
{NULL, 0},
{(const unsigned char*)"egs", 10902},
{NULL, 0},
{(const unsigned char*)"egrave", 232},
{(const unsigned char*)"oslash", 248},
{NULL, 0},
{(const unsigned char*)"nge", 8817},
{(const unsigned char*)"igrave", 236},
{(const unsigned char*)"hbar", 8463},
{NULL, 0},
{(const unsigned char*)"NestedLessLess", 8810},
{NULL, 0},
{(const unsigned char*)"nexist", 8708},
{(const unsigned char*)"ograve", 242},
{NULL, 0},
{(const unsigned char*)"ldquor", 8222},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"rdquor", 8221},
{(const unsigned char*)"ugrave", 249},
{(const unsigned char*)"div", 247},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"blacktriangledown", 9662},
{(const unsigned char*)"UpArrow", 8593},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"niv", 8715},
{(const unsigned char*)"llhard", 10603},
{(const unsigned char*)"boxdl", 9488},
{(const unsigned char*)"piv", 982},
{NULL, 0},
{(const unsigned char*)"NotPrecedes", 8832},
{(const unsigned char*)"lbarr", 10508},
{NULL, 0},
{(const unsigned char*)"andd", 10844},
{(const unsigned char*)"bigwedge", 8896},
{(const unsigned char*)"InvisibleTimes", 8290},
{NULL, 0},
{(const unsigned char*)"rbarr", 10509},
{NULL, 0},
{(const unsigned char*)"ApplyFunction", 8289},
{(const unsigned char*)"bottom", 8869},
{(const unsigned char*)"awconint", 8755},
{(const unsigned char*)"cwconint", 8754},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"dwangle", 10662},
{(const unsigned char*)"rarrb", 8677},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"UpArrowBar", 10514},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"realine", 8475},
{(const unsigned char*)"uwangle", 10663},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"lowbar", 95},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"Cayleys", 8493},
{NULL, 0},
{(const unsigned char*)"bigstar", 9733},
{(const unsigned char*)"isin", 8712},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"backepsilon", 1014},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"OpenCurlyQuote", 8216},
{NULL, 0},
{(const unsigned char*)"Cross", 10799},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"lesseqgtr", 8922},
{(const unsigned char*)"Upsi", 978},
{(const unsigned char*)"DoubleRightArrow", 8658},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"Laplacetrf", 8466},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"bigcirc", 9711},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"epsi", 1013},
{(const unsigned char*)"LeftTeeVector", 10586},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"DoubleUpDownArrow", 8661},
{NULL, 0},
{(const unsigned char*)"DiacriticalGrave", 96},
{(const unsigned char*)"triangle", 9653},
{NULL, 0},
{(const unsigned char*)"permil", 8240},
{NULL, 0},
{(const unsigned char*)"lpargt", 10656},
{(const unsigned char*)"UpEquilibrium", 10606},
{(const unsigned char*)"backsimeq", 8909},
{(const unsigned char*)"Supset", 8913},
{(const unsigned char*)"boxUr", 9561},
{(const unsigned char*)"sccue", 8829},
{(const unsigned char*)"rpargt", 10644},
{(const unsigned char*)"cross", 10007},
{(const unsigned char*)"upsi", 965},
{NULL, 0},
{(const unsigned char*)"cularr", 8630},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"varkappa", 1008},
{(const unsigned char*)"half", 189},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"sfgr", 962},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"ImaginaryI", 8520},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"Tau", 932},
{(const unsigned char*)"bernou", 8492},
{(const unsigned char*)"DoubleLeftArrow", 8656},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"supset", 8835},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"MediumSpace", 8287},
{NULL, 0},
{(const unsigned char*)"Subset", 8912},
{(const unsigned char*)"NegativeThickSpace", 8203},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"boxuL", 9563},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"notin", 8713},
{NULL, 0},
{(const unsigned char*)"Re", 8476},
{NULL, 0},
{(const unsigned char*)"nleq", 8816},
{(const unsigned char*)"nLeftrightarrow", 8654},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"Beta", 914},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"dollar", 36},
{(const unsigned char*)"Product", 8719},
{(const unsigned char*)"tau", 964},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"Poincareplane", 8460},
{(const unsigned char*)"ee", 8519},
{(const unsigned char*)"CenterDot", 183},
{(const unsigned char*)"Jsercy", 1032},
{(const unsigned char*)"ge", 8805},
{(const unsigned char*)"Rarrtl", 10518},
{(const unsigned char*)"subset", 8834},
{NULL, 0},
{(const unsigned char*)"le", 8804},
{NULL, 0},
{(const unsigned char*)"ne", 8800},
{(const unsigned char*)"mapstoleft", 8612},
{(const unsigned char*)"NotSucceedsSlantEqual", 8929},
{(const unsigned char*)"upsih", 978},
{(const unsigned char*)"cedil", 184},
{(const unsigned char*)"Zeta", 918},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"apos", 39},
{(const unsigned char*)"nsube", 8840},
{(const unsigned char*)"beta", 946},
{(const unsigned char*)"frac78", 8542},
{(const unsigned char*)"nltri", 8938},
{(const unsigned char*)"iiiint", 10764},
{NULL, 0},
{(const unsigned char*)"veebar", 8891},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"RightTeeVector", 10587},
{(const unsigned char*)"Dagger", 8225},
{(const unsigned char*)"vltri", 8882},
{(const unsigned char*)"larrtl", 8610},
{(const unsigned char*)"iocy", 1105},
{(const unsigned char*)"dashv", 8867},
{(const unsigned char*)"frac12", 189},
{(const unsigned char*)"GreaterLess", 8823},
{(const unsigned char*)"jsercy", 1112},
{(const unsigned char*)"rarrtl", 8611},
{(const unsigned char*)"oline", 8254},
{(const unsigned char*)"sup3", 179},
{(const unsigned char*)"emsp13", 8196},
{(const unsigned char*)"asymp", 8776},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"zeta", 950},
{(const unsigned char*)"UpperRightArrow", 8599},
{NULL, 0},
{(const unsigned char*)"smallsetminus", 8726},
{(const unsigned char*)"LeftUpTeeVector", 10592},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"dagger", 8224},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"LeftDownVector", 8643},
{(const unsigned char*)"sime", 8771},
{(const unsigned char*)"precsim", 8830},
{(const unsigned char*)"MinusPlus", 8723},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"LeftVector", 8636},
{NULL, 0},
{(const unsigned char*)"profalar", 9006},
{(const unsigned char*)"dtri", 9663},
{(const unsigned char*)"between", 8812},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"hyphen", 8208},
{NULL, 0},
{(const unsigned char*)"NegativeThinSpace", 8203},
{(const unsigned char*)"downdownarrows", 8650},
{(const unsigned char*)"xmap", 10236},
{(const unsigned char*)"ltri", 9667},
{(const unsigned char*)"bdquo", 8222},
{(const unsigned char*)"notinvb", 8951},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"rtri", 9657},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"hoarr", 8703},
{(const unsigned char*)"plusdo", 8724},
{(const unsigned char*)"ldquo", 8220},
{(const unsigned char*)"bigoplus", 10753},
{(const unsigned char*)"loarr", 8701},
{(const unsigned char*)"natur", 9838},
{(const unsigned char*)"utri", 9653},
{NULL, 0},
{(const unsigned char*)"rdquo", 8221},
{NULL, 0},
{(const unsigned char*)"roarr", 8702},
{(const unsigned char*)"VerticalBar", 8739},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"NotPrecedesSlantEqual", 8928},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"imped", 437},
{(const unsigned char*)"thinsp", 8201},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"dArr", 8659},
{(const unsigned char*)"dlcorn", 8990},
{NULL, 0},
{(const unsigned char*)"LeftUpDownVector", 10577},
{(const unsigned char*)"hArr", 8660},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"lArr", 8656},
{(const unsigned char*)"ltimes", 8905},
{NULL, 0},
{(const unsigned char*)"rightharpoondown", 8641},
{(const unsigned char*)"otimes", 8855},
{(const unsigned char*)"RightTee", 8866},
{(const unsigned char*)"rArr", 8658},
{(const unsigned char*)"rtimes", 8906},
{(const unsigned char*)"varsigma", 962},
{(const unsigned char*)"uArr", 8657},
{(const unsigned char*)"ulcorn", 8988},
{(const unsigned char*)"vArr", 8661},
{(const unsigned char*)"szlig", 223},
{(const unsigned char*)"Vdash", 8873},
{(const unsigned char*)"nspar", 8742},
{(const unsigned char*)"bsim", 8765},
{(const unsigned char*)"LeftTriangleBar", 10703},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"gsim", 8819},
{(const unsigned char*)"lcub", 123},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"isinE", 8953},
{(const unsigned char*)"lsim", 8818},
{NULL, 0},
{(const unsigned char*)"rcub", 125},
{(const unsigned char*)"boxH", 9552},
{NULL, 0},
{(const unsigned char*)"nsim", 8769},
{(const unsigned char*)"bkarow", 10509},
{(const unsigned char*)"mdash", 8212},
{(const unsigned char*)"odash", 8861},
{(const unsigned char*)"clubsuit", 9827},
{(const unsigned char*)"bigcup", 8899},
{(const unsigned char*)"nwarhk", 10531},
{(const unsigned char*)"boxDL", 9559},
{(const unsigned char*)"ndash", 8211},
{NULL, 0},
{(const unsigned char*)"vdash", 8866},
{(const unsigned char*)"swarhk", 10534},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"blacklozenge", 10731},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"DoubleLeftRightArrow", 8660},
{NULL, 0},
{(const unsigned char*)"naturals", 8469},
{(const unsigned char*)"incare", 8453},
{NULL, 0},
{(const unsigned char*)"RightUpDownVector", 10575},
{NULL, 0},
{(const unsigned char*)"zwnj", 8204},
{(const unsigned char*)"nprec", 8832},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"circledast", 8859},
{NULL, 0},
{(const unsigned char*)"heartsuit", 9829},
{(const unsigned char*)"esdot", 8784},
{(const unsigned char*)"bigtriangledown", 9661},
{(const unsigned char*)"Uparrow", 8657},
{(const unsigned char*)"gsdot", 8919},
{(const unsigned char*)"Coproduct", 8720},
{NULL, 0},
{(const unsigned char*)"circledcirc", 8858},
{(const unsigned char*)"oint", 8750},
{(const unsigned char*)"qint", 10764},
{NULL, 0},
{(const unsigned char*)"ldsh", 8626},
{(const unsigned char*)"trade", 8482},
{(const unsigned char*)"lrhar2", 8651},
{(const unsigned char*)"larrhk", 8617},
{(const unsigned char*)"tint", 8749},
{NULL, 0},
{(const unsigned char*)"rdsh", 8627},
{(const unsigned char*)"psgr", 968},
{(const unsigned char*)"rarrhk", 8618},
{(const unsigned char*)"Psi", 936},
{NULL, 0},
{(const unsigned char*)"larrsim", 10611},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"Epsilon", 917},
{NULL, 0},
{(const unsigned char*)"rarrsim", 10612},
{(const unsigned char*)"male", 9794},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"uparrow", 8593},
{(const unsigned char*)"Scaron", 352},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"Upsilon", 933},
{NULL, 0},
{(const unsigned char*)"hearts", 9829},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"eqsim", 8770},
{(const unsigned char*)"Sigma", 931},
{(const unsigned char*)"Or", 10836},
{(const unsigned char*)"UpArrowDownArrow", 8645},
{(const unsigned char*)"twixt", 8812},
{(const unsigned char*)"psi", 968},
{NULL, 0},
{(const unsigned char*)"nabla", 8711},
{(const unsigned char*)"bowtie", 8904},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"epsilon", 949},
{NULL, 0},
{(const unsigned char*)"GreaterSlantEqual", 10878},
{(const unsigned char*)"NotLeftTriangleEqual", 8940},
{(const unsigned char*)"apacir", 10863},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"upharpoonright", 8638},
{NULL, 0},
{(const unsigned char*)"scaron", 353},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"af", 8289},
{(const unsigned char*)"upsilon", 965},
{(const unsigned char*)"TildeEqual", 8771},
{NULL, 0},
{(const unsigned char*)"Lambda", 923},
{(const unsigned char*)"neArr", 8663},
{(const unsigned char*)"sigma", 963},
{(const unsigned char*)"ETH", 208},
{(const unsigned char*)"leftthreetimes", 8907},
{(const unsigned char*)"seArr", 8664},
{(const unsigned char*)"thicksim", 8764},
{(const unsigned char*)"bigcap", 8898},
{(const unsigned char*)"ang", 8736},
{(const unsigned char*)"ldca", 10550},
{(const unsigned char*)"rdca", 10551},
{(const unsigned char*)"wr", 8768},
{NULL, 0},
{(const unsigned char*)"or", 8744},
{(const unsigned char*)"pr", 8826},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"triangleq", 8796},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"gtrsim", 8819},
{(const unsigned char*)"looparrowleft", 8619},
{(const unsigned char*)"LongRightArrow", 10230},
{(const unsigned char*)"nis", 8956},
{(const unsigned char*)"Aring", 197},
{(const unsigned char*)"LeftDownVectorBar", 10585},
{(const unsigned char*)"NotTildeEqual", 8772},
{(const unsigned char*)"lambda", 955},
{(const unsigned char*)"larrlp", 8619},
{(const unsigned char*)"leftharpoondown", 8637},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"sup2", 178},
{NULL, 0},
{(const unsigned char*)"rarrlp", 8620},
{(const unsigned char*)"SmallCircle", 8728},
{(const unsigned char*)"bNot", 10989},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"aleph", 8501},
{(const unsigned char*)"blacktriangle", 9652},
{NULL, 0},
{(const unsigned char*)"circleddash", 8861},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"rhov", 1009},
{NULL, 0},
{(const unsigned char*)"UpTee", 8869},
{(const unsigned char*)"die", 168},
{(const unsigned char*)"bump", 8782},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"epar", 8917},
{(const unsigned char*)"gnap", 10890},
{(const unsigned char*)"RightFloor", 8971},
{(const unsigned char*)"aring", 229},
{NULL, 0},
{(const unsigned char*)"lnap", 10889},
{(const unsigned char*)"approx", 8776},
{(const unsigned char*)"larrbfs", 10527},
{(const unsigned char*)"lpar", 40},
{(const unsigned char*)"npar", 8742},
{(const unsigned char*)"gEl", 10892},
{(const unsigned char*)"boxVl", 9570},
{(const unsigned char*)"eqcolon", 8789},
{(const unsigned char*)"rarrbfs", 10528},
{(const unsigned char*)"rpar", 41},
{(const unsigned char*)"spar", 8741},
{(const unsigned char*)"thksim", 8764},
{NULL, 0},
{(const unsigned char*)"RightDownVectorBar", 10581},
{NULL, 0},
{(const unsigned char*)"para", 182},
{(const unsigned char*)"thkap", 8776},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"Superset", 8835},
{NULL, 0},
{(const unsigned char*)"ddarr", 8650},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"Gamma", 915},
{(const unsigned char*)"frac15", 8533},
{(const unsigned char*)"kappav", 1008},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"udarr", 8645},
{(const unsigned char*)"Therefore", 8756},
{(const unsigned char*)"hairsp", 8202},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"CircleMinus", 8854},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"ordf", 170},
{(const unsigned char*)"VerticalTilde", 8768},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"LeftVectorBar", 10578},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"UnderBracket", 9141},
{NULL, 0},
{(const unsigned char*)"gamma", 947},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"DoubleDot", 168},
{(const unsigned char*)"lceil", 8968},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"curlyeqprec", 8926},
{(const unsigned char*)"varnothing", 8709},
{(const unsigned char*)"nhpar", 10994},
{(const unsigned char*)"therefore", 8756},
{(const unsigned char*)"dlcrop", 8973},
{(const unsigned char*)"rceil", 8969},
{(const unsigned char*)"leftleftarrows", 8647},
{(const unsigned char*)"vangrt", 10652},
{NULL, 0},
{(const unsigned char*)"lrm", 8206},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"curvearrowright", 8631},
{(const unsigned char*)"thetas", 952},
{(const unsigned char*)"PartialD", 8706},
{(const unsigned char*)"nVDash", 8879},
{(const unsigned char*)"wedgeq", 8793},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"ulcrop", 8975},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"zigrarr", 8669},
{(const unsigned char*)"lozf", 10731},
{(const unsigned char*)"sung", 9834},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"iff", 8660},
{(const unsigned char*)"xnis", 8955},
{(const unsigned char*)"ring", 730},
{(const unsigned char*)"dfisht", 10623},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"nltrie", 8940},
{(const unsigned char*)"llcorner", 8990},
{NULL, 0},
{(const unsigned char*)"lfisht", 10620},
{(const unsigned char*)"ctdot", 8943},
{(const unsigned char*)"dtdot", 8945},
{(const unsigned char*)"CloseCurlyQuote", 8217},
{(const unsigned char*)"par", 8741},
{NULL, 0},
{(const unsigned char*)"rfisht", 10621},
{(const unsigned char*)"ulcorner", 8988},
{NULL, 0},
{(const unsigned char*)"ufisht", 10622},
{NULL, 0},
{(const unsigned char*)"notinvc", 8950},
{(const unsigned char*)"orderof", 8500},
{NULL, 0},
{(const unsigned char*)"Rrightarrow", 8667},
{(const unsigned char*)"emsp", 8195},
{(const unsigned char*)"Chi", 935},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"utdot", 8944},
{(const unsigned char*)"bull", 8226},
{NULL, 0},
{(const unsigned char*)"khgr", 967},
{(const unsigned char*)"ominus", 8854},
{(const unsigned char*)"eqslantgtr", 10902},
{(const unsigned char*)"multimap", 8888},
{(const unsigned char*)"lowast", 8727},
{(const unsigned char*)"ohgr", 969},
{(const unsigned char*)"NotLess", 8814},
{(const unsigned char*)"alefsym", 8501},
{(const unsigned char*)"Phi", 934},
{(const unsigned char*)"thgr", 952},
{NULL, 0},
{(const unsigned char*)"isinsv", 8947},
{(const unsigned char*)"OHacgr", 911},
{NULL, 0},
{(const unsigned char*)"NotElement", 8713},
{(const unsigned char*)"nearrow", 8599},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"DoubleLeftTee", 10980},
{(const unsigned char*)"nrightarrow", 8603},
{NULL, 0},
{(const unsigned char*)"searrow", 8600},
{(const unsigned char*)"UpTeeArrow", 8613},
{NULL, 0},
{(const unsigned char*)"dbkarow", 10511},
{(const unsigned char*)"period", 46},
{(const unsigned char*)"Gg", 8921},
{(const unsigned char*)"circledR", 174},
{(const unsigned char*)"DownBreve", 785},
{NULL, 0},
{(const unsigned char*)"imagline", 8464},
{(const unsigned char*)"gneq", 10888},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"chi", 967},
{NULL, 0},
{(const unsigned char*)"lneq", 10887},
{(const unsigned char*)"phi", 981},
{NULL, 0},
{(const unsigned char*)"spadesuit", 9824},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"prsim", 8830},
{(const unsigned char*)"Atilde", 195},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"isinv", 8712},
{(const unsigned char*)"rlarr2", 8644},
{(const unsigned char*)"nrArr", 8655},
{NULL, 0},
{(const unsigned char*)"angst", 8491},
{NULL, 0},
{(const unsigned char*)"sdotb", 8865},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"Ntilde", 209},
{(const unsigned char*)"gg", 8811},
{(const unsigned char*)"xrArr", 10233},
{(const unsigned char*)"DoubleLongLeftRightArrow", 10234},
{(const unsigned char*)"Otilde", 213},
{NULL, 0},
{(const unsigned char*)"lg", 8822},
{(const unsigned char*)"LeftArrowBar", 8676},
{(const unsigned char*)"thickapprox", 8776},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"precnsim", 8936},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"Element", 8712},
{(const unsigned char*)"atilde", 227},
{NULL, 0},
{(const unsigned char*)"LessEqualGreater", 8922},
{NULL, 0},
{(const unsigned char*)"eqslantless", 10901},
{(const unsigned char*)"EmptyVerySmallSquare", 9643},
{(const unsigned char*)"phgr", 966},
{(const unsigned char*)"epsiv", 949},
{(const unsigned char*)"DoubleVerticalBar", 8741},
{(const unsigned char*)"LeftTriangle", 8882},
{NULL, 0},
{(const unsigned char*)"spades", 9824},
{(const unsigned char*)"frac23", 8532},
{(const unsigned char*)"ntilde", 241},
{(const unsigned char*)"otilde", 245},
{NULL, 0},
{(const unsigned char*)"sup1", 185},
{(const unsigned char*)"GreaterGreater", 10914},
{(const unsigned char*)"iecy", 1077},
{(const unsigned char*)"NestedGreaterGreater", 8811},
{(const unsigned char*)"lfloor", 8970},
{(const unsigned char*)"SquareSubsetEqual", 8849},
{NULL, 0},
{(const unsigned char*)"acute", 180},
{(const unsigned char*)"YAcy", 1071},
{NULL, 0},
{(const unsigned char*)"rfloor", 8971},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"quest", 63},
{NULL, 0},
{(const unsigned char*)"rlhar", 8652},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"geq", 8805},
{(const unsigned char*)"CloseCurlyDoubleQuote", 8221},
{(const unsigned char*)"lsquor", 8218},
{NULL, 0},
{(const unsigned char*)"tshcy", 1115},
{(const unsigned char*)"leq", 8804},
{(const unsigned char*)"boxUl", 9564},
{(const unsigned char*)"lurdshar", 10570},
{(const unsigned char*)"rsquor", 8217},
{(const unsigned char*)"VerticalSeparator", 10072},
{(const unsigned char*)"boxdR", 9554},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"scap", 10936},
{(const unsigned char*)"hkswarow", 10534},
{NULL, 0},
{(const unsigned char*)"CapitalDifferentialD", 8517},
{(const unsigned char*)"NoBreak", 8288},
{(const unsigned char*)"lthree", 8907},
{(const unsigned char*)"bigtriangleup", 9651},
{(const unsigned char*)"elinters", 65533},
{NULL, 0},
{(const unsigned char*)"forall", 8704},
{(const unsigned char*)"NotGreater", 8815},
{(const unsigned char*)"rthree", 8908},
{(const unsigned char*)"Jukcy", 1028},
{NULL, 0},
{(const unsigned char*)"Iukcy", 1030},
{NULL, 0},
{(const unsigned char*)"gtreqqless", 10892},
{NULL, 0},
{(const unsigned char*)"UnderParenthesis", 65078},
{NULL, 0},
{(const unsigned char*)"nearr", 8599},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"perp", 8869},
{(const unsigned char*)"bepsi", 1014},
{(const unsigned char*)"searr", 8600},
{(const unsigned char*)"iexcl", 161},
{(const unsigned char*)"LeftArrow", 8592},
{(const unsigned char*)"NegativeMediumSpace", 8203},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"ast", 42},
{NULL, 0},
{(const unsigned char*)"lAarr", 8666},
{(const unsigned char*)"DownRightVectorBar", 10583},
{(const unsigned char*)"cuvee", 8910},
{NULL, 0},
{(const unsigned char*)"iukcy", 1110},
{(const unsigned char*)"jukcy", 1108},
{(const unsigned char*)"latail", 10521},
{(const unsigned char*)"disin", 8946},
{NULL, 0},
{(const unsigned char*)"rAarr", 8667},
{(const unsigned char*)"angsph", 8738},
{NULL, 0},
{(const unsigned char*)"InvisibleComma", 8291},
{(const unsigned char*)"ratail", 10522},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"supnE", 10956},
{(const unsigned char*)"ngt", 8815},
{(const unsigned char*)"order", 8500},
{(const unsigned char*)"divide", 247},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"colon", 58},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"CirclePlus", 8853},
{(const unsigned char*)"frac18", 8539},
{(const unsigned char*)"nsup", 8837},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"intprod", 10812},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"And", 10835},
{NULL, 0},
{(const unsigned char*)"Cup", 8915},
{NULL, 0},
{(const unsigned char*)"nsimeq", 8772},
{NULL, 0},
{(const unsigned char*)"subnE", 10955},
{NULL, 0},
{(const unsigned char*)"SHCHcy", 1065},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"LessLess", 10913},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"rightarrowtail", 8611},
{(const unsigned char*)"EEgr", 919},
{(const unsigned char*)"Sup", 8913},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"simeq", 8771},
{(const unsigned char*)"leftharpoonup", 8636},
{NULL, 0},
{(const unsigned char*)"boxhd", 9516},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"and", 8743},
{(const unsigned char*)"Cedilla", 184},
{(const unsigned char*)"cup", 8746},
{NULL, 0},
{(const unsigned char*)"ensp", 8194},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"gimel", 8503},
{NULL, 0},
{(const unsigned char*)"straightphi", 981},
{(const unsigned char*)"nbsp", 160},
{(const unsigned char*)"NotLessGreater", 8824},
{(const unsigned char*)"thetav", 977},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"sup", 8835},
{(const unsigned char*)"lsqb", 91},
{NULL, 0},
{(const unsigned char*)"check", 10003},
{(const unsigned char*)"Gt", 8811},
{(const unsigned char*)"boxv", 9474},
{(const unsigned char*)"rsqb", 93},
{(const unsigned char*)"Implies", 8658},
{(const unsigned char*)"shortparallel", 8741},
{(const unsigned char*)"Lt", 8810},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"Sub", 8912},
{NULL, 0},
{(const unsigned char*)"HARDcy", 1066},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"thorn", 254},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"boxvr", 9500},
{(const unsigned char*)"DD", 8517},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"nVdash", 8878},
{(const unsigned char*)"angrt", 8735},
{(const unsigned char*)"gt", 62},
{(const unsigned char*)"trianglerighteq", 8885},
{(const unsigned char*)"sub", 8834},
{(const unsigned char*)"it", 8290},
{NULL, 0},
{(const unsigned char*)"lt", 60},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"cudarrr", 10549},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"DZcy", 1039},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"seswar", 10537},
{(const unsigned char*)"boxhU", 9576},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"precnapprox", 10937},
{NULL, 0},
{(const unsigned char*)"fallingdotseq", 8786},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"vartheta", 977},
{(const unsigned char*)"digamma", 989},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"Omicron", 927},
{(const unsigned char*)"oror", 10838},
{NULL, 0},
{(const unsigned char*)"DownLeftRightVector", 10576},
{(const unsigned char*)"NonBreakingSpace", 160},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"NotVerticalBar", 8740},
{NULL, 0},
{(const unsigned char*)"boxvh", 9532},
{(const unsigned char*)"smile", 8995},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"Bumpeq", 8782},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"Proportion", 8759},
{(const unsigned char*)"eDot", 8785},
{NULL, 0},
{(const unsigned char*)"numsp", 8199},
{NULL, 0},
{(const unsigned char*)"ShortLeftArrow", 8592},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"omicron", 959},
{(const unsigned char*)"realpart", 8476},
{NULL, 0},
{(const unsigned char*)"HumpEqual", 8783},
{(const unsigned char*)"RightDoubleBracket", 12315},
{NULL, 0},
{(const unsigned char*)"lhard", 8637},
{NULL, 0},
{(const unsigned char*)"Union", 8899},
{(const unsigned char*)"rhard", 8641},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"topcir", 10993},
{NULL, 0},
{(const unsigned char*)"Copf", 8450},
{(const unsigned char*)"bumpeq", 8783},
{(const unsigned char*)"ntrianglelefteq", 8940},
{(const unsigned char*)"lsquo", 8216},
{(const unsigned char*)"drarr", 8600},
{(const unsigned char*)"erarr", 10609},
{(const unsigned char*)"crarr", 8629},
{NULL, 0},
{(const unsigned char*)"Hopf", 8461},
{(const unsigned char*)"rsquo", 8217},
{NULL, 0},
{(const unsigned char*)"Nopf", 8469},
{(const unsigned char*)"lrarr", 8646},
{(const unsigned char*)"Uarrocir", 10569},
{(const unsigned char*)"nrarr", 8603},
{(const unsigned char*)"backcong", 8780},
{(const unsigned char*)"orarr", 8635},
{(const unsigned char*)"RBarr", 10512},
{(const unsigned char*)"rrarr", 8649},
{(const unsigned char*)"srarr", 8594},
{(const unsigned char*)"Qopf", 8474},
{(const unsigned char*)"Ropf", 8477},
{(const unsigned char*)"trianglelefteq", 8884},
{(const unsigned char*)"Popf", 8473},
{(const unsigned char*)"xrarr", 10230},
{NULL, 0},
{(const unsigned char*)"Zopf", 8484},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"CupCap", 8781},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"comma", 44},
{(const unsigned char*)"Acy", 1040},
{(const unsigned char*)"Bcy", 1041},
{(const unsigned char*)"lBarr", 10510},
{(const unsigned char*)"HilbertSpace", 8459},
{(const unsigned char*)"Ecy", 1069},
{(const unsigned char*)"Fcy", 1060},
{(const unsigned char*)"Gcy", 1043},
{(const unsigned char*)"rBarr", 10511},
{(const unsigned char*)"Icy", 1048},
{(const unsigned char*)"Jcy", 1049},
{(const unsigned char*)"Kcy", 1050},
{(const unsigned char*)"Lcy", 1051},
{(const unsigned char*)"aelig", 230},
{(const unsigned char*)"Mcy", 1052},
{(const unsigned char*)"Ocy", 1054},
{(const unsigned char*)"Pcy", 1055},
{(const unsigned char*)"Ncy", 1053},
{(const unsigned char*)"Rcy", 1056},
{(const unsigned char*)"Scy", 1057},
{(const unsigned char*)"ShortUpArrow", 8593},
{(const unsigned char*)"Ucy", 1059},
{(const unsigned char*)"Vcy", 1042},
{(const unsigned char*)"Tcy", 1058},
{(const unsigned char*)"DiacriticalDoubleAcute", 733},
{(const unsigned char*)"Alpha", 913},
{(const unsigned char*)"Ycy", 1067},
{(const unsigned char*)"Zcy", 1047},
{(const unsigned char*)"nmid", 8740},
{(const unsigned char*)"NotSubsetEqual", 8840},
{(const unsigned char*)"ntrianglerighteq", 8941},
{(const unsigned char*)"straightepsilon", 1013},
{(const unsigned char*)"ddotseq", 10871},
{(const unsigned char*)"acy", 1072},
{(const unsigned char*)"bcy", 1073},
{NULL, 0},
{(const unsigned char*)"dcy", 1076},
{(const unsigned char*)"ecy", 1101},
{(const unsigned char*)"gnapprox", 10890},
{(const unsigned char*)"fcy", 1092},
{(const unsigned char*)"Dcy", 1044},
{(const unsigned char*)"icy", 1080},
{(const unsigned char*)"gcy", 1075},
{(const unsigned char*)"lnapprox", 10889},
{(const unsigned char*)"TildeFullEqual", 8773},
{(const unsigned char*)"jcy", 1081},
{(const unsigned char*)"kcy", 1082},
{(const unsigned char*)"lcy", 1083},
{(const unsigned char*)"ReverseUpEquilibrium", 10607},
{(const unsigned char*)"ncy", 1085},
{(const unsigned char*)"ocy", 1086},
{(const unsigned char*)"ocir", 8858},
{(const unsigned char*)"scy", 1089},
{(const unsigned char*)"rcy", 1088},
{(const unsigned char*)"pcy", 1087},
{(const unsigned char*)"mcy", 1084},
{(const unsigned char*)"ucy", 1091},
{(const unsigned char*)"alpha", 945},
{(const unsigned char*)"DoubleContourIntegral", 8751},
{(const unsigned char*)"zcy", 1079},
{(const unsigned char*)"nshortmid", 8740},
{(const unsigned char*)"ohm", 8486},
{(const unsigned char*)"tcy", 1090},
{(const unsigned char*)"ycy", 1099},
{(const unsigned char*)"vcy", 1074},
{(const unsigned char*)"sqsub", 8847},
{(const unsigned char*)"Udigr", 939},
{(const unsigned char*)"DownLeftTeeVector", 10590},
{(const unsigned char*)"udigr", 971},
{(const unsigned char*)"ecir", 8790},
{(const unsigned char*)"cularrp", 10557},
{(const unsigned char*)"idigr", 970},
{(const unsigned char*)"smid", 8739},
{(const unsigned char*)"Idigr", 938},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"DoubleLongLeftArrow", 10232},
{NULL, 0},
{(const unsigned char*)"SquareSupersetEqual", 8850},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"FilledSmallSquare", 9724},
{(const unsigned char*)"oelig", 339},
{(const unsigned char*)"NotGreaterLess", 8825},
{(const unsigned char*)"b.Gammad", 988},
{NULL, 0},
{(const unsigned char*)"rarrap", 10613},
{NULL, 0},
{(const unsigned char*)"cylcty", 9005},
{(const unsigned char*)"ContourIntegral", 8750},
{(const unsigned char*)"Intersection", 8898},
{(const unsigned char*)"acd", 8767},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"fltns", 9649},
{(const unsigned char*)"Lleftarrow", 8666},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"NotSupersetEqual", 8841},
{NULL, 0},
{(const unsigned char*)"nvinfin", 10718},
{(const unsigned char*)"Acirc", 194},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"circlearrowleft", 8634},
{(const unsigned char*)"Ecirc", 202},
{(const unsigned char*)"Mu", 924},
{(const unsigned char*)"Nu", 925},
{(const unsigned char*)"complexes", 8450},
{(const unsigned char*)"Icirc", 206},
{NULL, 0},
{(const unsigned char*)"NotLeftTriangle", 8938},
{(const unsigned char*)"dotsquare", 8865},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"Ocirc", 212},
{(const unsigned char*)"swnwar", 10538},
{(const unsigned char*)"nsucc", 8833},
{NULL, 0},
{(const unsigned char*)"Pi", 928},
{NULL, 0},
{(const unsigned char*)"Ucirc", 219},
{(const unsigned char*)"squ", 9633},
{(const unsigned char*)"boxur", 9492},
{(const unsigned char*)"Xi", 926},
{(const unsigned char*)"there4", 8756},
{(const unsigned char*)"LeftRightVector", 10574},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"nleftarrow", 8602},
{(const unsigned char*)"NotSquareSubsetEqual", 8930},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"acirc", 226},
{(const unsigned char*)"leftrightharpoons", 8651},
{(const unsigned char*)"Omega", 937},
{(const unsigned char*)"Aacgr", 902},
{(const unsigned char*)"boxHD", 9574},
{(const unsigned char*)"ecirc", 234},
{(const unsigned char*)"nu", 957},
{(const unsigned char*)"nhArr", 8654},
{(const unsigned char*)"Mellintrf", 8499},
{(const unsigned char*)"icirc", 238},
{(const unsigned char*)"succ", 8827},
{(const unsigned char*)"mu", 956},
{NULL, 0},
{(const unsigned char*)"ni", 8715},
{(const unsigned char*)"ocirc", 244},
{(const unsigned char*)"pi", 960},
{(const unsigned char*)"DiacriticalAcute", 180},
{(const unsigned char*)"xhArr", 10234},
{(const unsigned char*)"curlyvee", 8910},
{(const unsigned char*)"deg", 176},
{(const unsigned char*)"ucirc", 251},
{(const unsigned char*)"yen", 165},
{NULL, 0},
{(const unsigned char*)"xi", 958},
{(const unsigned char*)"xcirc", 9711},
{(const unsigned char*)"IOcy", 1025},
{(const unsigned char*)"els", 10901},
{(const unsigned char*)"gE", 8807},
{(const unsigned char*)"leg", 8922},
{(const unsigned char*)"Iacgr", 906},
{(const unsigned char*)"LeftTeeArrow", 8612},
{(const unsigned char*)"dscy", 1109},
{(const unsigned char*)"SucceedsSlantEqual", 8829},
{(const unsigned char*)"fpartint", 10765},
{(const unsigned char*)"omega", 969},
{(const unsigned char*)"frac34", 190},
{(const unsigned char*)"reg", 174},
{(const unsigned char*)"ShortDownArrow", 8595},
{(const unsigned char*)"quot", 34},
{(const unsigned char*)"ell", 8467},
{(const unsigned char*)"circlearrowright", 8635},
{(const unsigned char*)"inodot", 305},
{(const unsigned char*)"xdtri", 9661},
{(const unsigned char*)"iacgr", 943},
{(const unsigned char*)"imagpart", 8465},
{(const unsigned char*)"ldrdhar", 10599},
{(const unsigned char*)"tscy", 1094},
{(const unsigned char*)"jnodot", 106},
{(const unsigned char*)"colone", 8788},
{(const unsigned char*)"Eacgr", 904},
{(const unsigned char*)"blk34", 9619},
{(const unsigned char*)"eacgr", 941},
{(const unsigned char*)"LongLeftArrow", 10229},
{(const unsigned char*)"lE", 8806},
{(const unsigned char*)"nsmid", 8740},
{(const unsigned char*)"uacgr", 973},
{(const unsigned char*)"boxVR", 9568},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"Oacgr", 908},
{(const unsigned char*)"aacgr", 940},
{(const unsigned char*)"oacgr", 972},
{(const unsigned char*)"luruhar", 10598},
{(const unsigned char*)"ii", 8520},
{NULL, 0},
{(const unsigned char*)"telrec", 8981},
{NULL, 0},
{(const unsigned char*)"DDotrahd", 10513},
{(const unsigned char*)"nle", 8816},
{(const unsigned char*)"gtrless", 8823},
{NULL, 0},
{(const unsigned char*)"midcir", 10992},
{(const unsigned char*)"DownArrowBar", 10515},
{NULL, 0},
{(const unsigned char*)"semi", 59},
{(const unsigned char*)"Uacgr", 910},
{(const unsigned char*)"lbrace", 123},
{(const unsigned char*)"phmmat", 8499},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"rbrace", 125},
{(const unsigned char*)"NotCongruent", 8802},
{NULL, 0},
{(const unsigned char*)"shchcy", 1097},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"simdot", 10858},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"cirmid", 10991},
{NULL, 0},
{(const unsigned char*)"SubsetEqual", 8838},
{(const unsigned char*)"female", 9792},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"nsc", 8833},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"boxVH", 9580},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"ldrushar", 10571},
{(const unsigned char*)"triangleright", 9657},
{(const unsigned char*)"gneqq", 8809},
{NULL, 0},
{(const unsigned char*)"DownArrow", 8595},
{NULL, 0},
{(const unsigned char*)"backsim", 8765},
{(const unsigned char*)"lneqq", 8808},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"Sum", 8721},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"fflig", 64256},
{NULL, 0},
{(const unsigned char*)"hardcy", 1098},
{(const unsigned char*)"nsub", 8836},
{NULL, 0},
{(const unsigned char*)"napprox", 8777},
{(const unsigned char*)"caret", 8257},
{NULL, 0},
{(const unsigned char*)"succneqq", 10934},
{(const unsigned char*)"frac13", 8531},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"num", 35},
{(const unsigned char*)"emsp14", 8197},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"sum", 8721},
{NULL, 0},
{(const unsigned char*)"Cconint", 8752},
{NULL, 0},
{(const unsigned char*)"blacktriangleright", 9656},
{NULL, 0},
{(const unsigned char*)"SupersetEqual", 8839},
{(const unsigned char*)"sim", 8764},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"LeftFloor", 8970},
{NULL, 0},
{(const unsigned char*)"RightTriangleEqual", 8885},
{NULL, 0},
{(const unsigned char*)"boxDr", 9555},
{NULL, 0},
{(const unsigned char*)"plus", 43},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"phiv", 966},
{NULL, 0},
{(const unsigned char*)"npr", 8832},
{(const unsigned char*)"RightCeiling", 8969},
{(const unsigned char*)"phone", 9742},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"mnplus", 8723},
{NULL, 0},
{(const unsigned char*)"vDash", 8872},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"isindot", 8949},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"PSgr", 936},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"ntriangleleft", 8938},
{(const unsigned char*)"image", 8465},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"boxh", 9472},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"RightDownVector", 8642},
{(const unsigned char*)"scpolint", 10771},
{(const unsigned char*)"boxdL", 9557},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"RightUpTeeVector", 10588},
{NULL, 0},
{(const unsigned char*)"TSHcy", 1035},
{(const unsigned char*)"longmapsto", 10236},
{(const unsigned char*)"doublebarwedge", 8966},
{(const unsigned char*)"frasl", 8260},
{NULL, 0},
{(const unsigned char*)"DoubleLongRightArrow", 10233},
{(const unsigned char*)"gnE", 8809},
{NULL, 0},
{(const unsigned char*)"lnE", 8808},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"exponentiale", 8519},
{NULL, 0},
{(const unsigned char*)"larrfs", 10525},
{(const unsigned char*)"NotDoubleVerticalBar", 8742},
{NULL, 0},
{(const unsigned char*)"curlywedge", 8911},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"rarrfs", 10526},
{(const unsigned char*)"quatint", 10774},
{NULL, 0},
{(const unsigned char*)"frac58", 8541},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"gtreqless", 8923},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"PrecedesSlantEqual", 8828},
{NULL, 0},
{(const unsigned char*)"DotEqual", 8784},
{(const unsigned char*)"iquest", 191},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"NotEqual", 8800},
{NULL, 0},
{(const unsigned char*)"barwedge", 8965},
{(const unsigned char*)"b.gammad", 989},
{NULL, 0},
{(const unsigned char*)"block", 9608},
{NULL, 0},
{(const unsigned char*)"strns", 175},
{NULL, 0},
{(const unsigned char*)"prod", 8719},
{(const unsigned char*)"cupre", 8828},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"SquareUnion", 8852},
{(const unsigned char*)"Auml", 196},
{NULL, 0},
{(const unsigned char*)"upuparrows", 8648},
{NULL, 0},
{(const unsigned char*)"Euml", 203},
{(const unsigned char*)"HorizontalLine", 9472},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"Iuml", 207},
{(const unsigned char*)"nvrArr", 10499},
{(const unsigned char*)"bullet", 8226},
{(const unsigned char*)"ClockwiseContourIntegral", 8754},
{NULL, 0},
{(const unsigned char*)"prop", 8733},
{(const unsigned char*)"Ouml", 214},
{NULL, 0},
{(const unsigned char*)"chcy", 1095},
{(const unsigned char*)"quaternions", 8461},
{(const unsigned char*)"beth", 8502},
{(const unsigned char*)"macr", 175},
{(const unsigned char*)"Uuml", 220},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"khcy", 1093},
{(const unsigned char*)"Star", 8902},
{(const unsigned char*)"copysr", 8471},
{(const unsigned char*)"Yuml", 376},
{NULL, 0},
{(const unsigned char*)"curren", 164},
{NULL, 0},
{(const unsigned char*)"Square", 9633},
{(const unsigned char*)"shcy", 1096},
{(const unsigned char*)"auml", 228},
{NULL, 0},
{(const unsigned char*)"boxUR", 9562},
{(const unsigned char*)"uml", 168},
{(const unsigned char*)"euml", 235},
{NULL, 0},
{(const unsigned char*)"zhcy", 1078},
{(const unsigned char*)"iuml", 239},
{NULL, 0},
{(const unsigned char*)"Backslash", 8726},
{(const unsigned char*)"square", 9633},
{NULL, 0},
{(const unsigned char*)"sqsube", 8849},
{(const unsigned char*)"ouml", 246},
{NULL, 0},
{(const unsigned char*)"Tilde", 8764},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"prap", 10935},
{(const unsigned char*)"uuml", 252},
{(const unsigned char*)"cire", 8791},
{NULL, 0},
{(const unsigned char*)"dzigrarr", 10239},
{(const unsigned char*)"yuml", 255},
{(const unsigned char*)"star", 9734},
{(const unsigned char*)"sqsubseteq", 8849},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"fork", 8916},
{(const unsigned char*)"supsetneqq", 10956},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"DoubleDownArrow", 8659},
{NULL, 0},
{(const unsigned char*)"dharr", 8642},
{(const unsigned char*)"lagran", 8466},
{NULL, 0},
{(const unsigned char*)"lrhard", 10605},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"downharpoonleft", 8643},
{(const unsigned char*)"tilde", 732},
{(const unsigned char*)"nharr", 8622},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"puncsp", 8200},
{(const unsigned char*)"uharr", 8638},
{(const unsigned char*)"boxHu", 9575},
{(const unsigned char*)"models", 8871},
{(const unsigned char*)"xharr", 10231},
{(const unsigned char*)"nparallel", 8742},
{NULL, 0},
{(const unsigned char*)"Proportional", 8733},
{NULL, 0},
{(const unsigned char*)"ltrif", 9666},
{NULL, 0},
{(const unsigned char*)"dtrif", 9662},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"subsetneqq", 10955},
{(const unsigned char*)"NotGreaterEqual", 8817},
{(const unsigned char*)"rtrif", 9656},
{NULL, 0},
{(const unsigned char*)"utrif", 9652},
{(const unsigned char*)"boxvl", 9508},
{(const unsigned char*)"curvearrowleft", 8630},
{(const unsigned char*)"lessapprox", 10885},
{(const unsigned char*)"scnE", 10934},
{(const unsigned char*)"thetasym", 977},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"ExponentialE", 8519},
{(const unsigned char*)"andv", 10842},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"mapstodown", 8615},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"DownLeftVector", 8637},
{(const unsigned char*)"rightharpoonup", 8640},
{(const unsigned char*)"mapsto", 8614},
{(const unsigned char*)"Lang", 12298},
{(const unsigned char*)"SquareSuperset", 8848},
{(const unsigned char*)"rightsquigarrow", 8605},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"Rang", 12299},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"sigmav", 962},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"SquareIntersection", 8851},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"downharpoonright", 8642},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"lang", 9001},
{(const unsigned char*)"compfn", 8728},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"rang", 9002},
{NULL, 0},
{(const unsigned char*)"Leftrightarrow", 8660},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"ReverseEquilibrium", 8651},
{NULL, 0},
{(const unsigned char*)"Rightarrow", 8658},
{(const unsigned char*)"planck", 8463},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"KHgr", 935},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"OHgr", 937},
{(const unsigned char*)"PHgr", 934},
{NULL, 0},
{(const unsigned char*)"sqsup", 8848},
{NULL, 0},
{(const unsigned char*)"THgr", 920},
{NULL, 0},
{(const unsigned char*)"rppolint", 10770},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"gtrapprox", 10886},
{(const unsigned char*)"LongLeftRightArrow", 10231},
{NULL, 0},
{(const unsigned char*)"iinfin", 10716},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"frac16", 8537},
{NULL, 0},
{(const unsigned char*)"leftrightarrow", 8596},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"rightarrow", 8594},
{(const unsigned char*)"risingdotseq", 8787},
{NULL, 0},
{(const unsigned char*)"blacksquare", 9642},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"DotDot", 8412},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"radic", 8730},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"nRightarrow", 8655},
{NULL, 0},
{(const unsigned char*)"reals", 8477},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"varphi", 966},
{NULL, 0},
{(const unsigned char*)"DownRightVector", 8641},
{(const unsigned char*)"Equal", 10869},
{(const unsigned char*)"NotCupCap", 8813},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"SucceedsTilde", 8831},
{NULL, 0},
{(const unsigned char*)"Succeeds", 8827},
{(const unsigned char*)"dotplus", 8724},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"notniva", 8716},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"looparrowright", 8620},
{(const unsigned char*)"ggg", 8921},
{(const unsigned char*)"EmptySmallSquare", 9723},
{NULL, 0},
{(const unsigned char*)"nrtri", 8939},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"oS", 9416},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"IEcy", 1045},
{NULL, 0},
{(const unsigned char*)"succeq", 10928},
{(const unsigned char*)"vrtri", 8883},
{(const unsigned char*)"DownTeeArrow", 8615},
{NULL, 0},
{(const unsigned char*)"frac45", 8536},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"dblac", 733},
{NULL, 0},
{(const unsigned char*)"blk14", 9617},
{NULL, 0},
{(const unsigned char*)"lesseqqgtr", 10891},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"yucy", 1102},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"yicy", 1111},
{NULL, 0},
{(const unsigned char*)"gne", 10888},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"udhar", 10606},
{(const unsigned char*)"UnionPlus", 8846},
{(const unsigned char*)"blank", 9251},
{(const unsigned char*)"lne", 10887},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"NotTildeFullEqual", 8775},
{(const unsigned char*)"supE", 10950},
{NULL, 0},
{(const unsigned char*)"PlusMinus", 177},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"GreaterTilde", 8819},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"duarr", 8693},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"LeftDoubleBracket", 12314},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"CounterClockwiseContourIntegral", 8755},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"natural", 9838},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"uuarr", 8648},
{(const unsigned char*)"biguplus", 10756},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"DownLeftVectorBar", 10582},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"subE", 10949},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"part", 8706},
{(const unsigned char*)"drcorn", 8991},
{(const unsigned char*)"horbar", 8213},
{(const unsigned char*)"sbsol", 65128},
{(const unsigned char*)"varrho", 1009},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"cudarrl", 10552},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"boxul", 9496},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"ordm", 186},
{NULL, 0},
{(const unsigned char*)"urcorn", 8989},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"dotminus", 8760},
{(const unsigned char*)"scnsim", 8937},
{(const unsigned char*)"andslope", 10840},
{(const unsigned char*)"Cfr", 8493},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"rightthreetimes", 8908},
{(const unsigned char*)"Hfr", 8460},
{(const unsigned char*)"sqsubset", 8847},
{(const unsigned char*)"lAtail", 10523},
{(const unsigned char*)"rightleftharpoons", 8652},
{(const unsigned char*)"Ifr", 8465},
{(const unsigned char*)"infintie", 10717},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"rAtail", 10524},
{(const unsigned char*)"scnap", 10938},
{(const unsigned char*)"lharul", 10602},
{(const unsigned char*)"Rfr", 8476},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"parallel", 8741},
{(const unsigned char*)"rharul", 10604},
{NULL, 0},
{(const unsigned char*)"Zfr", 8488},
{(const unsigned char*)"RuleDelayed", 10740},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"RightArrowLeftArrow", 8644},
{(const unsigned char*)"profsurf", 8979},
{(const unsigned char*)"nsupseteq", 8841},
{(const unsigned char*)"nearhk", 10532},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"triangledown", 9663},
{NULL, 0},
{(const unsigned char*)"searhk", 10533},
{(const unsigned char*)"empty", 8709},
{NULL, 0},
{(const unsigned char*)"DoubleUpArrow", 8657},
{(const unsigned char*)"checkmark", 10003},
{NULL, 0},
{(const unsigned char*)"succapprox", 10936},
{NULL, 0},
{(const unsigned char*)"Cap", 8914},
{(const unsigned char*)"RightTriangle", 8883},
{NULL, 0},
{(const unsigned char*)"tosa", 10537},
{(const unsigned char*)"RightUpVector", 8638},
{NULL, 0},
{(const unsigned char*)"boxVL", 9571},
{(const unsigned char*)"ecolon", 8789},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"Map", 10501},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"lbrack", 91},
{(const unsigned char*)"THORN", 222},
{(const unsigned char*)"DownArrowUpArrow", 8693},
{NULL, 0},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"rbrack", 93},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"DiacriticalTilde", 732},
{(const unsigned char*)"amp", 38},
{(const unsigned char*)"rlhar2", 8652},
{NULL, 0},
{(const unsigned char*)"bcong", 8780},
{NULL, 0},
{NULL, 0},
{(const unsigned char*)"exist", 8707},
{(const unsigned char*)"ord", 10845},
{NULL, 0},
{(const unsigned char*)"cap", 8745},
{(const unsigned char*)"eeacgr", 942},
{(const unsigned char*)"PrecedesTilde", 8830},
{(const unsigned char*)"divideontimes", 8903},
{(const unsigned char*)"Precedes", 8826},
};
const struct hashtable entities_htable = {
entities_htable_elements, 3079, 1643, 2463
};