/itexToMML

/*             itex2MML 1.5.0

 *   itex2MML.l last modified 12/8/2013

 */

%{

%}

%option noyywrap

%x MATH ATTRIBUTELIST BBOLD FRAKTUR CALLIGRAPHIC ROMAN PLAINTEXT INT1 INT2 INT3 MATHENV SVGENV SVGEND OPTARG ARRAYOPTIONS COLOPTS TEXTOPTARG TEXTOPTARG1 RAISEBOX1 RAISEBOX2

%{

#include <string.h>

#define YYSTYPE char *

#include "y.tab.h"

#include "itex2MML.h"

#define YY_NEVER_INTERACTIVE 1

#define YY_INPUT(buffer,result,max_size) result = s_itex2MML_read (buffer, max_size)

static int s_itex2MML_read (char * buffer, int max_size);

#define yylval itex2MML_yylval

#define itex2MML_optarg_depth 100

extern char * yylval;

int itex2MML_lineno = 1;

int itex2MML_inoptarg[itex2MML_optarg_depth];

int itex2MML_optarg_ind = 0;

int itex2MML_env_start = 0;

#define YY_USER_ACTION itex2MML_capture_eqn_src();

# define itex2MML_eqn_bufsize 131072

char itex2MML_eqn_src[itex2MML_eqn_bufsize];

char * itex2MML_eqn_end = itex2MML_eqn_src;

int itex2MML_rowposn = 0;

int itex2MML_displaymode = 0;

%} 

%%

%{ if (itex2MML_rowposn==1) itex2MML_rowposn=0;

   if (itex2MML_rowposn==2) itex2MML_rowposn=1;

%}

<INITIAL>"$"{1,2}   BEGIN(MATH); itex2MML_inoptarg[0] = 0; itex2MML_rowposn=2; if (yyleng==2) { itex2MML_displaymode=1; return STARTDMATH;}; itex2MML_displaymode=0; return STARTMATH;

<INITIAL>"\\[" BEGIN(MATH); itex2MML_inoptarg[0] = 0; itex2MML_rowposn=2; itex2MML_displaymode=1; return STARTDMATH;

<INITIAL>EOF    return 0;

<INITIAL>"\n" {itex2MML_lineno++; yylval=itex2MML_copy_string(yytext); return CHAR;}

<INITIAL>.     {yylval=itex2MML_copy_string(yytext); return CHAR;}

