/* 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
};