releases-comm-central/editor/ui/texzilla/content/TeXZilla.js

5348 строки
520 KiB
JavaScript
Исходник Обычный вид История

/* THIS IS A GENERATED FILE. DO NOT EDIT THIS DIRECTLY. */
/* This Source Code Form is subject to the terms of the Mozilla Public
* License, v. 2.0. If a copy of the MPL was not distributed with this
* file, You can obtain one at http://mozilla.org/MPL/2.0/. */
"use strict";
/* parser generated by jison 0.4.13 */
/*
Returns a Parser object of the following structure:
Parser: {
yy: {}
}
Parser.prototype: {
yy: {},
trace: function(),
symbols_: {associative list: name ==> number},
terminals_: {associative list: number ==> name},
productions_: [...],
performAction: function anonymous(yytext, yyleng, yylineno, yy, yystate, $$, _$),
table: [...],
defaultActions: {...},
parseError: function(str, hash),
parse: function(input),
lexer: {
EOF: 1,
parseError: function(str, hash),
setInput: function(input),
input: function(),
unput: function(str),
more: function(),
less: function(n),
pastInput: function(),
upcomingInput: function(),
showPosition: function(),
test_match: function(regex_match_array, rule_index),
next: function(),
lex: function(),
begin: function(condition),
popState: function(),
_currentRules: function(),
topState: function(),
pushState: function(condition),
options: {
ranges: boolean (optional: true ==> token location info will include a .range[] member)
flex: boolean (optional: true ==> flex-like lexing behaviour where the rules are tested exhaustively to find the longest match)
backtrack_lexer: boolean (optional: true ==> lexer regexes are tested in order and for each matching regex the action code is invoked; the lexer terminates the scan when a token is returned by the action code)
},
performAction: function(yy, yy_, $avoiding_name_collisions, YY_START),
rules: [...],
conditions: {associative list: name ==> set},
}
}
token location info (@$, _$, etc.): {
first_line: n,
last_line: n,
first_column: n,
last_column: n,
range: [start_number, end_number] (where the numbers are indexes into the input string, regular zero-based)
}
the parseError function receives a 'hash' object with these members for lexer and parser errors: {
text: (matched text)
token: (the produced terminal token, if any)
line: (yylineno)
}
while parser (grammar) errors will also provide these members, i.e. parser errors deliver a superset of attributes: {
loc: (yylloc)
expected: (string describing the set of expected tokens)
recoverable: (boolean: TRUE when the parser has a error recovery rule available for this particular error)
}
*/
var TeXZilla = (function(){
var parser = {trace: function trace() { },
yy: {},
symbols_: {"error":2,"textOptArg":3,"[":4,"TEXTOPTARG":5,"]":6,"textArg":7,"{":8,"TEXTARG":9,"}":10,"lengthOptArg":11,"lengthArg":12,"attrOptArg":13,"attrArg":14,"tokenContent":15,"arrayAlign":16,"columnAlign":17,"collayout":18,"COLLAYOUT":19,"colalign":20,"COLALIGN":21,"rowalign":22,"ROWALIGN":23,"rowspan":24,"ROWSPAN":25,"colspan":26,"COLSPAN":27,"align":28,"ALIGN":29,"eqrows":30,"EQROWS":31,"eqcols":32,"EQCOLS":33,"rowlines":34,"ROWLINES":35,"collines":36,"COLLINES":37,"frame":38,"FRAME":39,"padding":40,"PADDING":41,"cellopt":42,"celloptList":43,"rowopt":44,"arrayopt":45,"arrayoptList":46,"rowoptList":47,"left":48,"LEFT":49,"OPFS":50,".":51,"right":52,"RIGHT":53,"closedTerm":54,"styledExpression":55,"BIG":56,"BBIG":57,"BIGG":58,"BBIGG":59,"BIGL":60,"BBIGL":61,"BIGGL":62,"BBIGGL":63,"TEXATOP":64,"TEXOVER":65,"TEXCHOOSE":66,"NUM":67,"TEXT":68,"A":69,"F":70,"MI":71,"MN":72,"MO":73,"OP":74,"OPS":75,"OPAS":76,"MS":77,"MTEXT":78,"HIGH_SURROGATE":79,"LOW_SURROGATE":80,"BMP_CHARACTER":81,"OPERATORNAME":82,"MATHOP":83,"MATHBIN":84,"MATHREL":85,"FRAC":86,"ROOT":87,"SQRT":88,"UNDERSET":89,"OVERSET":90,"UNDEROVERSET":91,"XARROW":92,"MATHRLAP":93,"MATHLLAP":94,"MATHCLAP":95,"PHANTOM":96,"TFRAC":97,"BINOM":98,"TBINOM":99,"PMOD":100,"UNDERBRACE":101,"UNDERLINE":102,"OVERBRACE":103,"ACCENT":104,"ACCENTNS":105,"BOXED":106,"SLASH":107,"QUAD":108,"QQUAD":109,"NEGSPACE":110,"NEGMEDSPACE":111,"NEGTHICKSPACE":112,"THINSPACE":113,"MEDSPACE":114,"THICKSPACE":115,"SPACE":116,"MATHRAISEBOX":117,"MATHBB":118,"MATHBF":119,"MATHBIT":120,"MATHSCR":121,"MATHBSCR":122,"MATHSF":123,"MATHFRAK":124,"MATHIT":125,"MATHTT":126,"MATHRM":127,"HREF":128,"STATUSLINE":129,"TOOLTIP":130,"TOGGLE":131,"BTOGGLE":132,"closedTermList":133,"ETOGGLE":134,"TENSOR":135,"subsupList":136,"MULTI":137,"BMATRIX":138,"tableRowList":139,"EMATRIX":140,"BGATHERED":141,"EGATHERED":142,"BPMATRIX":143,"EPMATRIX":144,"BBMATRIX":145,"EBMATRIX":146,"BVMATRIX":147,"EVMATRIX":148,"BBBMATRIX":149,"EBBMATRIX":150,"BVVMATRIX":151,"EVVMATRIX":152,"BSMALLMATRIX":153,"ESMALLMATRIX":154,"BCASES":155,"ECASES":156,"BALIGNED":157,"EALIGNED":158,"BARRAY":159,"EARRAY":160,"SUBSTACK":161,"ARRAY":162,"ARRAYOPTS":163,"compoundTerm":164,"_":165,"^":166,"OPP":167,"OOP":168,"opm":169,"OPM":170,"FM":171,"compoundTermList":172,"subsupTermScript":173,"subsupTerm":174,"textstyle":175,"DISPLAYSTYLE":176,"TEXTSTYLE":177,"TEXTSIZE":178,"SCRIPTSIZE":179,"SCRIPTSCRIPTSIZE":180,"COLOR":181,"BGCOLOR":182,"tableCell":183,"CELLOPTS":184,"tableCellList":185,"COLSEP":186,"tableRow":187,"ROWOPTS":188,"ROWSEP":189,"math":190,"EOF":191,"$accept":0,"$end":1},
terminals_: {2:"error",4:"[",5:"TEXTOPTARG",6:"]",8:"{",9:"TEXTARG",10:"}",19:"COLLAYOUT",21:"COLALIGN",23:"ROWALIGN",25:"ROWSPAN",27:"COLSPAN",29:"ALIGN",31:"EQROWS",33:"EQCOLS",35:"ROWLINES",37:"COLLINES",39:"FRAME",41:"PADDING",49:"LEFT",50:"OPFS",51:".",53:"RIGHT",56:"BIG",57:"BBIG",58:"BIGG",59:"BBIGG",60:"BIGL",61:"BBIGL",62:"BIGGL",63:"BBIGGL",64:"TEXATOP",65:"TEXOVER",66:"TEXCHOOSE",67:"NUM",68:"TEXT",69:"A",70:"F",71:"MI",72:"MN",73:"MO",74:"OP",75:"OPS",76:"OPAS",77:"MS",78:"MTEXT",79:"HIGH_SURROGATE",80:"LOW_SURROGATE",81:"BMP_CHARACTER",82:"OPERATORNAME",83:"MATHOP",84:"MATHBIN",85:"MATHREL",86:"FRAC",87:"ROOT",88:"SQRT",89:"UNDERSET",90:"OVERSET",91:"UNDEROVERSET",92:"XARROW",93:"MATHRLAP",94:"MATHLLAP",95:"MATHCLAP",96:"PHANTOM",97:"TFRAC",98:"BINOM",99:"TBINOM",100:"PMOD",101:"UNDERBRACE",102:"UNDERLINE",103:"OVERBRACE",104:"ACCENT",105:"ACCENTNS",106:"BOXED",107:"SLASH",108:"QUAD",109:"QQUAD",110:"NEGSPACE",111:"NEGMEDSPACE",112:"NEGTHICKSPACE",113:"THINSPACE",114:"MEDSPACE",115:"THICKSPACE",116:"SPACE",117:"MATHRAISEBOX",118:"MATHBB",119:"MATHBF",120:"MATHBIT",121:"MATHSCR",122:"MATHBSCR",123:"MATHSF",124:"MATHFRAK",125:"MATHIT",126:"MATHTT",127:"MATHRM",128:"HREF",129:"STATUSLINE",130:"TOOLTIP",131:"TOGGLE",132:"BTOGGLE",134:"ETOGGLE",135:"TENSOR",137:"MULTI",138:"BMATRIX",140:"EMATRIX",141:"BGATHERED",142:"EGATHERED",143:"BPMATRIX",144:"EPMATRIX",145:"BBMATRIX",146:"EBMATRIX",147:"BVMATRIX",148:"EVMATRIX",149:"BBBMATRIX",150:"EBBMATRIX",151:"BVVMATRIX",152:"EVVMATRIX",153:"BSMALLMATRIX",154:"ESMALLMATRIX",155:"BCASES",156:"ECASES",157:"BALIGNED",158:"EALIGNED",159:"BARRAY",160:"EARRAY",161:"SUBSTACK",162:"ARRAY",163:"ARRAYOPTS",165:"_",166:"^",167:"OPP",168:"OOP",170:"OPM",171:"FM",176:"DISPLAYSTYLE",177:"TEXTSTYLE",178:"TEXTSIZE",179:"SCRIPTSIZE",180:"SCRIPTSCRIPTSIZE",181:"COLOR",182:"BGCOLOR",184:"CELLOPTS",186:"COLSEP",188:"ROWOPTS",189:"ROWSEP",191:"EOF"},
productions_: [0,[3,3],[7,3],[11,3],[12,3],[13,1],[14,1],[15,1],[16,1],[17,1],[18,2],[20,2],[22,2],[24,2],[26,2],[28,2],[30,2],[32,2],[34,2],[36,2],[38,2],[40,2],[42,1],[42,1],[42,1],[42,1],[43,1],[43,2],[44,1],[44,1],[45,1],[45,1],[45,1],[45,1],[45,1],[45,1],[45,1],[45,1],[45,1],[45,1],[46,1],[46,2],[47,1],[47,2],[48,2],[48,2],[52,2],[52,2],[54,2],[54,3],[54,2],[54,2],[54,2],[54,2],[54,2],[54,2],[54,2],[54,2],[54,3],[54,5],[54,5],[54,5],[54,5],[54,5],[54,5],[54,1],[54,1],[54,1],[54,1],[54,2],[54,2],[54,2],[54,1],[54,1],[54,1],[54,1],[54,1],[54,2],[54,4],[54,2],[54,2],[54,1],[54,2],[54,2],[54,2],[54,2],[54,3],[54,3],[54,2],[54,5],[54,3],[54,3],[54,4],[54,5],[54,2],[54,2],[54,2],[54,2],[54,2],[54,3],[54,3],[54,3],[54,2],[54,2],[54,2],[54,2],[54,2],[54,2],[54,2],[54,2],[54,1],[54,1],[54,1],[54,1],[54,1],[54,1],[54,1],[54,1],[54,4],[54,5],[54,4],[54,3],[54,2],[54,2],[54,2],[54,2],[54,2],[54,2],[54,2],[54,2],[54,2],[54,2],[54,3],[54,3],[54,3],[54,3],[54,3],[54,5],[54,8],[54,7],[54,7],[54,3],[54,3],[54,3],[54,3],[54,3],[54,3],[54,3],[54,3],[54,3],[54,3],[54,5],[54,4],[54,4],[54,4],[54,8],[133,1],[133,2],[164,3],[164,5],[164,4],[164,5],[164,3],[164,3],[164,2],[164,1],[164,5],[164,5],[164,3],[164,3],[164,1],[164,1],[169,1],[169,1],[172,1],[172,2],[173,1],[173,1],[174,4],[174,2],[174,2],[174,3],[136,1],[136,2],[175,1],[175,1],[175,1],[175,1],[175,1],[175,2],[175,2],[55,2],[55,1],[183,0],[183,5],[183,1],[185,1],[185,3],[187,5],[187,1],[139,1],[139,3],[190,2],[190,1]],
performAction: function anonymous(yytext, yyleng, yylineno, yy, yystate /* action[1] */, $$ /* vstack */, _$ /* lstack */) {
/* this == yyval */
var $0 = $$.length - 1;
switch (yystate) {
case 1:
/* Unescape \] and \\. */
this.$ = $$[$0-1].replace(/\\[\\\]]/g, function(match) { return match.slice(1); });
/* Escape some XML characters. */
this.$ = escapeText(this.$);
break;
case 2:
/* Unescape \} and \\. */
this.$ = $$[$0-1].replace(/\\[\\\}]/g, function(match) { return match.slice(1); });
/* Escape some XML characters. */
this.$ = escapeText(this.$);
break;
case 3:
this.$ = parseLength($$[$0-1]);
break;
case 4:
this.$ = parseLength($$[$0-1]);
break;
case 5: this.$ = "\"" + escapeQuote($$[$0]) + "\"";
break;
case 6: this.$ = "\"" + escapeQuote($$[$0]) + "\"";
break;
case 7:
/* The MathML specification indicates that trailing/leading whitespaces
should be removed and that inner whitespace should be collapsed. Let's
replace trailing/leading whitespace by no-break space so that people can
write e.g. \text{ if }. We also collapse internal whitespace here.
See https://github.com/fred-wang/TeXZilla/issues/25. */
this.$ = $$[$0].replace(/^\s+|\s+$/g, "\u00A0").replace(/\s+/g, " ");
break;
case 8:
$$[$0] = $$[$0].trim();
if ($$[$0] === "t") {
this.$ = "axis 1";
} else if ($$[$0] === "c") {
this.$ = "center";
} else if ($$[$0] === "b") {
this.$ = "axis -1";
} else {
throw "Unknown array alignment";
}
break;
case 9:
this.$ = "";
$$[$0] = $$[$0].replace(/\s+/g, "");;
for (var i = 0; i < $$[$0].length; i++) {
if ($$[$0][i] === "c") {
this.$ += " center";
} else if ($$[$0][i] === "l") {
this.$ += " left";
} else if ($$[$0][i] === "r") {
this.$ += " right";
}
}
if (this.$.length) {
this.$ = this.$.slice(1);
} else {
throw "Invalid column alignments";
}
break;
case 10: this.$ = "columnalign=" + $$[$0];
break;
case 11: this.$ = "columnalign=" + $$[$0];
break;
case 12: this.$ = "rowalign=" + $$[$0];
break;
case 13: this.$ = "rowspan=" + $$[$0];
break;
case 14: this.$ = "colspan=" + $$[$0];
break;
case 15: this.$ = "align=" + $$[$0];
break;
case 16: this.$ = "equalrows=" + $$[$0];
break;
case 17: this.$ = "equalcolumns=" + $$[$0];
break;
case 18: this.$ = "rowlines=" + $$[$0];
break;
case 19: this.$ = "columnlines=" + $$[$0];
break;
case 20: this.$ = "frame=" + $$[$0];
break;
case 21: this.$ = "rowspacing=" + $$[$0] + " columnspacing=" + $$[$0];
break;
case 22: this.$ = $$[$0];
break;
case 23: this.$ = $$[$0];
break;
case 24: this.$ = $$[$0];
break;
case 25: this.$ = $$[$0];
break;
case 26: this.$ = $$[$0];
break;
case 27: this.$ = $$[$0-1] + " " + $$[$0];
break;
case 28: this.$ = $$[$0];
break;
case 29: this.$ = $$[$0];
break;
case 30: this.$ = $$[$0];
break;
case 31: this.$ = $$[$0];
break;
case 32: this.$ = $$[$0];
break;
case 33: this.$ = $$[$0];
break;
case 34: this.$ = $$[$0];
break;
case 35: this.$ = $$[$0];
break;
case 36: this.$ = $$[$0];
break;
case 37: this.$ = $$[$0];
break;
case 38: this.$ = $$[$0];
break;
case 39: this.$ = $$[$0];
break;
case 40: this.$ = $$[$0];
break;
case 41: this.$ = $$[$0-1] + " " + $$[$0];
break;
case 42: this.$ = $$[$0]
break;
case 43: this.$ = $$[$0-1] + " " + $$[$0];
break;
case 44:
this.$ = newMo($$[$0]);
break;
case 45:
this.$ = "";
break;
case 46:
this.$ = newMo($$[$0]);
break;
case 47:
this.$ = "";
break;
case 48: this.$ = "<mrow/>";
break;
case 49: this.$ = newMrow($$[$0-1]);
break;
case 50:
this.$ = newTag("mo", $$[$0], "maxsize=\"1.2em\" minsize=\"1.2em\"");
break;
case 51:
this.$ = newTag("mo", $$[$0], "maxsize=\"1.8em\" minsize=\"1.8em\"");
break;
case 52:
this.$ = newTag("mo", $$[$0], "maxsize=\"2.4em\" minsize=\"2.4em\"");
break;
case 53:
this.$ = newTag("mo", $$[$0], "maxsize=\"3em\" minsize=\"3em\"");
break;
case 54:
this.$ = newTag("mo", $$[$0], "maxsize=\"1.2em\" minsize=\"1.2em\"");
break;
case 55:
this.$ = newTag("mo", $$[$0], "maxsize=\"1.8em\" minsize=\"1.8em\"");
break;
case 56:
this.$ = newTag("mo", $$[$0], "maxsize=\"2.4em\" minsize=\"2.4em\"");
break;
case 57:
this.$ = newTag("mo", $$[$0], "maxsize=\"3em\" minsize=\"3em\"");
break;
case 58:
this.$ = newTag("mrow", $$[$0-2] + newMrow($$[$0-1]) + $$[$0]);
break;
case 59:
this.$ = newTag("mfrac", newMrow($$[$0-3]) + newMrow($$[$0-1]), "linethickness=\"0\"");
break;
case 60:
this.$ = newTag("mfrac", newMrow($$[$0-3]) + newMrow($$[$0-1]), "linethickness=\"0\"");
this.$ = newTag("mrow", $$[$0-4] + this.$ + $$[$0-2]);
break;
case 61:
this.$ = newTag("mfrac", newMrow($$[$0-3]) + newMrow($$[$0-1]));
break;
case 62:
this.$ = newTag("mfrac", newMrow($$[$0-3]) + newMrow($$[$0-1]));
this.$ = newTag("mrow", $$[$0-4] + this.$ + $$[$0-2]);
break;
case 63:
this.$ = newTag("mfrac", newMrow($$[$0-3]) + newMrow($$[$0-1]),
"linethickness=\"0\"");
this.$ = newTag("mrow", newMo("(") + this.$ + newMo(")"));
break;
case 64:
this.$ = newTag("mfrac", newMrow($$[$0-3]) + newMrow($$[$0-1]),
"linethickness=\"0\"");
this.$ = newTag("mrow", $$[$0-4] + this.$ + $$[$0-2]);
this.$ = newTag("mrow", newMo("(") + this.$ + newMo(")"));
break;
case 65: this.$ = newTag("mn", $$[$0]);
break;
case 66: this.$ = newTag("mtext", $$[$0]);
break;
case 67: this.$ = newTag("mi", $$[$0]);
break;
case 68: this.$ = newMo($$[$0], "0em", "0em");
break;
case 69: this.$ = newTag("mi", $$[$0]);
break;
case 70: this.$ = newTag("mn", $$[$0]);
break;
case 71: this.$ = newMo($$[$0]);
break;
case 72: this.$ = newMo($$[$0]);
break;
case 73: this.$ = newMo($$[$0]);
break;
case 74: this.$ = newTag("mo", $$[$0], "stretchy=\"false\"");
break;
case 75: this.$ = newTag("mo", $$[$0], "stretchy=\"false\"");
break;
case 76: this.$ = newTag("mo", $$[$0], "stretchy=\"false\"");
break;
case 77: this.$ = newTag("ms", $$[$0]);
break;
case 78:
this.$ = newTag("ms", $$[$0], "lquote=" + $$[$0-2] + " rquote=" + $$[$0-1]);
break;
case 79: this.$ = newTag("mtext", $$[$0]);
break;
case 80: this.$ = newTag("mtext", $$[$0-1] + $$[$0]);
break;
case 81: this.$ = newTag("mtext", $$[$0]);
break;
case 82:
this.$ = newMo($$[$0], "0em", "thinmathspace");
break;
case 83:
this.$ = newMo($$[$0], "thinmathspace", "thinmathspace");
break;
case 84:
this.$ = newMo($$[$0], "mediummathspace", "mediummathspace");
break;
case 85:
this.$ = newMo($$[$0], "thickmathspace", "thickmathspace");
break;
case 86: this.$ = newTag("mfrac", $$[$0-1] + $$[$0]);
break;
case 87: this.$ = newTag("mroot", $$[$0] + $$[$0-1]);
break;
case 88: this.$ = newTag("msqrt", $$[$0]);
break;
case 89:
this.$ = newTag("mroot", $$[$0] + newMrow($$[$0-2]));
break;
case 90: this.$ = newTag("munder", $$[$0] + $$[$0-1]);
break;
case 91: this.$ = newTag("mover", $$[$0] + $$[$0-1]);
break;
case 92:
this.$ = newTag("munderover", $$[$0] + $$[$0-2] + $$[$0-1]);
break;
case 93:
this.$ = ($$[$0] === "<mrow/>" ?
newTag("munder", newMo($$[$0-4]) + newMrow($$[$0-2])) :
newTag("munderover", newMo($$[$0-4]) + newMrow($$[$0-2]) + $$[$0]));
break;
case 94:
this.$ = newTag("mover", newMo($$[$0-1]) + $$[$0]);
break;
case 95: this.$ = newTag("mpadded", $$[$0], "width=\"0em\"");
break;
case 96:
this.$ = newTag("mpadded", $$[$0], "width=\"0em\" lspace=\"-100%width\"");
break;
case 97:
this.$ = newTag("mpadded", $$[$0], "width=\"0em\" lspace=\"-50%width\"");
break;
case 98: this.$ = newTag("mphantom", $$[$0]);
break;
case 99:
this.$ = newTag("mfrac", $$[$0-1] + $$[$0]);
this.$ = newTag("mstyle", this.$, "displaystyle=\"false\"");
break;
case 100:
this.$ = newTag("mfrac", $$[$0-1] + $$[$0], "linethickness=\"0\"");
this.$ = newTag("mrow", newMo("(") + this.$ + newMo(")"));
break;
case 101:
this.$ = newTag("mfrac", $$[$0-1] + $$[$0], "linethickness=\"0\"");
this.$ = newTag("mstyle", this.$, "displaystyle=\"false\"");
this.$ = newTag("mrow", newMo("(") + this.$ + newMo(")"));
break;
case 102:
this.$ = "<mrow><mo lspace=\"mediummathspace\">(</mo><mo rspace=\"thinmathspace\">mod</mo>" + $$[$0] + "<mo rspace=\"mediummathspace\">)</mo></mrow>";
break;
case 103: this.$ = newTag("munder", $$[$0] + newMo("\u23DF"));
break;
case 104: this.$ = newTag("munder", $$[$0] + newMo("_"));
break;
case 105: this.$ = newTag("mover", $$[$0] + newMo("\u23DE"));
break;
case 106:
this.$ = newTag("mover", $$[$0] + newMo($$[$0-1]));
break;
case 107:
this.$ = newTag("mover", $$[$0] + newTag("mo", $$[$0-1], "stretchy=\"false\""));
break;
case 108: this.$ = newTag("menclose", $$[$0], "notation=\"box\"");
break;
case 109:
this.$ = newTag("menclose", $$[$0], "notation=\"updiagonalstrike\"");
break;
case 110: this.$ = "<mspace width=\"1em\"/>";
break;
case 111: this.$ = "<mspace width=\"2em\"/>";
break;
case 112: this.$ = "<mspace width=\"negativethinmathspace\"/>";
break;
case 113: this.$ = "<mspace width=\"negativemediummathspace\"/>";
break;
case 114: this.$ = "<mspace width=\"negativethickmathspace\"/>";
break;
case 115: this.$ = "<mspace width=\"thinmathspace\"/>";
break;
case 116: this.$ = "<mspace width=\"mediummathspace\"/>";
break;
case 117: this.$ = "<mspace width=\"thickmathspace\"/>";
break;
case 118:
this.$ = "<mspace height=\"." + $$[$0-2] + "ex\" depth=\"." + $$[$0-1] + "ex\" " +
"width=\"." + $$[$0] + "em\"/>";
break;
case 119:
this.$ = newTag("mpadded", $$[$0],
"voffset=\"" + $$[$0-3].l + $$[$0-3].u + "\" " +
"height=\"" + $$[$0-2].l + $$[$0-2].u + "\" " +
"depth=\"" + $$[$0-1].l + $$[$0-1].u + "\"");
break;
case 120:
this.$ = newTag("mpadded", $$[$0],
"voffset=\"" + $$[$0-2].l + $$[$0-2].u + "\" " +
"height=\"" + $$[$0-1].l + $$[$0-1].u + "\" depth=\"" +
($$[$0-2].l < 0 ? "+" + (-$$[$0-2].l) + $$[$0-2].u : "depth") + "\"");
break;
case 121:
this.$ = newTag("mpadded", $$[$0],
"voffset=\"" + $$[$0-1].l + $$[$0-1].u + "\" " +
($$[$0-1].l >= 0 ? "height=\"+" + $$[$0-1].l + $$[$0-1].u + "\"" :
"height=\"0pt\" depth=\"+" + (-$$[$0-1].l) + $$[$0-1].u + "\""));
break;
case 122:
this.$ = newTag("mstyle", $$[$0], "mathvariant=\"double-struck\"");
break;
case 123: this.$ = newTag("mstyle", $$[$0], "mathvariant=\"bold\"");
break;
case 124: this.$ = newTag("mstyle", $$[$0],
"mathvariant=\"bold-italic\"");
break;
case 125: this.$ = newTag("mstyle", $$[$0], "mathvariant=\"script\"");
break;
case 126:
this.$ = newTag("mstyle", $$[$0], "mathvariant=\"bold-script\"");
break;
case 127:
this.$ = newTag("mstyle", $$[$0], "mathvariant=\"sans-serif\"");
break;
case 128:
this.$ = newTag("mstyle", $$[$0], "mathvariant=\"fraktur\"");
break;
case 129: this.$ = newTag("mstyle", $$[$0], "mathvariant=\"italic\"");
break;
case 130: this.$ = newTag("mstyle", $$[$0], "mathvariant=\"monospace\"");
break;
case 131: this.$ = newTag("mstyle", $$[$0], "mathvariant=\"normal\"");
break;
case 132:
this.$ = newTag("mrow", $$[$0], "href=" + $$[$0-1]);
break;
case 133:
this.$ = newTag("maction",
$$[$0] + newTag("mtext", $$[$0-1]), "actiontype=\"statusline\"");
break;
case 134:
this.$ = newTag("maction",
$$[$0] + newTag("mtext", $$[$0-1]), "actiontype=\"tooltip\"");
break;
case 135:
/* Backward compatibility with itex2MML */
this.$ = newTag("maction", $$[$0-1] + $$[$0], "actiontype=\"toggle\" selection=\"2\"");
break;
case 136:
this.$ = newTag("maction", $$[$0-1], "actiontype=\"toggle\"");
break;
case 137:
this.$ = newTag("mmultiscripts", $$[$0-3] + $$[$0-1]);
break;
case 138:
this.$ = newTag("mmultiscripts", $$[$0-3] + $$[$0-1] + "<mprescripts/>" + $$[$0-5]);
break;
case 139:
this.$ = newTag("mmultiscripts", $$[$0-2] + "<mprescripts/>" + $$[$0-4]);
break;
case 140:
this.$ = newTag("mmultiscripts", $$[$0-3] + $$[$0-1]);
break;
case 141:
this.$ = newTag("mtable", $$[$0-1], "rowspacing=\"0.5ex\"");
break;
case 142:
this.$ = newTag("mtable", $$[$0-1], "rowspacing=\"1.0ex\"");
break;
case 143:
this.$ = newTag("mtable", $$[$0-1], "rowspacing=\"0.5ex\"");
this.$ = newTag("mrow", newMo("(") + this.$ + newMo(")"));
break;
case 144:
this.$ = newTag("mtable", $$[$0-1], "rowspacing=\"0.5ex\"");
this.$ = newTag("mrow", newMo("[") + this.$ + newMo("]"));
break;
case 145:
this.$ = newTag("mtable", $$[$0-1], "rowspacing=\"0.5ex\"");
this.$ = newTag("mrow", newMo("|") + this.$ + newMo("|"));
break;
case 146:
this.$ = newTag("mtable", $$[$0-1], "rowspacing=\"0.5ex\"");
this.$ = newTag("mrow", newMo("{") + this.$ + newMo("}"));
break;
case 147:
this.$ = newTag("mtable", $$[$0-1], "rowspacing=\"0.5ex\"");
this.$ = newTag("mrow", newMo("\u2016") + this.$ + newMo("\u2016"));
break;
case 148:
this.$ = newTag("mtable", $$[$0-1], "rowspacing=\"0.5ex\"");
this.$ = newTag("mstyle", this.$, "scriptlevel=\"2\"");
break;
case 149:
this.$ = newTag("mtable", $$[$0-1], "columnalign=\"left left\"");
this.$ = newTag("mrow", newMo("{") + this.$);
break;
case 150:
this.$ = newTag("mtable", $$[$0-1], "columnalign=\"right left right left right left right left right left\" columnspacing=\"0em\"");
break;
case 151:
this.$ = newTag("mtable", $$[$0-1],
"rowspacing=\"0.5ex\" " +
"align=\"" + $$[$0-3] + "\" " +
"columnalign=\"" + $$[$0-2] + "\"");
break;
case 152:
this.$ = newTag("mtable", $$[$0-1],
"rowspacing=\"0.5ex\" " +
"columnalign=\"" + $$[$0-2] + "\"");
break;
case 153:
this.$ = newTag("mtable", $$[$0-1], "columnalign=\"center\" rowspacing=\"0.5ex\"");
break;
case 154:
this.$ = newTag("mtable", $$[$0-1]);
break;
case 155:
this.$ = newTag("mtable", $$[$0-1], $$[$0-3]);
break;
case 156:
this.$ = $$[$0];
break;
case 157:
this.$ = $$[$0-1] + $$[$0];
break;
case 158:
this.$ = newTag("mmultiscripts", $$[$0-1] + $$[$0]);
break;
case 159:
this.$ = newScript(false, $$[$0-4], $$[$0-2], $$[$0]);
break;
case 160:
this.$ = newScript(false, $$[$0-3], $$[$0-1], newMo($$[$0]));
break;
case 161:
this.$ = newScript(false, $$[$0-4], $$[$0], $$[$0-2]);
break;
case 162:
this.$ = newScript(false, $$[$0-2], $$[$0], null);
break;
case 163:
this.$ = newScript(false, $$[$0-2], null, $$[$0]);
break;
case 164:
this.$ = newScript(false, $$[$0-1], null, newMo($$[$0]));
break;
case 165: this.$ = $$[$0];
break;
case 166:
this.$ = newScript(true, $$[$0-4], $$[$0-2], $$[$0]);
break;
case 167:
this.$ = newScript(true, $$[$0-4], $$[$0], $$[$0-2]);
break;
case 168:
this.$ = newScript(true, $$[$0-2], $$[$0], null);
break;
case 169:
this.$ = newScript(true, $$[$0-2], null, $$[$0]);
break;
case 170: this.$ = $$[$0];
break;
case 171: this.$ = newMo($$[$0]);
break;
case 172: this.$ = newMo($$[$0]);
break;
case 173: this.$ = newMo($$[$0], "0em", "0em");
break;
case 174: this.$ = [$$[$0]];
break;
case 175: $$[$0-1].push($$[$0]); this.$ = $$[$0-1];
break;
case 176: this.$ = $$[$0];
break;
case 177: this.$ = $$[$0];
break;
case 178: this.$ = $$[$0-2] + $$[$0];
break;
case 179: this.$ = $$[$0] + "<none/>";
break;
case 180: this.$ = "<none/>" + $$[$0];
break;
case 181: this.$ = "<none/>" + $$[$0];
break;
case 182: this.$ = $$[$0];
break;
case 183: this.$ = $$[$0-1] + $$[$0]
break;
case 184: this.$ = "displaystyle=\"true\"";
break;
case 185: this.$ = "displaystyle=\"false\"";
break;
case 186: this.$ = "scriptlevel=\"0\"";
break;
case 187: this.$ = "scriptlevel=\"1\"";
break;
case 188: this.$ = "scriptlevel=\"2\"";
break;
case 189: this.$ = "mathcolor=" + $$[$0];
break;
case 190: this.$ = "mathbackground=" + $$[$0];
break;
case 191: this.$ = [newMrow($$[$0], "mstyle", $$[$0-1])];
break;
case 192: this.$ = $$[$0];
break;
case 193: this.$ = newTag("mtd", "");
break;
case 194:
this.$ = newMrow($$[$0], "mtd", $$[$0-2]);
break;
case 195: this.$ = newMrow($$[$0], "mtd");
break;
case 196: this.$ = $$[$0];
break;
case 197: this.$ = $$[$0-2] + $$[$0];
break;
case 198:
this.$ = this.$ = newTag("mtr", $$[$0], $$[$0-2]);
break;
case 199: this.$ = newTag("mtr", $$[$0]);
break;
case 200: this.$ = $$[$0];
break;
case 201: this.$ = $$[$0-2] + $$[$0]
break;
case 202:
this.$ = newMrow($$[$0-1]);
return this.$;
break;
case 203:
this.$ = "<mrow/>";
return this.$;
break;
}
},
table: [{8:[1,18],48:27,49:[1,111],50:[1,39],51:[1,35],54:15,55:2,56:[1,19],57:[1,20],58:[1,21],59:[1,22],60:[1,23],61:[1,24],62:[1,25],63:[1,26],67:[1,28],68:[1,29],69:[1,30],70:[1,31],71:[1,32],72:[1,33],73:[1,34],74:[1,36],75:[1,37],76:[1,38],77:[1,40],78:[1,41],79:[1,42],81:[1,43],82:[1,44],83:[1,45],84:[1,46],85:[1,47],86:[1,48],87:[1,49],88:[1,50],89:[1,51],90:[1,52],91:[1,53],92:[1,54],93:[1,55],94:[1,56],95:[1,57],96:[1,58],97:[1,59],98:[1,60],99:[1,61],100:[1,62],101:[1,63],102:[1,64],103:[1,65],104:[1,66],105:[1,67],106:[1,68],107:[1,69],108:[1,70],109:[1,71],110:[1,72],111:[1,73],112:[1,74],113:[1,75],114:[1,76],115:[1,77],116:[1,78],117:[1,79],118:[1,80],119:[1,81],120:[1,82],121:[1,83],122:[1,84],123:[1,85],124:[1,86],125:[1,87],126:[1,88],127:[1,89],128:[1,90],129:[1,91],130:[1,92],131:[1,93],132:[1,94],135:[1,14],137:[1,95],138:[1,96],141:[1,97],143:[1,98],145:[1,99],147:[1,100],149:[1,101],151:[1,102],153:[1,103],155:[1,104],157:[1,105],159:[1,106],161:[1,107],162:[1,108],164:13,167:[1,17],169:16,170:[1,109],171:[1,110],172:5,175:4,176:[1,6],177:[1,7],178:[1,8],179:[1,9],180:[1,10],181:[1,11],182:[1,12],190:1,191:[1,3]},{1:[3]},{191:[1,112]},{1:[2,203]},{8:[1,18],48:27,49:[1,111],50:[1,39],51:[1,35],54:15,55:113,56:[1,19],57:[1,20],58:[1,21],59:[1,22],60:[1,23],61:[1,24],62:[1,25],63:[1,26],67:[1,28],68:[1,29],69:[1,30],70:[1,31],71:[1,32],72:[1,33],73:[1,34],74:[1,36],75:[1,37],76:[1,38],77:[1,40],78:[1,41],79:[1,42],81:[1,43],82:[1,44],83:[1,45],84:[1,46],85:[1,47],86:[1,48],87:[1,49],88:[1,50],89:[1,51],90:[1,52],91:[1,53],92:[1,54],93:[1,55],94:[1,56],95:[1,57],96:[1,58],97:[1,59],98:[1,60],99:[1,61],100:[1,62],101:[1,63],102:[1,64],103:[1,65],104:[1,66],105:[1,67],106:[1,68],107:[1,69],108:[1,70],109:[1,71],110:[1,72],111:[1,73],112:[1,74],113:[1,75],114:[1,76],115:[1,77],116:[1,78],117:[1,79],118:[1,80],119:[1,81],120:[1,82],121:[1,83],122:[1,84],123:[1,85],124:[1,86],125:[1,87],126:[1,88],127:[1,89],128:[1,90],129:[1,91],130:[1,92],131:[1,93],132:[1,94],135:[1,14],137:[1,95],138:[1,96],141:[1,97],143:[1,98],145:[1,99],147:[1,100],149:[1,101],151:[1,102],153:[1,103],155:[1,104],157:[1,105],159:[1,106],161:[1,107],162:[1,108],164:13,167:[1,17],169:16,170:[1,109],171:[1,110],172:5,175:4,176:[1,6],177:[1,7],178:[1,8],179:[1,9],180:[1,10],181:[1,11],182:[1,12]},{6:[2,192],8:[1,18],10:[2,192],48:27,49:[1,111],50:[1,39],51:[1,35],53:[2,192],54:15,56:[1,19],57:[1,20],58:[1,21],59:[1,22],60:[1,23],61:[1,24],62:[1,25],63:[1,26],64:[2,192],65:[2,192],66:[2,192],67:[1,28],68:[1,29],69:[1,30],70:[1,31],71:[1,32],72:[1,33],73:[1,34],74:[1,36],75:[1,37],76:[1,38],77:[1,40],78:[1,41],79:[1,42],81:[1,43],82:[1,44],83:[1,45],84:[1,46],85:[1,47],86:[1,48],87:[1,49],88:[1,50],89:[1,51],90:[1,52],91:[1,53],92:[1,54],93:[1,55],94:[1,56],95:[1,57],96:[1,58],97:[1,59],98:[1,60],99:[1,61],100:[1,62],101:[1,63],102:[1,64],103:[1,65],104:[1,66],105:[1,67],106:[1,68],107:[1,69],108:[1,70],109:[1,71],110:[1,72],111:[1,73],112:[1,74],113:[1,75],114:[1,76],115:[1,77],116:[1,78],117:[1,79],118:[1,80],119:[1,81],120:[1,82],121:[1,83],122:[1,84],123:[1,85],124:[1,86],125:[1,87],126:[1,88],127:[1,89],128:[1,90],129:[1,91],130:[1,92],131:[1,93],132:[1,94],135:[1,14],137:[1,95],138:[1,96],140:[2,192],141:[1,97],142:[2,192],143:[1,98],144:[2,192],145:[1,99],146:[2,192],147:[1,100],148:[2,192],149:[1,101],150:[2,192],151:[1,102],152:[2,192],153:[1,103],154:[2,192],155:[1,104],156:[2,192],157:[1,105],158:[2,192],159:[1,106],160:[2,192],161:[1,107],162:[1,108],164:114,167:[1,17],169:16,170:[1,109],171:[1,110],186:[2,192],189:[2,192],191:[2,192]},{8:[2,184],49:[2,184],50:[2,184],51:[2,184],56:[2,184],57:[2,184],58:[2,184],59:[2,184],60:[2,184],61:[2,184],62:[2,184],63:[2,184],67:[2,184],68:[2,184],69:[2,184],70:[2,184],71:[2,184],72:[2,184],73:[2,184],74:[2,184],75:[2,184],76:[2,184],77:[2,184],78:[2,184],79:[2,184],81:[2,184],82:[2,184],83:[2,184],84:[2,184],85:[2,184],86:[2,184],87:[2,184],88:[2,184],89:[2,184],90:[2,184],91:[2,184],92:[2,184],93:[2,184],94:[2,184],95:[2,184],96:[2,184],97:[2,184],98:[2,184],99:[2,184],100:[2,184],101:[
defaultActions: {3:[2,203],112:[2,202],213:[2,8]},
parseError: function parseError(str, hash) {
if (hash.recoverable) {
this.trace(str);
} else {
throw new Error(str);
}
},
parse: function parse(input) {
var self = this, stack = [0], vstack = [null], lstack = [], table = this.table, yytext = '', yylineno = 0, yyleng = 0, recovering = 0, TERROR = 2, EOF = 1;
var args = lstack.slice.call(arguments, 1);
this.lexer.setInput(input);
this.lexer.yy = this.yy;
this.yy.lexer = this.lexer;
this.yy.parser = this;
if (typeof this.lexer.yylloc == 'undefined') {
this.lexer.yylloc = {};
}
var yyloc = this.lexer.yylloc;
lstack.push(yyloc);
var ranges = this.lexer.options && this.lexer.options.ranges;
if (typeof this.yy.parseError === 'function') {
this.parseError = this.yy.parseError;
} else {
this.parseError = Object.getPrototypeOf(this).parseError;
}
function popStack(n) {
stack.length = stack.length - 2 * n;
vstack.length = vstack.length - n;
lstack.length = lstack.length - n;
}
function lex() {
var token;
token = self.lexer.lex() || EOF;
if (typeof token !== 'number') {
token = self.symbols_[token] || token;
}
return token;
}
var symbol, preErrorSymbol, state, action, a, r, yyval = {}, p, len, newState, expected;
while (true) {
state = stack[stack.length - 1];
if (this.defaultActions[state]) {
action = this.defaultActions[state];
} else {
if (symbol === null || typeof symbol == 'undefined') {
symbol = lex();
}
action = table[state] && table[state][symbol];
}
if (typeof action === 'undefined' || !action.length || !action[0]) {
var errStr = '';
expected = [];
for (p in table[state]) {
if (this.terminals_[p] && p > TERROR) {
expected.push('\'' + this.terminals_[p] + '\'');
}
}
if (this.lexer.showPosition) {
errStr = 'Parse error on line ' + (yylineno + 1) + ':\n' + this.lexer.showPosition() + '\nExpecting ' + expected.join(', ') + ', got \'' + (this.terminals_[symbol] || symbol) + '\'';
} else {
errStr = 'Parse error on line ' + (yylineno + 1) + ': Unexpected ' + (symbol == EOF ? 'end of input' : '\'' + (this.terminals_[symbol] || symbol) + '\'');
}
this.parseError(errStr, {
text: this.lexer.match,
token: this.terminals_[symbol] || symbol,
line: this.lexer.yylineno,
loc: yyloc,
expected: expected
});
}
if (action[0] instanceof Array && action.length > 1) {
throw new Error('Parse Error: multiple actions possible at state: ' + state + ', token: ' + symbol);
}
switch (action[0]) {
case 1:
stack.push(symbol);
vstack.push(this.lexer.yytext);
lstack.push(this.lexer.yylloc);
stack.push(action[1]);
symbol = null;
if (!preErrorSymbol) {
yyleng = this.lexer.yyleng;
yytext = this.lexer.yytext;
yylineno = this.lexer.yylineno;
yyloc = this.lexer.yylloc;
if (recovering > 0) {
recovering--;
}
} else {
symbol = preErrorSymbol;
preErrorSymbol = null;
}
break;
case 2:
len = this.productions_[action[1]][1];
yyval.$ = vstack[vstack.length - len];
yyval._$ = {
first_line: lstack[lstack.length - (len || 1)].first_line,
last_line: lstack[lstack.length - 1].last_line,
first_column: lstack[lstack.length - (len || 1)].first_column,
last_column: lstack[lstack.length - 1].last_column
};
if (ranges) {
yyval._$.range = [
lstack[lstack.length - (len || 1)].range[0],
lstack[lstack.length - 1].range[1]
];
}
r = this.performAction.apply(yyval, [
yytext,
yyleng,
yylineno,
this.yy,
action[1],
vstack,
lstack
].concat(args));
if (typeof r !== 'undefined') {
return r;
}
if (len) {
stack = stack.slice(0, -1 * len * 2);
vstack = vstack.slice(0, -1 * len);
lstack = lstack.slice(0, -1 * len);
}
stack.push(this.productions_[action[1]][0]);
vstack.push(yyval.$);
lstack.push(yyval._$);
newState = table[stack[stack.length - 2]][stack[stack.length - 1]];
stack.push(newState);
break;
case 3:
return true;
}
}
return true;
}};
function escapeText(aString) {
/* Escape reserved XML characters for use as text nodes. */
return aString.replace(/&/g, "&amp;").replace(/</g, "&lt;").replace(/>/g, "&gt;");
}
function escapeQuote(aString) {
/* Escape the double quote characters for use as attribute. */
return aString.replace(/"/g, "&#x22;");
}
function parseLength(aString) {
/* See http://www.w3.org/TR/MathML3/appendixa.html#parsing_length */
/* FIXME: should namedspaces be accepted too?
https://github.com/fred-wang/TeXZilla/issues/8 */
var lengthRegexp = /\s*(-?[0-9]*(?:[0-9]\.?|\.[0-9])[0-9]*)(e[mx]|in|cm|mm|p[xtc]|%)?\s*/, result = lengthRegexp.exec(aString);
if (result) {
result = { l: parseFloat(result[1]), u: result[2] };
}
return result;
}
function newTag(aTag, aContent, aAttributes) {
/* Create a new tag with the specified content and attributes. */
var tag = "<" + aTag;
if (aAttributes) tag += " " + aAttributes
tag += ">" + aContent + "</" + aTag + ">";
return tag;
}
function newMo(aContent, aLeftSpace, aRightSpace) {
/* Create a new operator */
var tag = "<mo";
if (aLeftSpace) tag += " lspace=\"" + aLeftSpace + "\"";
if (aRightSpace) tag += " rspace=\"" + aRightSpace + "\"";
tag += ">" + escapeText(aContent) + "</mo>";
return tag;
}
function newScript(aUnderOver, aBase, aScriptBot, aScriptTop) {
/* Create a new MathML script element. */
if (aUnderOver) {
if (!aScriptBot) {
return "<mover>" + aBase + aScriptTop + "</mover>";
}
if (!aScriptTop) {
return "<munder>" + aBase + aScriptBot + "</munder>";
}
return "<munderover>" + aBase + aScriptBot + aScriptTop + "</munderover>";
}
if (!aScriptBot) {
return "<msup>" + aBase + aScriptTop + "</msup>";
}
if (!aScriptTop) {
return "<msub>" + aBase + aScriptBot + "</msub>";
}
return "<msubsup>" + aBase + aScriptBot + aScriptTop + "</msubsup>";
}
/* FIXME: try to restore the operator grouping when compoundTermList does not
contain any fences.
https://github.com/fred-wang/TeXZilla/issues/9 */
function newMrow(aList, aTag, aAttributes) {
var tag;
if (!aTag) {
if (aList.length == 1) {
/* This list only has one element so we just return it. */
return aList[0];
}
aTag = "mrow";
}
tag = "<" + aTag;
if (aAttributes) tag += " " + aAttributes
tag += ">" + aList.join("") + "</" + aTag + ">";
return tag;
}
var MathMLNameSpace = "http://www.w3.org/1998/Math/MathML",
TeXMimeTypes = ["TeX", "LaTeX", "text/x-tex", "text/x-latex",
"application/x-tex", "application/x-latex"];
function getTeXSourceInternal(aMathMLElement) {
var child;
if (!aMathMLElement ||
aMathMLElement.namespaceURI !== MathMLNameSpace) {
return null;
}
if (aMathMLElement.tagName === "semantics") {
// Note: we can't use aMathMLElement.children on WebKit/Blink because of
// https://bugs.webkit.org/show_bug.cgi?id=109556.
for (child = aMathMLElement.firstElementChild; child;
child = child.nextElementSibling) {
if (child.namespaceURI === MathMLNameSpace &&
child.localName === "annotation" &&
TeXMimeTypes.indexOf(child.getAttribute("encoding")) !== -1) {
return child.textContent;
}
}
} else if (aMathMLElement.childElementCount === 1) {
return getTeXSourceInternal(aMathMLElement.firstElementChild);
}
return null;
}
try {
// Try to create a DOM Parser object if it exists (e.g. in a Web page,
// in a chrome script running in a window etc)
parser.DOMParser = new DOMParser();
} catch (e) {
// Leave the DOMParser unset.
parser.DOMParser = null;
}
parser.parseMathMLDocument = function (aString) {
/* Parse the string into a MathML document and return the <math> root. */
if (this.DOMParser) {
return this.DOMParser.
parseFromString(aString, "application/xml").documentElement;
}
throw "TeXZilla.DOMParser has not been set!";
}
parser.getTeXSource = function(aMathMLElement) {
if (typeof aMathMLElement === "string") {
aMathMLElement = this.parseMathMLDocument(aMathMLElement);
}
return getTeXSourceInternal(aMathMLElement);
}
parser.toMathMLString = function(aTeX, aDisplay, aRTL, aThrowExceptionOnError) {
var output, mathml;
/* Parse the TeX source and get the main MathML node. */
try {
output = this.parse(aTeX);
} catch (e) {
if (aThrowExceptionOnError) {
throw e;
}
output = "<merror><mtext>" + escapeText(e.message) + "</mtext></merror>";
}
/* Add the <math> root and attach the TeX annotation. */
mathml = "<math xmlns=\"" + MathMLNameSpace + "\"";
if (aDisplay) {
/* Set the display mode if it is specified. */
mathml += " display=\"block\""
}
if (aRTL) {
/* Set the RTL mode if specified. */
mathml += " dir=\"rtl\""
}
mathml += "><semantics>" + output;
mathml += "<annotation encoding=\"TeX\">";
mathml += escapeText(aTeX);
mathml += "</annotation></semantics></math>";
return mathml;
}
parser.toMathML = function(aTeX, aDisplay, aRTL, aThrowExceptionOnError) {
/* Parse the TeX string into a <math> element. */
return this.parseMathMLDocument(this.toMathMLString(aTeX, aDisplay, aRTL, aThrowExceptionOnError));
}
/* generated by jison-lex 0.2.1 */
var lexer = (function(){
var lexer = {
EOF:1,
parseError:function parseError(str, hash) {
if (this.yy.parser) {
this.yy.parser.parseError(str, hash);
} else {
throw new Error(str);
}
},
// resets the lexer, sets new input
setInput:function (input) {
this._input = input;
this._more = this._backtrack = this.done = false;
this.yylineno = this.yyleng = 0;
this.yytext = this.matched = this.match = '';
this.conditionStack = ['INITIAL'];
this.yylloc = {
first_line: 1,
first_column: 0,
last_line: 1,
last_column: 0
};
if (this.options.ranges) {
this.yylloc.range = [0,0];
}
this.offset = 0;
return this;
},
// consumes and returns one char from the input
input:function () {
var ch = this._input[0];
this.yytext += ch;
this.yyleng++;
this.offset++;
this.match += ch;
this.matched += ch;
var lines = ch.match(/(?:\r\n?|\n).*/g);
if (lines) {
this.yylineno++;
this.yylloc.last_line++;
} else {
this.yylloc.last_column++;
}
if (this.options.ranges) {
this.yylloc.range[1]++;
}
this._input = this._input.slice(1);
return ch;
},
// unshifts one char (or a string) into the input
unput:function (ch) {
var len = ch.length;
var lines = ch.split(/(?:\r\n?|\n)/g);
this._input = ch + this._input;
this.yytext = this.yytext.substr(0, this.yytext.length - len - 1);
//this.yyleng -= len;
this.offset -= len;
var oldLines = this.match.split(/(?:\r\n?|\n)/g);
this.match = this.match.substr(0, this.match.length - 1);
this.matched = this.matched.substr(0, this.matched.length - 1);
if (lines.length - 1) {
this.yylineno -= lines.length - 1;
}
var r = this.yylloc.range;
this.yylloc = {
first_line: this.yylloc.first_line,
last_line: this.yylineno + 1,
first_column: this.yylloc.first_column,
last_column: lines ?
(lines.length === oldLines.length ? this.yylloc.first_column : 0)
+ oldLines[oldLines.length - lines.length].length - lines[0].length :
this.yylloc.first_column - len
};
if (this.options.ranges) {
this.yylloc.range = [r[0], r[0] + this.yyleng - len];
}
this.yyleng = this.yytext.length;
return this;
},
// When called from action, caches matched text and appends it on next action
more:function () {
this._more = true;
return this;
},
// When called from action, signals the lexer that this rule fails to match the input, so the next matching rule (regex) should be tested instead.
reject:function () {
if (this.options.backtrack_lexer) {
this._backtrack = true;
} else {
return this.parseError('Lexical error on line ' + (this.yylineno + 1) + '. You can only invoke reject() in the lexer when the lexer is of the backtracking persuasion (options.backtrack_lexer = true).\n' + this.showPosition(), {
text: "",
token: null,
line: this.yylineno
});
}
return this;
},
// retain first n characters of the match
less:function (n) {
this.unput(this.match.slice(n));
},
// displays already matched input, i.e. for error messages
pastInput:function () {
var past = this.matched.substr(0, this.matched.length - this.match.length);
return (past.length > 20 ? '...':'') + past.substr(-20).replace(/\n/g, "");
},
// displays upcoming input, i.e. for error messages
upcomingInput:function () {
var next = this.match;
if (next.length < 20) {
next += this._input.substr(0, 20-next.length);
}
return (next.substr(0,20) + (next.length > 20 ? '...' : '')).replace(/\n/g, "");
},
// displays the character position where the lexing error occurred, i.e. for error messages
showPosition:function () {
var pre = this.pastInput();
var c = new Array(pre.length + 1).join("-");
return pre + this.upcomingInput() + "\n" + c + "^";
},
// test the lexed token: return FALSE when not a match, otherwise return token
test_match:function (match, indexed_rule) {
var token,
lines,
backup;
if (this.options.backtrack_lexer) {
// save context
backup = {
yylineno: this.yylineno,
yylloc: {
first_line: this.yylloc.first_line,
last_line: this.last_line,
first_column: this.yylloc.first_column,
last_column: this.yylloc.last_column
},
yytext: this.yytext,
match: this.match,
matches: this.matches,
matched: this.matched,
yyleng: this.yyleng,
offset: this.offset,
_more: this._more,
_input: this._input,
yy: this.yy,
conditionStack: this.conditionStack.slice(0),
done: this.done
};
if (this.options.ranges) {
backup.yylloc.range = this.yylloc.range.slice(0);
}
}
lines = match[0].match(/(?:\r\n?|\n).*/g);
if (lines) {
this.yylineno += lines.length;
}
this.yylloc = {
first_line: this.yylloc.last_line,
last_line: this.yylineno + 1,
first_column: this.yylloc.last_column,
last_column: lines ?
lines[lines.length - 1].length - lines[lines.length - 1].match(/\r?\n?/)[0].length :
this.yylloc.last_column + match[0].length
};
this.yytext += match[0];
this.match += match[0];
this.matches = match;
this.yyleng = this.yytext.length;
if (this.options.ranges) {
this.yylloc.range = [this.offset, this.offset += this.yyleng];
}
this._more = false;
this._backtrack = false;
this._input = this._input.slice(match[0].length);
this.matched += match[0];
token = this.performAction.call(this, this.yy, this, indexed_rule, this.conditionStack[this.conditionStack.length - 1]);
if (this.done && this._input) {
this.done = false;
}
if (token) {
return token;
} else if (this._backtrack) {
// recover context
for (var k in backup) {
this[k] = backup[k];
}
return false; // rule action called reject() implying the next rule should be tested instead.
}
return false;
},
// return next match in input
next:function () {
if (this.done) {
return this.EOF;
}
if (!this._input) {
this.done = true;
}
var token,
match,
tempMatch,
index;
if (!this._more) {
this.yytext = '';
this.match = '';
}
var rules = this._currentRules();
for (var i = 0; i < rules.length; i++) {
tempMatch = this._input.match(this.rules[rules[i]]);
if (tempMatch && (!match || tempMatch[0].length > match[0].length)) {
match = tempMatch;
index = i;
if (this.options.backtrack_lexer) {
token = this.test_match(tempMatch, rules[i]);
if (token !== false) {
return token;
} else if (this._backtrack) {
match = false;
continue; // rule action called reject() implying a rule MISmatch.
} else {
// else: this is a lexer rule which consumes input without producing a token (e.g. whitespace)
return false;
}
} else if (!this.options.flex) {
break;
}
}
}
if (match) {
token = this.test_match(match, rules[index]);
if (token !== false) {
return token;
}
// else: this is a lexer rule which consumes input without producing a token (e.g. whitespace)
return false;
}
if (this._input === "") {
return this.EOF;
} else {
return this.parseError('Lexical error on line ' + (this.yylineno + 1) + '. Unrecognized text.\n' + this.showPosition(), {
text: "",
token: null,
line: this.yylineno
});
}
},
// return next match that has a token
lex:function lex() {
var r = this.next();
if (r) {
return r;
} else {
return this.lex();
}
},
// activates a new lexer condition state (pushes the new lexer condition state onto the condition stack)
begin:function begin(condition) {
this.conditionStack.push(condition);
},
// pop the previously active lexer condition state off the condition stack
popState:function popState() {
var n = this.conditionStack.length - 1;
if (n > 0) {
return this.conditionStack.pop();
} else {
return this.conditionStack[0];
}
},
// produce the lexer rule set which is active for the currently active lexer condition state
_currentRules:function _currentRules() {
if (this.conditionStack.length && this.conditionStack[this.conditionStack.length - 1]) {
return this.conditions[this.conditionStack[this.conditionStack.length - 1]].rules;
} else {
return this.conditions["INITIAL"].rules;
}
},
// return the currently active lexer condition state; when an index argument is provided it produces the N-th previous condition state, if available
topState:function topState(n) {
n = this.conditionStack.length - 1 - Math.abs(n || 0);
if (n >= 0) {
return this.conditionStack[n];
} else {
return "INITIAL";
}
},
// alias for begin(condition)
pushState:function pushState(condition) {
this.begin(condition);
},
// return the number of states currently on the stack
stateStackSize:function stateStackSize() {
return this.conditionStack.length;
},
options: {},
performAction: function anonymous(yy,yy_,$avoiding_name_collisions,YY_START) {
var YYSTATE=YY_START;
switch($avoiding_name_collisions) {
case 0: this.popState(); return "[";
break;
case 1: this.unput(yy_.yytext); this.popState(); this.popState();
break;
case 2: return "TEXTOPTARG";
break;
case 3: this.popState(); return "]";
break;
case 4:return "{";
break;
case 5:return "TEXTARG";
break;
case 6: this.popState(); return "}";
break;
case 7: this.popState(); return "]";
break;
case 8:/* skip whitespace */
break;
case 9:return "{";
break;
case 10:return "}";
break;
case 11:return "^";
break;
case 12:return "_";
break;
case 13:return ".";
break;
case 14:return "COLSEP";
break;
case 15:return "ROWSEP"
break;
case 16:return "EOF";
break;
case 17:return "NUM";
break;
case 18: yy_.yytext = "\u0396"; return "A";
break;
case 19: yy_.yytext = "\u03B6"; return "A";
break;
case 20: this.pushState("OPTARG"); this.pushState("TRYOPTARG"); yy_.yytext = "\u21CC"; return "XARROW";
break;
case 21: this.pushState("OPTARG"); this.pushState("TRYOPTARG"); yy_.yytext = "\u21D2"; return "XARROW";
break;
case 22: this.pushState("OPTARG"); this.pushState("TRYOPTARG"); yy_.yytext = "\u2192"; return "XARROW";
break;
case 23: this.pushState("OPTARG"); this.pushState("TRYOPTARG"); yy_.yytext = "\u21A6"; return "XARROW";
break;
case 24: this.pushState("OPTARG"); this.pushState("TRYOPTARG"); yy_.yytext = "\u21CB"; return "XARROW";
break;
case 25: this.pushState("OPTARG"); this.pushState("TRYOPTARG"); yy_.yytext = "\u21D4"; return "XARROW";
break;
case 26: this.pushState("OPTARG"); this.pushState("TRYOPTARG"); yy_.yytext = "\u2194"; return "XARROW";
break;
case 27: this.pushState("OPTARG"); this.pushState("TRYOPTARG"); yy_.yytext = "\u21D0"; return "XARROW";
break;
case 28: this.pushState("OPTARG"); this.pushState("TRYOPTARG"); yy_.yytext = "\u2190"; return "XARROW";
break;
case 29: yy_.yytext = "\u039E"; return "A";
break;
case 30: yy_.yytext = "\u03BE"; return "A";
break;
case 31: this.pushState("OPTARG"); this.pushState("TRYOPTARG"); yy_.yytext = "\u21AA"; return "XARROW";
break;
case 32: this.pushState("OPTARG"); this.pushState("TRYOPTARG"); yy_.yytext = "\u21A9"; return "XARROW";
break;
case 33: yy_.yytext = "\u2240"; return "OP";
break;
case 34: yy_.yytext = "\u2118"; return "A";
break;
case 35: yy_.yytext = "\u21C0"; return "ACCENT";
break;
case 36: yy_.yytext = "\u02DC"; return "ACCENT";
break;
case 37: yy_.yytext = "\u005E"; return "ACCENT";
break;
case 38: yy_.yytext = "\u02C7"; return "ACCENT";
break;
case 39: yy_.yytext = "\u00AF"; return "ACCENT";
break;
case 40: yy_.yytext = "\u2259"; return "OP";
break;
case 41: yy_.yytext = "\u22C0"; return "OPM";
break;
case 42: yy_.yytext = "\u2227"; return "OP";
break;
case 43: yy_.yytext = "\u2980"; return "OPFS";
break;
case 44: yy_.yytext = "\u22AA"; return "OP";
break;
case 45: yy_.yytext = "\u2230"; return "OP";
break;
case 46: yy_.yytext = "\u22D8"; return "OP";
break;
case 47: yy_.yytext = "\u22D9"; return "OP";
break;
case 48: yy_.yytext = "\u2016"; return "OPFS";
break;
case 49: yy_.yytext = "\u007C"; return "OPFS";
break;
case 50: yy_.yytext = "\u22BB"; return "OP";
break;
case 51: yy_.yytext = "\u22C1"; return "OPM";
break;
case 52: yy_.yytext = "\u2228"; return "OP";
break;
case 53: yy_.yytext = "\u21C0"; return "ACCENTNS";
break;
case 54: yy_.yytext = "\u22EE"; return "OP";
break;
case 55: yy_.yytext = "\u22AB"; return "OP";
break;
case 56: yy_.yytext = "\u22A9"; return "OP";
break;
case 57: yy_.yytext = "\u22A8"; return "OP";
break;
case 58: yy_.yytext = "\u22A2"; return "OP";
break;
case 59: yy_.yytext = "\u2AEB"; return "OP";
break;
case 60: yy_.yytext = "\u22B3"; return "OP";
break;
case 61: yy_.yytext = "\u22B2"; return "OP";
break;
case 62: yy_.yytext = "\u25B5"; return "OP";
break;
case 63: yy_.yytext = "\u03D1"; return "A";
break;
case 64: yy_.yytext = "\u228B\uFE00"; return "OP";
break;
case 65: yy_.yytext = "\u2ACB\uFE00"; return "OP";
break;
case 66: yy_.yytext = "\u228A\uFE00"; return "OP";
break;
case 67: yy_.yytext = "\u228A\uFE00"; return "OP";
break;
case 68: yy_.yytext = "\u03C2"; return "A";
break;
case 69: yy_.yytext = "\u03F1"; return "A";
break;
case 70: yy_.yytext = "\u221D"; return "OP";
break;
case 71: yy_.yytext = "\u03D6"; return "A";
break;
case 72: yy_.yytext = "\u03C6"; return "A";
break;
case 73: yy_.yytext = "\u2205"; return "A";
break;
case 74: yy_.yytext = "\u03F0"; return "A";
break;
case 75: yy_.yytext = "\u03B5"; return "A";
break;
case 76: yy_.yytext = "\u290A"; return "OPS";
break;
case 77: yy_.yytext = "\u21C8"; return "OPS";
break;
case 78: yy_.yytext = "\u22F0"; return "OP";
break;
case 79: yy_.yytext = "\u03D2"; return "A";
break;
case 80: yy_.yytext = "\u03C5"; return "A";
break;
case 81: yy_.yytext = "\u228E"; return "OP";
break;
case 82: yy_.yytext = "\u2A1B"; return "OP";
break;
case 83: yy_.yytext = "\u21BF"; return "OPS";
break;
case 84: yy_.yytext = "\u21BE"; return "OPS";
break;
case 85: yy_.yytext = "\u21BF"; return "OPS";
break;
case 86: yy_.yytext = "\u21BE"; return "OPS";
break;
case 87: yy_.yytext = "\u296E"; return "OPS";
break;
case 88: yy_.yytext = "\u21D5"; return "OPS";
break;
case 89: yy_.yytext = "\u2195"; return "OPS";
break;
case 90: yy_.yytext = "\u2912"; return "OPS";
break;
case 91: yy_.yytext = "\u21D1"; return "OPS";
break;
case 92: yy_.yytext = "\u2191"; return "OPS";
break;
case 93: yy_.yytext = "\u22B5"; return "OP";
break;
case 94: yy_.yytext = "\u22B4"; return "OP";
break;
case 95: yy_.yytext = "\u22C3"; return "OPM";
break;
case 96: yy_.yytext = "\u222A"; return "OP";
break;
case 97:return "UNDERSET";
break;
case 98:return "UNDEROVERSET";
break;
case 99:return "UNDERLINE";
break;
case 100:return "UNDERBRACE";
break;
case 101: yy_.yytext = "\u22F0"; return "OP";
break;
case 102:return "OP";
break;
case 103:return "OP";
break;
case 104:return "OP";
break;
case 105:return "OP";
break;
case 106:return "OP";
break;
case 107:return "OP";
break;
case 108:return "OP";
break;
case 109:return "OP";
break;
case 110:return "OP";
break;
case 111:return "OP";
break;
case 112:return "OP";
break;
case 113:return "OP";
break;
case 114:return "OP";
break;
case 115:return "OP";
break;
case 116:return "OP";
break;
case 117:return "OP";
break;
case 118:return "OP";
break;
case 119:return "OP";
break;
case 120:return "OP";
break;
case 121:return "OP";
break;
case 122:return "OP";
break;
case 123:return "OP";
break;
case 124:return "OP";
break;
case 125:return "OP";
break;
case 126:return "OP";
break;
case 127:return "OP";
break;
case 128:return "OP";
break;
case 129:return "OP";
break;
case 130:return "OP";
break;
case 131:return "OP";
break;
case 132:return "OP";
break;
case 133:return "OP";
break;
case 134:return "OPFS";
break;
case 135:return "OPFS";
break;
case 136:return "OP";
break;
case 137:return "OP";
break;
case 138:return "OP";
break;
case 139:return "OP";
break;
case 140:return "OP";
break;
case 141:return "OP";
break;
case 142:return "OP";
break;
case 143:return "OP";
break;
case 144:return "OP";
break;
case 145:return "OP";
break;
case 146:return "OP";
break;
case 147:return "OP";
break;
case 148:return "OP";
break;
case 149:return "OP";
break;
case 150:return "OP";
break;
case 151:return "OP";
break;
case 152:return "OP";
break;
case 153:return "OP";
break;
case 154:return "OP";
break;
case 155:return "OP";
break;
case 156:return "OP";
break;
case 157: yy_.yytext = "\u02D8"; return "OP";
break;
case 158: yy_.yytext = "\u2916"; return "OP";
break;
case 159: yy_.yytext = "\u21A0"; return "OPS";
break;
case 160: yy_.yytext = "\u219E"; return "OPS";
break;
case 161: yy_.yytext = "\u22A7"; return "OP";
break;
case 162: yy_.yytext = "\u222D"; return "OP";
break;
case 163: yy_.yytext = "\u22B5"; return "OP";
break;
case 164: yy_.yytext = "\u25B9"; return "OP";
break;
case 165: yy_.yytext = "\u225C"; return "OP";
break;
case 166: yy_.yytext = "\u22B4"; return "OP";
break;
case 167: yy_.yytext = "\u25C3"; return "OP";
break;
case 168: yy_.yytext = "\u25BF"; return "OP";
break;
case 169: yy_.yytext = "\u25B5"; return "OP";
break;
case 170: yy_.yytext = "\u292A"; return "OP";
break;
case 171: yy_.yytext = "\u2929"; return "OP";
break;
case 172: yy_.yytext = "\u22A4"; return "OP";
break;
case 173: this.pushState("TEXTARG"); return "TOOLTIP";
break;
case 174: yy_.yytext = "\u2927"; return "OP";
break;
case 175: return "TOGGLE";
break;
case 176: yy_.yytext = "\u2928"; return "OP";
break;
case 177: yy_.yytext = "\u2192"; return "OPS";
break;
case 178: yy_.yytext = "\u22A0"; return "OP";
break;
case 179: yy_.yytext = "\u00D7"; return "OP";
break;
case 180: yy_.yytext = "\u224B"; return "OP";
break;
case 181: yy_.yytext = "\u02DC"; return "ACCENTNS";
break;
case 182:return "THINSPACE";
break;
case 183:return "THICKSPACE";
break;
case 184: yy_.yytext = "\u223C"; return "OP";
break;
case 185: yy_.yytext = "\u2248"; return "OP";
break;
case 186: yy_.yytext = "\u0398"; return "A";
break;
case 187: yy_.yytext = "\u03B8"; return "A";
break;
case 188: yy_.yytext = "\u2234"; return "OP";
break;
case 189:return "TFRAC";
break;
case 190: yy_.yytext = "\u03D1"; return "A";
break;
case 191: yy_.yytext = "\u00D7"; return "OP";
break;
case 192: yy_.yytext = "\u02DC"; return "OPS";
break;
case 193: yy_.yytext = "\u03F4"; return "A";
break;
case 194: yy_.yytext = "\u03B8"; return "A";
break;
case 195:return "TEXTSTYLE";
break;
case 196:return "TEXTSIZE";
break;
case 197: yy_.yytext = "\u0027"; return "OP";
break;
case 198: yy_.yytext = "\u201D"; return "OPF";
break;
case 199: yy_.yytext = "\u201C"; return "OPF";
break;
case 200: yy_.yytext = "\u02D9"; return "OP";
break;
case 201: yy_.yytext = "\u00BA"; return "OP";
break;
case 202: yy_.yytext = "\u00AA"; return "OP";
break;
case 203: yy_.yytext = "\u0024"; return "A";
break;
case 204: yy_.yytext = "\u00B0"; return "OP";
break;
case 205: yy_.yytext = "\u2021"; return "OP";
break;
case 206: yy_.yytext = "\u2020"; return "OP";
break;
case 207: yy_.yytext = "\u2022"; return "OP";
break;
case 208: yy_.yytext = "\u005C"; return "OP";
break;
case 209: yy_.yytext = "\u007E"; return "OPS";
break;
case 210: yy_.yytext = "\u00AF"; return "OPS";
break;
case 211: yy_.yytext = "\u0060"; return "OP";
break;
case 212: yy_.yytext = "\u00A8"; return "OP";
break;
case 213: yy_.yytext = "\u005E"; return "OPS";
break;
case 214: yy_.yytext = "\u02C7"; return "OPS";
break;
case 215: yy_.yytext = "\u02D8"; return "OP";
break;
case 216: yy_.yytext = "\u00B4"; return "OP";
break;
case 217: this.begin("TEXTARG"); return "MTEXT";
break;
case 218:return "TENSOR";
break;
case 219:return "TBINOM";
break;
case 220: yy_.yytext = "\u03A4"; return "A";
break;
case 221: yy_.yytext = "\u03C4"; return "A";
break;
case 222: yy_.yytext = "\u2199"; return "OPS";
break;
case 223: yy_.yytext = "\u222F"; return "OP";
break;
case 224: yy_.yytext = "\u221A"; return "OPS";
break;
case 225: yy_.yytext = "\u2ACC"; return "OP";
break;
case 226: yy_.yytext = "\u228B"; return "OP";
break;
case 227: yy_.yytext = "\u228B"; return "OP";
break;
case 228: yy_.yytext = "\u2AC6"; return "OP";
break;
case 229: yy_.yytext = "\u2287"; return "OP";
break;
case 230: yy_.yytext = "\u2287"; return "OP";
break;
case 231: yy_.yytext = "\u22D1"; return "OP";
break;
case 232: yy_.yytext = "\u2283"; return "OP";
break;
case 233: yy_.yytext = "\u2211"; return "OPM";
break;
case 234: yy_.yytext = "\u227F"; return "OP";
break;
case 235: yy_.yytext = "\u22E9"; return "OP";
break;
case 236: yy_.yytext = "\u2AB6"; return "OP";
break;
case 237: yy_.yytext = "\u2ABA"; return "OP";
break;
case 238: yy_.yytext = "\u22E9"; return "OP";
break;
case 239: yy_.yytext = "\u2AB0"; return "OP";
break;
case 240: yy_.yytext = "\u227D"; return "OP";
break;
case 241: yy_.yytext = "\u227D"; return "OP";
break;
case 242: yy_.yytext = "\u2AB8"; return "OP";
break;
case 243: yy_.yytext = "\u227B"; return "OP";
break;
case 244:return "SUBSTACK";
break;
case 245: yy_.yytext = "\u2ACB"; return "OP";
break;
case 246: yy_.yytext = "\u228A"; return "OP";
break;
case 247: yy_.yytext = "\u228A"; return "OP";
break;
case 248: yy_.yytext = "\u2AC5"; return "OP";
break;
case 249: yy_.yytext = "\u2286"; return "OP";
break;
case 250: yy_.yytext = "\u2286"; return "OP";
break;
case 251: yy_.yytext = "\u22D0"; return "OP";
break;
case 252: yy_.yytext = "\u2282"; return "OP";
break;
case 253: yy_.yytext = "\u03DA"; return "A";
break;
case 254: this.pushState("TEXTARG"); return "STATUSLINE";
break;
case 255: yy_.yytext = "\u225B"; return "OP";
break;
case 256: yy_.yytext = "\u22C6"; return "OP";
break;
case 257: yy_.yytext = "\u2A6E"; return "OP";
break;
case 258:return "OVERSET";
break;
case 259: yy_.yytext = "\u2AFD"; return "OP";
break;
case 260: yy_.yytext = "\u25A1"; return "OP";
break;
case 261: yy_.yytext = "\u2292"; return "OP";
break;
case 262: yy_.yytext = "\u2290"; return "OP";
break;
case 263: yy_.yytext = "\u2291"; return "OP";
break;
case 264: yy_.yytext = "\u228F"; return "OP";
break;
case 265: this.pushState("OPTARG"); this.pushState("TRYOPTARG"); return "SQRT";
break;
case 266: yy_.yytext = "\u2A16"; return "OP";
break;
case 267: yy_.yytext = "\u2294"; return "OP";
break;
case 268: yy_.yytext = "\u2293"; return "OP";
break;
case 269: yy_.yytext = "\u2222"; return "OP";
break;
case 270: yy_.yytext = "\u2660"; return "OP";
break;
case 271: this.pushState("TEXTARG"); this.pushState("TEXTARG"); this.pushState("TEXTARG"); return "SPACE";
break;
case 272: yy_.yytext = "\u2323"; return "OP";
break;
case 273: yy_.yytext = "\u2323"; return "OP";
break;
case 274: yy_.yytext = "\u2216"; return "OP";
break;
case 275: yy_.yytext = "\u2322"; return "OP";
break;
case 276:return "SLASH";
break;
case 277: yy_.yytext = "\u27FF"; return "OPS";
break;
case 278: yy_.yytext = "\u2243"; return "OP";
break;
case 279: yy_.yytext = "\u223C"; return "OP";
break;
case 280: yy_.yytext = "\u03A3"; return "A";
break;
case 281: yy_.yytext = "\u03C3"; return "A";
break;
case 282: yy_.yytext = "\u29E2"; return "OP";
break;
case 283: yy_.yytext = "\u2225"; return "OP";
break;
case 284: yy_.yytext = "\u2223"; return "OP";
break;
case 285: yy_.yytext = "\u266F"; return "OP";
break;
case 286: yy_.yytext = "\u2216"; return "OP";
break;
case 287: yy_.yytext = "\u292D"; return "OP";
break;
case 288: yy_.yytext = "\u2198"; return "OPS";
break;
case 289:return "SCRIPTSIZE";
break;
case 290:return "SCRIPTSCRIPTSIZE";
break;
case 291: yy_.yytext = "\u03E0"; return "A";
break;
case 292: yy_.yytext = "\u29F4"; return "OP";
break;
case 293: yy_.yytext = "\u22CA"; return "OP";
break;
case 294: yy_.yytext = "\u21B1"; return "OPS";
break;
case 295: yy_.yytext = "\u21DB"; return "OPS";
break;
case 296: yy_.yytext = "\u27EB"; return "OPFS";
break;
case 297: yy_.yytext = "\u2019"; return "OPF";
break;
case 298: this.begin("TEXTARG"); return "ROWSPAN";
break;
case 299:return "ROWOPTS";
break;
case 300: this.pushState("TEXTARG"); return "ROWLINES";
break;
case 301: this.begin("TEXTARG"); return "ROWALIGN";
break;
case 302: yy_.yytext = "\u2970"; return "OP";
break;
case 303:return "ROOT";
break;
case 304: yy_.yytext = "\u23B1"; return "OP";
break;
case 305: yy_.yytext = "\u2253"; return "OP";
break;
case 306: yy_.yytext = "\u2953"; return "OPS";
break;
case 307: yy_.yytext = "\u2954"; return "OPS";
break;
case 308: yy_.yytext = "\u295C"; return "OPS";
break;
case 309: yy_.yytext = "\u294F"; return "OPS";
break;
case 310: yy_.yytext = "\u29D0"; return "OP";
break;
case 311: yy_.yytext = "\u22CC"; return "OP";
break;
case 312: yy_.yytext = "\u295B"; return "OPS";
break;
case 313: yy_.yytext = "\u21DD"; return "OPS";
break;
case 314: yy_.yytext = "\u219D"; return "OPS";
break;
case 315: yy_.yytext = "\u21C9"; return "OPS";
break;
case 316: yy_.yytext = "\u21CC"; return "OPS";
break;
case 317: yy_.yytext = "\u21C4"; return "OPS";
break;
case 318: yy_.yytext = "\u21C0"; return "OPS";
break;
case 319: yy_.yytext = "\u21C1"; return "OPS";
break;
case 320: yy_.yytext = "\u2955"; return "OPS";
break;
case 321: yy_.yytext = "\u295D"; return "OPS";
break;
case 322: yy_.yytext = "\u21FE"; return "OPS";
break;
case 323: yy_.yytext = "\u21A3"; return "OPS";
break;
case 324: yy_.yytext = "\u21D2"; return "OPS";
break;
case 325: yy_.yytext = "\u2192"; return "OPS";
break;
case 326: yy_.yytext = "\u22BE"; return "OP";
break;
case 327: yy_.yytext = "\u221F"; return "OP";
break;
case 328:return "RIGHT";
break;
case 329: yy_.yytext = "\u03A1"; return "A";
break;
case 330: yy_.yytext = "\u03C1"; return "A";
break;
case 331: yy_.yytext = "\u22B3"; return "OP";
break;
case 332: yy_.yytext = "\u230B"; return "OPFS";
break;
case 333: yy_.yytext = "\u296F"; return "OPS";
break;
case 334: yy_.yytext = "\u211C"; return "A";
break;
case 335: yy_.yytext = "\u2930"; return "OP";
break;
case 336: yy_.yytext = "\u292B"; return "OP";
break;
case 337: yy_.yytext = "\u2309"; return "OPFS";
break;
case 338: yy_.yytext = "\u005D"; return "OPFS";
break;
case 339: yy_.yytext = "\u007D"; return "OPFS";
break;
case 340: yy_.yytext = "\u27E9"; return "OPFS";
break;
case 341: yy_.yytext = "\u27E9"; return "OPFS";
break;
case 342: yy_.yytext = "\u02DA"; return "OP";
break;
case 343: yy_.yytext = "\u225F"; return "OP";
break;
case 344: yy_.yytext = "\u2A0C"; return "OP";
break;
case 345:return "QUAD";
break;
case 346:return "QQUAD";
break;
case 347: yy_.yytext = "\u25AA"; return "OP";
break;
case 348: yy_.yytext = "\u03A8"; return "A";
break;
case 349: yy_.yytext = "\u03C8"; return "A";
break;
case 350: yy_.yytext = "\u221D"; return "OP";
break;
case 351: yy_.yytext = "\u220F"; return "OPM";
break;
case 352: yy_.yytext = "\u220F"; return "OPM";
break;
case 353: yy_.yytext = "\u2032"; return "OPP";
break;
case 354: yy_.yytext = "\u227E"; return "OP";
break;
case 355: yy_.yytext = "\u22E8"; return "OP";
break;
case 356: yy_.yytext = "\u2AB5"; return "OP";
break;
case 357: yy_.yytext = "\u2AB9"; return "OP";
break;
case 358: yy_.yytext = "\u2AAF"; return "OP";
break;
case 359: yy_.yytext = "\u22E8"; return "OP";
break;
case 360: yy_.yytext = "\u227C"; return "OP";
break;
case 361: yy_.yytext = "\u2AB7"; return "OP";
break;
case 362: yy_.yytext = "\u227A"; return "OP";
break;
case 363:return "PMOD";
break;
case 364: yy_.yytext = "\u00B1"; return "OP";
break;
case 365: yy_.yytext = "\u2A25"; return "OP";
break;
case 366: yy_.yytext = "\u229E"; return "OP";
break;
case 367: yy_.yytext = "\u22D4"; return "OP";
break;
case 368: yy_.yytext = "\u03A0"; return "A";
break;
case 369: yy_.yytext = "\u03C0"; return "A";
break;
case 370: yy_.yytext = "\u03A6"; return "A";
break;
case 371: yy_.yytext = "\u03D5"; return "A";
break;
case 372:return "PHANTOM";
break;
case 373: yy_.yytext = "\u2306"; return "OP";
break;
case 374: yy_.yytext = "\u2AEB"; return "OP";
break;
case 375: yy_.yytext = "\u22A5"; return "OP";
break;
case 376: yy_.yytext = "\u2AA3"; return "OP";
break;
case 377: yy_.yytext = "\u2202"; return "OP";
break;
case 378: yy_.yytext = "\u214B"; return "OP";
break;
case 379: yy_.yytext = "\u2225"; return "OP";
break;
case 380: this.pushState("TEXTARG"); return "PADDING";
break;
case 381:return "OVERSET";
break;
case 382: yy_.yytext = "\u00AF"; return "ACCENT";
break;
case 383:return "OVERBRACE";
break;
case 384:return "TEXOVER";
break;
case 385: yy_.yytext = "\u2A34"; return "OP";
break;
case 386: yy_.yytext = "\u2297"; return "OP";
break;
case 387: yy_.yytext = "\u2298"; return "OP";
break;
case 388: yy_.yytext = "\u22B6"; return "OP";
break;
case 389:return "OPS";
break;
case 390:return "OPP";
break;
case 391:return "OPM";
break;
case 392: yy_.yytext = "\u2A2D"; return "OP";
break;
case 393: yy_.yytext = "\u2295"; return "OP";
break;
case 394:return "OPFS";
break;
case 395:return "OPF";
break;
case 396: this.begin("TEXTARG"); return "OPERATORNAME";
break;
case 397:return "OP";
break;
case 398: yy_.yytext = "\u2296"; return "OP";
break;
case 399: yy_.yytext = "\u2134"; return "A";
break;
case 400: yy_.yytext = "\u03A9"; return "A";
break;
case 401: yy_.yytext = "\u03C9"; return "A";
break;
case 402: yy_.yytext = "\u222E"; return "OP";
break;
case 403: yy_.yytext = "\u222F"; return "OP";
break;
case 404: yy_.yytext = "\u2230"; return "OP";
break;
case 405: yy_.yytext = "\u2299"; return "OP";
break;
case 406: yy_.yytext = "\u229D"; return "OP";
break;
case 407: yy_.yytext = "\u29B8"; return "OP";
break;
case 408: yy_.yytext = "\u2932"; return "OP";
break;
case 409: yy_.yytext = "\u2196"; return "OPS";
break;
case 410: yy_.yytext = "\u22AF"; return "OP";
break;
case 411: yy_.yytext = "\u22AE"; return "OP";
break;
case 412: yy_.yytext = "\u22AD"; return "OP";
break;
case 413: yy_.yytext = "\u22AC"; return "OP";
break;
case 414:return "NUM";
break;
case 415: yy_.yytext = "\u03BD"; return "A";
break;
case 416: yy_.yytext = "\u22ED"; return "OP";
break;
case 417: yy_.yytext = "\u22EB"; return "OP";
break;
case 418: yy_.yytext = "\u22EC"; return "OP";
break;
case 419: yy_.yytext = "\u22EA"; return "OP";
break;
case 420: yy_.yytext = "\u2289"; return "OP";
break;
case 421: yy_.yytext = "\u2289"; return "OP";
break;
case 422: yy_.yytext = "\u2285"; return "OP";
break;
case 423: yy_.yytext = "\u227F\u0338"; return "OP";
break;
case 424: yy_.yytext = "\u2AB0\u0338"; return "OP";
break;
case 425: yy_.yytext = "\u2281"; return "OP";
break;
case 426: yy_.yytext = "\u2288"; return "OP";
break;
case 427: yy_.yytext = "\u2288"; return "OP";
break;
case 428: yy_.yytext = "\u2284"; return "OP";
break;
case 429: yy_.yytext = "\u2244"; return "OP";
break;
case 430: yy_.yytext = "\u2241"; return "OP";
break;
case 431: yy_.yytext = "\u2226"; return "OP";
break;
case 432: yy_.yytext = "\u2224"; return "OP";
break;
case 433: yy_.yytext = "\u21CF"; return "OP";
break;
case 434: yy_.yytext = "\u219B"; return "OP";
break;
case 435: yy_.yytext = "\u2AAF\u0338"; return "OP";
break;
case 436: yy_.yytext = "\u2280"; return "OP";
break;
case 437: yy_.yytext = "\u2226"; return "OP";
break;
case 438: yy_.yytext = "\u2289"; return "OP";
break;
case 439: yy_.yytext = "\u2285"; return "OP";
break;
case 440: yy_.yytext = "\u2AB0\u0338"; return "OP";
break;
case 441: yy_.yytext = "\u227F\u0338"; return "OP";
break;
case 442: yy_.yytext = "\u2281"; return "OP";
break;
case 443: yy_.yytext = "\u2288"; return "OP";
break;
case 444: yy_.yytext = "\u2284"; return "OP";
break;
case 445: yy_.yytext = "\u2290\u0338"; return "OP";
break;
case 446: yy_.yytext = "\u228F\u0338"; return "OP";
break;
case 447: yy_.yytext = "\u22E3"; return "OP";
break;
case 448: yy_.yytext = "\u22E2"; return "OP";
break;
case 449: yy_.yytext = "\u2244"; return "OP";
break;
case 450: yy_.yytext = "\u2241"; return "OP";
break;
case 451: yy_.yytext = "\u29D0\u0338"; return "OP";
break;
case 452: yy_.yytext = "\u2AAF\u0338"; return "OP";
break;
case 453: yy_.yytext = "\u2280"; return "OP";
break;
case 454: yy_.yytext = "\u220C"; return "OP";
break;
case 455: yy_.yytext = "\u220C"; return "OP";
break;
case 456: yy_.yytext = "\u2AA1\u0338"; return "OP";
break;
case 457: yy_.yytext = "\u2AA2\u0338"; return "OP";
break;
case 458: yy_.yytext = "\u226A\u0338"; return "OP";
break;
case 459: yy_.yytext = "\u2278"; return "OP";
break;
case 460: yy_.yytext = "\u2270"; return "OP";
break;
case 461: yy_.yytext = "\u29CF\u0338"; return "OP";
break;
case 462: yy_.yytext = "\u2270"; return "OP";
break;
case 463: yy_.yytext = "\u226D"; return "OP";
break;
case 464: yy_.yytext = "\u2209"; return "OP";
break;
case 465: yy_.yytext = "\u2209"; return "OP";
break;
case 466: yy_.yytext = "\u224F\u0338"; return "OP";
break;
case 467: yy_.yytext = "\u224E\u0338"; return "OP";
break;
case 468: yy_.yytext = "\u2279"; return "OP";
break;
case 469: yy_.yytext = "\u226B\u0338"; return "OP";
break;
case 470: yy_.yytext = "\u2271"; return "OP";
break;
case 471: yy_.yytext = "\u2271"; return "OP";
break;
case 472: yy_.yytext = "\u2262"; return "OP";
break;
case 473: yy_.yytext = "\u2242\u0338"; return "OP";
break;
case 474: yy_.yytext = "\u2247"; return "OP";
break;
case 475: yy_.yytext = "\u2249"; return "OP";
break;
case 476: yy_.yytext = "\u226F"; return "OP";
break;
case 477: yy_.yytext = "\u226E"; return "OP";
break;
case 478: yy_.yytext = "\u2260"; return "OP";
break;
case 479: yy_.yytext = "\u2209"; return "OP";
break;
case 480: yy_.yytext = "\u2224"; return "OP";
break;
case 481: yy_.yytext = "\u226E"; return "OP";
break;
case 482: yy_.yytext = "\u2A7D\u0338"; return "OP";
break;
case 483: yy_.yytext = "\u2A7D\u0338"; return "OP";
break;
case 484: yy_.yytext = "\u2270"; return "OP";
break;
case 485: yy_.yytext = "\u21CE"; return "OP";
break;
case 486: yy_.yytext = "\u21AE"; return "OP";
break;
case 487: yy_.yytext = "\u21CD"; return "OP";
break;
case 488: yy_.yytext = "\u219A"; return "OP";
break;
case 489: yy_.yytext = "\u220B"; return "OP";
break;
case 490: yy_.yytext = "\u226F"; return "OP";
break;
case 491: yy_.yytext = "\u2A7E\u0338"; return "OP";
break;
case 492: yy_.yytext = "\u2A7E\u0338"; return "OP";
break;
case 493: yy_.yytext = "\u2271"; return "OP";
break;
case 494: yy_.yytext = "\u2204"; return "OP";
break;
case 495: yy_.yytext = "\u2AA1"; return "OP";
break;
case 496: yy_.yytext = "\u2AA2"; return "OP";
break;
case 497: yy_.yytext = "\u2262"; return "OP";
break;
case 498: yy_.yytext = "\u2242\u0338"; return "OP";
break;
case 499: yy_.yytext = "\u2260"; return "OP";
break;
case 500: yy_.yytext = "\u292E"; return "OP";
break;
case 501: yy_.yytext = "\u2931"; return "OP";
break;
case 502:return "NEGTHICKSPACE";
break;
case 503:return "NEGSPACE";
break;
case 504:return "NEGMEDSPACE";
break;
case 505: yy_.yytext = "\u00AC"; return "OP";
break;
case 506: yy_.yytext = "\u2197"; return "OPS";
break;
case 507: yy_.yytext = "\u2260"; return "OP";
break;
case 508: yy_.yytext = "\u2247"; return "OP";
break;
case 509: yy_.yytext = "\u224E\u0338"; return "OP";
break;
case 510: yy_.yytext = "\u224F\u0338"; return "OP";
break;
case 511: yy_.yytext = "\u266E"; return "OP";
break;
case 512: yy_.yytext = "\u2249"; return "OP";
break;
case 513: yy_.yytext = "\u2207"; return "OP";
break;
case 514:return "MULTI";
break;
case 515: yy_.yytext = "\u22B8"; return "OP";
break;
case 516: yy_.yytext = "\u03BC"; return "A";
break;
case 517: this.begin("TEXTARG"); return "MTEXT";
break;
case 518: this.pushState("TEXTARG"); this.pushState("TEXTOPTARG"); this.pushState("TRYOPTARG"); this.pushState("TEXTOPTARG"); this.pushState("TRYOPTARG"); return "MS";
break;
case 519: yy_.yytext = "\u2213"; return "OP";
break;
case 520: yy_.yytext = "\u22A8"; return "OP";
break;
case 521: yy_.yytext = "\u22A7"; return "OP";
break;
case 522: yy_.yytext = "mod"; return "MO";
break;
case 523: this.pushState("TEXTARG"); return "MO";
break;
case 524: this.pushState("TEXTARG"); return "MN";
break;
case 525: yy_.yytext = "\u2ADB"; return "OP";
break;
case 526: yy_.yytext = "\u2A2A"; return "OP";
break;
case 527: yy_.yytext = "\u229F"; return "OP";
break;
case 528: yy_.yytext = "\u2212"; return "OP";
break;
case 529: yy_.yytext = yy_.yytext.slice(1); return "FM";
break;
case 530: yy_.yytext = "\u2223"; return "OP";
break;
case 531: this.pushState("TEXTARG"); return "MI";
break;
case 532:return "MEDSPACE";
break;
case 533: yy_.yytext = "\u2221"; return "OP";
break;
case 534: yy_.yytext = "\uD835\uDE89"; return "A";
break;
case 535: yy_.yytext = "\uD835\uDEA3"; return "A";
break;
case 536: yy_.yytext = "\uD835\uDE88"; return "A";
break;
case 537: yy_.yytext = "\uD835\uDEA2"; return "A";
break;
case 538: yy_.yytext = "\uD835\uDE87"; return "A";
break;
case 539: yy_.yytext = "\uD835\uDEA1"; return "A";
break;
case 540: yy_.yytext = "\uD835\uDE86"; return "A";
break;
case 541: yy_.yytext = "\uD835\uDEA0"; return "A";
break;
case 542: yy_.yytext = "\uD835\uDE85"; return "A";
break;
case 543: yy_.yytext = "\uD835\uDE9F"; return "A";
break;
case 544: yy_.yytext = "\uD835\uDE84"; return "A";
break;
case 545: yy_.yytext = "\uD835\uDE9E"; return "A";
break;
case 546: yy_.yytext = "\uD835\uDE83"; return "A";
break;
case 547: yy_.yytext = "\uD835\uDE9D"; return "A";
break;
case 548: yy_.yytext = "\uD835\uDE82"; return "A";
break;
case 549: yy_.yytext = "\uD835\uDE9C"; return "A";
break;
case 550: yy_.yytext = "\uD835\uDE81"; return "A";
break;
case 551: yy_.yytext = "\uD835\uDE9B"; return "A";
break;
case 552: yy_.yytext = "\uD835\uDE80"; return "A";
break;
case 553: yy_.yytext = "\uD835\uDE9A"; return "A";
break;
case 554: yy_.yytext = "\uD835\uDE7F"; return "A";
break;
case 555: yy_.yytext = "\uD835\uDE99"; return "A";
break;
case 556: yy_.yytext = "\uD835\uDE7E"; return "A";
break;
case 557: yy_.yytext = "\uD835\uDE98"; return "A";
break;
case 558: yy_.yytext = "\uD835\uDE7D"; return "A";
break;
case 559: yy_.yytext = "\uD835\uDE97"; return "A";
break;
case 560: yy_.yytext = "\uD835\uDE7C"; return "A";
break;
case 561: yy_.yytext = "\uD835\uDE96"; return "A";
break;
case 562: yy_.yytext = "\uD835\uDE7B"; return "A";
break;
case 563: yy_.yytext = "\uD835\uDE95"; return "A";
break;
case 564: yy_.yytext = "\uD835\uDE7A"; return "A";
break;
case 565: yy_.yytext = "\uD835\uDE94"; return "A";
break;
case 566: yy_.yytext = "\uD835\uDE79"; return "A";
break;
case 567: yy_.yytext = "\uD835\uDE93"; return "A";
break;
case 568: yy_.yytext = "\uD835\uDE78"; return "A";
break;
case 569: yy_.yytext = "\uD835\uDE92"; return "A";
break;
case 570: yy_.yytext = "\uD835\uDE77"; return "A";
break;
case 571: yy_.yytext = "\uD835\uDE91"; return "A";
break;
case 572: yy_.yytext = "\uD835\uDE76"; return "A";
break;
case 573: yy_.yytext = "\uD835\uDE90"; return "A";
break;
case 574: yy_.yytext = "\uD835\uDE75"; return "A";
break;
case 575: yy_.yytext = "\uD835\uDE8F"; return "A";
break;
case 576: yy_.yytext = "\uD835\uDE74"; return "A";
break;
case 577: yy_.yytext = "\uD835\uDE8E"; return "A";
break;
case 578: yy_.yytext = "\uD835\uDE73"; return "A";
break;
case 579: yy_.yytext = "\uD835\uDE8D"; return "A";
break;
case 580: yy_.yytext = "\uD835\uDE72"; return "A";
break;
case 581: yy_.yytext = "\uD835\uDE8C"; return "A";
break;
case 582: yy_.yytext = "\uD835\uDE71"; return "A";
break;
case 583: yy_.yytext = "\uD835\uDE8B"; return "A";
break;
case 584: yy_.yytext = "\uD835\uDE70"; return "A";
break;
case 585: yy_.yytext = "\uD835\uDE8A"; return "A";
break;
case 586:return "MATHTT";
break;
case 587: yy_.yytext = "\uD835\uDDB9"; return "A";
break;
case 588: yy_.yytext = "\uD835\uDDD3"; return "A";
break;
case 589: yy_.yytext = "\uD835\uDDB8"; return "A";
break;
case 590: yy_.yytext = "\uD835\uDDD2"; return "A";
break;
case 591: yy_.yytext = "\uD835\uDDB7"; return "A";
break;
case 592: yy_.yytext = "\uD835\uDDD1"; return "A";
break;
case 593: yy_.yytext = "\uD835\uDDB6"; return "A";
break;
case 594: yy_.yytext = "\uD835\uDDD0"; return "A";
break;
case 595: yy_.yytext = "\uD835\uDDB5"; return "A";
break;
case 596: yy_.yytext = "\uD835\uDDCF"; return "A";
break;
case 597: yy_.yytext = "\uD835\uDDB4"; return "A";
break;
case 598: yy_.yytext = "\uD835\uDDCE"; return "A";
break;
case 599: yy_.yytext = "\uD835\uDDB3"; return "A";
break;
case 600: yy_.yytext = "\uD835\uDDCD"; return "A";
break;
case 601: yy_.yytext = "\uD835\uDE21"; return "A";
break;
case 602: yy_.yytext = "\uD835\uDE3B"; return "A";
break;
case 603: yy_.yytext = "\uD835\uDE20"; return "A";
break;
case 604: yy_.yytext = "\uD835\uDE3A"; return "A";
break;
case 605: yy_.yytext = "\uD835\uDE1F"; return "A";
break;
case 606: yy_.yytext = "\uD835\uDE39"; return "A";
break;
case 607: yy_.yytext = "\uD835\uDE1E"; return "A";
break;
case 608: yy_.yytext = "\uD835\uDE38"; return "A";
break;
case 609: yy_.yytext = "\uD835\uDE1D"; return "A";
break;
case 610: yy_.yytext = "\uD835\uDE37"; return "A";
break;
case 611: yy_.yytext = "\uD835\uDE1C"; return "A";
break;
case 612: yy_.yytext = "\uD835\uDE36"; return "A";
break;
case 613: yy_.yytext = "\uD835\uDE1B"; return "A";
break;
case 614: yy_.yytext = "\uD835\uDE35"; return "A";
break;
case 615: yy_.yytext = "\uD835\uDE1A"; return "A";
break;
case 616: yy_.yytext = "\uD835\uDE34"; return "A";
break;
case 617: yy_.yytext = "\uD835\uDE19"; return "A";
break;
case 618: yy_.yytext = "\uD835\uDE33"; return "A";
break;
case 619: yy_.yytext = "\uD835\uDE18"; return "A";
break;
case 620: yy_.yytext = "\uD835\uDE32"; return "A";
break;
case 621: yy_.yytext = "\uD835\uDE17"; return "A";
break;
case 622: yy_.yytext = "\uD835\uDE31"; return "A";
break;
case 623: yy_.yytext = "\uD835\uDE16"; return "A";
break;
case 624: yy_.yytext = "\uD835\uDE30"; return "A";
break;
case 625: yy_.yytext = "\uD835\uDE15"; return "A";
break;
case 626: yy_.yytext = "\uD835\uDE2F"; return "A";
break;
case 627: yy_.yytext = "\uD835\uDE14"; return "A";
break;
case 628: yy_.yytext = "\uD835\uDE2E"; return "A";
break;
case 629: yy_.yytext = "\uD835\uDE13"; return "A";
break;
case 630: yy_.yytext = "\uD835\uDE2D"; return "A";
break;
case 631: yy_.yytext = "\uD835\uDE12"; return "A";
break;
case 632: yy_.yytext = "\uD835\uDE2C"; return "A";
break;
case 633: yy_.yytext = "\uD835\uDE11"; return "A";
break;
case 634: yy_.yytext = "\uD835\uDE2B"; return "A";
break;
case 635: yy_.yytext = "\uD835\uDE10"; return "A";
break;
case 636: yy_.yytext = "\uD835\uDE2A"; return "A";
break;
case 637: yy_.yytext = "\uD835\uDE0F"; return "A";
break;
case 638: yy_.yytext = "\uD835\uDE29"; return "A";
break;
case 639: yy_.yytext = "\uD835\uDE0E"; return "A";
break;
case 640: yy_.yytext = "\uD835\uDE28"; return "A";
break;
case 641: yy_.yytext = "\uD835\uDE0D"; return "A";
break;
case 642: yy_.yytext = "\uD835\uDE27"; return "A";
break;
case 643: yy_.yytext = "\uD835\uDE0C"; return "A";
break;
case 644: yy_.yytext = "\uD835\uDE26"; return "A";
break;
case 645: yy_.yytext = "\uD835\uDE0B"; return "A";
break;
case 646: yy_.yytext = "\uD835\uDE25"; return "A";
break;
case 647: yy_.yytext = "\uD835\uDE0A"; return "A";
break;
case 648: yy_.yytext = "\uD835\uDE24"; return "A";
break;
case 649: yy_.yytext = "\uD835\uDE09"; return "A";
break;
case 650: yy_.yytext = "\uD835\uDE23"; return "A";
break;
case 651: yy_.yytext = "\uD835\uDE08"; return "A";
break;
case 652: yy_.yytext = "\uD835\uDE22"; return "A";
break;
case 653: yy_.yytext = "\uD835\uDDB2"; return "A";
break;
case 654: yy_.yytext = "\uD835\uDDCC"; return "A";
break;
case 655: yy_.yytext = "\uD835\uDDB1"; return "A";
break;
case 656: yy_.yytext = "\uD835\uDDCB"; return "A";
break;
case 657: yy_.yytext = "\uD835\uDDB0"; return "A";
break;
case 658: yy_.yytext = "\uD835\uDDCA"; return "A";
break;
case 659: yy_.yytext = "\uD835\uDDAF"; return "A";
break;
case 660: yy_.yytext = "\uD835\uDDC9"; return "A";
break;
case 661: yy_.yytext = "\uD835\uDDAE"; return "A";
break;
case 662: yy_.yytext = "\uD835\uDDC8"; return "A";
break;
case 663: yy_.yytext = "\uD835\uDDAD"; return "A";
break;
case 664: yy_.yytext = "\uD835\uDDC7"; return "A";
break;
case 665: yy_.yytext = "\uD835\uDDAC"; return "A";
break;
case 666: yy_.yytext = "\uD835\uDDC6"; return "A";
break;
case 667: yy_.yytext = "\uD835\uDDAB"; return "A";
break;
case 668: yy_.yytext = "\uD835\uDDC5"; return "A";
break;
case 669: yy_.yytext = "\uD835\uDDAA"; return "A";
break;
case 670: yy_.yytext = "\uD835\uDDC4"; return "A";
break;
case 671: yy_.yytext = "\uD835\uDDA9"; return "A";
break;
case 672: yy_.yytext = "\uD835\uDDC3"; return "A";
break;
case 673: yy_.yytext = "\uD835\uDDA8"; return "A";
break;
case 674: yy_.yytext = "\uD835\uDDC2"; return "A";
break;
case 675: yy_.yytext = "\uD835\uDDA7"; return "A";
break;
case 676: yy_.yytext = "\uD835\uDDC1"; return "A";
break;
case 677: yy_.yytext = "\uD835\uDDA6"; return "A";
break;
case 678: yy_.yytext = "\uD835\uDDC0"; return "A";
break;
case 679: yy_.yytext = "\uD835\uDDA5"; return "A";
break;
case 680: yy_.yytext = "\uD835\uDDBF"; return "A";
break;
case 681: yy_.yytext = "\uD835\uDDA4"; return "A";
break;
case 682: yy_.yytext = "\uD835\uDDBE"; return "A";
break;
case 683: yy_.yytext = "\uD835\uDDA3"; return "A";
break;
case 684: yy_.yytext = "\uD835\uDDBD"; return "A";
break;
case 685: yy_.yytext = "\uD835\uDDA2"; return "A";
break;
case 686: yy_.yytext = "\uD835\uDDBC"; return "A";
break;
case 687: yy_.yytext = "\uD835\uDF5B"; return "A";
break;
case 688: yy_.yytext = "\uD835\uDF75"; return "A";
break;
case 689: yy_.yytext = "\uD835\uDDED"; return "A";
break;
case 690: yy_.yytext = "\uD835\uDE07"; return "A";
break;
case 691: yy_.yytext = "\uD835\uDDEC"; return "A";
break;
case 692: yy_.yytext = "\uD835\uDE06"; return "A";
break;
case 693: yy_.yytext = "\uD835\uDF63"; return "A";
break;
case 694: yy_.yytext = "\uD835\uDF7D"; return "A";
break;
case 695: yy_.yytext = "\uD835\uDDEB"; return "A";
break;
case 696: yy_.yytext = "\uD835\uDE05"; return "A";
break;
case 697: yy_.yytext = "\uD835\uDDEA"; return "A";
break;
case 698: yy_.yytext = "\uD835\uDE04"; return "A";
break;
case 699: yy_.yytext = "\uD835\uDF8B"; return "A";
break;
case 700: yy_.yytext = "\uD835\uDF67"; return "A";
break;
case 701: yy_.yytext = "\uD835\uDF81"; return "A";
break;
case 702: yy_.yytext = "\uD835\uDF8E"; return "A";
break;
case 703: yy_.yytext = "\uD835\uDF8F"; return "A";
break;
case 704: yy_.yytext = "\uD835\uDF8C"; return "A";
break;
case 705: yy_.yytext = "\uD835\uDDE9"; return "A";
break;
case 706: yy_.yytext = "\uD835\uDE03"; return "A";
break;
case 707: yy_.yytext = "\uD835\uDF6A"; return "A";
break;
case 708: yy_.yytext = "\uD835\uDF84"; return "A";
break;
case 709: yy_.yytext = "\uD835\uDDE8"; return "A";
break;
case 710: yy_.yytext = "\uD835\uDE02"; return "A";
break;
case 711: yy_.yytext = "\uD835\uDF5D"; return "A";
break;
case 712: yy_.yytext = "\uD835\uDF77"; return "A";
break;
case 713: yy_.yytext = "\uD835\uDF69"; return "A";
break;
case 714: yy_.yytext = "\uD835\uDF83"; return "A";
break;
case 715: yy_.yytext = "\uD835\uDDE7"; return "A";
break;
case 716: yy_.yytext = "\uD835\uDE01"; return "A";
break;
case 717: yy_.yytext = "\uD835\uDF95"; return "A";
break;
case 718: yy_.yytext = "\uD835\uDFAF"; return "A";
break;
case 719: yy_.yytext = "\uD835\uDE55"; return "A";
break;
case 720: yy_.yytext = "\uD835\uDE6F"; return "A";
break;
case 721: yy_.yytext = "\uD835\uDE54"; return "A";
break;
case 722: yy_.yytext = "\uD835\uDE6E"; return "A";
break;
case 723: yy_.yytext = "\uD835\uDF9D"; return "A";
break;
case 724: yy_.yytext = "\uD835\uDFB7"; return "A";
break;
case 725: yy_.yytext = "\uD835\uDE53"; return "A";
break;
case 726: yy_.yytext = "\uD835\uDE6D"; return "A";
break;
case 727: yy_.yytext = "\uD835\uDE52"; return "A";
break;
case 728: yy_.yytext = "\uD835\uDE6C"; return "A";
break;
case 729: yy_.yytext = "\uD835\uDFC5"; return "A";
break;
case 730: yy_.yytext = "\uD835\uDFB1"; return "A";
break;
case 731: yy_.yytext = "\uD835\uDFA1"; return "A";
break;
case 732: yy_.yytext = "\uD835\uDF97"; return "A";
break;
case 733: yy_.yytext = "\uD835\uDFBB"; return "A";
break;
case 734: yy_.yytext = "\uD835\uDFC8"; return "A";
break;
case 735: yy_.yytext = "\uD835\uDFC9"; return "A";
break;
case 736: yy_.yytext = "\uD835\uDFC6"; return "A";
break;
case 737: yy_.yytext = "\uD835\uDE51"; return "A";
break;
case 738: yy_.yytext = "\uD835\uDE6B"; return "A";
break;
case 739: yy_.yytext = "\uD835\uDFA4"; return "A";
break;
case 740: yy_.yytext = "\uD835\uDFBE"; return "A";
break;
case 741: yy_.yytext = "\uD835\uDE50"; return "A";
break;
case 742: yy_.yytext = "\uD835\uDE6A"; return "A";
break;
case 743: yy_.yytext = "\uD835\uDFA3"; return "A";
break;
case 744: yy_.yytext = "\uD835\uDFBD"; return "A";
break;
case 745: yy_.yytext = "\uD835\uDE4F"; return "A";
break;
case 746: yy_.yytext = "\uD835\uDE69"; return "A";
break;
case 747: yy_.yytext = "\uD835\uDFA2"; return "A";
break;
case 748: yy_.yytext = "\uD835\uDFBC"; return "A";
break;
case 749: yy_.yytext = "\uD835\uDE4E"; return "A";
break;
case 750: yy_.yytext = "\uD835\uDE68"; return "A";
break;
case 751: yy_.yytext = "\uD835\uDFBA"; return "A";
break;
case 752: yy_.yytext = "\uD835\uDFA0"; return "A";
break;
case 753: yy_.yytext = "\uD835\uDE4D"; return "A";
break;
case 754: yy_.yytext = "\uD835\uDE67"; return "A";
break;
case 755: yy_.yytext = "\uD835\uDE4C"; return "A";
break;
case 756: yy_.yytext = "\uD835\uDE66"; return "A";
break;
case 757: yy_.yytext = "\uD835\uDFA7"; return "A";
break;
case 758: yy_.yytext = "\uD835\uDFC1"; return "A";
break;
case 759: yy_.yytext = "\uD835\uDF9F"; return "A";
break;
case 760: yy_.yytext = "\uD835\uDFB9"; return "A";
break;
case 761: yy_.yytext = "\uD835\uDFBF"; return "A";
break;
case 762: yy_.yytext = "\uD835\uDFA5"; return "A";
break;
case 763: yy_.yytext = "\uD835\uDFC7"; return "A";
break;
case 764: yy_.yytext = "\uD835\uDE4B"; return "A";
break;
case 765: yy_.yytext = "\uD835\uDE65"; return "A";
break;
case 766: yy_.yytext = "\uD835\uDFC2"; return "A";
break;
case 767: yy_.yytext = "\uD835\uDFA8"; return "A";
break;
case 768: yy_.yytext = "\uD835\uDE4A"; return "A";
break;
case 769: yy_.yytext = "\uD835\uDE64"; return "A";
break;
case 770: yy_.yytext = "\uD835\uDFA9"; return "A";
break;
case 771: yy_.yytext = "\uD835\uDE49"; return "A";
break;
case 772: yy_.yytext = "\uD835\uDE63"; return "A";
break;
case 773: yy_.yytext = "\uD835\uDE48"; return "A";
break;
case 774: yy_.yytext = "\uD835\uDE62"; return "A";
break;
case 775: yy_.yytext = "\uD835\uDFB4"; return "A";
break;
case 776: yy_.yytext = "\uD835\uDF9A"; return "A";
break;
case 777: yy_.yytext = "\uD835\uDE47"; return "A";
break;
case 778: yy_.yytext = "\uD835\uDE61"; return "A";
break;
case 779: yy_.yytext = "\uD835\uDFB3"; return "A";
break;
case 780: yy_.yytext = "\uD835\uDF99"; return "A";
break;
case 781: yy_.yytext = "\uD835\uDE46"; return "A";
break;
case 782: yy_.yytext = "\uD835\uDE60"; return "A";
break;
case 783: yy_.yytext = "\uD835\uDE45"; return "A";
break;
case 784: yy_.yytext = "\uD835\uDE5F"; return "A";
break;
case 785: yy_.yytext = "\uD835\uDFB2"; return "A";
break;
case 786: yy_.yytext = "\uD835\uDF98"; return "A";
break;
case 787: yy_.yytext = "\uD835\uDE44"; return "A";
break;
case 788: yy_.yytext = "\uD835\uDE5E"; return "A";
break;
case 789: yy_.yytext = "\uD835\uDE43"; return "A";
break;
case 790: yy_.yytext = "\uD835\uDE5D"; return "A";
break;
case 791: yy_.yytext = "\uD835\uDFAC"; return "A";
break;
case 792: yy_.yytext = "\uD835\uDF92"; return "A";
break;
case 793: yy_.yytext = "\uD835\uDE42"; return "A";
break;
case 794: yy_.yytext = "\uD835\uDE5C"; return "A";
break;
case 795: yy_.yytext = "\uD835\uDE41"; return "A";
break;
case 796: yy_.yytext = "\uD835\uDE5B"; return "A";
break;
case 797: yy_.yytext = "\uD835\uDF96"; return "A";
break;
case 798: yy_.yytext = "\uD835\uDFB0"; return "A";
break;
case 799: yy_.yytext = "\uD835\uDFAE"; return "A";
break;
case 800: yy_.yytext = "\uD835\uDF94"; return "A";
break;
case 801: yy_.yytext = "\uD835\uDE40"; return "A";
break;
case 802: yy_.yytext = "\uD835\uDE5A"; return "A";
break;
case 803: yy_.yytext = "\uD835\uDFAD"; return "A";
break;
case 804: yy_.yytext = "\uD835\uDF93"; return "A";
break;
case 805: yy_.yytext = "\uD835\uDE3F"; return "A";
break;
case 806: yy_.yytext = "\uD835\uDE59"; return "A";
break;
case 807: yy_.yytext = "\uD835\uDFA6"; return "A";
break;
case 808: yy_.yytext = "\uD835\uDFC0"; return "A";
break;
case 809: yy_.yytext = "\uD835\uDE3E"; return "A";
break;
case 810: yy_.yytext = "\uD835\uDE58"; return "A";
break;
case 811: yy_.yytext = "\uD835\uDF91"; return "A";
break;
case 812: yy_.yytext = "\uD835\uDFAB"; return "A";
break;
case 813: yy_.yytext = "\uD835\uDE3D"; return "A";
break;
case 814: yy_.yytext = "\uD835\uDE57"; return "A";
break;
case 815: yy_.yytext = "\uD835\uDF90"; return "A";
break;
case 816: yy_.yytext = "\uD835\uDFAA"; return "A";
break;
case 817: yy_.yytext = "\uD835\uDE3C"; return "A";
break;
case 818: yy_.yytext = "\uD835\uDE56"; return "A";
break;
case 819: yy_.yytext = "\uD835\uDF68"; return "A";
break;
case 820: yy_.yytext = "\uD835\uDF82"; return "A";
break;
case 821: yy_.yytext = "\uD835\uDDE6"; return "A";
break;
case 822: yy_.yytext = "\uD835\uDE00"; return "A";
break;
case 823: yy_.yytext = "\uD835\uDF80"; return "A";
break;
case 824: yy_.yytext = "\uD835\uDF66"; return "A";
break;
case 825: yy_.yytext = "\uD835\uDDE5"; return "A";
break;
case 826: yy_.yytext = "\uD835\uDDFF"; return "A";
break;
case 827: yy_.yytext = "\uD835\uDDE4"; return "A";
break;
case 828: yy_.yytext = "\uD835\uDDFE"; return "A";
break;
case 829: yy_.yytext = "\uD835\uDF87"; return "A";
break;
case 830: yy_.yytext = "\uD835\uDF6D"; return "A";
break;
case 831: yy_.yytext = "\uD835\uDF7F"; return "A";
break;
case 832: yy_.yytext = "\uD835\uDF65"; return "A";
break;
case 833: yy_.yytext = "\uD835\uDF6B"; return "A";
break;
case 834: yy_.yytext = "\uD835\uDF8D"; return "A";
break;
case 835: yy_.yytext = "\uD835\uDF85"; return "A";
break;
case 836: yy_.yytext = "\uD835\uDDE3"; return "A";
break;
case 837: yy_.yytext = "\uD835\uDDFD"; return "A";
break;
case 838: yy_.yytext = "\uD835\uDF88"; return "A";
break;
case 839: yy_.yytext = "\uD835\uDF6E"; return "A";
break;
case 840: yy_.yytext = "\uD835\uDDE2"; return "A";
break;
case 841: yy_.yytext = "\uD835\uDDFC"; return "A";
break;
case 842: yy_.yytext = "\uD835\uDF6F"; return "A";
break;
case 843: yy_.yytext = "\uD835\uDDE1"; return "A";
break;
case 844: yy_.yytext = "\uD835\uDDFB"; return "A";
break;
case 845: yy_.yytext = "\uD835\uDDE0"; return "A";
break;
case 846: yy_.yytext = "\uD835\uDDFA"; return "A";
break;
case 847: yy_.yytext = "\uD835\uDF7A"; return "A";
break;
case 848: yy_.yytext = "\uD835\uDF60"; return "A";
break;
case 849: yy_.yytext = "\uD835\uDDDF"; return "A";
break;
case 850: yy_.yytext = "\uD835\uDDF9"; return "A";
break;
case 851: yy_.yytext = "\uD835\uDF79"; return "A";
break;
case 852: yy_.yytext = "\uD835\uDF5F"; return "A";
break;
case 853: yy_.yytext = "\uD835\uDDDE"; return "A";
break;
case 854: yy_.yytext = "\uD835\uDDF8"; return "A";
break;
case 855: yy_.yytext = "\uD835\uDDDD"; return "A";
break;
case 856: yy_.yytext = "\uD835\uDDF7"; return "A";
break;
case 857: yy_.yytext = "\uD835\uDF78"; return "A";
break;
case 858: yy_.yytext = "\uD835\uDF5E"; return "A";
break;
case 859: yy_.yytext = "\uD835\uDDDC"; return "A";
break;
case 860: yy_.yytext = "\uD835\uDDF6"; return "A";
break;
case 861: yy_.yytext = "\uD835\uDDDB"; return "A";
break;
case 862: yy_.yytext = "\uD835\uDDF5"; return "A";
break;
case 863: yy_.yytext = "\uD835\uDF72"; return "A";
break;
case 864: yy_.yytext = "\uD835\uDF58"; return "A";
break;
case 865: yy_.yytext = "\uD835\uDDDA"; return "A";
break;
case 866: yy_.yytext = "\uD835\uDDF4"; return "A";
break;
case 867: yy_.yytext = "\uD835\uDDD9"; return "A";
break;
case 868: yy_.yytext = "\uD835\uDDF3"; return "A";
break;
case 869: yy_.yytext = "\uD835\uDF76"; return "A";
break;
case 870: yy_.yytext = "\uD835\uDF5C"; return "A";
break;
case 871: yy_.yytext = "\uD835\uDF5A"; return "A";
break;
case 872: yy_.yytext = "\uD835\uDF74"; return "A";
break;
case 873: yy_.yytext = "\uD835\uDDD8"; return "A";
break;
case 874: yy_.yytext = "\uD835\uDDF2"; return "A";
break;
case 875: yy_.yytext = "\uD835\uDF73"; return "A";
break;
case 876: yy_.yytext = "\uD835\uDF59"; return "A";
break;
case 877: yy_.yytext = "\uD835\uDDD7"; return "A";
break;
case 878: yy_.yytext = "\uD835\uDDF1"; return "A";
break;
case 879: yy_.yytext = "\uD835\uDF86"; return "A";
break;
case 880: yy_.yytext = "\uD835\uDF6C"; return "A";
break;
case 881: yy_.yytext = "\uD835\uDDD6"; return "A";
break;
case 882: yy_.yytext = "\uD835\uDDF0"; return "A";
break;
case 883: yy_.yytext = "\uD835\uDF57"; return "A";
break;
case 884: yy_.yytext = "\uD835\uDF71"; return "A";
break;
case 885: yy_.yytext = "\uD835\uDDD5"; return "A";
break;
case 886: yy_.yytext = "\uD835\uDDEF"; return "A";
break;
case 887: yy_.yytext = "\uD835\uDF56"; return "A";
break;
case 888: yy_.yytext = "\uD835\uDF70"; return "A";
break;
case 889: yy_.yytext = "\uD835\uDDD4"; return "A";
break;
case 890: yy_.yytext = "\uD835\uDDEE"; return "A";
break;
case 891: yy_.yytext = "\uD835\uDDA1"; return "A";
break;
case 892: yy_.yytext = "\uD835\uDDBB"; return "A";
break;
case 893: yy_.yytext = "\uD835\uDDA0"; return "A";
break;
case 894: yy_.yytext = "\uD835\uDDBA"; return "A";
break;
case 895:return "MATHSF";
break;
case 896: yy_.yytext = "\uD835\uDCB5"; return "A";
break;
case 897: yy_.yytext = "\uD835\uDCCF"; return "A";
break;
case 898: yy_.yytext = "\uD835\uDCB4"; return "A";
break;
case 899: yy_.yytext = "\uD835\uDCCE"; return "A";
break;
case 900: yy_.yytext = "\uD835\uDCB3"; return "A";
break;
case 901: yy_.yytext = "\uD835\uDCCD"; return "A";
break;
case 902: yy_.yytext = "\uD835\uDCB2"; return "A";
break;
case 903: yy_.yytext = "\uD835\uDCCC"; return "A";
break;
case 904: yy_.yytext = "\uD835\uDCB1"; return "A";
break;
case 905: yy_.yytext = "\uD835\uDCCB"; return "A";
break;
case 906: yy_.yytext = "\uD835\uDCB0"; return "A";
break;
case 907: yy_.yytext = "\uD835\uDCCA"; return "A";
break;
case 908: yy_.yytext = "\uD835\uDCAF"; return "A";
break;
case 909: yy_.yytext = "\uD835\uDCC9"; return "A";
break;
case 910: yy_.yytext = "\uD835\uDCAE"; return "A";
break;
case 911: yy_.yytext = "\uD835\uDCC8"; return "A";
break;
case 912: yy_.yytext = "\u211B"; return "A";
break;
case 913: yy_.yytext = "\uD835\uDCC7"; return "A";
break;
case 914: yy_.yytext = "\uD835\uDCAC"; return "A";
break;
case 915: yy_.yytext = "\uD835\uDCC6"; return "A";
break;
case 916: yy_.yytext = "\uD835\uDCAB"; return "A";
break;
case 917: yy_.yytext = "\uD835\uDCC5"; return "A";
break;
case 918: yy_.yytext = "\uD835\uDCAA"; return "A";
break;
case 919: yy_.yytext = "\u2134"; return "A";
break;
case 920: yy_.yytext = "\uD835\uDCA9"; return "A";
break;
case 921: yy_.yytext = "\uD835\uDCC3"; return "A";
break;
case 922: yy_.yytext = "\u2133"; return "A";
break;
case 923: yy_.yytext = "\uD835\uDCC2"; return "A";
break;
case 924: yy_.yytext = "\u2112"; return "A";
break;
case 925: yy_.yytext = "\uD835\uDCC1"; return "A";
break;
case 926: yy_.yytext = "\uD835\uDCA6"; return "A";
break;
case 927: yy_.yytext = "\uD835\uDCC0"; return "A";
break;
case 928: yy_.yytext = "\uD835\uDCA5"; return "A";
break;
case 929: yy_.yytext = "\uD835\uDCBF"; return "A";
break;
case 930: yy_.yytext = "\u2110"; return "A";
break;
case 931: yy_.yytext = "\uD835\uDCBE"; return "A";
break;
case 932: yy_.yytext = "\u210B"; return "A";
break;
case 933: yy_.yytext = "\uD835\uDCBD"; return "A";
break;
case 934: yy_.yytext = "\uD835\uDCA2"; return "A";
break;
case 935: yy_.yytext = "\u210A"; return "A";
break;
case 936: yy_.yytext = "\u2131"; return "A";
break;
case 937: yy_.yytext = "\uD835\uDCBB"; return "A";
break;
case 938: yy_.yytext = "\u2130"; return "A";
break;
case 939: yy_.yytext = "\u212F"; return "A";
break;
case 940: yy_.yytext = "\uD835\uDC9F"; return "A";
break;
case 941: yy_.yytext = "\uD835\uDCB9"; return "A";
break;
case 942: yy_.yytext = "\uD835\uDC9E"; return "A";
break;
case 943: yy_.yytext = "\uD835\uDCB8"; return "A";
break;
case 944: yy_.yytext = "\u212C"; return "A";
break;
case 945: yy_.yytext = "\uD835\uDCB7"; return "A";
break;
case 946: yy_.yytext = "\uD835\uDC9C"; return "A";
break;
case 947: yy_.yytext = "\uD835\uDCB6"; return "A";
break;
case 948:return "MATHSCR";
break;
case 949:return "MATHRM";
break;
case 950:return "MATHRLAP";
break;
case 951: yy_.yytext = "\u02DA"; return "OP";
break;
case 952: this.begin("TEXTARG"); return "MATHREL";
break;
case 953: this.pushState("TEXTOPTARG"); this.pushState("TRYOPTARG"); this.pushState("TEXTOPTARG"); this.pushState("TRYOPTARG"); this.pushState("TEXTARG"); return "MATHRAISEBOX";
break;
case 954: this.begin("TEXTARG"); return "MATHOP";
break;
case 955: yy_.yytext = "\uD835\uDEE7"; return "A";
break;
case 956: yy_.yytext = "\uD835\uDF01"; return "A";
break;
case 957: yy_.yytext = "\uD835\uDC4D"; return "A";
break;
case 958: yy_.yytext = "\uD835\uDC67"; return "A";
break;
case 959: yy_.yytext = "\uD835\uDC4C"; return "A";
break;
case 960: yy_.yytext = "\uD835\uDC66"; return "A";
break;
case 961: yy_.yytext = "\uD835\uDEEF"; return "A";
break;
case 962: yy_.yytext = "\uD835\uDF09"; return "A";
break;
case 963: yy_.yytext = "\uD835\uDC4B"; return "A";
break;
case 964: yy_.yytext = "\uD835\uDC65"; return "A";
break;
case 965: yy_.yytext = "\uD835\uDC4A"; return "A";
break;
case 966: yy_.yytext = "\uD835\uDC64"; return "A";
break;
case 967: yy_.yytext = "\uD835\uDF17"; return "A";
break;
case 968: yy_.yytext = "\uD835\uDEF3"; return "A";
break;
case 969: yy_.yytext = "\uD835\uDF0D"; return "A";
break;
case 970: yy_.yytext = "\uD835\uDF1A"; return "A";
break;
case 971: yy_.yytext = "\uD835\uDF1B"; return "A";
break;
case 972: yy_.yytext = "\uD835\uDF18"; return "A";
break;
case 973: yy_.yytext = "\uD835\uDC49"; return "A";
break;
case 974: yy_.yytext = "\uD835\uDC63"; return "A";
break;
case 975: yy_.yytext = "\uD835\uDEF6"; return "A";
break;
case 976: yy_.yytext = "\uD835\uDF10"; return "A";
break;
case 977: yy_.yytext = "\uD835\uDC48"; return "A";
break;
case 978: yy_.yytext = "\uD835\uDC62"; return "A";
break;
case 979: yy_.yytext = "\uD835\uDEE9"; return "A";
break;
case 980: yy_.yytext = "\uD835\uDF03"; return "A";
break;
case 981: yy_.yytext = "\uD835\uDEF5"; return "A";
break;
case 982: yy_.yytext = "\uD835\uDF0F"; return "A";
break;
case 983: yy_.yytext = "\uD835\uDC47"; return "A";
break;
case 984: yy_.yytext = "\uD835\uDC61"; return "A";
break;
case 985: yy_.yytext = "\uD835\uDEF4"; return "A";
break;
case 986: yy_.yytext = "\uD835\uDF0E"; return "A";
break;
case 987: yy_.yytext = "\uD835\uDC46"; return "A";
break;
case 988: yy_.yytext = "\uD835\uDC60"; return "A";
break;
case 989: yy_.yytext = "\uD835\uDEF2"; return "A";
break;
case 990: yy_.yytext = "\uD835\uDF0C"; return "A";
break;
case 991: yy_.yytext = "\uD835\uDC45"; return "A";
break;
case 992: yy_.yytext = "\uD835\uDC5F"; return "A";
break;
case 993: yy_.yytext = "\uD835\uDC44"; return "A";
break;
case 994: yy_.yytext = "\uD835\uDC5E"; return "A";
break;
case 995: yy_.yytext = "\uD835\uDF13"; return "A";
break;
case 996: yy_.yytext = "\uD835\uDEF9"; return "A";
break;
case 997: yy_.yytext = "\uD835\uDF0B"; return "A";
break;
case 998: yy_.yytext = "\uD835\uDEF1"; return "A";
break;
case 999: yy_.yytext = "\uD835\uDF11"; return "A";
break;
case 1000: yy_.yytext = "\uD835\uDEF7"; return "A";
break;
case 1001: yy_.yytext = "\uD835\uDF19"; return "A";
break;
case 1002: yy_.yytext = "\uD835\uDC43"; return "A";
break;
case 1003: yy_.yytext = "\uD835\uDC5D"; return "A";
break;
case 1004: yy_.yytext = "\uD835\uDF14"; return "A";
break;
case 1005: yy_.yytext = "\uD835\uDEFA"; return "A";
break;
case 1006: yy_.yytext = "\uD835\uDC42"; return "A";
break;
case 1007: yy_.yytext = "\uD835\uDC5C"; return "A";
break;
case 1008: yy_.yytext = "\uD835\uDEFB"; return "A";
break;
case 1009: yy_.yytext = "\uD835\uDC41"; return "A";
break;
case 1010: yy_.yytext = "\uD835\uDC5B"; return "A";
break;
case 1011: yy_.yytext = "\uD835\uDC40"; return "A";
break;
case 1012: yy_.yytext = "\uD835\uDC5A"; return "A";
break;
case 1013: yy_.yytext = "\uD835\uDEEC"; return "A";
break;
case 1014: yy_.yytext = "\uD835\uDF06"; return "A";
break;
case 1015: yy_.yytext = "\uD835\uDC3F"; return "A";
break;
case 1016: yy_.yytext = "\uD835\uDC59"; return "A";
break;
case 1017: yy_.yytext = "\uD835\uDF05"; return "A";
break;
case 1018: yy_.yytext = "\uD835\uDEEB"; return "A";
break;
case 1019: yy_.yytext = "\uD835\uDC3E"; return "A";
break;
case 1020: yy_.yytext = "\uD835\uDC58"; return "A";
break;
case 1021: yy_.yytext = "\uD835\uDC3D"; return "A";
break;
case 1022: yy_.yytext = "\uD835\uDC57"; return "A";
break;
case 1023: yy_.yytext = "\uD835\uDF04"; return "A";
break;
case 1024: yy_.yytext = "\uD835\uDEEA"; return "A";
break;
case 1025: yy_.yytext = "\uD835\uDC3C"; return "A";
break;
case 1026: yy_.yytext = "\uD835\uDC56"; return "A";
break;
case 1027: yy_.yytext = "\uD835\uDC3B"; return "A";
break;
case 1028: yy_.yytext = "\uD835\uDEFE"; return "A";
break;
case 1029: yy_.yytext = "\uD835\uDEE4"; return "A";
break;
case 1030: yy_.yytext = "\uD835\uDC3A"; return "A";
break;
case 1031: yy_.yytext = "\uD835\uDC54"; return "A";
break;
case 1032: yy_.yytext = "\uD835\uDC39"; return "A";
break;
case 1033: yy_.yytext = "\uD835\uDC53"; return "A";
break;
case 1034: yy_.yytext = "\uD835\uDEE8"; return "A";
break;
case 1035: yy_.yytext = "\uD835\uDF02"; return "A";
break;
case 1036: yy_.yytext = "\uD835\uDF00"; return "A";
break;
case 1037: yy_.yytext = "\uD835\uDEE6"; return "A";
break;
case 1038: yy_.yytext = "\uD835\uDC38"; return "A";
break;
case 1039: yy_.yytext = "\uD835\uDC52"; return "A";
break;
case 1040: yy_.yytext = "\uD835\uDEE5"; return "A";
break;
case 1041: yy_.yytext = "\uD835\uDEFF"; return "A";
break;
case 1042: yy_.yytext = "\uD835\uDC37"; return "A";
break;
case 1043: yy_.yytext = "\uD835\uDC51"; return "A";
break;
case 1044: yy_.yytext = "\uD835\uDEF8"; return "A";
break;
case 1045: yy_.yytext = "\uD835\uDF12"; return "A";
break;
case 1046: yy_.yytext = "\uD835\uDC36"; return "A";
break;
case 1047: yy_.yytext = "\uD835\uDC50"; return "A";
break;
case 1048: yy_.yytext = "\uD835\uDEE3"; return "A";
break;
case 1049: yy_.yytext = "\uD835\uDEFD"; return "A";
break;
case 1050: yy_.yytext = "\uD835\uDC35"; return "A";
break;
case 1051: yy_.yytext = "\uD835\uDC4F"; return "A";
break;
case 1052: yy_.yytext = "\uD835\uDEE2"; return "A";
break;
case 1053: yy_.yytext = "\uD835\uDEFC"; return "A";
break;
case 1054: yy_.yytext = "\uD835\uDC34"; return "A";
break;
case 1055: yy_.yytext = "\uD835\uDC4E"; return "A";
break;
case 1056:return "MATHIT";
break;
case 1057:return "MATHLLAP";
break;
case 1058:return "MATHIT";
break;
case 1059: yy_.yytext = "\u2128"; return "A";
break;
case 1060: yy_.yytext = "\uD835\uDD37"; return "A";
break;
case 1061: yy_.yytext = "\uD835\uDD1C"; return "A";
break;
case 1062: yy_.yytext = "\uD835\uDD36"; return "A";
break;
case 1063: yy_.yytext = "\uD835\uDD1B"; return "A";
break;
case 1064: yy_.yytext = "\uD835\uDD35"; return "A";
break;
case 1065: yy_.yytext = "\uD835\uDD1A"; return "A";
break;
case 1066: yy_.yytext = "\uD835\uDD34"; return "A";
break;
case 1067: yy_.yytext = "\uD835\uDD19"; return "A";
break;
case 1068: yy_.yytext = "\uD835\uDD33"; return "A";
break;
case 1069: yy_.yytext = "\uD835\uDD18"; return "A";
break;
case 1070: yy_.yytext = "\uD835\uDD32"; return "A";
break;
case 1071: yy_.yytext = "\uD835\uDD17"; return "A";
break;
case 1072: yy_.yytext = "\uD835\uDD31"; return "A";
break;
case 1073: yy_.yytext = "\uD835\uDD16"; return "A";
break;
case 1074: yy_.yytext = "\uD835\uDD30"; return "A";
break;
case 1075: yy_.yytext = "\u211C"; return "A";
break;
case 1076: yy_.yytext = "\uD835\uDD2F"; return "A";
break;
case 1077: yy_.yytext = "\uD835\uDD14"; return "A";
break;
case 1078: yy_.yytext = "\uD835\uDD2E"; return "A";
break;
case 1079: yy_.yytext = "\uD835\uDD13"; return "A";
break;
case 1080: yy_.yytext = "\uD835\uDD2D"; return "A";
break;
case 1081: yy_.yytext = "\uD835\uDD12"; return "A";
break;
case 1082: yy_.yytext = "\uD835\uDD2C"; return "A";
break;
case 1083: yy_.yytext = "\uD835\uDD11"; return "A";
break;
case 1084: yy_.yytext = "\uD835\uDD2B"; return "A";
break;
case 1085: yy_.yytext = "\uD835\uDD10"; return "A";
break;
case 1086: yy_.yytext = "\uD835\uDD2A"; return "A";
break;
case 1087: yy_.yytext = "\uD835\uDD0F"; return "A";
break;
case 1088: yy_.yytext = "\uD835\uDD29"; return "A";
break;
case 1089: yy_.yytext = "\uD835\uDD0E"; return "A";
break;
case 1090: yy_.yytext = "\uD835\uDD28"; return "A";
break;
case 1091: yy_.yytext = "\uD835\uDD0D"; return "A";
break;
case 1092: yy_.yytext = "\uD835\uDD27"; return "A";
break;
case 1093: yy_.yytext = "\u2111"; return "A";
break;
case 1094: yy_.yytext = "\uD835\uDD26"; return "A";
break;
case 1095: yy_.yytext = "\u210C"; return "A";
break;
case 1096: yy_.yytext = "\uD835\uDD25"; return "A";
break;
case 1097: yy_.yytext = "\uD835\uDD0A"; return "A";
break;
case 1098: yy_.yytext = "\uD835\uDD24"; return "A";
break;
case 1099: yy_.yytext = "\uD835\uDD09"; return "A";
break;
case 1100: yy_.yytext = "\uD835\uDD23"; return "A";
break;
case 1101: yy_.yytext = "\uD835\uDD08"; return "A";
break;
case 1102: yy_.yytext = "\uD835\uDD22"; return "A";
break;
case 1103: yy_.yytext = "\uD835\uDD07"; return "A";
break;
case 1104: yy_.yytext = "\uD835\uDD21"; return "A";
break;
case 1105: yy_.yytext = "\u212D"; return "A";
break;
case 1106: yy_.yytext = "\uD835\uDD20"; return "A";
break;
case 1107: yy_.yytext = "\uD835\uDD05"; return "A";
break;
case 1108: yy_.yytext = "\uD835\uDD1F"; return "A";
break;
case 1109: yy_.yytext = "\uD835\uDD04"; return "A";
break;
case 1110: yy_.yytext = "\uD835\uDD1E"; return "A";
break;
case 1111:return "MATHFRAK";
break;
case 1112:return "MATHFRAK";
break;
case 1113:return "MATHCLAP";
break;
case 1114:return "MATHSCR";
break;
case 1115:return "MATHBSCR";
break;
case 1116: yy_.yytext = "\uD835\uDF21"; return "A";
break;
case 1117: yy_.yytext = "\uD835\uDF3B"; return "A";
break;
case 1118: yy_.yytext = "\uD835\uDC81"; return "A";
break;
case 1119: yy_.yytext = "\uD835\uDC9B"; return "A";
break;
case 1120: yy_.yytext = "\uD835\uDC80"; return "A";
break;
case 1121: yy_.yytext = "\uD835\uDC9A"; return "A";
break;
case 1122: yy_.yytext = "\uD835\uDF29"; return "A";
break;
case 1123: yy_.yytext = "\uD835\uDF43"; return "A";
break;
case 1124: yy_.yytext = "\uD835\uDC7F"; return "A";
break;
case 1125: yy_.yytext = "\uD835\uDC99"; return "A";
break;
case 1126: yy_.yytext = "\uD835\uDC7E"; return "A";
break;
case 1127: yy_.yytext = "\uD835\uDC98"; return "A";
break;
case 1128: yy_.yytext = "\uD835\uDF51"; return "A";
break;
case 1129: yy_.yytext = "\uD835\uDF47"; return "A";
break;
case 1130: yy_.yytext = "\uD835\uDF54"; return "A";
break;
case 1131: yy_.yytext = "\uD835\uDF55"; return "A";
break;
case 1132: yy_.yytext = "\uD835\uDF52"; return "A";
break;
case 1133: yy_.yytext = "\uD835\uDC7D"; return "A";
break;
case 1134: yy_.yytext = "\uD835\uDC97"; return "A";
break;
case 1135: yy_.yytext = "\uD835\uDF30"; return "A";
break;
case 1136: yy_.yytext = "\uD835\uDF4A"; return "A";
break;
case 1137: yy_.yytext = "\uD835\uDC7C"; return "A";
break;
case 1138: yy_.yytext = "\uD835\uDC96"; return "A";
break;
case 1139: yy_.yytext = "\uD835\uDF2D"; return "A";
break;
case 1140: yy_.yytext = "\uD835\uDF23"; return "A";
break;
case 1141: yy_.yytext = "\uD835\uDF3D"; return "A";
break;
case 1142: yy_.yytext = "\uD835\uDF2F"; return "A";
break;
case 1143: yy_.yytext = "\uD835\uDF49"; return "A";
break;
case 1144: yy_.yytext = "\uD835\uDC7B"; return "A";
break;
case 1145: yy_.yytext = "\uD835\uDC95"; return "A";
break;
case 1146: yy_.yytext = "\uD835\uDF2E"; return "A";
break;
case 1147: yy_.yytext = "\uD835\uDF48"; return "A";
break;
case 1148: yy_.yytext = "\uD835\uDC7A"; return "A";
break;
case 1149: yy_.yytext = "\uD835\uDC94"; return "A";
break;
case 1150: yy_.yytext = "\uD835\uDF46"; return "A";
break;
case 1151: yy_.yytext = "\uD835\uDF2C"; return "A";
break;
case 1152: yy_.yytext = "\uD835\uDC79"; return "A";
break;
case 1153: yy_.yytext = "\uD835\uDC93"; return "A";
break;
case 1154: yy_.yytext = "\uD835\uDC78"; return "A";
break;
case 1155: yy_.yytext = "\uD835\uDC92"; return "A";
break;
case 1156: yy_.yytext = "\uD835\uDF4D"; return "A";
break;
case 1157: yy_.yytext = "\uD835\uDF33"; return "A";
break;
case 1158: yy_.yytext = "\uD835\uDF45"; return "A";
break;
case 1159: yy_.yytext = "\uD835\uDF2B"; return "A";
break;
case 1160: yy_.yytext = "\uD835\uDF4B"; return "A";
break;
case 1161: yy_.yytext = "\uD835\uDF31"; return "A";
break;
case 1162: yy_.yytext = "\uD835\uDF53"; return "A";
break;
case 1163: yy_.yytext = "\uD835\uDC77"; return "A";
break;
case 1164: yy_.yytext = "\uD835\uDC91"; return "A";
break;
case 1165: yy_.yytext = "\uD835\uDF34"; return "A";
break;
case 1166: yy_.yytext = "\uD835\uDF4E"; return "A";
break;
case 1167: yy_.yytext = "\uD835\uDC76"; return "A";
break;
case 1168: yy_.yytext = "\uD835\uDC90"; return "A";
break;
case 1169: yy_.yytext = "\uD835\uDF35"; return "A";
break;
case 1170: yy_.yytext = "\uD835\uDC75"; return "A";
break;
case 1171: yy_.yytext = "\uD835\uDC8F"; return "A";
break;
case 1172: yy_.yytext = "\uD835\uDC74"; return "A";
break;
case 1173: yy_.yytext = "\uD835\uDC8E"; return "A";
break;
case 1174: yy_.yytext = "\uD835\uDF40"; return "A";
break;
case 1175: yy_.yytext = "\uD835\uDF26"; return "A";
break;
case 1176: yy_.yytext = "\uD835\uDC73"; return "A";
break;
case 1177: yy_.yytext = "\uD835\uDC8D"; return "A";
break;
case 1178: yy_.yytext = "\uD835\uDF25"; return "A";
break;
case 1179: yy_.yytext = "\uD835\uDF3F"; return "A";
break;
case 1180: yy_.yytext = "\uD835\uDC72"; return "A";
break;
case 1181: yy_.yytext = "\uD835\uDC8C"; return "A";
break;
case 1182: yy_.yytext = "\uD835\uDC71"; return "A";
break;
case 1183: yy_.yytext = "\uD835\uDC8B"; return "A";
break;
case 1184: yy_.yytext = "\uD835\uDF24"; return "A";
break;
case 1185: yy_.yytext = "\uD835\uDF3E"; return "A";
break;
case 1186: yy_.yytext = "\uD835\uDC70"; return "A";
break;
case 1187: yy_.yytext = "\uD835\uDC8A"; return "A";
break;
case 1188: yy_.yytext = "\uD835\uDC6F"; return "A";
break;
case 1189: yy_.yytext = "\uD835\uDC89"; return "A";
break;
case 1190: yy_.yytext = "\uD835\uDF1E"; return "A";
break;
case 1191: yy_.yytext = "\uD835\uDF38"; return "A";
break;
case 1192: yy_.yytext = "\uD835\uDC6E"; return "A";
break;
case 1193: yy_.yytext = "\uD835\uDC88"; return "A";
break;
case 1194: yy_.yytext = "\uD835\uDC6D"; return "A";
break;
case 1195: yy_.yytext = "\uD835\uDC87"; return "A";
break;
case 1196: yy_.yytext = "\uD835\uDF3C"; return "A";
break;
case 1197: yy_.yytext = "\uD835\uDF22"; return "A";
break;
case 1198: yy_.yytext = "\uD835\uDF20"; return "A";
break;
case 1199: yy_.yytext = "\uD835\uDF3A"; return "A";
break;
case 1200: yy_.yytext = "\uD835\uDC6C"; return "A";
break;
case 1201: yy_.yytext = "\uD835\uDC86"; return "A";
break;
case 1202: yy_.yytext = "\uD835\uDF1F"; return "A";
break;
case 1203: yy_.yytext = "\uD835\uDF39"; return "A";
break;
case 1204: yy_.yytext = "\uD835\uDC6B"; return "A";
break;
case 1205: yy_.yytext = "\uD835\uDC85"; return "A";
break;
case 1206: yy_.yytext = "\uD835\uDF4C"; return "A";
break;
case 1207: yy_.yytext = "\uD835\uDF32"; return "A";
break;
case 1208: yy_.yytext = "\uD835\uDC6A"; return "A";
break;
case 1209: yy_.yytext = "\uD835\uDC84"; return "A";
break;
case 1210: yy_.yytext = "\uD835\uDF1D"; return "A";
break;
case 1211: yy_.yytext = "\uD835\uDF37"; return "A";
break;
case 1212: yy_.yytext = "\uD835\uDC69"; return "A";
break;
case 1213: yy_.yytext = "\uD835\uDC83"; return "A";
break;
case 1214: yy_.yytext = "\uD835\uDF1C"; return "A";
break;
case 1215: yy_.yytext = "\uD835\uDF36"; return "A";
break;
case 1216: yy_.yytext = "\uD835\uDC68"; return "A";
break;
case 1217: yy_.yytext = "\uD835\uDC82"; return "A";
break;
case 1218:return "MATHBIT";
break;
case 1219: yy_.yytext = "\u223A"; return "OP";
break;
case 1220: this.begin("TEXTARG"); return "MATHBIN";
break;
case 1221: yy_.yytext = "\uD835\uDEAD"; return "A";
break;
case 1222: yy_.yytext = "\uD835\uDEC7"; return "A";
break;
case 1223: yy_.yytext = "\uD835\uDC19"; return "A";
break;
case 1224: yy_.yytext = "\uD835\uDC33"; return "A";
break;
case 1225: yy_.yytext = "\uD835\uDC18"; return "A";
break;
case 1226: yy_.yytext = "\uD835\uDC32"; return "A";
break;
case 1227: yy_.yytext = "\uD835\uDEB5"; return "A";
break;
case 1228: yy_.yytext = "\uD835\uDECF"; return "A";
break;
case 1229: yy_.yytext = "\uD835\uDC17"; return "A";
break;
case 1230: yy_.yytext = "\uD835\uDC31"; return "A";
break;
case 1231: yy_.yytext = "\uD835\uDC16"; return "A";
break;
case 1232: yy_.yytext = "\uD835\uDC30"; return "A";
break;
case 1233: yy_.yytext = "\uD835\uDEB9"; return "A";
break;
case 1234: yy_.yytext = "\uD835\uDEDD"; return "A";
break;
case 1235: yy_.yytext = "\uD835\uDED3"; return "A";
break;
case 1236: yy_.yytext = "\uD835\uDEE0"; return "A";
break;
case 1237: yy_.yytext = "\uD835\uDEE1"; return "A";
break;
case 1238: yy_.yytext = "\uD835\uDEDE"; return "A";
break;
case 1239: yy_.yytext = "\uD835\uDC15"; return "A";
break;
case 1240: yy_.yytext = "\uD835\uDC2F"; return "A";
break;
case 1241: yy_.yytext = "\uD835\uDEBC"; return "A";
break;
case 1242: yy_.yytext = "\uD835\uDED6"; return "A";
break;
case 1243: yy_.yytext = "\uD835\uDC14"; return "A";
break;
case 1244: yy_.yytext = "\uD835\uDC2E"; return "A";
break;
case 1245: yy_.yytext = "\uD835\uDEAF"; return "A";
break;
case 1246: yy_.yytext = "\uD835\uDEC9"; return "A";
break;
case 1247: yy_.yytext = "\uD835\uDEBB"; return "A";
break;
case 1248: yy_.yytext = "\uD835\uDED5"; return "A";
break;
case 1249: yy_.yytext = "\uD835\uDC13"; return "A";
break;
case 1250: yy_.yytext = "\uD835\uDC2D"; return "A";
break;
case 1251: yy_.yytext = "\uD835\uDEBA"; return "A";
break;
case 1252: yy_.yytext = "\uD835\uDED4"; return "A";
break;
case 1253: yy_.yytext = "\uD835\uDC12"; return "A";
break;
case 1254: yy_.yytext = "\uD835\uDC2C"; return "A";
break;
case 1255: yy_.yytext = "\uD835\uDEB8"; return "A";
break;
case 1256: yy_.yytext = "\uD835\uDED2"; return "A";
break;
case 1257: yy_.yytext = "\uD835\uDD85"; return "A";
break;
case 1258: yy_.yytext = "\uD835\uDD9F"; return "A";
break;
case 1259: yy_.yytext = "\uD835\uDD84"; return "A";
break;
case 1260: yy_.yytext = "\uD835\uDD9E"; return "A";
break;
case 1261: yy_.yytext = "\uD835\uDD83"; return "A";
break;
case 1262: yy_.yytext = "\uD835\uDD9D"; return "A";
break;
case 1263: yy_.yytext = "\uD835\uDD82"; return "A";
break;
case 1264: yy_.yytext = "\uD835\uDD9C"; return "A";
break;
case 1265: yy_.yytext = "\uD835\uDD81"; return "A";
break;
case 1266: yy_.yytext = "\uD835\uDD9B"; return "A";
break;
case 1267: yy_.yytext = "\uD835\uDD80"; return "A";
break;
case 1268: yy_.yytext = "\uD835\uDD9A"; return "A";
break;
case 1269: yy_.yytext = "\uD835\uDD7F"; return "A";
break;
case 1270: yy_.yytext = "\uD835\uDD99"; return "A";
break;
case 1271: yy_.yytext = "\uD835\uDD7E"; return "A";
break;
case 1272: yy_.yytext = "\uD835\uDD98"; return "A";
break;
case 1273: yy_.yytext = "\uD835\uDD7D"; return "A";
break;
case 1274: yy_.yytext = "\uD835\uDD97"; return "A";
break;
case 1275: yy_.yytext = "\uD835\uDD7C"; return "A";
break;
case 1276: yy_.yytext = "\uD835\uDD96"; return "A";
break;
case 1277: yy_.yytext = "\uD835\uDD7B"; return "A";
break;
case 1278: yy_.yytext = "\uD835\uDD95"; return "A";
break;
case 1279: yy_.yytext = "\uD835\uDD7A"; return "A";
break;
case 1280: yy_.yytext = "\uD835\uDD94"; return "A";
break;
case 1281: yy_.yytext = "\uD835\uDD79"; return "A";
break;
case 1282: yy_.yytext = "\uD835\uDD93"; return "A";
break;
case 1283: yy_.yytext = "\uD835\uDD78"; return "A";
break;
case 1284: yy_.yytext = "\uD835\uDD92"; return "A";
break;
case 1285: yy_.yytext = "\uD835\uDD77"; return "A";
break;
case 1286: yy_.yytext = "\uD835\uDD91"; return "A";
break;
case 1287: yy_.yytext = "\uD835\uDD76"; return "A";
break;
case 1288: yy_.yytext = "\uD835\uDD90"; return "A";
break;
case 1289: yy_.yytext = "\uD835\uDD75"; return "A";
break;
case 1290: yy_.yytext = "\uD835\uDD8F"; return "A";
break;
case 1291: yy_.yytext = "\uD835\uDD74"; return "A";
break;
case 1292: yy_.yytext = "\uD835\uDD8E"; return "A";
break;
case 1293: yy_.yytext = "\uD835\uDD73"; return "A";
break;
case 1294: yy_.yytext = "\uD835\uDD8D"; return "A";
break;
case 1295: yy_.yytext = "\uD835\uDD72"; return "A";
break;
case 1296: yy_.yytext = "\uD835\uDD8C"; return "A";
break;
case 1297: yy_.yytext = "\uD835\uDD71"; return "A";
break;
case 1298: yy_.yytext = "\uD835\uDD8B"; return "A";
break;
case 1299: yy_.yytext = "\uD835\uDD70"; return "A";
break;
case 1300: yy_.yytext = "\uD835\uDD8A"; return "A";
break;
case 1301: yy_.yytext = "\uD835\uDD6F"; return "A";
break;
case 1302: yy_.yytext = "\uD835\uDD89"; return "A";
break;
case 1303: yy_.yytext = "\uD835\uDD6E"; return "A";
break;
case 1304: yy_.yytext = "\uD835\uDD88"; return "A";
break;
case 1305: yy_.yytext = "\uD835\uDD6D"; return "A";
break;
case 1306: yy_.yytext = "\uD835\uDD87"; return "A";
break;
case 1307: yy_.yytext = "\uD835\uDD6C"; return "A";
break;
case 1308: yy_.yytext = "\uD835\uDD86"; return "A";
break;
case 1309: yy_.yytext = "\uD835\uDC11"; return "A";
break;
case 1310: yy_.yytext = "\uD835\uDC2B"; return "A";
break;
case 1311: yy_.yytext = "\uD835\uDC10"; return "A";
break;
case 1312: yy_.yytext = "\uD835\uDC2A"; return "A";
break;
case 1313: yy_.yytext = "\uD835\uDEBF"; return "A";
break;
case 1314: yy_.yytext = "\uD835\uDED9"; return "A";
break;
case 1315: yy_.yytext = "\uD835\uDEB7"; return "A";
break;
case 1316: yy_.yytext = "\uD835\uDED1"; return "A";
break;
case 1317: yy_.yytext = "\uD835\uDEBD"; return "A";
break;
case 1318: yy_.yytext = "\uD835\uDEDF"; return "A";
break;
case 1319: yy_.yytext = "\uD835\uDED7"; return "A";
break;
case 1320: yy_.yytext = "\uD835\uDC0F"; return "A";
break;
case 1321: yy_.yytext = "\uD835\uDC29"; return "A";
break;
case 1322: yy_.yytext = "\uD835\uDEC0"; return "A";
break;
case 1323: yy_.yytext = "\uD835\uDEDA"; return "A";
break;
case 1324: yy_.yytext = "\uD835\uDC0E"; return "A";
break;
case 1325: yy_.yytext = "\uD835\uDC28"; return "A";
break;
case 1326: yy_.yytext = "\uD835\uDEC1"; return "A";
break;
case 1327: yy_.yytext = "\uD835\uDC0D"; return "A";
break;
case 1328: yy_.yytext = "\uD835\uDC27"; return "A";
break;
case 1329: yy_.yytext = "\uD835\uDC0C"; return "A";
break;
case 1330: yy_.yytext = "\uD835\uDC26"; return "A";
break;
case 1331: yy_.yytext = "\uD835\uDEB2"; return "A";
break;
case 1332: yy_.yytext = "\uD835\uDECC"; return "A";
break;
case 1333: yy_.yytext = "\uD835\uDC0B"; return "A";
break;
case 1334: yy_.yytext = "\uD835\uDC25"; return "A";
break;
case 1335: yy_.yytext = "\uD835\uDEB1"; return "A";
break;
case 1336: yy_.yytext = "\uD835\uDECB"; return "A";
break;
case 1337: yy_.yytext = "\uD835\uDC0A"; return "A";
break;
case 1338: yy_.yytext = "\uD835\uDC24"; return "A";
break;
case 1339: yy_.yytext = "\uD835\uDC09"; return "A";
break;
case 1340: yy_.yytext = "\uD835\uDC23"; return "A";
break;
case 1341: yy_.yytext = "\uD835\uDEB0"; return "A";
break;
case 1342: yy_.yytext = "\uD835\uDECA"; return "A";
break;
case 1343: yy_.yytext = "\uD835\uDC08"; return "A";
break;
case 1344: yy_.yytext = "\uD835\uDC22"; return "A";
break;
case 1345: yy_.yytext = "\uD835\uDC07"; return "A";
break;
case 1346: yy_.yytext = "\uD835\uDC21"; return "A";
break;
case 1347: yy_.yytext = "\uD835\uDEAA"; return "A";
break;
case 1348: yy_.yytext = "\uD835\uDEC4"; return "A";
break;
case 1349: yy_.yytext = "\uD835\uDC06"; return "A";
break;
case 1350: yy_.yytext = "\uD835\uDC20"; return "A";
break;
case 1351: yy_.yytext = "\uD835\uDC05"; return "A";
break;
case 1352: yy_.yytext = "\uD835\uDC1F"; return "A";
break;
case 1353: yy_.yytext = "\uD835\uDEC8"; return "A";
break;
case 1354: yy_.yytext = "\uD835\uDEAE"; return "A";
break;
case 1355: yy_.yytext = "\uD835\uDEC6"; return "A";
break;
case 1356: yy_.yytext = "\uD835\uDEAC"; return "A";
break;
case 1357: yy_.yytext = "\uD835\uDC04"; return "A";
break;
case 1358: yy_.yytext = "\uD835\uDC1E"; return "A";
break;
case 1359: yy_.yytext = "\uD835\uDEC5"; return "A";
break;
case 1360: yy_.yytext = "\uD835\uDEAB"; return "A";
break;
case 1361: yy_.yytext = "\uD835\uDC03"; return "A";
break;
case 1362: yy_.yytext = "\uD835\uDC1D"; return "A";
break;
case 1363: yy_.yytext = "\uD835\uDEBE"; return "A";
break;
case 1364: yy_.yytext = "\uD835\uDED8"; return "A";
break;
case 1365: yy_.yytext = "\uD835\uDC02"; return "A";
break;
case 1366: yy_.yytext = "\uD835\uDC1C"; return "A";
break;
case 1367: yy_.yytext = "\uD835\uDEA9"; return "A";
break;
case 1368: yy_.yytext = "\uD835\uDEC3"; return "A";
break;
case 1369: yy_.yytext = "\uD835\uDC01"; return "A";
break;
case 1370: yy_.yytext = "\uD835\uDC1B"; return "A";
break;
case 1371: yy_.yytext = "\uD835\uDEA8"; return "A";
break;
case 1372: yy_.yytext = "\uD835\uDEC2"; return "A";
break;
case 1373: yy_.yytext = "\uD835\uDC00"; return "A";
break;
case 1374: yy_.yytext = "\uD835\uDC1A"; return "A";
break;
case 1375:return "MATHBF";
break;
case 1376: yy_.yytext = "\uD835\uDCE9"; return "A";
break;
case 1377: yy_.yytext = "\uD835\uDD03"; return "A";
break;
case 1378: yy_.yytext = "\uD835\uDCE8"; return "A";
break;
case 1379: yy_.yytext = "\uD835\uDD02"; return "A";
break;
case 1380: yy_.yytext = "\uD835\uDCE7"; return "A";
break;
case 1381: yy_.yytext = "\uD835\uDD01"; return "A";
break;
case 1382: yy_.yytext = "\uD835\uDCE6"; return "A";
break;
case 1383: yy_.yytext = "\uD835\uDD00"; return "A";
break;
case 1384: yy_.yytext = "\uD835\uDCE5"; return "A";
break;
case 1385: yy_.yytext = "\uD835\uDCFF"; return "A";
break;
case 1386: yy_.yytext = "\uD835\uDCE4"; return "A";
break;
case 1387: yy_.yytext = "\uD835\uDCFE"; return "A";
break;
case 1388: yy_.yytext = "\uD835\uDCE3"; return "A";
break;
case 1389: yy_.yytext = "\uD835\uDCFD"; return "A";
break;
case 1390: yy_.yytext = "\uD835\uDCE2"; return "A";
break;
case 1391: yy_.yytext = "\uD835\uDCFC"; return "A";
break;
case 1392: yy_.yytext = "\uD835\uDCE1"; return "A";
break;
case 1393: yy_.yytext = "\uD835\uDCFB"; return "A";
break;
case 1394: yy_.yytext = "\uD835\uDCE0"; return "A";
break;
case 1395: yy_.yytext = "\uD835\uDCFA"; return "A";
break;
case 1396: yy_.yytext = "\uD835\uDCDF"; return "A";
break;
case 1397: yy_.yytext = "\uD835\uDCF9"; return "A";
break;
case 1398: yy_.yytext = "\uD835\uDCDE"; return "A";
break;
case 1399: yy_.yytext = "\uD835\uDCF8"; return "A";
break;
case 1400: yy_.yytext = "\uD835\uDCDD"; return "A";
break;
case 1401: yy_.yytext = "\uD835\uDCF7"; return "A";
break;
case 1402: yy_.yytext = "\uD835\uDCDC"; return "A";
break;
case 1403: yy_.yytext = "\uD835\uDCF6"; return "A";
break;
case 1404: yy_.yytext = "\uD835\uDCDB"; return "A";
break;
case 1405: yy_.yytext = "\uD835\uDCF5"; return "A";
break;
case 1406: yy_.yytext = "\uD835\uDCDA"; return "A";
break;
case 1407: yy_.yytext = "\uD835\uDCF4"; return "A";
break;
case 1408: yy_.yytext = "\uD835\uDCD9"; return "A";
break;
case 1409: yy_.yytext = "\uD835\uDCF3"; return "A";
break;
case 1410: yy_.yytext = "\uD835\uDCD8"; return "A";
break;
case 1411: yy_.yytext = "\uD835\uDCF2"; return "A";
break;
case 1412: yy_.yytext = "\uD835\uDCD7"; return "A";
break;
case 1413: yy_.yytext = "\uD835\uDCF1"; return "A";
break;
case 1414: yy_.yytext = "\uD835\uDCD6"; return "A";
break;
case 1415: yy_.yytext = "\uD835\uDCF0"; return "A";
break;
case 1416: yy_.yytext = "\uD835\uDCD5"; return "A";
break;
case 1417: yy_.yytext = "\uD835\uDCEF"; return "A";
break;
case 1418: yy_.yytext = "\uD835\uDCD4"; return "A";
break;
case 1419: yy_.yytext = "\uD835\uDCEE"; return "A";
break;
case 1420: yy_.yytext = "\uD835\uDCD3"; return "A";
break;
case 1421: yy_.yytext = "\uD835\uDCED"; return "A";
break;
case 1422: yy_.yytext = "\uD835\uDCD2"; return "A";
break;
case 1423: yy_.yytext = "\uD835\uDCEC"; return "A";
break;
case 1424: yy_.yytext = "\uD835\uDCD1"; return "A";
break;
case 1425: yy_.yytext = "\uD835\uDCEB"; return "A";
break;
case 1426: yy_.yytext = "\uD835\uDCD0"; return "A";
break;
case 1427: yy_.yytext = "\uD835\uDCEA"; return "A";
break;
case 1428:return "MATHBSCR";
break;
case 1429: yy_.yytext = "\u2124"; return "A";
break;
case 1430: yy_.yytext = "\uD835\uDD6B"; return "A";
break;
case 1431: yy_.yytext = "\uD835\uDD50"; return "A";
break;
case 1432: yy_.yytext = "\uD835\uDD6A"; return "A";
break;
case 1433: yy_.yytext = "\uD835\uDD4F"; return "A";
break;
case 1434: yy_.yytext = "\uD835\uDD69"; return "A";
break;
case 1435: yy_.yytext = "\uD835\uDD4E"; return "A";
break;
case 1436: yy_.yytext = "\uD835\uDD68"; return "A";
break;
case 1437: yy_.yytext = "\uD835\uDD4D"; return "A";
break;
case 1438: yy_.yytext = "\uD835\uDD67"; return "A";
break;
case 1439: yy_.yytext = "\uD835\uDD4C"; return "A";
break;
case 1440: yy_.yytext = "\uD835\uDD66"; return "A";
break;
case 1441: yy_.yytext = "\uD835\uDD4B"; return "A";
break;
case 1442: yy_.yytext = "\uD835\uDD65"; return "A";
break;
case 1443: yy_.yytext = "\uD835\uDD4A"; return "A";
break;
case 1444: yy_.yytext = "\uD835\uDD64"; return "A";
break;
case 1445: yy_.yytext = "\u211D"; return "A";
break;
case 1446: yy_.yytext = "\uD835\uDD63"; return "A";
break;
case 1447: yy_.yytext = "\u211A"; return "A";
break;
case 1448: yy_.yytext = "\uD835\uDD62"; return "A";
break;
case 1449: yy_.yytext = "\u2119"; return "A";
break;
case 1450: yy_.yytext = "\uD835\uDD61"; return "A";
break;
case 1451: yy_.yytext = "\uD835\uDD46"; return "A";
break;
case 1452: yy_.yytext = "\uD835\uDD60"; return "A";
break;
case 1453: yy_.yytext = "\u2115"; return "A";
break;
case 1454: yy_.yytext = "\uD835\uDD5F"; return "A";
break;
case 1455: yy_.yytext = "\uD835\uDD44"; return "A";
break;
case 1456: yy_.yytext = "\uD835\uDD5E"; return "A";
break;
case 1457: yy_.yytext = "\uD835\uDD43"; return "A";
break;
case 1458: yy_.yytext = "\uD835\uDD5D"; return "A";
break;
case 1459: yy_.yytext = "\uD835\uDD42"; return "A";
break;
case 1460: yy_.yytext = "\uD835\uDD5C"; return "A";
break;
case 1461: yy_.yytext = "\uD835\uDD41"; return "A";
break;
case 1462: yy_.yytext = "\uD835\uDD5B"; return "A";
break;
case 1463: yy_.yytext = "\uD835\uDD40"; return "A";
break;
case 1464: yy_.yytext = "\uD835\uDD5A"; return "A";
break;
case 1465: yy_.yytext = "\u210D"; return "A";
break;
case 1466: yy_.yytext = "\uD835\uDD59"; return "A";
break;
case 1467: yy_.yytext = "\uD835\uDD3E"; return "A";
break;
case 1468: yy_.yytext = "\uD835\uDD58"; return "A";
break;
case 1469: yy_.yytext = "\uD835\uDD3D"; return "A";
break;
case 1470: yy_.yytext = "\uD835\uDD57"; return "A";
break;
case 1471: yy_.yytext = "\uD835\uDD3C"; return "A";
break;
case 1472: yy_.yytext = "\uD835\uDD56"; return "A";
break;
case 1473: yy_.yytext = "\uD835\uDD3B"; return "A";
break;
case 1474: yy_.yytext = "\uD835\uDD55"; return "A";
break;
case 1475: yy_.yytext = "\u2102"; return "A";
break;
case 1476: yy_.yytext = "\uD835\uDD54"; return "A";
break;
case 1477: yy_.yytext = "\uD835\uDD39"; return "A";
break;
case 1478: yy_.yytext = "\uD835\uDD53"; return "A";
break;
case 1479: yy_.yytext = "\uD835\uDD38"; return "A";
break;
case 1480: yy_.yytext = "\uD835\uDD52"; return "A";
break;
case 1481:return "MATHBB";
break;
case 1482: yy_.yytext = "\u2907"; return "OP";
break;
case 1483: yy_.yytext = "\u21A6"; return "OPS";
break;
case 1484: yy_.yytext = "\u2906"; return "OP";
break;
case 1485: yy_.yytext = "\u21A6"; return "OPS";
break;
case 1486: yy_.yytext = "\u2268\uFE00"; return "OP";
break;
case 1487: yy_.yytext = "\u2268\uFE00"; return "OP";
break;
case 1488: yy_.yytext = "\u22C9"; return "OP";
break;
case 1489: yy_.yytext = "\u003C"; return "OP";
break;
case 1490: yy_.yytext = "\u21B0"; return "OPS";
break;
case 1491: yy_.yytext = "\u2018"; return "OPF";
break;
case 1492: yy_.yytext = "\u25CA"; return "OP";
break;
case 1493: yy_.yytext = "\u2A1C"; return "OP";
break;
case 1494: yy_.yytext = "\u21AC"; return "OPS";
break;
case 1495: yy_.yytext = "\u21AB"; return "OPS";
break;
case 1496: yy_.yytext = "\u27F9"; return "OPS";
break;
case 1497: yy_.yytext = "\u27F6"; return "OPS";
break;
case 1498: yy_.yytext = "\u27FC"; return "OPS";
break;
case 1499: yy_.yytext = "\u27FA"; return "OPS";
break;
case 1500: yy_.yytext = "\u27F7"; return "OPS";
break;
case 1501: yy_.yytext = "\u27F8"; return "OPS";
break;
case 1502: yy_.yytext = "\u27F5"; return "OPS";
break;
case 1503: yy_.yytext = "\u22E6"; return "OP";
break;
case 1504: yy_.yytext = "\u00AC"; return "OP";
break;
case 1505: yy_.yytext = "\u2268"; return "OP";
break;
case 1506: yy_.yytext = "\u2A87"; return "OP";
break;
case 1507: yy_.yytext = "\u2268"; return "OP";
break;
case 1508: yy_.yytext = "\u2A89"; return "OP";
break;
case 1509: yy_.yytext = "\u23B0"; return "OP";
break;
case 1510: yy_.yytext = "\u22D8"; return "OP";
break;
case 1511: yy_.yytext = "\u21DA"; return "OPS";
break;
case 1512: yy_.yytext = "\u27EA"; return "OPFS";
break;
case 1513: yy_.yytext = "\u226A"; return "OP";
break;
case 1514: yy_.yytext = "\u22B2"; return "OP";
break;
case 1515: yy_.yytext = "\u230A"; return "OPFS";
break;
case 1516: yy_.yytext = "\u2272"; return "OP";
break;
case 1517: yy_.yytext = "\u2276"; return "OP";
break;
case 1518: yy_.yytext = "\u2272"; return "OP";
break;
case 1519: yy_.yytext = "\u2A8B"; return "OP";
break;
case 1520: yy_.yytext = "\u22DA"; return "OP";
break;
case 1521: yy_.yytext = "\u22DA"; return "OP";
break;
case 1522: yy_.yytext = "\u22D6"; return "OP";
break;
case 1523: yy_.yytext = "\u2A85"; return "OP";
break;
case 1524: yy_.yytext = "\u003C"; return "OP";
break;
case 1525: yy_.yytext = "\u2A7D"; return "OP";
break;
case 1526: yy_.yytext = "\u2266"; return "OP";
break;
case 1527: yy_.yytext = "\u2264"; return "OP";
break;
case 1528: yy_.yytext = "\u2952"; return "OPS";
break;
case 1529: yy_.yytext = "\u2958"; return "OPS";
break;
case 1530: yy_.yytext = "\u2960"; return "OPS";
break;
case 1531: yy_.yytext = "\u2951"; return "OPS";
break;
case 1532: yy_.yytext = "\u29CF"; return "OP";
break;
case 1533: yy_.yytext = "\u22CB"; return "OP";
break;
case 1534: yy_.yytext = "\u295A"; return "OPS";
break;
case 1535: yy_.yytext = "\u219C"; return "OPS";
break;
case 1536: yy_.yytext = "\u294E"; return "OPS";
break;
case 1537: yy_.yytext = "\u21AD"; return "OPS";
break;
case 1538: yy_.yytext = "\u21CB"; return "OPS";
break;
case 1539: yy_.yytext = "\u21FF"; return "OPS";
break;
case 1540: yy_.yytext = "\u21C6"; return "OPS";
break;
case 1541: yy_.yytext = "\u21D4"; return "OPS";
break;
case 1542: yy_.yytext = "\u2194"; return "OPS";
break;
case 1543: yy_.yytext = "\u21C7"; return "OPS";
break;
case 1544: yy_.yytext = "\u21BC"; return "OPS";
break;
case 1545: yy_.yytext = "\u21BD"; return "OPS";
break;
case 1546: yy_.yytext = "\u2959"; return "OPS";
break;
case 1547: yy_.yytext = "\u2961"; return "OPS";
break;
case 1548: yy_.yytext = "\u21FD"; return "OPS";
break;
case 1549: yy_.yytext = "\u21A2"; return "OPS";
break;
case 1550: yy_.yytext = "\u21D0"; return "OPS";
break;
case 1551: yy_.yytext = "\u2190"; return "OPS";
break;
case 1552:return "LEFT";
break;
case 1553: yy_.yytext = "\u2264"; return "OP";
break;
case 1554: yy_.yytext = "\u2026"; return "OP";
break;
case 1555: yy_.yytext = "\u002E"; return "OP";
break;
case 1556: yy_.yytext = "\u2308"; return "OPFS";
break;
case 1557: yy_.yytext = "\u005B"; return "OPFS";
break;
case 1558: yy_.yytext = "\u007B"; return "OPFS";
break;
case 1559: yy_.yytext = "\u223E"; return "OP";
break;
case 1560: yy_.yytext = "\u27E8"; return "OPFS";
break;
case 1561: yy_.yytext = "\u27E8"; return "OPFS";
break;
case 1562: yy_.yytext = "\u039B"; return "A";
break;
case 1563: yy_.yytext = "\u03BB"; return "A";
break;
case 1564: yy_.yytext = "\u223B"; return "OP";
break;
case 1565: yy_.yytext = "\u2993"; return "OPFS";
break;
case 1566: yy_.yytext = "\u039A"; return "A";
break;
case 1567: yy_.yytext = "\u03BA"; return "A";
break;
case 1568: yy_.yytext = "\u0237"; return "A";
break;
case 1569: this.pushState("TEXTARG"); return "MN";
break;
case 1570: yy_.yytext = "\u0399"; return "A";
break;
case 1571: yy_.yytext = "\u03B9"; return "A";
break;
case 1572: yy_.yytext = "\u214B"; return "OP";
break;
case 1573: yy_.yytext = "\u2A18"; return "OP";
break;
case 1574: yy_.yytext = "\u2A3D"; return "OP";
break;
case 1575: yy_.yytext = "\u2A3C"; return "OP";
break;
case 1576: yy_.yytext = "\u222D"; return "OP";
break;
case 1577: yy_.yytext = "\u222C"; return "OP";
break;
case 1578: yy_.yytext = "\u22C2"; return "OPM";
break;
case 1579: yy_.yytext = "\u2229"; return "OP";
break;
case 1580: yy_.yytext = "\u2AF4"; return "OP";
break;
case 1581: yy_.yytext = "\u22BA"; return "OP";
break;
case 1582: yy_.yytext = "\u222B"; return "OP";
break;
case 1583: yy_.yytext = "\u2A1A"; return "OP";
break;
case 1584: yy_.yytext = "\u2A19"; return "OP";
break;
case 1585: yy_.yytext = "\u2A0E"; return "OP";
break;
case 1586: yy_.yytext = "\u2A0D"; return "OP";
break;
case 1587: yy_.yytext = "\u222B"; return "OP";
break;
case 1588: yy_.yytext = "\u221E"; return "NUM";
break;
case 1589: yy_.yytext = "\u221E"; return "NUM";
break;
case 1590: yy_.yytext = yy_.yytext.slice(1); return "FM";
break;
case 1591: yy_.yytext = "\u220A"; return "OP";
break;
case 1592: yy_.yytext = "\u2208"; return "OP";
break;
case 1593: yy_.yytext = "\u0131"; return "A";
break;
case 1594: yy_.yytext = "\u22B7"; return "OP";
break;
case 1595: yy_.yytext = "\u2111"; return "A";
break;
case 1596: yy_.yytext = "\u222C"; return "OP";
break;
case 1597: yy_.yytext = "\u222D"; return "OP";
break;
case 1598: yy_.yytext = "\u2A0C"; return "OP";
break;
case 1599: yy_.yytext = "\u0131"; return "A";
break;
case 1600: yy_.yytext = "\u210F"; return "A";
break;
case 1601: this.pushState("TEXTARG"); return "HREF";
break;
case 1602: yy_.yytext = "\u21AA"; return "OPS";
break;
case 1603: yy_.yytext = "\u21A9"; return "OPS";
break;
case 1604: yy_.yytext = "\u223B"; return "OP";
break;
case 1605: yy_.yytext = "\u2926"; return "OP";
break;
case 1606: yy_.yytext = "\u2925"; return "OP";
break;
case 1607: yy_.yytext = "\u22B9"; return "OP";
break;
case 1608: yy_.yytext = "\u2661"; return "OP";
break;
case 1609: yy_.yytext = "\u210F"; return "A";
break;
case 1610: yy_.yytext = "\u005E"; return "ACCENTNS";
break;
case 1611: yy_.yytext = "\u02DD"; return "OP";
break;
case 1612: yy_.yytext = "\u2269\uFE00"; return "OP";
break;
case 1613: yy_.yytext = "\u2269\uFE00"; return "OP";
break;
case 1614: yy_.yytext = "\u2273"; return "OP";
break;
case 1615: yy_.yytext = "\u2277"; return "OP";
break;
case 1616: yy_.yytext = "\u2A8C"; return "OP";
break;
case 1617: yy_.yytext = "\u22DB"; return "OP";
break;
case 1618: yy_.yytext = "\u22DB"; return "OP";
break;
case 1619: yy_.yytext = "\u22D7"; return "OP";
break;
case 1620: yy_.yytext = "\u2A86"; return "OP";
break;
case 1621: yy_.yytext = "\u003E"; return "OP";
break;
case 1622: yy_.yytext = "\u2273"; return "OP";
break;
case 1623: yy_.yytext = "\u003E"; return "OP";
break;
case 1624: yy_.yytext = "\u22E7"; return "OP";
break;
case 1625: yy_.yytext = "\u2269"; return "OP";
break;
case 1626: yy_.yytext = "\u2A88"; return "OP";
break;
case 1627: yy_.yytext = "\u2269"; return "OP";
break;
case 1628: yy_.yytext = "\u2A8A"; return "OP";
break;
case 1629: yy_.yytext = "\u2137"; return "A";
break;
case 1630: yy_.yytext = "\u22D9"; return "OP";
break;
case 1631: yy_.yytext = "\u226B"; return "OP";
break;
case 1632: yy_.yytext = "\u2A7E"; return "OP";
break;
case 1633: yy_.yytext = "\u2267"; return "OP";
break;
case 1634: yy_.yytext = "\u2265"; return "OP";
break;
case 1635: yy_.yytext = "\u2265"; return "OP";
break;
case 1636: yy_.yytext = "\u0393"; return "A";
break;
case 1637: yy_.yytext = "\u03B3"; return "A";
break;
case 1638: yy_.yytext = "\u2322"; return "OP";
break;
case 1639: this.pushState("TEXTARG"); return "FRAME";
break;
case 1640:return "FRAC";
break;
case 1641: yy_.yytext = "\u2ADD"; return "OP";
break;
case 1642: yy_.yytext = "\u2ADD\u0338"; return "OP";
break;
case 1643: yy_.yytext = "\u22A8"; return "OP";
break;
case 1644: yy_.yytext = "\u2200"; return "OP";
break;
case 1645: yy_.yytext = "\u266D"; return "OP";
break;
case 1646: yy_.yytext = "\u292C"; return "OP";
break;
case 1647: yy_.yytext = "\u292F"; return "OP";
break;
case 1648: yy_.yytext = "\u25AD"; return "OP";
break;
case 1649: yy_.yytext = "\u2252"; return "OP";
break;
case 1650: yy_.yytext = "\u2203"; return "OP";
break;
case 1651: yy_.yytext = "\u00F0"; return "A";
break;
case 1652: yy_.yytext = "\u00F0"; return "A";
break;
case 1653: yy_.yytext = "\u0397"; return "A";
break;
case 1654: yy_.yytext = "\u03B7"; return "A";
break;
case 1655: yy_.yytext = "\u2259"; return "OP";
break;
case 1656: yy_.yytext = "\u2261"; return "OP";
break;
case 1657: this.pushState("TEXTARG"); return "EQROWS";
break;
case 1658: this.pushState("TEXTARG"); return "EQCOLS";
break;
case 1659: yy_.yytext = "\u2A75"; return "OP";
break;
case 1660: yy_.yytext = "\u2A95"; return "OP";
break;
case 1661: yy_.yytext = "\u2A96"; return "OP";
break;
case 1662: yy_.yytext = "\u2242"; return "OP";
break;
case 1663: yy_.yytext = "\u003D\u2237"; return "OP";
break;
case 1664: yy_.yytext = "\u2255"; return "OP";
break;
case 1665: yy_.yytext = "\u2212\u2237"; return "OP";
break;
case 1666: yy_.yytext = "\u003D\u2237"; return "OP";
break;
case 1667: yy_.yytext = "\u2255"; return "OP";
break;
case 1668: yy_.yytext = "\u2256"; return "OP";
break;
case 1669: yy_.yytext = "\u0395"; return "A";
break;
case 1670: yy_.yytext = "\u03F5"; return "A";
break;
case 1671: yy_.yytext = "\u03B5"; return "A";
break;
case 1672:return "EVVMATRIX";
break;
case 1673:return "EVMATRIX";
break;
case 1674: return "ETOGGLE";
break;
case 1675:return "EALIGNED";
break;
case 1676:return "ESMALLMATRIX";
break;
case 1677:return "EPMATRIX";
break;
case 1678:return "EMATRIX";
break;
case 1679:return "EGATHERED";
break;
case 1680:return "ECASES";
break;
case 1681:return "EBBMATRIX";
break;
case 1682:return "EBMATRIX";
break;
case 1683:return "EARRAY";
break;
case 1684:return "EALIGNED";
break;
case 1685: yy_.yytext = "\u2205"; return "A";
break;
case 1686: yy_.yytext = "\u2205"; return "A";
break;
case 1687: yy_.yytext = "\u25AF"; return "OP";
break;
case 1688: yy_.yytext = "\u2A2F"; return "OP";
break;
case 1689: yy_.yytext = "\u2A05"; return "OPM";
break;
case 1690: yy_.yytext = "\u2980"; return "OPFS";
break;
case 1691: yy_.yytext = "\u2AF6"; return "OP";
break;
case 1692: yy_.yytext = "\u2A08"; return "OPM";
break;
case 1693: yy_.yytext = "\u22E5"; return "OP";
break;
case 1694: yy_.yytext = "\u2942"; return "OP";
break;
case 1695: yy_.yytext = "\u2944"; return "OP";
break;
case 1696: yy_.yytext = "\u201B"; return "OP";
break;
case 1697: yy_.yytext = "\u2947"; return "OP";
break;
case 1698: yy_.yytext = "\u2A54"; return "OP";
break;
case 1699: yy_.yytext = "\u2A5F"; return "OP";
break;
case 1700: yy_.yytext = "\u29A0"; return "OP";
break;
case 1701: yy_.yytext = "\u29CA"; return "OP";
break;
case 1702: yy_.yytext = "\u2A07"; return "OPM";
break;
case 1703: yy_.yytext = "\u29CB"; return "OP";
break;
case 1704: yy_.yytext = "\u2999"; return "OP";
break;
case 1705: yy_.yytext = "\u2A0D"; return "OP";
break;
case 1706: yy_.yytext = "\u2A53"; return "OP";
break;
case 1707: yy_.yytext = "\u2A04"; return "OPM";
break;
case 1708: yy_.yytext = "\u2A06"; return "OPM";
break;
case 1709: yy_.yytext = "\u2986"; return "OPFS";
break;
case 1710: yy_.yytext = "\u2941"; return "OP";
break;
case 1711: yy_.yytext = "\u2A56"; return "OP";
break;
case 1712: yy_.yytext = "\u2940"; return "OP";
break;
case 1713: yy_.yytext = "\u2113"; return "A";
break;
case 1714: yy_.yytext = "\u29DF"; return "OP";
break;
case 1715: yy_.yytext = "\u2910"; return "OPS";
break;
case 1716: yy_.yytext = "\u22F1"; return "OP";
break;
case 1717: yy_.yytext = "\u2957"; return "OPS";
break;
case 1718: yy_.yytext = "\u295F"; return "OPS";
break;
case 1719: yy_.yytext = "\u2956"; return "OPS";
break;
case 1720: yy_.yytext = "\u295E"; return "OPS";
break;
case 1721: yy_.yytext = "\u2950"; return "OPS";
break;
case 1722: yy_.yytext = "\u21C2"; return "OPS";
break;
case 1723: yy_.yytext = "\u21C3"; return "OPS";
break;
case 1724: yy_.yytext = "\u21CA"; return "OPS";
break;
case 1725: yy_.yytext = "\u21F5"; return "OPS";
break;
case 1726: yy_.yytext = "\u2913"; return "OPS";
break;
case 1727: yy_.yytext = "\u21D3"; return "OPS";
break;
case 1728: yy_.yytext = "\u2193"; return "OPS";
break;
case 1729: yy_.yytext = "\u222C"; return "OP";
break;
case 1730: yy_.yytext = "\u2306"; return "OP";
break;
case 1731: yy_.yytext = "\u2306"; return "OP";
break;
case 1732: yy_.yytext = "\u2026"; return "OP";
break;
case 1733: yy_.yytext = "\u2214"; return "OP";
break;
case 1734: yy_.yytext = "\u2238"; return "OP";
break;
case 1735: yy_.yytext = "\u2251"; return "OP";
break;
case 1736: yy_.yytext = "\u2251"; return "OP";
break;
case 1737: yy_.yytext = "\u2250"; return "OP";
break;
case 1738: yy_.yytext = "\u02D9"; return "OP";
break;
case 1739: yy_.yytext = "\u02D9"; return "ACCENT";
break;
case 1740: yy_.yytext = "\u22C7"; return "OP";
break;
case 1741: yy_.yytext = "\u00F7"; return "OP";
break;
case 1742:return "DISPLAYSTYLE";
break;
case 1743: yy_.yytext = "\u2A08"; return "OPM";
break;
case 1744: yy_.yytext = "\u2605"; return "OP";
break;
case 1745: yy_.yytext = "\u2660"; return "OP";
break;
case 1746: yy_.yytext = "\u2663"; return "OP";
break;
case 1747: yy_.yytext = "\u2758"; return "OP";
break;
case 1748: yy_.yytext = "\u25D7"; return "OP";
break;
case 1749: yy_.yytext = "\u25C6"; return "OP";
break;
case 1750: yy_.yytext = "\u25BC"; return "OP";
break;
case 1751: yy_.yytext = "\u25B2"; return "OP";
break;
case 1752: yy_.yytext = "\u25A0"; return "OP";
break;
case 1753: yy_.yytext = "\u25CF"; return "OP";
break;
case 1754: yy_.yytext = "\u03DC"; return "A";
break;
case 1755: yy_.yytext = "\u03DD"; return "A";
break;
case 1756: yy_.yytext = "\u2662"; return "OP";
break;
case 1757: yy_.yytext = "\u22C4"; return "OP";
break;
case 1758: yy_.yytext = "\u25CA"; return "OP";
break;
case 1759: yy_.yytext = "\u22C4"; return "OP";
break;
case 1760: yy_.yytext = "\u00F0"; return "A";
break;
case 1761: yy_.yytext = yy_.yytext.slice(1); return "FM";
break;
case 1762: yy_.yytext = "\u0394"; return "A";
break;
case 1763: yy_.yytext = "\u03B4"; return "A";
break;
case 1764: yy_.yytext = "\u2207"; return "OP";
break;
case 1765: yy_.yytext = "\u00B0"; return "OP";
break;
case 1766: yy_.yytext = "\u290B"; return "OPS";
break;
case 1767: yy_.yytext = "\u2A77"; return "OP";
break;
case 1768: yy_.yytext = "\u22F1"; return "OP";
break;
case 1769: yy_.yytext = "\u0308"; return "ACCENT";
break;
case 1770: yy_.yytext = "\u20DB"; return "OP";
break;
case 1771: yy_.yytext = "\u20DB"; return "ACCENT";
break;
case 1772: yy_.yytext = "\u20DC"; return "OP";
break;
case 1773: yy_.yytext = "\u20DC"; return "ACCENT";
break;
case 1774: yy_.yytext = "\u2021"; return "OP";
break;
case 1775: yy_.yytext = "\u2021"; return "OP";
break;
case 1776: yy_.yytext = "\u2237"; return "OP";
break;
case 1777: yy_.yytext = "\u21C5"; return "OPS";
break;
case 1778: yy_.yytext = "\u290F"; return "OPS";
break;
case 1779: yy_.yytext = "\u2AE4"; return "OP";
break;
case 1780: yy_.yytext = "\u2AE3"; return "OP";
break;
case 1781: yy_.yytext = "\u22A3"; return "OP";
break;
case 1782: yy_.yytext = "\u2138"; return "A";
break;
case 1783: yy_.yytext = "\u2020"; return "OP";
break;
case 1784: yy_.yytext = "\u2020"; return "OP";
break;
case 1785: yy_.yytext = "\u0428"; return "A";
break;
case 1786: yy_.yytext = "\u21B7"; return "OP";
break;
case 1787: yy_.yytext = "\u21B6"; return "OP";
break;
case 1788: yy_.yytext = "\u22CF"; return "OP";
break;
case 1789: yy_.yytext = "\u22CE"; return "OP";
break;
case 1790: yy_.yytext = "\u22DF"; return "OP";
break;
case 1791: yy_.yytext = "\u22DE"; return "OP";
break;
case 1792: yy_.yytext = "\u228D"; return "OP";
break;
case 1793: yy_.yytext = "\u22D3"; return "OP";
break;
case 1794: yy_.yytext = "\u222A"; return "OP";
break;
case 1795: yy_.yytext = "\u2210"; return "OPM";
break;
case 1796: yy_.yytext = "\u2210"; return "OPM";
break;
case 1797: yy_.yytext = "\u222E"; return "OP";
break;
case 1798: yy_.yytext = "\u2A07"; return "OPM";
break;
case 1799: yy_.yytext = "\u222E"; return "OP";
break;
case 1800: yy_.yytext = "\u2245"; return "OP";
break;
case 1801: yy_.yytext = "\u2201"; return "OP";
break;
case 1802: this.begin("TEXTARG"); return "COLSPAN";
break;
case 1803: this.pushState("TEXTARG"); return "COLOR";
break;
case 1804: yy_.yytext = "\u2237\u223C"; return "OP";
break;
case 1805: yy_.yytext = "\u2236\u223C"; return "OP";
break;
case 1806: yy_.yytext = "\u2A74"; return "OP";
break;
case 1807: yy_.yytext = "\u2254"; return "OP";
break;
case 1808: yy_.yytext = "\u2237\u2212"; return "OP";
break;
case 1809: yy_.yytext = "\u2254"; return "OP";
break;
case 1810: yy_.yytext = "\u2237\u2248"; return "OP";
break;
case 1811: yy_.yytext = "\u2236\u2248"; return "OP";
break;
case 1812: yy_.yytext = "\u2237"; return "OP";
break;
case 1813: yy_.yytext = "\u003A"; return "OP";
break;
case 1814: this.pushState("TEXTARG"); return "COLLINES";
break;
case 1815: this.pushState("TEXTARG"); return "COLLAYOUT";
break;
case 1816: this.begin("TEXTARG"); return "COLALIGN";
break;
case 1817: yy_.yytext = "\u2231"; return "OP";
break;
case 1818: yy_.yytext = "\u2663"; return "OP";
break;
case 1819: yy_.yytext = "\u00AF"; return "ACCENT";
break;
case 1820: yy_.yytext = "\u2A0F"; return "OP";
break;
case 1821: yy_.yytext = "\u229D"; return "OP";
break;
case 1822: yy_.yytext = "\u229A"; return "OP";
break;
case 1823: yy_.yytext = "\u229B"; return "OP";
break;
case 1824: yy_.yytext = "\u2941"; return "OP";
break;
case 1825: yy_.yytext = "\u21BB"; return "OP";
break;
case 1826: yy_.yytext = "\u2940"; return "OP";
break;
case 1827: yy_.yytext = "\u21BA"; return "OP";
break;
case 1828: yy_.yytext = "\u2257"; return "OP";
break;
case 1829: yy_.yytext = "\u2218"; return "OP";
break;
case 1830:return "TEXCHOOSE";
break;
case 1831: yy_.yytext = "\u03A7"; return "A";
break;
case 1832: yy_.yytext = "\u03C7"; return "A";
break;
case 1833: yy_.yytext = "\u02C7"; return "ACCENTNS";
break;
case 1834:return "CELLOPTS";
break;
case 1835: yy_.yytext = "\u22EF"; return "OP";
break;
case 1836: yy_.yytext = "\u00B7"; return "OP";
break;
case 1837: yy_.yytext = "\u22C5"; return "OP";
break;
case 1838: yy_.yytext = "\u22D2"; return "OP";
break;
case 1839: yy_.yytext = "\u2229"; return "OP";
break;
case 1840: yy_.yytext = "\u00B8"; return "OP";
break;
case 1841: yy_.yytext = "\u2AAE"; return "OP";
break;
case 1842: yy_.yytext = "\u224E"; return "OP";
break;
case 1843: yy_.yytext = "\u224F"; return "OP";
break;
case 1844: yy_.yytext = "\u2219"; return "OP";
break;
case 1845: yy_.yytext = "\u2022"; return "OP";
break;
case 1846: yy_.yytext = "\u2A32"; return "OP";
break;
case 1847: yy_.yytext = "\u22A0"; return "OP";
break;
case 1848: yy_.yytext = "\u229E"; return "OP";
break;
case 1849: yy_.yytext = "\u229F"; return "OP";
break;
case 1850:return "BOXED";
break;
case 1851: yy_.yytext = "\u22A1"; return "OP";
break;
case 1852: yy_.yytext = "\u29C4"; return "OP";
break;
case 1853: yy_.yytext = "\u29C7"; return "OP";
break;
case 1854: yy_.yytext = "\u29C5"; return "OP";
break;
case 1855: yy_.yytext = "\u29C6"; return "OP";
break;
case 1856: yy_.yytext = "\u25A1"; return "OP";
break;
case 1857: yy_.yytext = "\u22C8"; return "OP";
break;
case 1858: yy_.yytext = "\u22A5"; return "OP";
break;
case 1859: yy_.yytext = "\u22A5"; return "OP";
break;
case 1860:return "MATHBF";
break;
case 1861: yy_.yytext = "\u25B8"; return "OP";
break;
case 1862: yy_.yytext = "\u25C2"; return "OP";
break;
case 1863: yy_.yytext = "\u25BE"; return "OP";
break;
case 1864: yy_.yytext = "\u25B4"; return "OP";
break;
case 1865: yy_.yytext = "\u25AA"; return "OP";
break;
case 1866: yy_.yytext = "\u25A0"; return "OP";
break;
case 1867: yy_.yytext = "\u29EB"; return "OP";
break;
case 1868: yy_.yytext = "\u290D"; return "OPS";
break;
case 1869:return "BINOM";
break;
case 1870: yy_.yytext = "\u22C0"; return "OPM";
break;
case 1871: yy_.yytext = "\u22C1"; return "OPM";
break;
case 1872: yy_.yytext = "\u2A04"; return "OPM";
break;
case 1873: yy_.yytext = "\u25B3"; return "OP";
break;
case 1874: yy_.yytext = "\u25BD"; return "OP";
break;
case 1875: yy_.yytext = "\u2A09"; return "OPM";
break;
case 1876: yy_.yytext = "\u2605"; return "OP";
break;
case 1877: yy_.yytext = "\u2A06"; return "OPM";
break;
case 1878: yy_.yytext = "\u2A05"; return "OPM";
break;
case 1879:return "BBIG";
break;
case 1880:return "BIG";
break;
case 1881: yy_.yytext = "\u2A02"; return "OPM";
break;
case 1882: yy_.yytext = "\u2A01"; return "OPM";
break;
case 1883: yy_.yytext = "\u2A00"; return "OPM";
break;
case 1884:return "BBIGL";
break;
case 1885:return "BIGL";
break;
case 1886: yy_.yytext = "\u2AFC"; return "OPM";
break;
case 1887:return "BBIGG";
break;
case 1888:return "BIGG";
break;
case 1889:return "BBIGGL";
break;
case 1890:return "BIGGL";
break;
case 1891:return "BBIGG";
break;
case 1892:return "BIGG";
break;
case 1893: yy_.yytext = "\u2A03"; return "OPM";
break;
case 1894: yy_.yytext = "\u22C3"; return "OPM";
break;
case 1895: yy_.yytext = "\u25CB"; return "OP";
break;
case 1896: yy_.yytext = "\u22C2"; return "OPM";
break;
case 1897:return "BBIG";
break;
case 1898:return "BIG";
break;
case 1899: this.pushState("TEXTARG"); return "BGCOLOR";
break;
case 1900: yy_.yytext = "\u226C"; return "OP";
break;
case 1901: yy_.yytext = "\u2136"; return "A";
break;
case 1902: yy_.yytext = "\u0392"; return "A";
break;
case 1903: yy_.yytext = "\u03B2"; return "A";
break;
case 1904:return "BVVMATRIX";
break;
case 1905:return "BVMATRIX";
break;
case 1906: return "BTOGGLE";
break;
case 1907:return "BALIGNED";
break;
case 1908:return "BSMALLMATRIX";
break;
case 1909:return "BPMATRIX";
break;
case 1910:return "BMATRIX";
break;
case 1911:return "BGATHERED";
break;
case 1912:return "BCASES";
break;
case 1913:return "BBBMATRIX";
break;
case 1914:return "BBMATRIX";
break;
case 1915: this.pushState("TEXTARG"); this.pushState("TEXTOPTARG"); this.pushState("TRYOPTARG"); return "BARRAY";
break;
case 1916:return "BALIGNED";
break;
case 1917: yy_.yytext = "\u2235"; return "OP";
break;
case 1918: yy_.yytext = "\u213F"; return "A";
break;
case 1919: yy_.yytext = "\u2305"; return "OP";
break;
case 1920: yy_.yytext = "\u00AF"; return "ACCENTNS";
break;
case 1921: yy_.yytext = "\u005C"; return "OP";
break;
case 1922: yy_.yytext = "\u22CD"; return "OP";
break;
case 1923: yy_.yytext = "\u223D"; return "OP";
break;
case 1924: yy_.yytext = "\u2035"; return "OPP";
break;
case 1925: yy_.yytext = "\u03F6"; return "OP";
break;
case 1926:return "TEXATOP";
break;
case 1927: yy_.yytext = "\u224D"; return "OP";
break;
case 1928: yy_.yytext = "\u2217"; return "OP";
break;
case 1929: yy_.yytext = "\u002A"; return "OP";
break;
case 1930: yy_.yytext = "\u219D"; return "OPS";
break;
case 1931: yy_.yytext = "\u219C"; return "OPS";
break;
case 1932:return "ARRAYOPTS";
break;
case 1933:return "ARRAY";
break;
case 1934: yy_.yytext = yy_.yytext.slice(1); return "F";
break;
case 1935: yy_.yytext = "\u2246"; return "OP";
break;
case 1936: yy_.yytext = "\u224A"; return "OP";
break;
case 1937: yy_.yytext = "\u2248"; return "OP";
break;
case 1938: yy_.yytext = "\u299C"; return "OP";
break;
case 1939: yy_.yytext = "\u2220"; return "OP";
break;
case 1940: yy_.yytext = "\u2A3F"; return "OP";
break;
case 1941: yy_.yytext = "\u0391"; return "A";
break;
case 1942: yy_.yytext = "\u03B1"; return "A";
break;
case 1943: yy_.yytext = "\u224C"; return "OP";
break;
case 1944: this.pushState("TEXTARG"); return "ALIGN";
break;
case 1945: yy_.yytext = "\u2135"; return "A";
break;
case 1946: yy_.yytext = "\u22F0"; return "OP";
break;
case 1947: yy_.yytext = "\u212B"; return "A";
break;
case 1948:return "A";
break;
case 1949: yy_.yytext = "\u0025"; return "OP";
break;
case 1950: yy_.yytext = "\u0023"; return "OP";
break;
case 1951: yy_.yytext = "\u0026"; return "OP";
break;
case 1952: yy_.yytext = "\u0024"; return "A";
break;
case 1953: yy_.yytext = "\u007D"; return "OPFS";
break;
case 1954: yy_.yytext = "\u007B"; return "OPFS";
break;
case 1955:return "NEGSPACE";
break;
case 1956:return "MEDSPACE";
break;
case 1957:return "THICKSPACE";
break;
case 1958:return "THINSPACE";
break;
case 1959: yy_.yytext = "\u005F"; return "OPS";
break;
case 1960: yy_.yytext = "\u2016"; return "OPFS";
break;
case 1961: yy_.yytext = "\u005E"; return "OPS";
break;
case 1962: yy_.yytext = "\u0302"; return "OPS";
break;
case 1963: yy_.yytext = "\u2057"; return "OPP";
break;
case 1964: yy_.yytext = "\u2034"; return "OPP";
break;
case 1965: yy_.yytext = "\u2033"; return "OPP";
break;
case 1966: yy_.yytext = "\u2032"; return "OPP";
break;
case 1967:return "HIGH_SURROGATE";
break;
case 1968:return "LOW_SURROGATE";
break;
case 1969:return "BMP_CHARACTER";
break;
}
},
rules: [/^(?:\s*\[)/,/^(?:.)/,/^(?:([^\\\]]|(\\[\\\]]))+)/,/^(?:\])/,/^(?:\s*\{)/,/^(?:([^\\\}]|(\\[\\\}]))+)/,/^(?:\})/,/^(?:\])/,/^(?:\s+)/,/^(?:\{)/,/^(?:\})/,/^(?:\^)/,/^(?:_)/,/^(?:\.)/,/^(?:&)/,/^(?:\\\\)/,/^(?:$)/,/^(?:[0-9]+(?:\.[0-9]+)?|[\u0660-\u0669]+(?:\u066B[\u0660-\u0669]+)?|(?:\uD835[\uDFCE-\uDFD7])+|(?:\uD835[\uDFCE-\uDFD7])+|(?:\uD835[\uDFD8-\uDFE1])+|(?:\uD835[\uDFE2-\uDFEB])+|(?:\uD835[\uDFEC-\uDFF5])+|(?:\uD835[\uDFF6-\uDFFF])+)/,/^(?:\\Zeta)/,/^(?:\\zeta)/,/^(?:\\xrightleftharpoons)/,/^(?:\\xRightarrow)/,/^(?:\\xrightarrow)/,/^(?:\\xmapsto)/,/^(?:\\xleftrightharpoons)/,/^(?:\\xLeftrightarrow)/,/^(?:\\xleftrightarrow)/,/^(?:\\xLeftarrow)/,/^(?:\\xleftarrow)/,/^(?:\\Xi)/,/^(?:\\xi)/,/^(?:\\xhookrightarrow)/,/^(?:\\xhookleftarrow)/,/^(?:\\wr)/,/^(?:\\wp)/,/^(?:\\widevec)/,/^(?:\\widetilde)/,/^(?:\\widehat)/,/^(?:\\widecheck)/,/^(?:\\widebar)/,/^(?:\\wedgeq)/,/^(?:\\Wedge)/,/^(?:\\wedge)/,/^(?:\\Vvert)/,/^(?:\\Vvdash)/,/^(?:\\volintegral)/,/^(?:\\verymuchless)/,/^(?:\\verymuchgreater)/,/^(?:\\Vert)/,/^(?:\\vert)/,/^(?:\\veebar)/,/^(?:\\Vee)/,/^(?:\\vee)/,/^(?:\\vec)/,/^(?:\\vdots)/,/^(?:\\VDash)/,/^(?:\\Vdash)/,/^(?:\\vDash)/,/^(?:\\vdash)/,/^(?:\\Vbar)/,/^(?:\\vartriangleright)/,/^(?:\\vartriangleleft)/,/^(?:\\vartriangle)/,/^(?:\\vartheta)/,/^(?:\\varsupsetneq)/,/^(?:\\varsubsetneqq)/,/^(?:\\varsubsetneqq)/,/^(?:\\varsubsetneq)/,/^(?:\\varsigma)/,/^(?:\\varrho)/,/^(?:\\varpropto)/,/^(?:\\varpi)/,/^(?:\\varphi)/,/^(?:\\varnothing)/,/^(?:\\varkappa)/,/^(?:\\varepsilon)/,/^(?:\\Uuparrow)/,/^(?:\\upuparrows)/,/^(?:\\upslopeellipsis)/,/^(?:\\Upsilon)/,/^(?:\\upsilon)/,/^(?:\\uplus)/,/^(?:\\upint)/,/^(?:\\upharpoonright)/,/^(?:\\upharpoonright)/,/^(?:\\upharpoonleft)/,/^(?:\\upharpoonleft)/,/^(?:\\UpEquilibrium)/,/^(?:\\Updownarrow)/,/^(?:\\updownarrow)/,/^(?:\\UpArrowBar)/,/^(?:\\Uparrow)/,/^(?:\\uparrow)/,/^(?:\\unrhd)/,/^(?:\\unlhd)/,/^(?:\\Union)/,/^(?:\\union)/,/^(?:\\underset)/,/^(?:\\underoverset)/,/^(?:\\underline)/,/^(?:\\underbrace)/,/^(?:\\udots)/,/^(?:\u2ADD\u0338)/,/^(?:\u2ACB\uFE00)/,/^(?:\u2AB0\u0338)/,/^(?:\u2AAF\u0338)/,/^(?:\u2AA2\u0338)/,/^(?:\u2AA1\u0338)/,/^(?:\u2A7E\u0338)/,/^(?:\u2A7D\u0338)/,/^(?:\u29D0\u0338)/,/^(?:\u29CF\u0338)/,/^(?:\u2290\u0338)/,/^(?:\u228F\u0338)/,/^(?:\u228B\uFE00)/,/^(?:\u228A\uFE00)/,/^(?:\u2283\u20D2)/,/^(?:\u2282\u20D2)/,/^(?:\u227F\u0338)/,/^(?:\u226B\u0338)/,/^(?:\u226A\u0338)/,/^(?:\u2269\uFE00)/,/^(?:\u2268\uFE00)/,/^(?:\u2266\u0338)/,/^(?:\u224F\u0338)/,/^(?:\u224E\u0338)/,/^(?:\u2242\u0338)/,/^(?:\u223D\u0331)/,/^(?:\u2237\u2248)/,/^(?:\u2237\u223C)/,/^(?:\u2237\u2212)/,/^(?:\u2236\u2248)/,/^(?:\u2236\u223C)/,/^(?:\u2212\u2237)/,/^(?:\u007C\u007C\u007C)/,/^(?:\u007C\u007C)/,/^(?:\u003E\u003D)/,/^(?:\u003D\u2237)/,/^(?:\u003D\u2237)/,/^(?:\u003D\u003D)/,/^(?:\u003C\u003E)/,/^(?:\u003C\u003D)/,/^(?:\u003A\u003D)/,/^(?:\u002F\u003D)/,/^(?:\u002F\u002F)/,/^(?:\u002E\u002E\u002E)/,/^(?:\u002E\u002E)/,/^(?:\u002D\u003E)/,/^(?:\u002D\u003D)/,/^(?:\u002D\u002D)/,/^(?:\u002B\u003D)/,/^(?:\u002B\u002B)/,/^(?:\u002A\u003D)/,/^(?:\u002A\u002A)/,/^(?:\u0026\u0026)/,/^(?:\u0021\u003D)/,/^(?:\u0021\u0021)/,/^(?:\\u)/,/^(?:\\twoheadrightarrowtail)/,/^(?:\\twoheadrightarrow)/,/^(?:\\twoheadleftarrow)/,/^(?:\\truestate)/,/^(?:\\tripleintegral)/,/^(?:\\trianglerighteq)/,/^(?:\\triangleright)/,/^(?:\\triangleq)/,/^(?:\\trianglelefteq)/,/^(?:\\triangleleft)/,/^(?:\\triangledown)/,/^(?:\\triangle)/,/^(?:\\towa)/,/^(?:\\tosa)/,/^(?:\\top)/,/^(?:\\tooltip)/,/^(?:\\tona)/,/^(?:\\toggle)/,/^(?:\\toea)/,/^(?:\\to)/,/^(?:\\timesb)/,/^(?:\\times)/,/^(?:\\tildetrpl)/,/^(?:\\tilde)/,/^(?:\\thinspace)/,/^(?:\\thickspace)/,/^(?:\\thicksim)/,/^(?:\\thickapprox)/,/^(?:\\Theta)/,/^(?:\\theta)/,/^(?:\\therefore)/,/^(?:\\tfrac)/,/^(?:\\textvartheta)/,/^(?:\\texttimes)/,/^(?:\\texttildelow)/,/^(?:\\textTheta)/,/^(?:\\texttheta)/,/^(?:\\textstyle)/,/^(?:\\textsize)/,/^(?:\\textquotesingle)/,/^(?:\\textquotedblright)/,/^(?:\\textquotedblleft)/,/^(?:\\textperiodcentered)/,/^(?:\\textordmasculine)/,/^(?:\\textordfeminine)/,/^(?:\\textdollar)/,/^(?:\\textdegree)/,/^(?:\\textdaggerdbl)/,/^(?:\\
conditions: {"OPTARG":{"rules":[7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,139,140,141,142,143,144,145,146,147,148,149,150,151,152,153,154,155,156,157,158,159,160,161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233,234,235,236,237,238,239,240,241,242,243,244,245,246,247,248,249,250,251,252,253,254,255,256,257,258,259,260,261,262,263,264,265,266,267,268,269,270,271,272,273,274,275,276,277,278,279,280,281,282,283,284,285,286,287,288,289,290,291,292,293,294,295,296,297,298,299,300,301,302,303,304,305,306,307,308,309,310,311,312,313,314,315,316,317,318,319,320,321,322,323,324,325,326,327,328,329,330,331,332,333,334,335,336,337,338,339,340,341,342,343,344,345,346,347,348,349,350,351,352,353,354,355,356,357,358,359,360,361,362,363,364,365,366,367,368,369,370,371,372,373,374,375,376,377,378,379,380,381,382,383,384,385,386,387,388,389,390,391,392,393,394,395,396,397,398,399,400,401,402,403,404,405,406,407,408,409,410,411,412,413,414,415,416,417,418,419,420,421,422,423,424,425,426,427,428,429,430,431,432,433,434,435,436,437,438,439,440,441,442,443,444,445,446,447,448,449,450,451,452,453,454,455,456,457,458,459,460,461,462,463,464,465,466,467,468,469,470,471,472,473,474,475,476,477,478,479,480,481,482,483,484,485,486,487,488,489,490,491,492,493,494,495,496,497,498,499,500,501,502,503,504,505,506,507,508,509,510,511,512,513,514,515,516,517,518,519,520,521,522,523,524,525,526,527,528,529,530,531,532,533,534,535,536,537,538,539,540,541,542,543,544,545,546,547,548,549,550,551,552,553,554,555,556,557,558,559,560,561,562,563,564,565,566,567,568,569,570,571,572,573,574,575,576,577,578,579,580,581,582,583,584,585,586,587,588,589,590,591,592,593,594,595,596,597,598,599,600,601,602,603,604,605,606,607,608,609,610,611,612,613,614,615,616,617,618,619,620,621,622,623,624,625,626,627,628,629,630,631,632,633,634,635,636,637,638,639,640,641,642,643,644,645,646,647,648,649,650,651,652,653,654,655,656,657,658,659,660,661,662,663,664,665,666,667,668,669,670,671,672,673,674,675,676,677,678,679,680,681,682,683,684,685,686,687,688,689,690,691,692,693,694,695,696,697,698,699,700,701,702,703,704,705,706,707,708,709,710,711,712,713,714,715,716,717,718,719,720,721,722,723,724,725,726,727,728,729,730,731,732,733,734,735,736,737,738,739,740,741,742,743,744,745,746,747,748,749,750,751,752,753,754,755,756,757,758,759,760,761,762,763,764,765,766,767,768,769,770,771,772,773,774,775,776,777,778,779,780,781,782,783,784,785,786,787,788,789,790,791,792,793,794,795,796,797,798,799,800,801,802,803,804,805,806,807,808,809,810,811,812,813,814,815,816,817,818,819,820,821,822,823,824,825,826,827,828,829,830,831,832,833,834,835,836,837,838,839,840,841,842,843,844,845,846,847,848,849,850,851,852,853,854,855,856,857,858,859,860,861,862,863,864,865,866,867,868,869,870,871,872,873,874,875,876,877,878,879,880,881,882,883,884,885,886,887,888,889,890,891,892,893,894,895,896,897,898,899,900,901,902,903,904,905,906,907,908,909,910,911,912,913,914,915,916,917,918,919,920,921,922,923,924,925,926,927,928,929,930,931,932,933,934,935,936,937,938,939,940,941,942,943,944,945,946,947,948,949,950,951,952,953,954,955,956,957,958,959,960,961,962,963,964,965,966,967,968,969,970,971,972,973,974,975,976,977,978,979,980,981,982,983,984,985,986,987,988,989,990,991,992,993,994,995,996,997,998,999,1000,1001,1002,1003,1004,1005,1006,1007,1008,1009,1010,1011,1012,1013,1014,1015,1016,1017,1018,1019,1020,1021,1022,1023,1024,1025,1026,1027,1028,1029,1030,1031,1032,1033,1034,1035,1036,10
};
return lexer;
})();
parser.lexer = lexer;
function Parser () {
this.yy = {};
}
Parser.prototype = parser;parser.Parser = Parser;
return new Parser;
})();