<MATH>{

"$"{1,2} |

"\\]"           {itex2MML_eqn_src[itex2MML_eqn_end-itex2MML_eqn_src-yyleng]=0; itex2MML_eqn_end=itex2MML_eqn_src; yylval=itex2MML_copy_escaped(itex2MML_eqn_src); BEGIN(INITIAL); return ENDMATH;}

"^"            return SUP;

"_"            return SUB; 

"{"[\t\r\n ]*"}"   return EMPTYMROW;

"{"            {itex2MML_rowposn = 2; if(itex2MML_inoptarg[itex2MML_optarg_ind] != 0) itex2MML_inoptarg[itex2MML_optarg_ind]++; return MROWOPEN;}

"}"            {if(itex2MML_inoptarg[itex2MML_optarg_ind] != 0) itex2MML_inoptarg[itex2MML_optarg_ind]--; return MROWCLOSE;}

"\\left"       itex2MML_rowposn=2; return LEFT;

"\\right"      return RIGHT;

"\\big"   |

"\\bigr"  {return BIG;}

"\\Big"   |

"\\Bigr"  {return BBIG;}

"\\bigg"  |

"\\biggr" {return BIGG;}

"\\Bigg"  |

"\\Biggr" {return BBIGG;}

"\\bigl"  {return BIGL;}

"\\Bigl"  {return BBIGL;}

"\\biggl" {return BIGGL;}

"\\Biggl" {return BBIGGL;}

"\\mathrlap"  {return RLAP;}

"\\mathllap"  {return LLAP;}

"\\mathclap"  {return CLAP;}

"\\rlap" |

"\\llap" |

"\\ulap" |

"\\dlap"               {/* Ignore */ ;}

"&" |

"&"         {itex2MML_rowposn=2; return COLSEP;}

"\\&"           {yylval=itex2MML_copy_string("&"); return MI;}

"\\$"           {yylval=itex2MML_copy_string("$"); return MI;}

"\\%"           {yylval=itex2MML_copy_string("%"); return MI;}

"\\\\"          itex2MML_rowposn=2; return ROWSEP;

[a-zA-Z]+       {yylval=itex2MML_copy_string(yytext); return MI;}

[0-9]{1,3}(,[0-9]{3,3})*(\.[0-9]+)? |

[0-9]*[\.][0-9]+                   |

[0-9]+           {yylval=itex2MML_copy_string(yytext); return MN;}

"\\infty"   |

"\\infinity"     {yylval=itex2MML_copy_string("∞"); return MN;}

"("   |

"["             {yylval=itex2MML_copy_string(yytext); return LEFTDELIM;}

")"   {yylval=itex2MML_copy_string(yytext); return RIGHTDELIM;}

"]"   {if(itex2MML_inoptarg[itex2MML_optarg_ind]==1 && itex2MML_optarg_ind > 0) {itex2MML_inoptarg[itex2MML_optarg_ind]=0; itex2MML_optarg_ind--; return OPTARGCLOSE;} else {yylval=itex2MML_copy_string(yytext); return RIGHTDELIM;}}

"\\lbrace" |

"\\{"           {yylval=itex2MML_copy_string("{"); return LEFTDELIM;}

"\\rbrace" |

"\\}"           {yylval=itex2MML_copy_string("}"); return RIGHTDELIM;}

"\\vert" |

"|"             {yylval=itex2MML_copy_string("∣"); return OTHERDELIM;}

"\\Vert" |

"\\|"           {yylval=itex2MML_copy_string("∥"); return OTHERDELIM;}

"\\setminus"   {yylval=itex2MML_copy_string("∖"); return MO;}

"\\backslash"   {yylval=itex2MML_copy_string("\"); return MO;}

"\\smallsetminus"   {yylval=itex2MML_copy_string("﹨"); return MOF;}

"\\sslash" {yylval=itex2MML_copy_string("⫽"); return MO;}

"\\lfloor" |

"\\lceil"  |

"\\lmoustache" |

"\\lang"   |

"\\langle"      {yylval=itex2MML_copy2(yytext, ";"); if (yylval != itex2MML_empty_string) yylval[0]='&'; return LEFTDELIM;}

"\\llangle"     {yylval=itex2MML_copy_string("⟪"); return LEFTDELIM;}

"\\rfloor" |

"\\rceil"  |

"\\rmoustache" |

"\\rang"   |

"\\rangle"      {yylval=itex2MML_copy2(yytext, ";"); if (yylval != itex2MML_empty_string) yylval[0]='&'; return RIGHTDELIM;}

"\\rrangle"     {yylval=itex2MML_copy_string("⟫"); return RIGHTDELIM;}

"/"             {yylval=itex2MML_copy_string(yytext); return OTHERDELIM;}

"\\uparrow"   |

"\\downarrow" |

"\\updownarrow" {yylval=itex2MML_copy2(yytext, ";"); if (yylval != itex2MML_empty_string) yylval[0]='&'; return OTHERDELIM;}

"."             {yylval=itex2MML_copy_string(yytext); return PERIODDELIM;}

"-"    {if (itex2MML_rowposn==1) return UNARYMINUS; else {yylval=itex2MML_copy_string("−"); return MO;}}

"+"    {if (itex2MML_rowposn==1) return UNARYPLUS; else {yylval=itex2MML_copy_string("+"); return MO;}}

"\\#" {yylval=itex2MML_copy_string("#"); return MOL;}

","   |

":"   |

"!"   |

"="   |

"~"   |

";"   |

"?"   |

"#"   |

"`"   |

"*"        {yylval=itex2MML_copy_string(yytext); return MOL;}

"\\prime"  {yylval=itex2MML_copy_string("′"); return MOLL;}

"'"        {yylval=itex2MML_copy_string("′"); return MOL;}

"''"     {yylval=itex2MML_copy_string("″"); return MOL;}

"'''"  {yylval=itex2MML_copy_string("‴"); return MOL;}

"''''"  {yylval=itex2MML_copy_string("⁗"); return MOL;}

"\\alpha"   |

"\\beta" |

"\\gamma" |

"\\delta" |

"\\zeta" |

"\\eta"  |

"\\theta" |

"\\iota"  |

"\\kappa" |

"\\lambda" |

"\\mu"     |

"\\nu"    |

"\\xi"   |

"\\pi"     |

"\\rho"   |

"\\sigma"  |

"\\tau"   |

"\\upsilon" |

"\\chi"  |

"\\psi"  |

"\\omega" |

"\\backepsilon"   |

"\\varkappa" |

"\\varpi" |

"\\varrho" |

"\\varsigma" |

"\\vartheta"      {yylval=itex2MML_copy2(yytext, ";"); if (yylval != itex2MML_empty_string) yylval[0]='&'; return MI;}

"\\varepsilon" {yylval=itex2MML_copy_string("ε"); return MI;}

"\\phi"  {yylval=itex2MML_copy_string("ϕ"); return MI;}

"\\varphi"  {yylval=itex2MML_copy_string("φ"); return MI;}

"\\arccos"  |

"\\arcsin"  |

"\\arctan"  |

"\\arg"     |

"\\cos"     |

"\\cosh"    |

"\\cot"     |

"\\coth"    |

"\\csc"     |

"\\deg"     |

"\\dim"     |

"\\exp"     |

"\\hom"     |

"\\ker"     |

"\\lg"      |

"\\ln"      |

"\\log"     |

"\\sec"     |

"\\sin"     |

"\\sinh"    |

"\\tan"     |

"\\tanh"    {yylval=itex2MML_copy_string(yytext+1); return MI;}

"\\det"     |

"\\gcd"     |

"\\inf"     |

"\\lim"     |

"\\liminf"  |

"\\limsup"  |

"\\max"     |

"\\min"     |

"\\Pr"      |

"\\sup"    {yylval=itex2MML_copy_string(yytext+1); return MIB;}

"\\omicron"  {yylval=itex2MML_copy_string("ℴ"); return MI;}

"\\epsilon"  {yylval=itex2MML_copy_string("ε"); return MI;}

"\\cdot"   {yylval=itex2MML_copy_string("⋅"); return MO;}

"\\Alpha"   |

"\\Beta" |

"\\Delta"  |

"\\Gamma"  |

"\\digamma"  |

"\\Lambda" |

"\\Pi"     |

"\\Phi"    |

"\\Psi"    |

"\\Sigma"  |

"\\Theta"  |

"\\Xi"     |

"\\Zeta" |

"\\Eta"  |

"\\Iota"  |

"\\Kappa" |

"\\Mu"     |

"\\Nu"    |

"\\Rho"   |

"\\Tau"  | 

"\\mho"  | 

"\\Omega"     {yylval=itex2MML_copy2(yytext, ";"); if (yylval != itex2MML_empty_string) yylval[0]='&'; return MI;}

"\\Upsilon" |

"\\Upsi" {yylval=itex2MML_copy_string("ϒ"); return MI;}

"\\iff" |

"\\Longleftrightarrow"  {yylval=itex2MML_copy_string("⇔"); return MOL;}

"\\Leftrightarrow"  {yylval=itex2MML_copy_string("⇔"); return MOL;}

"\\impliedby" |

"\\Leftarrow"   {yylval=itex2MML_copy_string("⇐"); return MOL;}

"\\implies" |

"\\Rightarrow"   {yylval=itex2MML_copy_string("⇒"); return MOL;}

"\\hookleftarrow" {yylval=itex2MML_copy_string("↩"); return MOL;}

"\\embedsin" |

"\\hookrightarrow"  {yylval=itex2MML_copy_string("↪"); return MOL;}

"\\longleftarrow"   {yylval=itex2MML_copy_string("⟵"); return MOL;}

"\\longrightarrow"  {yylval=itex2MML_copy_string("⟶"); return MOL;}

"\\leftarrow"   {yylval=itex2MML_copy_string("←"); return MOL;}

"\\to"    |

"\\rightarrow"  {yylval=itex2MML_copy_string("→"); return MOL;}

"\\leftrightarrow"  {yylval=itex2MML_copy_string("↔"); return MOL;}

"\\mapsto"  |

"\\map"       {yylval=itex2MML_copy_string("↦"); return MOL;}

"\\nearrow" |

"\\nearr"    {yylval=itex2MML_copy_string("↗"); return MOL;}

"\\nwarrow" |

"\\nwarr"     {yylval=itex2MML_copy_string("↖"); return MOL;}

"\\searrow" |

"\\searr"     {yylval=itex2MML_copy_string("↘"); return MOL;}

"\\swarrow" |

"\\swarr"     {yylval=itex2MML_copy_string("↙"); return MOL;}

"\\neArrow" |

"\\neArr"    {yylval=itex2MML_copy_string("⇗"); return MOL;}

"\\nwArrow" |

"\\nwArr"     {yylval=itex2MML_copy_string("⇖"); return MOL;}

"\\seArrow" |

"\\seArr"     {yylval=itex2MML_copy_string("⇘"); return MOL;}

"\\swArrow" |

"\\swArr"     {yylval=itex2MML_copy_string("⇙"); return MOL;}

"\\darr"     {yylval=itex2MML_copy_string("↓"); return MOL;}

"\\Downarrow" {yylval=itex2MML_copy_string("⇓"); return MOL;}

"\\uparr"    {yylval=itex2MML_copy_string("↑"); return MOL;}

"\\Uparrow" {yylval=itex2MML_copy_string("⇑"); return MOL;}

"\\downuparrow" |

"\\duparr" |

"\\updarr"  {yylval=itex2MML_copy_string("↕"); return MOL;}

"\\Updownarrow"  {yylval=itex2MML_copy_string("⇕"); return MOL;}

"\\leftsquigarrow"       {yylval=itex2MML_copy_string("⇜"); return MOL;}

"\\rightsquigarrow"      {yylval=itex2MML_copy_string("⇝"); return MOL;}

"\\dashleftarrow"        {yylval=itex2MML_copy_string("⤎"); return MOL;}

"\\dashrightarrow"       {yylval=itex2MML_copy_string("⤏"); return MOL;}

"\\curvearrowbotright"   {yylval=itex2MML_copy_string("⤻"); return MOL;}

"\\righttoleftarrow"     {yylval=itex2MML_copy_string("⟲"); return MOL;}

"\\lefttorightarrow"     {yylval=itex2MML_copy_string("⟳"); return MOL;}

"\\leftrightsquigarrow" |

"\\upuparrows"          |

"\\rightleftarrows"     |

"\\rightrightarrows"    |

"\\curvearrowleft"      |

"\\curvearrowright"     |

"\\downdownarrows"      |

"\\leftarrowtail"       |

"\\rightarrowtail"      |

"\\leftleftarrows"      |

"\\leftrightarrows"     |

"\\Lleftarrow"          |

"\\Rrightarrow"         |

"\\looparrowleft"       |

"\\looparrowright"      |

"\\Lsh"                 |

"\\Rsh"                 |

"\\circlearrowleft"     |

"\\circlearrowright"    |

"\\twoheadleftarrow"    |

"\\twoheadrightarrow"   |

"\\nLeftarrow"          |

"\\nleftarrow"          |

"\\nLeftrightarrow"     |

"\\nleftrightarrow"     |

"\\nRightarrow"         |

"\\nrightarrow"         |

"\\rightharpoonup"      |

"\\rightharpoondown"    |

"\\leftharpoonup"       |

"\\leftharpoondown"     |

"\\downharpoonleft"     |

"\\downharpoonright"    |

"\\leftrightharpoons"   |

"\\rightleftharpoons"   |

"\\upharpoonleft"       |

"\\upharpoonright"   {yylval=itex2MML_copy2(yytext, ";"); if (yylval != itex2MML_empty_string) yylval[0]='&'; return MOL;}

"\\xrightarrow"        |

"\\xleftarrow"         |

"\\xleftrightarrow"    |

"\\xLeftarrow"         |

"\\xRightarrow"        |

"\\xLeftrightarrow"    |

"\\xleftrightharpoons" |

"\\xrightleftharpoons" |

"\\xhookleftarrow"     |

"\\xhookrightarrow"    |

"\\xmapsto" {BEGIN(OPTARG); char * s1 = itex2MML_copy_string(yytext+2); yylval = itex2MML_copy3("&", s1, ";"); itex2MML_free_string(s1); return XARROW;}

"\\dots" |

"\\ldots"  {yylval=itex2MML_copy_string("…"); return MI;}

"\\cdots"   {yylval=itex2MML_copy_string("⋯"); return MI;}

"\\ddots"   {yylval=itex2MML_copy_string("⋱"); return MI;}

"\\udots"   {yylval=itex2MML_copy_string("⋰"); return MI;}

"\\vdots"   {yylval=itex2MML_copy_string("⋮"); return MI;}

"\\colon"   {yylval=itex2MML_copy_string(":"); return MOR;}

"\\cup"  |

"\&union;" |

"\\union"          {yylval=itex2MML_copy_string("∪"); return MOL;}

"\\bigcup" |

"\\Union"  |

"\⋃"      {yylval=itex2MML_copy_string("⋃"); return MOB;}

"\\cap"  |

"\\intersection"          {yylval=itex2MML_copy_string("∩"); return MOL;}

"\\bigcap" |

"\\Intersection"       {yylval=itex2MML_copy_string("⋂"); return MOB;}

"\\in"           {yylval=itex2MML_copy_string("∈"); return MOL;}

 /* For some reason, Firefox does not put in the right spacing around some of these operators

  * unless we ask for it, explicitly.

  */

"\\coloneqq"     {yylval=itex2MML_copy_string("≔"); return MOL;}

"\\Coloneqq"     {yylval=itex2MML_copy_string("⩴"); return MOS;}

"\\coloneq"      {yylval=itex2MML_copy_string("∶−"); return MOS;}

"\\Coloneq"      {yylval=itex2MML_copy_string("∷−"); return MOS;}

"\\eqqcolon"     {yylval=itex2MML_copy_string("≕"); return MOS;}

"\\Eqqcolon"     {yylval=itex2MML_copy_string("=∷"); return MOS;}

"\\eqcolon"      {yylval=itex2MML_copy_string("∹"); return MOS;}

"\\Eqcolon"      {yylval=itex2MML_copy_string("−∷"); return MOS;}

"\\colonapprox"  {yylval=itex2MML_copy_string("∶≈"); return MOS;}

"\\Colonapprox"  {yylval=itex2MML_copy_string("∷≈"); return MOS;}

"\\colonsim"     {yylval=itex2MML_copy_string("∶∼"); return MOS;}

"\\Colonsim"     {yylval=itex2MML_copy_string("∷∼"); return MOS;}

"\\dblcolon"     {yylval=itex2MML_copy_string("∷"); return MOL;}

"\\ast"  |

"\\Cap"  |

"\\Cup"  |

"\\circledast"  |

"\\circledcirc" |

"\\curlyvee"    |

"\\curlywedge"  |

"\\divideontimes" |

"\\dotplus" |

"\\leftthreetimes" |

"\\rightthreetimes" |

"\\veebar" |

"\\gt"   |

"\\lt"   |

"\\approxeq"   |

"\\backsim"   |

"\\backsimeq"   |

"\\barwedge"    |

"\\doublebarwedge" |

"\\subset"  |

"\\subseteq" |

"\\subseteqq" |

"\\subsetneq" |

"\\subsetneqq" |

"\\varsubsetneq" |

"\\varsubsetneqq" |

"\\prec"     |

"\\parallel"  |

"\\nparallel" |

"\\shortparallel" |

"\\nshortparallel" |

"\\perp"  |

"\\eqslantgtr" |

"\\eqslantless" |

"\\gg" |

"\\ggg" |

"\\geq" |

"\\geqq" |

"\\geqslant" |

"\\gneq" |

"\\gneqq" |

"\\gnapprox" |

"\\gnsim" |

"\\gtrapprox" |

"\\ge"  |

"\\le"  |

"\\leq" |

"\\leqq" |

"\\leqslant" |

"\\lessapprox" |

"\\lessdot" |

"\\lesseqgtr" |

"\\lesseqqgtr" |

"\\lessgtr" |

"\\lneq" |

"\\lneqq" |

"\\lnsim" |

"\\lvertneqq" |

"\\gtrsim" |

"\\gtrdot" |

"\\gtreqless" |

"\\gtreqqless" |

"\\gtrless" |

"\\gvertneqq" |

"\\lesssim" |

"\\lnapprox" |

"\\nsubset" |

"\\nsubseteq" |

"\\nsubseteqq" |

"\\notin" |

"\\ni" |

"\\notni" |

"\\nmid" |

"\\nshortmid" |

"\\preceq" |

"\\npreceq" |

"\\ll" |

"\\ngeq" |

"\\ngeqq" |

"\\ngeqslant" |

"\\nleq" |

"\\nleqq" |

"\\nleqslant" |

"\\nless" |

"\\supset" |

"\\supseteq" |

"\\supseteqq" |

"\\supsetneq" |

"\\supsetneqq" |

"\\varsupsetneq" |

"\\varsupsetneqq" |

"\\approx" |

"\\asymp" |

"\\bowtie" |

"\\dashv" |

"\\Vdash" |

"\\vDash" |

"\\VDash" |

"\\vdash" |

"\\Vvdash" |

"\\models" |

"\\sim" |

"\\simeq" |

"\\nsim" |

"\\smile" |

"\\triangle" |

"\\triangledown" |

"\\triangleleft" |

"\\cong" |

"\\succ" |

"\\nsucc" |

"\\ngtr" |

"\\nsupset" |

"\\nsupseteq" |

"\\propto" |

"\\equiv" |

"\\nequiv" |

"\\frown" |

"\\triangleright" |

"\\ncong" |

"\\succeq" |

"\\succapprox" |

"\\succnapprox" |

"\\succcurlyeq" |

"\\succsim" |

"\\succnsim" |

"\\nsucceq" |

"\\nvDash" |

"\\nvdash" |

"\\nVDash" |

"\\amalg" |

"\\pm" |

"\\mp" |

"\\bigcirc" |

"\\wr" |

"\\odot" |

"\\uplus" |

"\\clubsuit" |

"\\spadesuit" |

"\\Diamond" |

"\\diamond" |

"\\sqcup" |

"\\sqcap" |

"\\sqsubset" |

"\\sqsubseteq" |

"\\sqsupset" |

"\\sqsupseteq" |

"\\Subset" |

"\\Supset" |

"\\ltimes" |

"\\div" |

"\\rtimes" |

"\\bot" |

"\\therefore" |

"\\thickapprox" |

"\\thicksim" |

"\\varpropto" |

"\\varnothing" |

"\\flat" |

"\\vee" |

"\\because" |

"\\between" |

"\\Bumpeq" |

"\\bumpeq" |

"\\circeq" |

"\\curlyeqprec" |

"\\curlyeqsucc" |

"\\doteq" |

"\\doteqdot" |

"\\eqcirc" |

"\\fallingdotseq" |

"\\multimap" |

"\\pitchfork" |

"\\precapprox" |

"\\precnapprox" |

"\\preccurlyeq" |

"\\precsim" |

"\\precnsim" |

"\\risingdotseq" |

"\\sharp" |

"\\bullet" |

"\\nexists" |

"\\dagger" |

"\\ddagger" |

"\\not" |

"\\top" |

"\\natural" |

"\\angle" |

"\\measuredangle" |

"\\backprime" |

"\\bigstar" |

"\\blacklozenge" |

"\\lozenge" |

"\\blacksquare" |

"\\blacktriangle" |

"\\blacktriangleleft" |

"\\blacktriangleright" |

"\\blacktriangledown" |

"\\ntriangleleft" |

"\\ntriangleright" |

"\\ntrianglelefteq" |

"\\ntrianglerighteq" |

"\\trianglelefteq" |

"\\trianglerighteq" |

"\\triangleq" |

"\\vartriangleleft" |

"\\vartriangleright" |

"\\forall" |

"\\bigtriangleup" |

"\\bigtriangledown" |

"\\nprec"  {yylval=itex2MML_copy2(yytext, ";"); if (yylval != itex2MML_empty_string) yylval[0]='&'; return MOL;}

"\\aleph" |

"\\beth" |

"\\eth" |

"\\ell" |

"\\hbar" |

"\\Im" |

"\\imath" |

"\\jmath" |

"\\wp" |

"\\Re" {yylval=itex2MML_copy2(yytext, ";"); if (yylval != itex2MML_empty_string) yylval[0]='&'; return MI;}

"\\Perp" |

"\\Vbar" {yylval=itex2MML_copy_string("⫫"); return MOL;}

"\\boxdot" {yylval=itex2MML_copy_string("⊡"); return MOL;}

"\\Box" |

"\\square" {yylval=itex2MML_copy_string("□"); return MOL;}

"\\emptyset" |

"\\empty" {yylval=itex2MML_copy_string("∅"); return MI;}

"\\exists" {yylval=itex2MML_copy_string("∃"); return MOL;}

"\\circ" {yylval=itex2MML_copy_string("∘"); return MOL;}

"\\rhd" {yylval=itex2MML_copy_string("⊳"); return MOL;}

"\\lhd" {yylval=itex2MML_copy_string("⊲"); return MOL;}

"\\lll" {yylval=itex2MML_copy_string("⋘"); return MOL;}

"\\unrhd" {yylval=itex2MML_copy_string("⊵"); return MOL;}

"\\unlhd" {yylval=itex2MML_copy_string("⊴"); return MOL;}

"\\Del" |

"\\nabla" {yylval=itex2MML_copy_string("∇"); return MOL;}

"\\sphericalangle" {yylval=itex2MML_copy_string("∢"); return MOL;}

"\\heartsuit" {yylval=itex2MML_copy_string("♡"); return MOL;}

"\\diamondsuit" {yylval=itex2MML_copy_string("♢"); return MOL;}

"\\partial" {yylval=itex2MML_copy_string("∂"); return MOL;}

"\\qed" {yylval=itex2MML_copy_string("▪"); return MO;}

"\\mod" {yylval=itex2MML_copy_string("mod"); return MOS;}

"\\pmod" {return PMOD;}

"\\bottom" {yylval=itex2MML_copy_string("⊥"); return MOL;}

"\\neg" {yylval=itex2MML_copy_string("¬"); return MOL;}

"\\neq" |

"\\ne"   {yylval=itex2MML_copy_string("≠"); return MOL;}

"\\shortmid" |

"\\mid"  {yylval=itex2MML_copy_string("∣"); return MOS;}

"\\int"    |

"\\integral"     {yylval=itex2MML_copy_string("∫"); return MOL;}

"\\iint"   |

"\\doubleintegral" {yylval=itex2MML_copy_string("∬"); return MOL;}

"\\iiint"   |

"\\tripleintegral" {yylval=itex2MML_copy_string("∭"); return MOL;}

"\\iiiint"   |

"\\quadrupleintegral" {yylval=itex2MML_copy_string("⨌"); return MOL;}

"\\oint"    |

"\\conint"  |

"\\contourintegral"   {yylval=itex2MML_copy_string("∮"); return MOL;}

"\\times"   {yylval=itex2MML_copy_string("×"); return MOL;}

"\\star"   {yylval=itex2MML_copy_string("⋆"); return MOL;}

"\\circleddash" |

"\\odash"   {yylval=itex2MML_copy_string("⊝"); return MOL;}

"\\intercal"   {yylval=itex2MML_copy_string("⊺"); return MOL;}

"\\smallfrown"   {yylval=itex2MML_copy_string("⌢"); return MOL;}

"\\smallsmile"   {yylval=itex2MML_copy_string("⌣"); return MOL;}

"\\boxminus" |

"\\minusb"   {yylval=itex2MML_copy_string("⊟"); return MOL;}

"\\boxplus" |

"\\plusb"   {yylval=itex2MML_copy_string("⊞"); return MOL;}

"\\boxtimes" |

"\\timesb"   {yylval=itex2MML_copy_string("⊠"); return MOL;}

"\\sum"          {yylval=itex2MML_copy_string("∑"); return MOB;}

"\\prod" |

"\\product"      {yylval=itex2MML_copy_string("∏"); return MOB;}

"\\coprod"  |

"\\coproduct"    {yylval=itex2MML_copy_string("∐"); return MOB;}

"\\otimes"       {yylval=itex2MML_copy_string("⊗"); return MOL;}

"\\Otimes"       {yylval=itex2MML_copy_string("⨷"); return MOL;}

"\\bigotimes"     {yylval=itex2MML_copy_string("⨂"); return MOL;}

"\\ominus"       {yylval=itex2MML_copy_string("⊖"); return MOL;}

"\\oslash"       {yylval=itex2MML_copy_string("⊘"); return MOL;}

"\\oplus"       {yylval=itex2MML_copy_string("⊕"); return MOL;}

"\\Oplus"   |

"\\bigoplus"    {yylval=itex2MML_copy_string("⨁"); return MOB;}

"\\bigodot"    {yylval=itex2MML_copy_string("⨀"); return MOB;}

"\\bigsqcup"    {yylval=itex2MML_copy_string("⨆"); return MOB;}

"\\bigsqcap"    {yylval=itex2MML_copy_string("⨅"); return MOB;}

"\\biginterleave" {yylval=itex2MML_copy_string("⫼"); return MOB;}

"\\biguplus"    {yylval=itex2MML_copy_string("⨄"); return MOB;}

"\\wedge"       {yylval=itex2MML_copy_string("∧"); return MOL;}

"\\Wedge"  |

"\\bigwedge"       {yylval=itex2MML_copy_string("⋀"); return MOB;}

"\\Vee"  |

"\\bigvee"       {yylval=itex2MML_copy_string("⋁"); return MOB;}

"\\invamp"  |

"\\parr"       {yylval=itex2MML_copy_string("⅋"); return MOL;}

"\\frac"         {return FRAC;}

"\\tfrac"         {return TFRAC;}

"\\binom"        {return BINOM;}

"\\tbinom"        {return TBINOM;}

"\\tensor"       {return TENSOR;}

"\\multiscripts" {return MULTI;}

"\\overbrace"     {return OVERBRACE;}

"\\underbrace"   {return UNDERBRACE;}

"\\underline"   {return UNDERLINE;}

"\\bar"          {return BAR;}

"\\overline" |

"\\closure" |

"\\widebar"      {return WIDEBAR;}

"\\vec"       {return VEC;} 

"\\widevec"   {return WIDEVEC;}

"\\dot"       {return DOT;}

"\\ddot"      {return DDOT;}

"\\dddot"      {return DDDOT;}

"\\ddddot"      {return DDDDOT;}

"\\tilde"       {return TILDE;} 

"\\widetilde"   {return WIDETILDE;}

"\\check"       {return CHECK;} 

"\\widecheck"   {return WIDECHECK;}

"\\hat"       {return HAT;} 

"\\widehat"   {return WIDEHAT;}

"\\underset"     {return UNDER;}

"\\stackrel" |

"\\overset"      {return OVER;}

"\\over"         {return TEXOVER;}

"\\atop"         {return TEXATOP;}

"\\underoverset"  {return UNDEROVER;}

"\\sqrt"         {BEGIN(OPTARG); return SQRT;}

"\\root"         {return ROOT;}

"\\space"        {BEGIN(INT1); return SPACE;}

"\\text"          {BEGIN(PLAINTEXT); return TEXTBOX;}

"\\statusline"    {BEGIN(PLAINTEXT); return STATLINE;}

"\\tooltip"       {BEGIN(PLAINTEXT); return TOOLTIP;}

"\\toggle"        {return TOGGLE;}

"\\mathraisebox"  {BEGIN(RAISEBOX1); return RAISEBOX;}

"\\fghilight" |

"\\fghighlight"   {BEGIN(ATTRIBUTELIST); return FGHIGHLIGHT;}

"\\bghilight" |

"\\bghighlight"   {BEGIN(ATTRIBUTELIST); return BGHIGHLIGHT;}

"\\color"        {BEGIN(ATTRIBUTELIST); return COLOR;}

"\\bgcolor"        {BEGIN(ATTRIBUTELIST); return BGCOLOR;}

"\\displaystyle"  {itex2MML_displaymode=1; itex2MML_rowposn=2; return DISPLAY;}

"\\textstyle"     {itex2MML_displaymode=0; itex2MML_rowposn=2; return TEXTSTY;}

"\\textsize"     {return TEXTSIZE;}

"\\scriptsize"     {return SCSIZE;}

"\\scriptscriptsize"     {return SCSCSIZE;}

"\\mathit"       {return ITALICS;}

"\\boldsymbol" |

"\\mathbf"       {return BOLD;}

"\\mathrm"       {BEGIN(ROMAN); return RM;}

"\\mathbb"       {BEGIN(BBOLD); return BB;}

"\\mathfrak" |

"\\mathfr"       {BEGIN(FRAKTUR); return FRAK;}

"\\slash"       {return SLASHED;}

"\\boxed"       {return BOXED;}

"\\mathcal"       {BEGIN(CALLIGRAPHIC); return CAL;}

"\\begin"        {itex2MML_env_start = 1; BEGIN(MATHENV); return BEGINENV;}

"\\end"        {BEGIN(MATHENV); return ENDENV;}

"\\substack"     {return SUBSTACK;}

"\\array"        {return ARRAY;}

"\\arrayopts"    {return ARRAYOPTS;}

"\\colalign"     {BEGIN(ATTRIBUTELIST); return COLALIGN;}

"\\collayout"   {BEGIN(ATTRIBUTELIST); return COLLAYOUT;}

"\\rowalign"     {BEGIN(ATTRIBUTELIST); return ROWALIGN;}

"\\align"     {BEGIN(ATTRIBUTELIST); return ALIGN;}

"\\equalrows"     {BEGIN(ATTRIBUTELIST); return EQROWS;}

"\\equalcols"     {BEGIN(ATTRIBUTELIST); return EQCOLS;}

"\\rowlines"     {BEGIN(ATTRIBUTELIST); return ROWLINES;}

"\\collines"     {BEGIN(ATTRIBUTELIST); return COLLINES;}

"\\frame"     {BEGIN(ATTRIBUTELIST); return FRAME;}

"\\padding"     {BEGIN(ATTRIBUTELIST); return PADDING;}

"\\rowopts"    {return ROWOPTS;}

"\\cellopts"   {return CELLOPTS;} 

"\\rowspan"     {BEGIN(ATTRIBUTELIST); return ROWSPAN;}

"\\colspan"     {BEGIN(ATTRIBUTELIST); return COLSPAN;}

"\\," |

"\\thinspace"   {return THINSPACE;}

"\\:" |

"\\medspace"    {return MEDSPACE;}

"\\;" |

"\\thickspace"  {return THICKSPACE;}

"\\quad"        {return QUAD;}

"\\qquad"       {return QQUAD;}

"\\!" |

"\\negspace"    {return NEGSPACE;}

"\\phantom"     {return PHANTOM;}

"\\href"        {BEGIN(PLAINTEXT); return HREF;}

"\\operatorname"  {BEGIN(PLAINTEXT); return OPERATORNAME;}

"\\mathop"        {BEGIN(PLAINTEXT); return MATHOP;}

"\\mathbin"       {BEGIN(PLAINTEXT); return MATHBIN;}

"\\mathrel"       {BEGIN(PLAINTEXT); return MATHREL;}

"\\itexnum"       {BEGIN(PLAINTEXT); return ITEXNUM;}

"\\includegraphics"(\[[^\]]*\])?\{[^}]*\}	;

"\\"[a-zA-Z]+    {yylval=itex2MML_copy_string(yytext+1); return MOP;}

"\&"[a-zA-Z_][a-zA-Z0-9_]*";" |

"\&#"[0-9]+";" |

"\&#x"[a-fA-F0-9]+";"  {yylval=itex2MML_copy_string(yytext); return MI;}

"\n"             itex2MML_lineno++;

[\r\t ]+           ;

.              {return UNKNOWNCHAR;}

}

