ref: dfb4b522830edab8f3856289d326d6cf5e930644
dir: /sys/src/cmd/tcs/html.c/
#include <u.h>
#include <libc.h>
#include <bio.h>
#include "hdr.h"
#include "conv.h"
typedef struct Hchar Hchar;
struct Hchar
{
char *s;
Rune r;
};
/*
* Names beginning with _ are names we recognize
* (without the underscore) but will not generate,
* because they are nonstandard.
*/
static Hchar byname[] =
{
{"AElig", 198},
{"Aacute", 193},
{"Abreve", 258},
{"Acirc", 194},
{"Acy", 1040},
{"Agrave", 192},
{"Alpha", 913},
{"Amacr", 256},
{"And", 10835},
{"Aogon", 260},
{"ApplyFunction", 8289},
{"Aring", 197},
{"Assign", 8788},
{"Atilde", 195},
{"Auml", 196},
{"Backslash", 8726},
{"Barv", 10983},
{"Barwed", 8966},
{"Bcy", 1041},
{"Because", 8757},
{"Bernoullis", 8492},
{"Beta", 914},
{"Breve", 728},
{"Bscr", 8492},
{"Bumpeq", 8782},
{"CHcy", 1063},
{"Cacute", 262},
{"Cap", 8914},
{"CapitalDifferentialD", 8517},
{"Cayleys", 8493},
{"Ccaron", 268},
{"Ccedil", 199},
{"Ccirc", 264},
{"Cconint", 8752},
{"Cdot", 266},
{"Cedilla", 184},
{"CenterDot", 183},
{"Cfr", 8493},
{"Chi", 935},
{"CircleDot", 8857},
{"CircleMinus", 8854},
{"CirclePlus", 8853},
{"CircleTimes", 8855},
{"ClockwiseContourIntegral", 8754},
{"CloseCurlyDoubleQuote", 8221},
{"CloseCurlyQuote", 8217},
{"Colon", 8759},
{"Colone", 10868},
{"Congruent", 8801},
{"Conint", 8751},
{"ContourIntegral", 8750},
{"Copf", 8450},
{"Coproduct", 8720},
{"CounterClockwiseContourIntegral", 8755},
{"Cross", 10799},
{"Cup", 8915},
{"CupCap", 8781},
{"DD", 8517},
{"DDotrahd", 10513},
{"DJcy", 1026},
{"DScy", 1029},
{"DZcy", 1039},
{"Dagger", 8225},
{"Darr", 8609},
{"Dashv", 10980},
{"Dcaron", 270},
{"Dcy", 1044},
{"Del", 8711},
{"Delta", 916},
{"DiacriticalAcute", 180},
{"DiacriticalDot", 729},
{"DiacriticalDoubleAcute", 733},
{"DiacriticalGrave", 96},
{"DiacriticalTilde", 732},
{"Diamond", 8900},
{"DifferentialD", 8518},
{"Dot", 168},
{"DotDot", 8412},
{"DotEqual", 8784},
{"DoubleContourIntegral", 8751},
{"DoubleDot", 168},
{"DoubleDownArrow", 8659},
{"DoubleLeftArrow", 8656},
{"DoubleLeftRightArrow", 8660},
{"DoubleLeftTee", 10980},
{"DoubleLongLeftArrow", 10232},
{"DoubleLongLeftRightArrow", 10234},
{"DoubleLongRightArrow", 10233},
{"DoubleRightArrow", 8658},
{"DoubleRightTee", 8872},
{"DoubleUpArrow", 8657},
{"DoubleUpDownArrow", 8661},
{"DoubleVerticalBar", 8741},
{"DownArrow", 8595},
{"DownArrowBar", 10515},
{"DownArrowUpArrow", 8693},
{"DownBreve", 785},
{"DownLeftRightVector", 10576},
{"DownLeftTeeVector", 10590},
{"DownLeftVector", 8637},
{"DownLeftVectorBar", 10582},
{"DownRightTeeVector", 10591},
{"DownRightVector", 8641},
{"DownRightVectorBar", 10583},
{"DownTee", 8868},
{"DownTeeArrow", 8615},
{"Downarrow", 8659},
{"Dstrok", 272},
{"ENG", 330},
{"ETH", 208},
{"Eacute", 201},
{"Ecaron", 282},
{"Ecirc", 202},
{"Ecy", 1069},
{"Edot", 278},
{"Egrave", 200},
{"Element", 8712},
{"Emacr", 274},
{"EmptySmallSquare", 9723},
{"EmptyVerySmallSquare", 9643},
{"Eogon", 280},
{"Epsilon", 917},
{"Equal", 10869},
{"EqualTilde", 8770},
{"Equilibrium", 8652},
{"Escr", 8496},
{"Esim", 10867},
{"Eta", 919},
{"Euml", 203},
{"Exists", 8707},
{"ExponentialE", 8519},
{"Fcy", 1060},
{"FilledSmallSquare", 9724},
{"FilledVerySmallSquare", 9642},
{"ForAll", 8704},
{"Fouriertrf", 8497},
{"Fscr", 8497},
{"GJcy", 1027},
{"Gamma", 915},
{"Gammad", 988},
{"Gbreve", 286},
{"Gcedil", 290},
{"Gcirc", 284},
{"Gcy", 1043},
{"Gdot", 288},
{"Gg", 8921},
{"GreaterEqual", 8805},
{"GreaterEqualLess", 8923},
{"GreaterFullEqual", 8807},
{"GreaterGreater", 10914},
{"GreaterLess", 8823},
{"GreaterSlantEqual", 10878},
{"GreaterTilde", 8819},
{"Gt", 8811},
{"HARDcy", 1066},
{"Hacek", 711},
{"Hat", 94},
{"Hcirc", 292},
{"Hfr", 8460},
{"HilbertSpace", 8459},
{"Hopf", 8461},
{"HorizontalLine", 9472},
{"Hscr", 8459},
{"Hstrok", 294},
{"HumpDownHump", 8782},
{"HumpEqual", 8783},
{"IEcy", 1045},
{"IJlig", 306},
{"IOcy", 1025},
{"Iacute", 205},
{"Icirc", 206},
{"Icy", 1048},
{"Idot", 304},
{"Ifr", 8465},
{"Igrave", 204},
{"Im", 8465},
{"Imacr", 298},
{"ImaginaryI", 8520},
{"Implies", 8658},
{"Int", 8748},
{"Integral", 8747},
{"Intersection", 8898},
{"InvisibleComma", 8291},
{"InvisibleTimes", 8290},
{"Iogon", 302},
{"Iota", 921},
{"Iscr", 8464},
{"Itilde", 296},
{"Iukcy", 1030},
{"Iuml", 207},
{"Jcirc", 308},
{"Jcy", 1049},
{"Jsercy", 1032},
{"Jukcy", 1028},
{"KHcy", 1061},
{"KJcy", 1036},
{"Kappa", 922},
{"Kcedil", 310},
{"Kcy", 1050},
{"LJcy", 1033},
{"Lacute", 313},
{"Lambda", 923},
{"Lang", 10218},
{"Laplacetrf", 8466},
{"Larr", 8606},
{"Lcaron", 317},
{"Lcedil", 315},
{"Lcy", 1051},
{"LeftAngleBracket", 10216},
{"LeftArrow", 8592},
{"LeftArrowBar", 8676},
{"LeftArrowRightArrow", 8646},
{"LeftCeiling", 8968},
{"LeftDoubleBracket", 10214},
{"LeftDownTeeVector", 10593},
{"LeftDownVector", 8643},
{"LeftDownVectorBar", 10585},
{"LeftFloor", 8970},
{"LeftRightArrow", 8596},
{"LeftRightVector", 10574},
{"LeftTee", 8867},
{"LeftTeeArrow", 8612},
{"LeftTeeVector", 10586},
{"LeftTriangle", 8882},
{"LeftTriangleBar", 10703},
{"LeftTriangleEqual", 8884},
{"LeftUpDownVector", 10577},
{"LeftUpTeeVector", 10592},
{"LeftUpVector", 8639},
{"LeftUpVectorBar", 10584},
{"LeftVector", 8636},
{"LeftVectorBar", 10578},
{"Leftarrow", 8656},
{"Leftrightarrow", 8660},
{"LessEqualGreater", 8922},
{"LessFullEqual", 8806},
{"LessGreater", 8822},
{"LessLess", 10913},
{"LessSlantEqual", 10877},
{"LessTilde", 8818},
{"Ll", 8920},
{"Lleftarrow", 8666},
{"Lmidot", 319},
{"LongLeftArrow", 10229},
{"LongLeftRightArrow", 10231},
{"LongRightArrow", 10230},
{"Longleftarrow", 10232},
{"Longleftrightarrow", 10234},
{"Longrightarrow", 10233},
{"LowerLeftArrow", 8601},
{"LowerRightArrow", 8600},
{"Lscr", 8466},
{"Lsh", 8624},
{"Lstrok", 321},
{"Lt", 8810},
{"Map", 10501},
{"Mcy", 1052},
{"MediumSpace", 8287},
{"Mellintrf", 8499},
{"MinusPlus", 8723},
{"Mscr", 8499},
{"Mu", 924},
{"NJcy", 1034},
{"Nacute", 323},
{"Ncaron", 327},
{"Ncedil", 325},
{"Ncy", 1053},
{"NegativeMediumSpace", 8203},
{"NegativeThickSpace", 8203},
{"NegativeThinSpace", 8203},
{"NegativeVeryThinSpace", 8203},
{"NestedGreaterGreater", 8811},
{"NestedLessLess", 8810},
{"NewLine", 10},
{"NoBreak", 8288},
{"NonBreakingSpace", 160},
{"Nopf", 8469},
{"Not", 10988},
{"NotCongruent", 8802},
{"NotCupCap", 8813},
{"NotDoubleVerticalBar", 8742},
{"NotElement", 8713},
{"NotEqual", 8800},
{"NotEqualTilde", 8770},
{"NotExists", 8708},
{"NotGreater", 8815},
{"NotGreaterEqual", 8817},
{"NotGreaterFullEqual", 8807},
{"NotGreaterGreater", 8811},
{"NotGreaterLess", 8825},
{"NotGreaterSlantEqual", 10878},
{"NotGreaterTilde", 8821},
{"NotHumpDownHump", 8782},
{"NotHumpEqual", 8783},
{"NotLeftTriangle", 8938},
{"NotLeftTriangleBar", 10703},
{"NotLeftTriangleEqual", 8940},
{"NotLess", 8814},
{"NotLessEqual", 8816},
{"NotLessGreater", 8824},
{"NotLessLess", 8810},
{"NotLessSlantEqual", 10877},
{"NotLessTilde", 8820},
{"NotNestedGreaterGreater", 10914},
{"NotNestedLessLess", 10913},
{"NotPrecedes", 8832},
{"NotPrecedesEqual", 10927},
{"NotPrecedesSlantEqual", 8928},
{"NotReverseElement", 8716},
{"NotRightTriangle", 8939},
{"NotRightTriangleBar", 10704},
{"NotRightTriangleEqual", 8941},
{"NotSquareSubset", 8847},
{"NotSquareSubsetEqual", 8930},
{"NotSquareSuperset", 8848},
{"NotSquareSupersetEqual", 8931},
{"NotSubset", 8834},
{"NotSubsetEqual", 8840},
{"NotSucceeds", 8833},
{"NotSucceedsEqual", 10928},
{"NotSucceedsSlantEqual", 8929},
{"NotSucceedsTilde", 8831},
{"NotSuperset", 8835},
{"NotSupersetEqual", 8841},
{"NotTilde", 8769},
{"NotTildeEqual", 8772},
{"NotTildeFullEqual", 8775},
{"NotTildeTilde", 8777},
{"NotVerticalBar", 8740},
{"Ntilde", 209},
{"Nu", 925},
{"OElig", 338},
{"Oacute", 211},
{"Ocirc", 212},
{"Ocy", 1054},
{"Odblac", 336},
{"Ograve", 210},
{"Omacr", 332},
{"Omega", 937},
{"Omicron", 927},
{"OpenCurlyDoubleQuote", 8220},
{"OpenCurlyQuote", 8216},
{"Or", 10836},
{"Oslash", 216},
{"Otilde", 213},
{"Otimes", 10807},
{"Ouml", 214},
{"OverBar", 8254},
{"OverBrace", 9182},
{"OverBracket", 9140},
{"OverParenthesis", 9180},
{"PartialD", 8706},
{"Pcy", 1055},
{"Phi", 934},
{"Pi", 928},
{"PlusMinus", 177},
{"Poincareplane", 8460},
{"Popf", 8473},
{"Pr", 10939},
{"Precedes", 8826},
{"PrecedesEqual", 10927},
{"PrecedesSlantEqual", 8828},
{"PrecedesTilde", 8830},
{"Prime", 8243},
{"Product", 8719},
{"Proportion", 8759},
{"Proportional", 8733},
{"Psi", 936},
{"Qopf", 8474},
{"RBarr", 10512},
{"Racute", 340},
{"Rang", 10219},
{"Rarr", 8608},
{"Rarrtl", 10518},
{"Rcaron", 344},
{"Rcedil", 342},
{"Rcy", 1056},
{"Re", 8476},
{"ReverseElement", 8715},
{"ReverseEquilibrium", 8651},
{"ReverseUpEquilibrium", 10607},
{"Rfr", 8476},
{"Rho", 929},
{"RightAngleBracket", 10217},
{"RightArrow", 8594},
{"RightArrowBar", 8677},
{"RightArrowLeftArrow", 8644},
{"RightCeiling", 8969},
{"RightDoubleBracket", 10215},
{"RightDownTeeVector", 10589},
{"RightDownVector", 8642},
{"RightDownVectorBar", 10581},
{"RightFloor", 8971},
{"RightTee", 8866},
{"RightTeeArrow", 8614},
{"RightTeeVector", 10587},
{"RightTriangle", 8883},
{"RightTriangleBar", 10704},
{"RightTriangleEqual", 8885},
{"RightUpDownVector", 10575},
{"RightUpTeeVector", 10588},
{"RightUpVector", 8638},
{"RightUpVectorBar", 10580},
{"RightVector", 8640},
{"RightVectorBar", 10579},
{"Rightarrow", 8658},
{"Ropf", 8477},
{"RoundImplies", 10608},
{"Rrightarrow", 8667},
{"Rscr", 8475},
{"Rsh", 8625},
{"RuleDelayed", 10740},
{"SHCHcy", 1065},
{"SHcy", 1064},
{"SOFTcy", 1068},
{"Sacute", 346},
{"Sc", 10940},
{"Scaron", 352},
{"Scedil", 350},
{"Scirc", 348},
{"Scy", 1057},
{"ShortDownArrow", 8595},
{"ShortLeftArrow", 8592},
{"ShortRightArrow", 8594},
{"ShortUpArrow", 8593},
{"Sigma", 931},
{"SmallCircle", 8728},
{"Sqrt", 8730},
{"Square", 9633},
{"SquareIntersection", 8851},
{"SquareSubset", 8847},
{"SquareSubsetEqual", 8849},
{"SquareSuperset", 8848},
{"SquareSupersetEqual", 8850},
{"SquareUnion", 8852},
{"Star", 8902},
{"Sub", 8912},
{"Subset", 8912},
{"SubsetEqual", 8838},
{"Succeeds", 8827},
{"SucceedsEqual", 10928},
{"SucceedsSlantEqual", 8829},
{"SucceedsTilde", 8831},
{"SuchThat", 8715},
{"Sum", 8721},
{"Sup", 8913},
{"Superset", 8835},
{"SupersetEqual", 8839},
{"Supset", 8913},
{"THORN", 222},
{"TSHcy", 1035},
{"TScy", 1062},
{"Tab", 9},
{"Tau", 932},
{"Tcaron", 356},
{"Tcedil", 354},
{"Tcy", 1058},
{"Therefore", 8756},
{"Theta", 920},
{"ThickSpace", 8287},
{"ThinSpace", 8201},
{"Tilde", 8764},
{"TildeEqual", 8771},
{"TildeFullEqual", 8773},
{"TildeTilde", 8776},
{"TripleDot", 8411},
{"Tstrok", 358},
{"Uacute", 218},
{"Uarr", 8607},
{"Uarrocir", 10569},
{"Ubrcy", 1038},
{"Ubreve", 364},
{"Ucirc", 219},
{"Ucy", 1059},
{"Udblac", 368},
{"Ugrave", 217},
{"Umacr", 362},
{"UnderBar", 95},
{"UnderBrace", 9183},
{"UnderBracket", 9141},
{"UnderParenthesis", 9181},
{"Union", 8899},
{"UnionPlus", 8846},
{"Uogon", 370},
{"UpArrow", 8593},
{"UpArrowBar", 10514},
{"UpArrowDownArrow", 8645},
{"UpDownArrow", 8597},
{"UpEquilibrium", 10606},
{"UpTee", 8869},
{"UpTeeArrow", 8613},
{"Uparrow", 8657},
{"Updownarrow", 8661},
{"UpperLeftArrow", 8598},
{"UpperRightArrow", 8599},
{"Upsi", 978},
{"Upsilon", 933},
{"Uring", 366},
{"Utilde", 360},
{"Uuml", 220},
{"VDash", 8875},
{"Vbar", 10987},
{"Vcy", 1042},
{"Vdash", 8873},
{"Vdashl", 10982},
{"Vee", 8897},
{"Verbar", 8214},
{"Vert", 8214},
{"VerticalBar", 8739},
{"VerticalLine", 124},
{"VerticalSeparator", 10072},
{"VerticalTilde", 8768},
{"VeryThinSpace", 8202},
{"Vvdash", 8874},
{"Wcirc", 372},
{"Wedge", 8896},
{"Xi", 926},
{"YAcy", 1071},
{"YIcy", 1031},
{"YUcy", 1070},
{"Yacute", 221},
{"Ycirc", 374},
{"Ycy", 1067},
{"Yuml", 376},
{"ZHcy", 1046},
{"Zacute", 377},
{"Zcaron", 381},
{"Zcy", 1047},
{"Zdot", 379},
{"ZeroWidthSpace", 8203},
{"Zeta", 918},
{"Zfr", 8488},
{"Zopf", 8484},
{"_AMP", 38},
{"_COPY", 169},
{"_GT", 62},
{"_LT", 60},
{"_QUOT", 34},
{"_REG", 174},
{"_TRADE", 8482},
{"_emdash", 8212}, /* non-standard but commonly used */
{"_endash", 8211}, /* non-standard but commonly used */
{"_ldots", 8230},
{"_sp", 8194},
{"_varepsilon", 1013},
{"_varpi", 982},
{"_vsigma", 962},
{"_vtheta", 977},
{"aacute", 225},
{"abreve", 259},
{"ac", 8766},
{"acE", 8766},
{"acd", 8767},
{"acirc", 226},
{"acute", 180},
{"acy", 1072},
{"aelig", 230},
{"af", 8289},
{"agrave", 224},
{"alefsym", 8501},
{"aleph", 8501},
{"alpha", 945},
{"amacr", 257},
{"amalg", 10815},
{"amp", 38},
{"and", 8743},
{"andand", 10837},
{"andd", 10844},
{"andslope", 10840},
{"andv", 10842},
{"ang", 8736},
{"ange", 10660},
{"angle", 8736},
{"angmsd", 8737},
{"angmsdaa", 10664},
{"angmsdab", 10665},
{"angmsdac", 10666},
{"angmsdad", 10667},
{"angmsdae", 10668},
{"angmsdaf", 10669},
{"angmsdag", 10670},
{"angmsdah", 10671},
{"angrt", 8735},
{"angrtvb", 8894},
{"angrtvbd", 10653},
{"angsph", 8738},
{"angst", 197},
{"angzarr", 9084},
{"aogon", 261},
{"ap", 8776},
{"apE", 10864},
{"apacir", 10863},
{"ape", 8778},
{"apid", 8779},
{"apos", 39},
{"approx", 8776},
{"approxeq", 8778},
{"aring", 229},
{"ast", 42},
{"asymp", 8776},
{"asympeq", 8781},
{"atilde", 227},
{"auml", 228},
{"awconint", 8755},
{"awint", 10769},
{"bNot", 10989},
{"backcong", 8780},
{"backepsilon", 1014},
{"backprime", 8245},
{"backsim", 8765},
{"backsimeq", 8909},
{"barvee", 8893},
{"barwed", 8965},
{"barwedge", 8965},
{"bbrk", 9141},
{"bbrktbrk", 9142},
{"bcong", 8780},
{"bcy", 1073},
{"bdquo", 8222},
{"becaus", 8757},
{"because", 8757},
{"bemptyv", 10672},
{"bepsi", 1014},
{"bernou", 8492},
{"beta", 946},
{"beth", 8502},
{"between", 8812},
{"bigcap", 8898},
{"bigcirc", 9711},
{"bigcup", 8899},
{"bigodot", 10752},
{"bigoplus", 10753},
{"bigotimes", 10754},
{"bigsqcup", 10758},
{"bigstar", 9733},
{"bigtriangledown", 9661},
{"bigtriangleup", 9651},
{"biguplus", 10756},
{"bigvee", 8897},
{"bigwedge", 8896},
{"bkarow", 10509},
{"blacklozenge", 10731},
{"blacksquare", 9642},
{"blacktriangle", 9652},
{"blacktriangledown", 9662},
{"blacktriangleleft", 9666},
{"blacktriangleright", 9656},
{"blank", 9251},
{"blk12", 9618},
{"blk14", 9617},
{"blk34", 9619},
{"block", 9608},
{"bne", 61},
{"bnequiv", 8801},
{"bnot", 8976},
{"bot", 8869},
{"bottom", 8869},
{"bowtie", 8904},
{"boxDL", 9559},
{"boxDR", 9556},
{"boxDl", 9558},
{"boxDr", 9555},
{"boxH", 9552},
{"boxHD", 9574},
{"boxHU", 9577},
{"boxHd", 9572},
{"boxHu", 9575},
{"boxUL", 9565},
{"boxUR", 9562},
{"boxUl", 9564},
{"boxUr", 9561},
{"boxV", 9553},
{"boxVH", 9580},
{"boxVL", 9571},
{"boxVR", 9568},
{"boxVh", 9579},
{"boxVl", 9570},
{"boxVr", 9567},
{"boxbox", 10697},
{"boxdL", 9557},
{"boxdR", 9554},
{"boxdl", 9488},
{"boxdr", 9484},
{"boxh", 9472},
{"boxhD", 9573},
{"boxhU", 9576},
{"boxhd", 9516},
{"boxhu", 9524},
{"boxminus", 8863},
{"boxplus", 8862},
{"boxtimes", 8864},
{"boxuL", 9563},
{"boxuR", 9560},
{"boxul", 9496},
{"boxur", 9492},
{"boxv", 9474},
{"boxvH", 9578},
{"boxvL", 9569},
{"boxvR", 9566},
{"boxvh", 9532},
{"boxvl", 9508},
{"boxvr", 9500},
{"bprime", 8245},
{"breve", 728},
{"brvbar", 166},
{"bsemi", 8271},
{"bsim", 8765},
{"bsime", 8909},
{"bsol", 92},
{"bsolb", 10693},
{"bsolhsub", 10184},
{"bull", 8226},
{"bullet", 8226},
{"bump", 8782},
{"bumpE", 10926},
{"bumpe", 8783},
{"bumpeq", 8783},
{"cacute", 263},
{"cap", 8745},
{"capand", 10820},
{"capbrcup", 10825},
{"capcap", 10827},
{"capcup", 10823},
{"capdot", 10816},
{"caps", 8745},
{"caret", 8257},
{"caron", 711},
{"ccaps", 10829},
{"ccaron", 269},
{"ccedil", 231},
{"ccirc", 265},
{"ccups", 10828},
{"ccupssm", 10832},
{"cdot", 267},
{"cdots", 8943},
{"cedil", 184},
{"cemptyv", 10674},
{"cent", 162},
{"centerdot", 183},
{"chcy", 1095},
{"check", 10003},
{"checkmark", 10003},
{"chi", 967},
{"cir", 9675},
{"cirE", 10691},
{"circ", 710},
{"circeq", 8791},
{"circlearrowleft", 8634},
{"circlearrowright", 8635},
{"circledR", 174},
{"circledS", 9416},
{"circledast", 8859},
{"circledcirc", 8858},
{"circleddash", 8861},
{"cire", 8791},
{"cirfnint", 10768},
{"cirmid", 10991},
{"cirscir", 10690},
{"clubs", 9827},
{"clubsuit", 9827},
{"colon", 58},
{"colone", 8788},
{"coloneq", 8788},
{"comma", 44},
{"commat", 64},
{"comp", 8705},
{"compfn", 8728},
{"complement", 8705},
{"complexes", 8450},
{"cong", 8773},
{"congdot", 10861},
{"conint", 8750},
{"coprod", 8720},
{"copy", 169},
{"copysr", 8471},
{"crarr", 8629},
{"cross", 10007},
{"csub", 10959},
{"csube", 10961},
{"csup", 10960},
{"csupe", 10962},
{"ctdot", 8943},
{"cudarrl", 10552},
{"cudarrr", 10549},
{"cuepr", 8926},
{"cuesc", 8927},
{"cularr", 8630},
{"cularrp", 10557},
{"cup", 8746},
{"cupbrcap", 10824},
{"cupcap", 10822},
{"cupcup", 10826},
{"cupdot", 8845},
{"cupor", 10821},
{"cups", 8746},
{"curarr", 8631},
{"curarrm", 10556},
{"curlyeqprec", 8926},
{"curlyeqsucc", 8927},
{"curlyvee", 8910},
{"curlywedge", 8911},
{"curren", 164},
{"curvearrowleft", 8630},
{"curvearrowright", 8631},
{"cuvee", 8910},
{"cuwed", 8911},
{"cwconint", 8754},
{"cwint", 8753},
{"cylcty", 9005},
{"dArr", 8659},
{"dHar", 10597},
{"dagger", 8224},
{"daleth", 8504},
{"darr", 8595},
{"dash", 8208},
{"dashv", 8867},
{"dbkarow", 10511},
{"dblac", 733},
{"dcaron", 271},
{"dcy", 1076},
{"dd", 8518},
{"ddagger", 8225},
{"ddarr", 8650},
{"ddots", 8945},
{"ddotseq", 10871},
{"deg", 176},
{"delta", 948},
{"demptyv", 10673},
{"dfisht", 10623},
{"dharl", 8643},
{"dharr", 8642},
{"diam", 8900},
{"diamond", 8900},
{"diamondsuit", 9830},
{"diams", 9830},
{"die", 168},
{"digamma", 989},
{"disin", 8946},
{"div", 247},
{"divide", 247},
{"divideontimes", 8903},
{"divonx", 8903},
{"djcy", 1106},
{"dlcorn", 8990},
{"dlcrop", 8973},
{"dollar", 36},
{"dot", 729},
{"doteq", 8784},
{"doteqdot", 8785},
{"dotminus", 8760},
{"dotplus", 8724},
{"dotsquare", 8865},
{"doublebarwedge", 8966},
{"downarrow", 8595},
{"downdownarrows", 8650},
{"downharpoonleft", 8643},
{"downharpoonright", 8642},
{"drbkarow", 10512},
{"drcorn", 8991},
{"drcrop", 8972},
{"dscy", 1109},
{"dsol", 10742},
{"dstrok", 273},
{"dtdot", 8945},
{"dtri", 9663},
{"dtrif", 9662},
{"duarr", 8693},
{"duhar", 10607},
{"dwangle", 10662},
{"dzcy", 1119},
{"dzigrarr", 10239},
{"eDDot", 10871},
{"eDot", 8785},
{"eacute", 233},
{"easter", 10862},
{"ecaron", 283},
{"ecir", 8790},
{"ecirc", 234},
{"ecolon", 8789},
{"ecy", 1101},
{"edot", 279},
{"ee", 8519},
{"efDot", 8786},
{"eg", 10906},
{"egrave", 232},
{"egs", 10902},
{"egsdot", 10904},
{"el", 10905},
{"elinters", 9191},
{"ell", 8467},
{"els", 10901},
{"elsdot", 10903},
{"emacr", 275},
{"empty", 8709},
{"emptyset", 8709},
{"emptyv", 8709},
{"emsp", 8195},
{"emsp13", 8196},
{"emsp14", 8197},
{"eng", 331},
{"ensp", 8194},
{"eogon", 281},
{"epar", 8917},
{"eparsl", 10723},
{"eplus", 10865},
{"epsi", 949},
{"epsilon", 949},
{"epsiv", 1013},
{"eqcirc", 8790},
{"eqcolon", 8789},
{"eqsim", 8770},
{"eqslantgtr", 10902},
{"eqslantless", 10901},
{"equals", 61},
{"equest", 8799},
{"equiv", 8801},
{"equivDD", 10872},
{"eqvparsl", 10725},
{"erDot", 8787},
{"erarr", 10609},
{"escr", 8495},
{"esdot", 8784},
{"esim", 8770},
{"eta", 951},
{"eth", 240},
{"euml", 235},
{"euro", 8364},
{"excl", 33},
{"exist", 8707},
{"expectation", 8496},
{"exponentiale", 8519},
{"fallingdotseq", 8786},
{"fcy", 1092},
{"female", 9792},
{"ffilig", 64259},
{"fflig", 64256},
{"ffllig", 64260},
{"filig", 64257},
{"fjlig", 102},
{"flat", 9837},
{"fllig", 64258},
{"fltns", 9649},
{"fnof", 402},
{"forall", 8704},
{"fork", 8916},
{"forkv", 10969},
{"fpartint", 10765},
{"frac12", 189},
{"frac13", 8531},
{"frac14", 188},
{"frac15", 8533},
{"frac16", 8537},
{"frac18", 8539},
{"frac23", 8532},
{"frac25", 8534},
{"frac34", 190},
{"frac35", 8535},
{"frac38", 8540},
{"frac45", 8536},
{"frac56", 8538},
{"frac58", 8541},
{"frac78", 8542},
{"frasl", 8260},
{"frown", 8994},
{"gE", 8807},
{"gEl", 10892},
{"gacute", 501},
{"gamma", 947},
{"gammad", 989},
{"gap", 10886},
{"gbreve", 287},
{"gcirc", 285},
{"gcy", 1075},
{"gdot", 289},
{"ge", 8805},
{"gel", 8923},
{"geq", 8805},
{"geqq", 8807},
{"geqslant", 10878},
{"ges", 10878},
{"gescc", 10921},
{"gesdot", 10880},
{"gesdoto", 10882},
{"gesdotol", 10884},
{"gesl", 8923},
{"gesles", 10900},
{"gg", 8811},
{"ggg", 8921},
{"gimel", 8503},
{"gjcy", 1107},
{"gl", 8823},
{"glE", 10898},
{"gla", 10917},
{"glj", 10916},
{"gnE", 8809},
{"gnap", 10890},
{"gnapprox", 10890},
{"gne", 10888},
{"gneq", 10888},
{"gneqq", 8809},
{"gnsim", 8935},
{"grave", 96},
{"gscr", 8458},
{"gsim", 8819},
{"gsime", 10894},
{"gsiml", 10896},
{"gt", 62},
{"gtcc", 10919},
{"gtcir", 10874},
{"gtdot", 8919},
{"gtlPar", 10645},
{"gtquest", 10876},
{"gtrapprox", 10886},
{"gtrarr", 10616},
{"gtrdot", 8919},
{"gtreqless", 8923},
{"gtreqqless", 10892},
{"gtrless", 8823},
{"gtrsim", 8819},
{"gvertneqq", 8809},
{"gvnE", 8809},
{"hArr", 8660},
{"hairsp", 8202},
{"half", 189},
{"hamilt", 8459},
{"hardcy", 1098},
{"harr", 8596},
{"harrcir", 10568},
{"harrw", 8621},
{"hbar", 8463},
{"hcirc", 293},
{"hearts", 9829},
{"heartsuit", 9829},
{"hellip", 8230},
{"hercon", 8889},
{"hksearow", 10533},
{"hkswarow", 10534},
{"hoarr", 8703},
{"homtht", 8763},
{"hookleftarrow", 8617},
{"hookrightarrow", 8618},
{"horbar", 8213},
{"hslash", 8463},
{"hstrok", 295},
{"hybull", 8259},
{"hyphen", 8208},
{"iacute", 237},
{"ic", 8291},
{"icirc", 238},
{"icy", 1080},
{"iecy", 1077},
{"iexcl", 161},
{"iff", 8660},
{"igrave", 236},
{"ii", 8520},
{"iiiint", 10764},
{"iiint", 8749},
{"iinfin", 10716},
{"iiota", 8489},
{"ijlig", 307},
{"imacr", 299},
{"image", 8465},
{"imagline", 8464},
{"imagpart", 8465},
{"imath", 305},
{"imof", 8887},
{"imped", 437},
{"in", 8712},
{"incare", 8453},
{"infin", 8734},
{"infintie", 10717},
{"inodot", 305},
{"int", 8747},
{"intcal", 8890},
{"integers", 8484},
{"intercal", 8890},
{"intlarhk", 10775},
{"intprod", 10812},
{"iocy", 1105},
{"iogon", 303},
{"iota", 953},
{"iprod", 10812},
{"iquest", 191},
{"isin", 8712},
{"isinE", 8953},
{"isindot", 8949},
{"isins", 8948},
{"isinsv", 8947},
{"isinv", 8712},
{"it", 8290},
{"itilde", 297},
{"iukcy", 1110},
{"iuml", 239},
{"jcirc", 309},
{"jcy", 1081},
{"jmath", 567},
{"jsercy", 1112},
{"jukcy", 1108},
{"kappa", 954},
{"kappav", 1008},
{"kcedil", 311},
{"kcy", 1082},
{"kgreen", 312},
{"khcy", 1093},
{"kjcy", 1116},
{"lAarr", 8666},
{"lArr", 8656},
{"lAtail", 10523},
{"lBarr", 10510},
{"lE", 8806},
{"lEg", 10891},
{"lHar", 10594},
{"lacute", 314},
{"laemptyv", 10676},
{"lagran", 8466},
{"lambda", 955},
{"lang", 10216},
{"lang", 9001},
{"langd", 10641},
{"langle", 10216},
{"lap", 10885},
{"laquo", 171},
{"larr", 8592},
{"larrb", 8676},
{"larrbfs", 10527},
{"larrfs", 10525},
{"larrhk", 8617},
{"larrlp", 8619},
{"larrpl", 10553},
{"larrsim", 10611},
{"larrtl", 8610},
{"lat", 10923},
{"latail", 10521},
{"late", 10925},
{"lates", 10925},
{"lbarr", 10508},
{"lbbrk", 10098},
{"lbrace", 123},
{"lbrack", 91},
{"lbrke", 10635},
{"lbrksld", 10639},
{"lbrkslu", 10637},
{"lcaron", 318},
{"lcedil", 316},
{"lceil", 8968},
{"lcub", 123},
{"lcy", 1083},
{"ldca", 10550},
{"ldquo", 8220},
{"ldquor", 8222},
{"ldrdhar", 10599},
{"ldrushar", 10571},
{"ldsh", 8626},
{"le", 8804},
{"leftarrow", 8592},
{"leftarrowtail", 8610},
{"leftharpoondown", 8637},
{"leftharpoonup", 8636},
{"leftleftarrows", 8647},
{"leftrightarrow", 8596},
{"leftrightarrows", 8646},
{"leftrightharpoons", 8651},
{"leftrightsquigarrow", 8621},
{"leftthreetimes", 8907},
{"leg", 8922},
{"leq", 8804},
{"leqq", 8806},
{"leqslant", 10877},
{"les", 10877},
{"lescc", 10920},
{"lesdot", 10879},
{"lesdoto", 10881},
{"lesdotor", 10883},
{"lesg", 8922},
{"lesges", 10899},
{"lessapprox", 10885},
{"lessdot", 8918},
{"lesseqgtr", 8922},
{"lesseqqgtr", 10891},
{"lessgtr", 8822},
{"lesssim", 8818},
{"lfisht", 10620},
{"lfloor", 8970},
{"lg", 8822},
{"lgE", 10897},
{"lhard", 8637},
{"lharu", 8636},
{"lharul", 10602},
{"lhblk", 9604},
{"ljcy", 1113},
{"ll", 8810},
{"llarr", 8647},
{"llcorner", 8990},
{"llhard", 10603},
{"lltri", 9722},
{"lmidot", 320},
{"lmoust", 9136},
{"lmoustache", 9136},
{"lnE", 8808},
{"lnap", 10889},
{"lnapprox", 10889},
{"lne", 10887},
{"lneq", 10887},
{"lneqq", 8808},
{"lnsim", 8934},
{"loang", 10220},
{"loarr", 8701},
{"lobrk", 10214},
{"longleftarrow", 10229},
{"longleftrightarrow", 10231},
{"longmapsto", 10236},
{"longrightarrow", 10230},
{"looparrowleft", 8619},
{"looparrowright", 8620},
{"lopar", 10629},
{"loplus", 10797},
{"lotimes", 10804},
{"lowast", 8727},
{"lowbar", 95},
{"loz", 9674},
{"lozenge", 9674},
{"lozf", 10731},
{"lpar", 40},
{"lparlt", 10643},
{"lrarr", 8646},
{"lrcorner", 8991},
{"lrhar", 8651},
{"lrhard", 10605},
{"lrm", 8206},
{"lrtri", 8895},
{"lsaquo", 8249},
{"lsh", 8624},
{"lsim", 8818},
{"lsime", 10893},
{"lsimg", 10895},
{"lsqb", 91},
{"lsquo", 8216},
{"lsquor", 8218},
{"lstrok", 322},
{"lt", 60},
{"ltcc", 10918},
{"ltcir", 10873},
{"ltdot", 8918},
{"lthree", 8907},
{"ltimes", 8905},
{"ltlarr", 10614},
{"ltquest", 10875},
{"ltrPar", 10646},
{"ltri", 9667},
{"ltrie", 8884},
{"ltrif", 9666},
{"lurdshar", 10570},
{"luruhar", 10598},
{"lvertneqq", 8808},
{"lvnE", 8808},
{"mDDot", 8762},
{"macr", 175},
{"male", 9794},
{"malt", 10016},
{"maltese", 10016},
{"map", 8614},
{"mapsto", 8614},
{"mapstodown", 8615},
{"mapstoleft", 8612},
{"mapstoup", 8613},
{"marker", 9646},
{"mcomma", 10793},
{"mcy", 1084},
{"mdash", 8212},
{"measuredangle", 8737},
{"mho", 8487},
{"micro", 181},
{"mid", 8739},
{"midast", 42},
{"midcir", 10992},
{"middot", 183},
{"minus", 8722},
{"minusb", 8863},
{"minusd", 8760},
{"minusdu", 10794},
{"mlcp", 10971},
{"mldr", 8230},
{"mnplus", 8723},
{"models", 8871},
{"mp", 8723},
{"mstpos", 8766},
{"mu", 956},
{"multimap", 8888},
{"mumap", 8888},
{"nGg", 8921},
{"nGt", 8811},
{"nGtv", 8811},
{"nLeftarrow", 8653},
{"nLeftrightarrow", 8654},
{"nLl", 8920},
{"nLt", 8810},
{"nLtv", 8810},
{"nRightarrow", 8655},
{"nVDash", 8879},
{"nVdash", 8878},
{"nabla", 8711},
{"nacute", 324},
{"nang", 8736},
{"nap", 8777},
{"napE", 10864},
{"napid", 8779},
{"napos", 329},
{"napprox", 8777},
{"natur", 9838},
{"natural", 9838},
{"naturals", 8469},
{"nbsp", 160},
{"nbump", 8782},
{"nbumpe", 8783},
{"ncap", 10819},
{"ncaron", 328},
{"ncedil", 326},
{"ncong", 8775},
{"ncongdot", 10861},
{"ncup", 10818},
{"ncy", 1085},
{"ndash", 8211},
{"ne", 8800},
{"neArr", 8663},
{"nearhk", 10532},
{"nearr", 8599},
{"nearrow", 8599},
{"nedot", 8784},
{"nequiv", 8802},
{"nesear", 10536},
{"nesim", 8770},
{"nexist", 8708},
{"nexists", 8708},
{"ngE", 8807},
{"nge", 8817},
{"ngeq", 8817},
{"ngeqq", 8807},
{"ngeqslant", 10878},
{"nges", 10878},
{"ngsim", 8821},
{"ngt", 8815},
{"ngtr", 8815},
{"nhArr", 8654},
{"nharr", 8622},
{"nhpar", 10994},
{"ni", 8715},
{"nis", 8956},
{"nisd", 8954},
{"niv", 8715},
{"njcy", 1114},
{"nlArr", 8653},
{"nlE", 8806},
{"nlarr", 8602},
{"nldr", 8229},
{"nle", 8816},
{"nleftarrow", 8602},
{"nleftrightarrow", 8622},
{"nleq", 8816},
{"nleqq", 8806},
{"nleqslant", 10877},
{"nles", 10877},
{"nless", 8814},
{"nlsim", 8820},
{"nlt", 8814},
{"nltri", 8938},
{"nltrie", 8940},
{"nmid", 8740},
{"not", 172},
{"notin", 8713},
{"notinE", 8953},
{"notindot", 8949},
{"notinva", 8713},
{"notinvb", 8951},
{"notinvc", 8950},
{"notni", 8716},
{"notniva", 8716},
{"notnivb", 8958},
{"notnivc", 8957},
{"npar", 8742},
{"nparallel", 8742},
{"nparsl", 11005},
{"npart", 8706},
{"npolint", 10772},
{"npr", 8832},
{"nprcue", 8928},
{"npre", 10927},
{"nprec", 8832},
{"npreceq", 10927},
{"nrArr", 8655},
{"nrarr", 8603},
{"nrarrc", 10547},
{"nrarrw", 8605},
{"nrightarrow", 8603},
{"nrtri", 8939},
{"nrtrie", 8941},
{"nsc", 8833},
{"nsccue", 8929},
{"nsce", 10928},
{"nshortmid", 8740},
{"nshortparallel", 8742},
{"nsim", 8769},
{"nsime", 8772},
{"nsimeq", 8772},
{"nsmid", 8740},
{"nspar", 8742},
{"nsqsube", 8930},
{"nsqsupe", 8931},
{"nsub", 8836},
{"nsubE", 10949},
{"nsube", 8840},
{"nsubset", 8834},
{"nsubseteq", 8840},
{"nsubseteqq", 10949},
{"nsucc", 8833},
{"nsucceq", 10928},
{"nsup", 8837},
{"nsupE", 10950},
{"nsupe", 8841},
{"nsupset", 8835},
{"nsupseteq", 8841},
{"nsupseteqq", 10950},
{"ntgl", 8825},
{"ntilde", 241},
{"ntlg", 8824},
{"ntriangleleft", 8938},
{"ntrianglelefteq", 8940},
{"ntriangleright", 8939},
{"ntrianglerighteq", 8941},
{"nu", 957},
{"num", 35},
{"numero", 8470},
{"numsp", 8199},
{"nvDash", 8877},
{"nvHarr", 10500},
{"nvap", 8781},
{"nvdash", 8876},
{"nvge", 8805},
{"nvgt", 62},
{"nvinfin", 10718},
{"nvlArr", 10498},
{"nvle", 8804},
{"nvlt", 60},
{"nvltrie", 8884},
{"nvrArr", 10499},
{"nvrtrie", 8885},
{"nvsim", 8764},
{"nwArr", 8662},
{"nwarhk", 10531},
{"nwarr", 8598},
{"nwarrow", 8598},
{"nwnear", 10535},
{"oS", 9416},
{"oacute", 243},
{"oast", 8859},
{"ocir", 8858},
{"ocirc", 244},
{"ocy", 1086},
{"odash", 8861},
{"odblac", 337},
{"odiv", 10808},
{"odot", 8857},
{"odsold", 10684},
{"oelig", 339},
{"ofcir", 10687},
{"ogon", 731},
{"ograve", 242},
{"ogt", 10689},
{"ohbar", 10677},
{"ohm", 937},
{"oint", 8750},
{"olarr", 8634},
{"olcir", 10686},
{"olcross", 10683},
{"oline", 8254},
{"olt", 10688},
{"omacr", 333},
{"omega", 969},
{"omicron", 959},
{"omid", 10678},
{"ominus", 8854},
{"opar", 10679},
{"operp", 10681},
{"oplus", 8853},
{"or", 8744},
{"orarr", 8635},
{"ord", 10845},
{"order", 8500},
{"orderof", 8500},
{"ordf", 170},
{"ordm", 186},
{"origof", 8886},
{"oror", 10838},
{"orslope", 10839},
{"orv", 10843},
{"oscr", 8500},
{"oslash", 248},
{"osol", 8856},
{"otilde", 245},
{"otimes", 8855},
{"otimesas", 10806},
{"ouml", 246},
{"ovbar", 9021},
{"par", 8741},
{"para", 182},
{"parallel", 8741},
{"parsim", 10995},
{"parsl", 11005},
{"part", 8706},
{"pcy", 1087},
{"percnt", 37},
{"period", 46},
{"permil", 8240},
{"perp", 8869},
{"pertenk", 8241},
{"phi", 966},
{"phiv", 981},
{"phmmat", 8499},
{"phone", 9742},
{"pi", 960},
{"pitchfork", 8916},
{"piv", 982},
{"planck", 8463},
{"planckh", 8462},
{"plankv", 8463},
{"plus", 43},
{"plusacir", 10787},
{"plusb", 8862},
{"pluscir", 10786},
{"plusdo", 8724},
{"plusdu", 10789},
{"pluse", 10866},
{"plusmn", 177},
{"plussim", 10790},
{"plustwo", 10791},
{"pm", 177},
{"pointint", 10773},
{"pound", 163},
{"pr", 8826},
{"prE", 10931},
{"prap", 10935},
{"prcue", 8828},
{"pre", 10927},
{"prec", 8826},
{"precapprox", 10935},
{"preccurlyeq", 8828},
{"preceq", 10927},
{"precnapprox", 10937},
{"precneqq", 10933},
{"precnsim", 8936},
{"precsim", 8830},
{"prime", 8242},
{"primes", 8473},
{"prnE", 10933},
{"prnap", 10937},
{"prnsim", 8936},
{"prod", 8719},
{"profalar", 9006},
{"profline", 8978},
{"profsurf", 8979},
{"prop", 8733},
{"propto", 8733},
{"prsim", 8830},
{"prurel", 8880},
{"psi", 968},
{"puncsp", 8200},
{"qint", 10764},
{"qprime", 8279},
{"quad", 8193},
{"quaternions", 8461},
{"quatint", 10774},
{"quest", 63},
{"questeq", 8799},
{"quot", 34},
{"rAarr", 8667},
{"rArr", 8658},
{"rAtail", 10524},
{"rBarr", 10511},
{"rHar", 10596},
{"race", 8765},
{"racute", 341},
{"radic", 8730},
{"raemptyv", 10675},
{"rang", 10217},
{"rang", 9002},
{"rangd", 10642},
{"range", 10661},
{"rangle", 10217},
{"raquo", 187},
{"rarr", 8594},
{"rarrap", 10613},
{"rarrb", 8677},
{"rarrbfs", 10528},
{"rarrc", 10547},
{"rarrfs", 10526},
{"rarrhk", 8618},
{"rarrlp", 8620},
{"rarrpl", 10565},
{"rarrsim", 10612},
{"rarrtl", 8611},
{"rarrw", 8605},
{"ratail", 10522},
{"ratio", 8758},
{"rationals", 8474},
{"rbarr", 10509},
{"rbbrk", 10099},
{"rbrace", 125},
{"rbrack", 93},
{"rbrke", 10636},
{"rbrksld", 10638},
{"rbrkslu", 10640},
{"rcaron", 345},
{"rcedil", 343},
{"rceil", 8969},
{"rcub", 125},
{"rcy", 1088},
{"rdca", 10551},
{"rdldhar", 10601},
{"rdquo", 8221},
{"rdquor", 8221},
{"rdsh", 8627},
{"real", 8476},
{"realine", 8475},
{"realpart", 8476},
{"reals", 8477},
{"rect", 9645},
{"reg", 174},
{"rfisht", 10621},
{"rfloor", 8971},
{"rhard", 8641},
{"rharu", 8640},
{"rharul", 10604},
{"rho", 961},
{"rhov", 1009},
{"rightarrow", 8594},
{"rightarrowtail", 8611},
{"rightharpoondown", 8641},
{"rightharpoonup", 8640},
{"rightleftarrows", 8644},
{"rightleftharpoons", 8652},
{"rightrightarrows", 8649},
{"rightsquigarrow", 8605},
{"rightthreetimes", 8908},
{"ring", 730},
{"risingdotseq", 8787},
{"rlarr", 8644},
{"rlhar", 8652},
{"rlm", 8207},
{"rmoust", 9137},
{"rmoustache", 9137},
{"rnmid", 10990},
{"roang", 10221},
{"roarr", 8702},
{"robrk", 10215},
{"ropar", 10630},
{"roplus", 10798},
{"rotimes", 10805},
{"rpar", 41},
{"rpargt", 10644},
{"rppolint", 10770},
{"rrarr", 8649},
{"rsaquo", 8250},
{"rsh", 8625},
{"rsqb", 93},
{"rsquo", 8217},
{"rsquor", 8217},
{"rthree", 8908},
{"rtimes", 8906},
{"rtri", 9657},
{"rtrie", 8885},
{"rtrif", 9656},
{"rtriltri", 10702},
{"ruluhar", 10600},
{"rx", 8478},
{"sacute", 347},
{"sbquo", 8218},
{"sc", 8827},
{"scE", 10932},
{"scap", 10936},
{"scaron", 353},
{"sccue", 8829},
{"sce", 10928},
{"scedil", 351},
{"scirc", 349},
{"scnE", 10934},
{"scnap", 10938},
{"scnsim", 8937},
{"scpolint", 10771},
{"scsim", 8831},
{"scy", 1089},
{"sdot", 8901},
{"sdotb", 8865},
{"sdote", 10854},
{"seArr", 8664},
{"searhk", 10533},
{"searr", 8600},
{"searrow", 8600},
{"sect", 167},
{"semi", 59},
{"seswar", 10537},
{"setminus", 8726},
{"setmn", 8726},
{"sext", 10038},
{"sfrown", 8994},
{"sharp", 9839},
{"shchcy", 1097},
{"shcy", 1096},
{"shortmid", 8739},
{"shortparallel", 8741},
{"shy", 173},
{"sigma", 963},
{"sigmaf", 962},
{"sigmav", 962},
{"sim", 8764},
{"simdot", 10858},
{"sime", 8771},
{"simeq", 8771},
{"simg", 10910},
{"simgE", 10912},
{"siml", 10909},
{"simlE", 10911},
{"simne", 8774},
{"simplus", 10788},
{"simrarr", 10610},
{"slarr", 8592},
{"smallsetminus", 8726},
{"smashp", 10803},
{"smeparsl", 10724},
{"smid", 8739},
{"smile", 8995},
{"smt", 10922},
{"smte", 10924},
{"smtes", 10924},
{"softcy", 1100},
{"sol", 47},
{"solb", 10692},
{"solbar", 9023},
{"spades", 9824},
{"spadesuit", 9824},
{"spar", 8741},
{"sqcap", 8851},
{"sqcaps", 8851},
{"sqcup", 8852},
{"sqcups", 8852},
{"sqsub", 8847},
{"sqsube", 8849},
{"sqsubset", 8847},
{"sqsubseteq", 8849},
{"sqsup", 8848},
{"sqsupe", 8850},
{"sqsupset", 8848},
{"sqsupseteq", 8850},
{"squ", 9633},
{"square", 9633},
{"squarf", 9642},
{"squf", 9642},
{"srarr", 8594},
{"ssetmn", 8726},
{"ssmile", 8995},
{"sstarf", 8902},
{"star", 9734},
{"starf", 9733},
{"straightepsilon", 1013},
{"straightphi", 981},
{"strns", 175},
{"sub", 8834},
{"subE", 10949},
{"subdot", 10941},
{"sube", 8838},
{"subedot", 10947},
{"submult", 10945},
{"subnE", 10955},
{"subne", 8842},
{"subplus", 10943},
{"subrarr", 10617},
{"subset", 8834},
{"subseteq", 8838},
{"subseteqq", 10949},
{"subsetneq", 8842},
{"subsetneqq", 10955},
{"subsim", 10951},
{"subsub", 10965},
{"subsup", 10963},
{"succ", 8827},
{"succapprox", 10936},
{"succcurlyeq", 8829},
{"succeq", 10928},
{"succnapprox", 10938},
{"succneqq", 10934},
{"succnsim", 8937},
{"succsim", 8831},
{"sum", 8721},
{"sung", 9834},
{"sup", 8835},
{"sup1", 185},
{"sup2", 178},
{"sup3", 179},
{"supE", 10950},
{"supdot", 10942},
{"supdsub", 10968},
{"supe", 8839},
{"supedot", 10948},
{"suphsol", 10185},
{"suphsub", 10967},
{"suplarr", 10619},
{"supmult", 10946},
{"supnE", 10956},
{"supne", 8843},
{"supplus", 10944},
{"supset", 8835},
{"supseteq", 8839},
{"supseteqq", 10950},
{"supsetneq", 8843},
{"supsetneqq", 10956},
{"supsim", 10952},
{"supsub", 10964},
{"supsup", 10966},
{"swArr", 8665},
{"swarhk", 10534},
{"swarr", 8601},
{"swarrow", 8601},
{"swnwar", 10538},
{"szlig", 223},
{"target", 8982},
{"tau", 964},
{"tbrk", 9140},
{"tcaron", 357},
{"tcedil", 355},
{"tcy", 1090},
{"tdot", 8411},
{"telrec", 8981},
{"there4", 8756},
{"therefore", 8756},
{"theta", 952},
{"thetasym", 977},
{"thetav", 977},
{"thickapprox", 8776},
{"thicksim", 8764},
{"thinsp", 8201},
{"thkap", 8776},
{"thksim", 8764},
{"thorn", 254},
{"tilde", 732},
{"times", 215},
{"timesb", 8864},
{"timesbar", 10801},
{"timesd", 10800},
{"tint", 8749},
{"toea", 10536},
{"top", 8868},
{"topbot", 9014},
{"topcir", 10993},
{"topfork", 10970},
{"tosa", 10537},
{"tprime", 8244},
{"trade", 8482},
{"triangle", 9653},
{"triangledown", 9663},
{"triangleleft", 9667},
{"trianglelefteq", 8884},
{"triangleq", 8796},
{"triangleright", 9657},
{"trianglerighteq", 8885},
{"tridot", 9708},
{"trie", 8796},
{"triminus", 10810},
{"triplus", 10809},
{"trisb", 10701},
{"tritime", 10811},
{"trpezium", 9186},
{"tscy", 1094},
{"tshcy", 1115},
{"tstrok", 359},
{"twixt", 8812},
{"twoheadleftarrow", 8606},
{"twoheadrightarrow", 8608},
{"uArr", 8657},
{"uHar", 10595},
{"uacute", 250},
{"uarr", 8593},
{"ubrcy", 1118},
{"ubreve", 365},
{"ucirc", 251},
{"ucy", 1091},
{"udarr", 8645},
{"udblac", 369},
{"udhar", 10606},
{"ufisht", 10622},
{"ugrave", 249},
{"uharl", 8639},
{"uharr", 8638},
{"uhblk", 9600},
{"ulcorn", 8988},
{"ulcorner", 8988},
{"ulcrop", 8975},
{"ultri", 9720},
{"umacr", 363},
{"uml", 168},
{"uogon", 371},
{"uparrow", 8593},
{"updownarrow", 8597},
{"upharpoonleft", 8639},
{"upharpoonright", 8638},
{"uplus", 8846},
{"upsi", 965},
{"upsih", 978},
{"upsilon", 965},
{"upuparrows", 8648},
{"urcorn", 8989},
{"urcorner", 8989},
{"urcrop", 8974},
{"uring", 367},
{"urtri", 9721},
{"utdot", 8944},
{"utilde", 361},
{"utri", 9653},
{"utrif", 9652},
{"uuarr", 8648},
{"uuml", 252},
{"uwangle", 10663},
{"vArr", 8661},
{"vBar", 10984},
{"vBarv", 10985},
{"vDash", 8872},
{"vangrt", 10652},
{"varkappa", 1008},
{"varnothing", 8709},
{"varphi", 981},
{"varpropto", 8733},
{"varr", 8597},
{"varrho", 1009},
{"varsigma", 962},
{"varsubsetneq", 8842},
{"varsubsetneqq", 10955},
{"varsupsetneq", 8843},
{"varsupsetneqq", 10956},
{"vartheta", 977},
{"vartriangleleft", 8882},
{"vartriangleright", 8883},
{"vcy", 1074},
{"vdash", 8866},
{"vdots", 8942},
{"vee", 8744},
{"veebar", 8891},
{"veeeq", 8794},
{"vellip", 8942},
{"verbar", 124},
{"vert", 124},
{"vltri", 8882},
{"vnsub", 8834},
{"vnsup", 8835},
{"vprop", 8733},
{"vrtri", 8883},
{"vsubnE", 10955},
{"vsubne", 8842},
{"vsupnE", 10956},
{"vsupne", 8843},
{"vzigzag", 10650},
{"wcirc", 373},
{"wedbar", 10847},
{"wedge", 8743},
{"wedgeq", 8793},
{"weierp", 8472},
{"wp", 8472},
{"wr", 8768},
{"wreath", 8768},
{"xcap", 8898},
{"xcirc", 9711},
{"xcup", 8899},
{"xdtri", 9661},
{"xhArr", 10234},
{"xharr", 10231},
{"xi", 958},
{"xlArr", 10232},
{"xlarr", 10229},
{"xmap", 10236},
{"xnis", 8955},
{"xodot", 10752},
{"xoplus", 10753},
{"xotime", 10754},
{"xrArr", 10233},
{"xrarr", 10230},
{"xsqcup", 10758},
{"xuplus", 10756},
{"xutri", 9651},
{"xvee", 8897},
{"xwedge", 8896},
{"yacute", 253},
{"yacy", 1103},
{"ycirc", 375},
{"ycy", 1099},
{"yen", 165},
{"yicy", 1111},
{"yucy", 1102},
{"yuml", 255},
{"zacute", 378},
{"zcaron", 382},
{"zcy", 1079},
{"zdot", 380},
{"zeetrf", 8488},
{"zeta", 950},
{"zhcy", 1078},
{"zigrarr", 8669},
{"zwj", 8205},
{"zwnj", 8204}
};
static Hchar byrune[nelem(byname)];
static int
hnamecmp(const void *va, const void *vb)
{
Hchar *a, *b;
a = (Hchar*)va;
b = (Hchar*)vb;
return strcmp(a->s, b->s);
}
static int
hrunecmp(const void *va, const void *vb)
{
Hchar *a, *b;
a = (Hchar*)va;
b = (Hchar*)vb;
return a->r - b->r;
}
static int
hlencmp(const void *va, const void *vb)
{
Hchar *a, *b;
a = (Hchar*)va;
b = (Hchar*)vb;
return strlen(a->s) - strlen(b->s);
}
static void
html_init(void)
{
static int init;
int i, j;
if(init)
return;
init = 1;
memmove(byrune, byname, sizeof byrune);
/* Eliminate names we aren't allowed to generate. */
for(i=0; i<nelem(byrune); i++){
if(byrune[i].s[0] == '_'){
byrune[i].r = Runeerror;
byname[i].s++;
}
}
qsort(byname, nelem(byname), sizeof byname[0], hnamecmp);
qsort(byrune, nelem(byrune), sizeof byrune[0], hrunecmp);
/* Eliminate ambigious runes. use shotest name */
for(j=0, i=1; i<nelem(byrune); i++){
if(byrune[i].r == byrune[j].r)
continue;
if(i-j > 1) {
qsort(byrune+j, i-j, sizeof byrune[0], hlencmp);
while(++j<i) byrune[j].r = Runeerror;
}
j=i;
}
if(i-j > 1) {
qsort(byrune+j, i-j, sizeof byrune[0], hlencmp);
while(++j<i) byrune[j].r = Runeerror;
}
qsort(byrune, nelem(byrune), sizeof byrune[0], hrunecmp);
}
static Rune
findbyname(char *s)
{
Hchar *h;
int n, m, x;
h = byname;
n = nelem(byname);
while(n > 0){
m = n/2;
x = strcmp(h[m].s, s);
if(x == 0)
return h[m].r;
if(x < 0){
h += m+1;
n -= m+1;
}else
n = m;
}
return Runeerror;
}
static char*
findbyrune(Rune r)
{
Hchar *h;
int n, m;
if(r == Runeerror)
return nil;
h = byrune;
n = nelem(byrune);
while(n > 0){
m = n/2;
if(h[m].r == r)
return h[m].s;
if(h[m].r < r){
h += m+1;
n -= m+1;
}else
n = m;
}
return nil;
}
void
html_in(int fd, long *, struct convert *out)
{
char buf[100], *p;
Biobuf b;
Rune *r, *er, r2;
int c, s, i;
html_init();
r = runes;
er = runes+N;
r2 = 0;
Binit(&b, fd, OREAD);
while((c = Bgetrune(&b)) != Beof){
if(r >= er){
OUT(out, runes, r-runes);
r = runes;
}
if(c == '&'){
s = 0;
buf[0] = c;
for(i=1; i<nelem(buf)-1;){
c = Bgetc(&b);
if(c == Beof)
break;
if(strchr(";&</> \t\r\n", c)){
if(c != ';')
Bungetc(&b);
else
s = 1;
break;
}
buf[i++] = c;
}
buf[i] = 0;
if(i > 1){
if((c = findbyname(buf+1)) != Runeerror)
goto out;
if(i > 2 && buf[1] == '#'){
if(i > 3 && strchr("xX", buf[2]))
c = strtol(buf+3, &p, 16);
else
c = strtol(buf+2, &p, 10);
if(*p || c < 0)
goto bad;
goto out;
}
}
bad:
if(s)
buf[i++] = ';';
for(p=buf; p<buf+i; ){
p += chartorune(r++, p);
if(r >= er){
OUT(out, runes, r-runes);
r = runes;
}
}
r2 = 0;
continue;
out:
if((c & 0x7f) == c && strchr("<>&\"'", c)){
s = ';';
i = sprint(buf, "&%s", findbyrune(c));
goto bad;
}
}
*r = c;
if(fixsurrogate(r, r2)){
r2 = *r;
continue;
}
r2 = 0;
r++;
}
if(r > runes)
OUT(out, runes, r-runes);
OUT(out, runes, 0);
}
/*
* use biobuf because can use more than UTFmax bytes per rune
*/
void
html_out(Rune *r, int n, long *)
{
char *s;
Biobuf b;
Rune *er;
html_init();
Binit(&b, 1, OWRITE);
er = r+n;
for(; r<er; r++){
if(*r < Runeself)
Bputrune(&b, *r);
else if((s = findbyrune(*r)) != nil)
Bprint(&b, "&%s;", s);
else
Bprint(&b, "&#%d;", *r);
}
Bflush(&b);
}