<ATTRIBUTELIST>"{"[ \t\n\r #a-zA-Z0-9.\-]*"}"  {BEGIN(MATH); yylval=itex2MML_copy_string(yytext); if (yylval != itex2MML_empty_string) { yylval[0]='"'; yylval[yyleng-1]='"'; } return ATTRLIST;}

<OPTARG>{

"[" {if(itex2MML_optarg_ind < itex2MML_optarg_depth - 1 && itex2MML_inoptarg[itex2MML_optarg_ind] !=1 ){itex2MML_optarg_ind++; itex2MML_inoptarg[itex2MML_optarg_ind]=1;}; BEGIN(MATH); return OPTARGOPEN;}

[\n\r\t ]+    ;

.   {itex2MML_eqn_src[itex2MML_eqn_end-itex2MML_eqn_src]=0; --itex2MML_eqn_end; BEGIN(MATH); unput(yytext[0]);}

}

<RAISEBOX1>{

\{[\n\r\t ]*- {BEGIN(RAISEBOX2); return NEG;}

\{[\n\r\t ]* {BEGIN(RAISEBOX2);}

}

<RAISEBOX2>{

[^\}]*?\}  {yylval=itex2MML_copy_string(yytext); if ((yyleng > 1) && (yylval != itex2MML_empty_string)) yylval[yyleng-1]='\0'; BEGIN(TEXTOPTARG1); return TEXTSTRING;}

}

<TEXTOPTARG1>{

\[[^\]]*?\] {yylval=itex2MML_copy_string(yytext+1); if ((yyleng > 1) && (yylval != itex2MML_empty_string)) yylval[yyleng-2]='\0'; BEGIN(TEXTOPTARG); return TEXTSTRING;}

. {itex2MML_eqn_src[itex2MML_eqn_end-itex2MML_eqn_src]=0; --itex2MML_eqn_end; BEGIN(MATH); unput(yytext[0]);}

}

<TEXTOPTARG>{

\[[^\]]*?\] {yylval=itex2MML_copy_string(yytext+1); if ((yyleng > 1) && (yylval != itex2MML_empty_string)) yylval[yyleng-2]='\0'; BEGIN(MATH); return TEXTSTRING;}

. {itex2MML_eqn_src[itex2MML_eqn_end-itex2MML_eqn_src]=0; --itex2MML_eqn_end; BEGIN(MATH); unput(yytext[0]);}

}

<MATHENV>{

"\{matrix\}" {itex2MML_env_start = 0; BEGIN(MATH); return MATRIX;}

"\{pmatrix\}" {itex2MML_env_start = 0; BEGIN(MATH); return PMATRIX;}

"\{bmatrix\}" {itex2MML_env_start = 0; BEGIN(MATH); return BMATRIX;}

"\{Bmatrix\}" {itex2MML_env_start = 0; BEGIN(MATH); return BBMATRIX;}

"\{vmatrix\}" {itex2MML_env_start = 0; BEGIN(MATH); return VMATRIX;}

"\{Vmatrix\}" {itex2MML_env_start = 0; BEGIN(MATH); return VVMATRIX;}

"\{smallmatrix\}" {itex2MML_env_start = 0; BEGIN(MATH); return SMALLMATRIX;}

"\{cases\}" {itex2MML_env_start = 0; BEGIN(MATH); return CASES;}

"\{aligned\}" {itex2MML_env_start = 0; BEGIN(MATH); return ALIGNED;}

"\{gathered\}" {itex2MML_env_start = 0; BEGIN(MATH); return GATHERED;}

"\{split\}" {itex2MML_env_start = 0; BEGIN(MATH); return ALIGNED;}

"\{array\}" {if (itex2MML_env_start == 1) BEGIN(ARRAYOPTIONS); else BEGIN(MATH); return ARRAY;}

"\{svg\}" {itex2MML_env_start = 0; BEGIN(SVGENV); return SVG;}

}

<ARRAYOPTIONS>{

"[t]" {yylval=itex2MML_copy_string("axis 1"); return ARRAYALIGN;}

"[c]" {yylval=itex2MML_copy_string("center"); return ARRAYALIGN;}

"[b]" {yylval=itex2MML_copy_string("axis -1"); return ARRAYALIGN;}

"\{"  {BEGIN(COLOPTS); return ST;}

[\t\n\r ]+       ;

}

<COLOPTS>{

"\}"  {itex2MML_env_start = 0; BEGIN(MATH); return END;}

"c"   {yylval=itex2MML_copy_string("center"); return COLUMNALIGN;}

"l"   {yylval=itex2MML_copy_string("left"); return COLUMNALIGN;}

"r"   {yylval=itex2MML_copy_string("right"); return COLUMNALIGN;}

[\t\n\r ]+       ;

}

<SVGENV>{

"\\end\{svg" {itex2MML_do_capture_eqn(); yylval=itex2MML_copy_string(yytext); yylval[yyleng-8]=0; BEGIN(SVGEND); return XMLSTRING;}

(.|\n) {yymore();}

}

<SVGEND>{

"\}" {BEGIN(MATH); return ENDSVG;}

}

<ROMAN>{

"\{"  {return ST;}

"\}"  {BEGIN(MATH); return END;}

[a-zA-Z]   {yylval=itex2MML_copy_string(yytext); return RMCHAR;}

[\t\n\r ]+       ;

.           {return yytext[0];}

}

<BBOLD>{

"\{"  {return ST;}

"\}"  {BEGIN(MATH); return END;}

[a-z] {yylval=itex2MML_copy_string(yytext); return BBLOWERCHAR;}

[A-Z]   {yylval=itex2MML_copy_string(yytext); return BBUPPERCHAR;}

[0-9]   {yylval=itex2MML_copy_string(yytext); return BBDIGIT;}

[\t\n\r ]+       ;

.           {return yytext[0];}

}

<CALLIGRAPHIC>{

"\{"  {return ST;}

"\}"  {BEGIN(MATH); return END;}

[a-zA-Z]   {yylval=itex2MML_copy_string(yytext); return CALCHAR;}

[\t\n\r ]+       ;

.           {return yytext[0];}

}

<FRAKTUR>{

"\{"  {return ST;}

"\}"  {BEGIN(MATH); return END;}

[a-zA-Z]   {yylval=itex2MML_copy_string(yytext); return FRAKCHAR;}

[\t\n\r ]+       ;

.           {return yytext[0];}

}

<PLAINTEXT>{

\{[^\}]*?\}  {yylval=itex2MML_copy_string(yytext+1); if ((yyleng > 1) && (yylval != itex2MML_empty_string)) yylval[yyleng-2]='\0'; BEGIN(MATH); return TEXTSTRING;}

}

<INT1>{ 

"\{"      {return ST;}

"\}"      {BEGIN(INT2); return END;}

[0-9]+    {yylval=itex2MML_copy_string_extra(yytext, 1); if (yyleng && (yylval != itex2MML_empty_string)) { yylval[yyleng]=yylval[yyleng-1]; yylval[yyleng-1]='.'; yylval[yyleng+1]='\0'; } return INTONE;}

[\t\n\r ]+   ;

.         {return yytext[0];}

}

<INT2>{

"\{"      {return ST;}

"\}"      {BEGIN(INT3); return END;}

[0-9]+    {yylval=itex2MML_copy_string_extra(yytext, 1); if (yyleng && (yylval != itex2MML_empty_string)) { yylval[yyleng]=yylval[yyleng-1]; yylval[yyleng-1]='.'; yylval[yyleng+1]='\0'; } return INTTWO;}

[\t\n\r ]+   ;

.         {return yytext[0];}

}

<INT3>{

"\{"      {return ST;}

"\}"      {BEGIN(MATH); return END;}

[0-9]+    {yylval=itex2MML_copy_string_extra(yytext, 1); if (yyleng && (yylval != itex2MML_empty_string)) { yylval[yyleng]=yylval[yyleng-1]; yylval[yyleng-1]='.'; yylval[yyleng+1]='\0'; } return INTTHREE;}

[\t\n\r ]+   ;

.         {return yytext[0];}

}

%%

void itex2MML_restart ()

{

	BEGIN(INITIAL);

}

static const char *  s_itex2MML_buffer = 0;

static unsigned long s_itex2MML_length = 0;

void itex2MML_setup (const char * buffer, unsigned long length)

{

	yy_flush_buffer( YY_CURRENT_BUFFER );

	s_itex2MML_buffer = buffer;

	s_itex2MML_length = length;

}

int itex2MML_capture_eqn_src()

{

	if (YY_START != INITIAL && YY_START != SVGENV)

		itex2MML_do_capture_eqn();

}

int itex2MML_do_capture_eqn()

{

	if (itex2MML_eqn_bufsize - (itex2MML_eqn_end-itex2MML_eqn_src+yyleng) > 1)

	{

		strcpy(itex2MML_eqn_end, yytext);

		itex2MML_eqn_end += yyleng;

	}

}

static int s_itex2MML_read (char * buffer, int max_size)

{

	int result = 0;

	if (max_size < s_itex2MML_length)

	{

		result = max_size;

		memcpy (buffer, s_itex2MML_buffer, max_size);

		s_itex2MML_buffer += max_size;

		s_itex2MML_length -= max_size;

	}

	else

	{

		result = s_itex2MML_length;

		memcpy (buffer, s_itex2MML_buffer, s_itex2MML_length);

		s_itex2MML_buffer = 0;

		s_itex2MML_length = 0;

	}

	return result;

}