itextomml 1.4.3 → 1.4.4

data/ext/lex.yy.c

@@ -2275,8 +2275,8 @@ static int yy_more_len = 0;
 #define YY_RESTORE_YY_MORE_OFFSET
 char *itex2MML_yytext;
 #line 1 "itex2MML.l"
-/*             itex2MML 1.4.3
- *   itex2MML.l last modified 9/29/2010
+/*             itex2MML 1.4.4
+ *   itex2MML.l last modified 9/30/2010
  */
 #line 6 "itex2MML.l"
 
@@ -2294,15 +2294,18 @@ char *itex2MML_yytext;
 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 = 0;
+int itex2MML_inoptarg[itex2MML_optarg_depth];
+int itex2MML_optarg_ind = 0;
 
 int itex2MML_rowposn = 0;
 int itex2MML_displaymode = 0;
-#line 2306 "lex.yy.c"
+
+#line 2309 "lex.yy.c"
 
 #define INITIAL 0
 #define MATH 1
@@ -2498,13 +2501,13 @@ YY_DECL
 	register char *yy_cp, *yy_bp;
 	register int yy_act;
     
-#line 32 "itex2MML.l"
+#line 35 "itex2MML.l"
 
  if (itex2MML_rowposn==1) itex2MML_rowposn=0;
    if (itex2MML_rowposn==2) itex2MML_rowposn=1;
 
 
-#line 2508 "lex.yy.c"
+#line 2511 "lex.yy.c"
 
 	if ( !(yy_init) )
 		{
@@ -2595,930 +2598,930 @@ do_action:	/* This label is used only to access EOF actions. */
 
 case 1:
 YY_RULE_SETUP
-#line 37 "itex2MML.l"
-BEGIN(MATH); itex2MML_rowposn=2; if (itex2MML_yyleng==2) { itex2MML_displaymode=1; return STARTDMATH;}; itex2MML_displaymode=0; return STARTMATH;
+#line 40 "itex2MML.l"
+BEGIN(MATH); itex2MML_inoptarg[0] = 0; itex2MML_rowposn=2; if (itex2MML_yyleng==2) { itex2MML_displaymode=1; return STARTDMATH;}; itex2MML_displaymode=0; return STARTMATH;
 	YY_BREAK
 case 2:
 YY_RULE_SETUP
-#line 38 "itex2MML.l"
-BEGIN(MATH); itex2MML_rowposn=2; itex2MML_displaymode=1; return STARTDMATH;
+#line 41 "itex2MML.l"
+BEGIN(MATH); itex2MML_inoptarg[0] = 0; itex2MML_rowposn=2; itex2MML_displaymode=1; return STARTDMATH;
 	YY_BREAK
 case 3:
 YY_RULE_SETUP
-#line 39 "itex2MML.l"
+#line 42 "itex2MML.l"
 return 0;
 	YY_BREAK
 case 4:
 /* rule 4 can match eol */
 YY_RULE_SETUP
-#line 40 "itex2MML.l"
+#line 43 "itex2MML.l"
 {itex2MML_lineno++; yylval=itex2MML_copy_string(itex2MML_yytext); return CHAR;}
 	YY_BREAK
 case 5:
 YY_RULE_SETUP
-#line 41 "itex2MML.l"
+#line 44 "itex2MML.l"
 {yylval=itex2MML_copy_string(itex2MML_yytext); return CHAR;}
 	YY_BREAK
 
 case 6:
-#line 49 "itex2MML.l"
+#line 52 "itex2MML.l"
 case 7:
 YY_RULE_SETUP
-#line 49 "itex2MML.l"
+#line 52 "itex2MML.l"
 {BEGIN(INITIAL); return ENDMATH;}
 	YY_BREAK
 case 8:
 YY_RULE_SETUP
-#line 52 "itex2MML.l"
+#line 55 "itex2MML.l"
 return SUP;
 	YY_BREAK
 case 9:
 YY_RULE_SETUP
-#line 53 "itex2MML.l"
+#line 56 "itex2MML.l"
 return SUB; 
 	YY_BREAK
 case 10:
 /* rule 10 can match eol */
 YY_RULE_SETUP
-#line 54 "itex2MML.l"
+#line 57 "itex2MML.l"
 return EMPTYMROW;
 	YY_BREAK
 case 11:
 YY_RULE_SETUP
-#line 55 "itex2MML.l"
-{itex2MML_rowposn = 2; itex2MML_inoptarg = itex2MML_inoptarg*2; return MROWOPEN;}
+#line 58 "itex2MML.l"
+{itex2MML_rowposn = 2; itex2MML_inoptarg[itex2MML_optarg_ind] = itex2MML_inoptarg[itex2MML_optarg_ind]*2; return MROWOPEN;}
 	YY_BREAK
 case 12:
 YY_RULE_SETUP
-#line 56 "itex2MML.l"
-{itex2MML_inoptarg = itex2MML_inoptarg/2; return MROWCLOSE;}
+#line 59 "itex2MML.l"
+{itex2MML_inoptarg[itex2MML_optarg_ind] = itex2MML_inoptarg[itex2MML_optarg_ind]/2; return MROWCLOSE;}
 	YY_BREAK
 case 13:
 YY_RULE_SETUP
-#line 58 "itex2MML.l"
+#line 61 "itex2MML.l"
 itex2MML_rowposn=2; return LEFT;
 	YY_BREAK
 case 14:
 YY_RULE_SETUP
-#line 59 "itex2MML.l"
+#line 62 "itex2MML.l"
 return RIGHT;
 	YY_BREAK
 case 15:
-#line 62 "itex2MML.l"
+#line 65 "itex2MML.l"
 case 16:
 YY_RULE_SETUP
-#line 62 "itex2MML.l"
+#line 65 "itex2MML.l"
 {return BIG;}
 	YY_BREAK
 case 17:
-#line 64 "itex2MML.l"
+#line 67 "itex2MML.l"
 case 18:
 YY_RULE_SETUP
-#line 64 "itex2MML.l"
+#line 67 "itex2MML.l"
 {return BBIG;}
 	YY_BREAK
 case 19:
-#line 66 "itex2MML.l"
+#line 69 "itex2MML.l"
 case 20:
 YY_RULE_SETUP
-#line 66 "itex2MML.l"
+#line 69 "itex2MML.l"
 {return BIGG;}
 	YY_BREAK
 case 21:
-#line 68 "itex2MML.l"
+#line 71 "itex2MML.l"
 case 22:
 YY_RULE_SETUP
-#line 68 "itex2MML.l"
+#line 71 "itex2MML.l"
 {return BBIGG;}
 	YY_BREAK
 case 23:
 YY_RULE_SETUP
-#line 70 "itex2MML.l"
+#line 73 "itex2MML.l"
 {return BIGL;}
 	YY_BREAK
 case 24:
 YY_RULE_SETUP
-#line 71 "itex2MML.l"
+#line 74 "itex2MML.l"
 {return BBIGL;}
 	YY_BREAK
 case 25:
 YY_RULE_SETUP
-#line 72 "itex2MML.l"
+#line 75 "itex2MML.l"
 {return BIGGL;}
 	YY_BREAK
 case 26:
 YY_RULE_SETUP
-#line 73 "itex2MML.l"
+#line 76 "itex2MML.l"
 {return BBIGGL;}
 	YY_BREAK
 case 27:
 YY_RULE_SETUP
-#line 75 "itex2MML.l"
+#line 78 "itex2MML.l"
 {return RLAP;}
 	YY_BREAK
 case 28:
 YY_RULE_SETUP
-#line 76 "itex2MML.l"
+#line 79 "itex2MML.l"
 {return LLAP;}
 	YY_BREAK
 case 29:
 YY_RULE_SETUP
-#line 77 "itex2MML.l"
+#line 80 "itex2MML.l"
 {return CLAP;}
 	YY_BREAK
 case 30:
-#line 79 "itex2MML.l"
+#line 82 "itex2MML.l"
 case 31:
-#line 80 "itex2MML.l"
+#line 83 "itex2MML.l"
 case 32:
-#line 81 "itex2MML.l"
+#line 84 "itex2MML.l"
 case 33:
 YY_RULE_SETUP
-#line 81 "itex2MML.l"
+#line 84 "itex2MML.l"
 {/* Ignore */ ;}
 	YY_BREAK
 case 34:
-#line 85 "itex2MML.l"
+#line 88 "itex2MML.l"
 case 35:
 YY_RULE_SETUP
-#line 85 "itex2MML.l"
+#line 88 "itex2MML.l"
 {itex2MML_rowposn=2; return COLSEP;}
 	YY_BREAK
 case 36:
 YY_RULE_SETUP
-#line 87 "itex2MML.l"
+#line 90 "itex2MML.l"
 {yylval=itex2MML_copy_string("&"); return MI;}
 	YY_BREAK
 case 37:
 YY_RULE_SETUP
-#line 89 "itex2MML.l"
+#line 92 "itex2MML.l"
 {yylval=itex2MML_copy_string("$"); return MI;}
 	YY_BREAK
 case 38:
 YY_RULE_SETUP
-#line 90 "itex2MML.l"
+#line 93 "itex2MML.l"
 {yylval=itex2MML_copy_string("%"); return MI;}
 	YY_BREAK
 case 39:
 YY_RULE_SETUP
-#line 92 "itex2MML.l"
+#line 95 "itex2MML.l"
 itex2MML_rowposn=2; return ROWSEP;
 	YY_BREAK
 case 40:
 YY_RULE_SETUP
-#line 94 "itex2MML.l"
+#line 97 "itex2MML.l"
 {yylval=itex2MML_copy_string(itex2MML_yytext); return MI;}
 	YY_BREAK
 case 41:
 YY_RULE_SETUP
-#line 96 "itex2MML.l"
+#line 99 "itex2MML.l"
 {yylval=itex2MML_copy_string(itex2MML_yytext); return MN;}
 	YY_BREAK
 case 42:
-#line 98 "itex2MML.l"
+#line 101 "itex2MML.l"
 case 43:
 YY_RULE_SETUP
-#line 98 "itex2MML.l"
+#line 101 "itex2MML.l"
 {yylval=itex2MML_copy_string("∞"); return MN;}
 	YY_BREAK
 case 44:
-#line 101 "itex2MML.l"
+#line 104 "itex2MML.l"
 case 45:
 YY_RULE_SETUP
-#line 101 "itex2MML.l"
+#line 104 "itex2MML.l"
 {yylval=itex2MML_copy_string(itex2MML_yytext); return LEFTDELIM;}
 	YY_BREAK
 case 46:
 YY_RULE_SETUP
-#line 103 "itex2MML.l"
+#line 106 "itex2MML.l"
 {yylval=itex2MML_copy_string(itex2MML_yytext); return RIGHTDELIM;}
 	YY_BREAK
 case 47:
 YY_RULE_SETUP
-#line 104 "itex2MML.l"
-{if(itex2MML_inoptarg==1) {itex2MML_inoptarg=0; return OPTARGCLOSE;} else {yylval=itex2MML_copy_string(itex2MML_yytext); return RIGHTDELIM;}}
+#line 107 "itex2MML.l"
+{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(itex2MML_yytext); return RIGHTDELIM;}}
 	YY_BREAK
 case 48:
-#line 107 "itex2MML.l"
+#line 110 "itex2MML.l"
 case 49:
 YY_RULE_SETUP
-#line 107 "itex2MML.l"
+#line 110 "itex2MML.l"
 {yylval=itex2MML_copy_string("{"); return LEFTDELIM;}
 	YY_BREAK
 case 50:
-#line 109 "itex2MML.l"
+#line 112 "itex2MML.l"
 case 51:
 YY_RULE_SETUP
-#line 109 "itex2MML.l"
+#line 112 "itex2MML.l"
 {yylval=itex2MML_copy_string("}"); return RIGHTDELIM;}
 	YY_BREAK
 case 52:
-#line 112 "itex2MML.l"
+#line 115 "itex2MML.l"
 case 53:
 YY_RULE_SETUP
-#line 112 "itex2MML.l"
+#line 115 "itex2MML.l"
 {yylval=itex2MML_copy_string("∣"); return OTHERDELIM;}
 	YY_BREAK
 case 54:
-#line 114 "itex2MML.l"
+#line 117 "itex2MML.l"
 case 55:
 YY_RULE_SETUP
-#line 114 "itex2MML.l"
+#line 117 "itex2MML.l"
 {yylval=itex2MML_copy_string("∥"); return OTHERDELIM;}
 	YY_BREAK
 case 56:
 YY_RULE_SETUP
-#line 116 "itex2MML.l"
+#line 119 "itex2MML.l"
 {yylval=itex2MML_copy_string("∖"); return MO;}
 	YY_BREAK
 case 57:
 YY_RULE_SETUP
-#line 117 "itex2MML.l"
+#line 120 "itex2MML.l"
 {yylval=itex2MML_copy_string("\"); return MO;}
 	YY_BREAK
 case 58:
 YY_RULE_SETUP
-#line 118 "itex2MML.l"
+#line 121 "itex2MML.l"
 {yylval=itex2MML_copy_string("﹨"); return MOF;}
 	YY_BREAK
 case 59:
 YY_RULE_SETUP
-#line 120 "itex2MML.l"
+#line 123 "itex2MML.l"
 {yylval=itex2MML_copy_string("⫽"); return MO;}
 	YY_BREAK
 case 60:
-#line 123 "itex2MML.l"
+#line 126 "itex2MML.l"
 case 61:
-#line 124 "itex2MML.l"
+#line 127 "itex2MML.l"
 case 62:
-#line 125 "itex2MML.l"
+#line 128 "itex2MML.l"
 case 63:
 YY_RULE_SETUP
-#line 125 "itex2MML.l"
+#line 128 "itex2MML.l"
 {yylval=itex2MML_copy2(itex2MML_yytext, ";"); if (yylval != itex2MML_empty_string) yylval[0]='&'; return LEFTDELIM;}
 	YY_BREAK
 case 64:
-#line 128 "itex2MML.l"
+#line 131 "itex2MML.l"
 case 65:
-#line 129 "itex2MML.l"
+#line 132 "itex2MML.l"
 case 66:
-#line 130 "itex2MML.l"
+#line 133 "itex2MML.l"
 case 67:
 YY_RULE_SETUP
-#line 130 "itex2MML.l"
+#line 133 "itex2MML.l"
 {yylval=itex2MML_copy2(itex2MML_yytext, ";"); if (yylval != itex2MML_empty_string) yylval[0]='&'; return RIGHTDELIM;}
 	YY_BREAK
 case 68:
 YY_RULE_SETUP
-#line 132 "itex2MML.l"
+#line 135 "itex2MML.l"
 {yylval=itex2MML_copy_string(itex2MML_yytext); return OTHERDELIM;}
 	YY_BREAK
 case 69:
-#line 135 "itex2MML.l"
+#line 138 "itex2MML.l"
 case 70:
-#line 136 "itex2MML.l"
+#line 139 "itex2MML.l"
 case 71:
 YY_RULE_SETUP
-#line 136 "itex2MML.l"
+#line 139 "itex2MML.l"
 {yylval=itex2MML_copy2(itex2MML_yytext, ";"); if (yylval != itex2MML_empty_string) yylval[0]='&'; return OTHERDELIM;}
 	YY_BREAK
 case 72:
 YY_RULE_SETUP
-#line 138 "itex2MML.l"
+#line 141 "itex2MML.l"
 {yylval=itex2MML_copy_string(itex2MML_yytext); return PERIODDELIM;}
 	YY_BREAK
 case 73:
 YY_RULE_SETUP
-#line 140 "itex2MML.l"
+#line 143 "itex2MML.l"
 {if (itex2MML_rowposn==1) return UNARYMINUS; else {yylval=itex2MML_copy_string("−"); return MO;}}
 	YY_BREAK
 case 74:
 YY_RULE_SETUP
-#line 142 "itex2MML.l"
+#line 145 "itex2MML.l"
 {if (itex2MML_rowposn==1) return UNARYPLUS; else {yylval=itex2MML_copy_string("+"); return MO;}}
 	YY_BREAK
 case 75:
 YY_RULE_SETUP
-#line 144 "itex2MML.l"
+#line 147 "itex2MML.l"
 {yylval=itex2MML_copy_string("#"); return MOL;}
 	YY_BREAK
 case 76:
-#line 147 "itex2MML.l"
+#line 150 "itex2MML.l"
 case 77:
-#line 148 "itex2MML.l"
+#line 151 "itex2MML.l"
 case 78:
-#line 149 "itex2MML.l"
+#line 152 "itex2MML.l"
 case 79:
-#line 150 "itex2MML.l"
+#line 153 "itex2MML.l"
 case 80:
-#line 151 "itex2MML.l"
+#line 154 "itex2MML.l"
 case 81:
-#line 152 "itex2MML.l"
+#line 155 "itex2MML.l"
 case 82:
-#line 153 "itex2MML.l"
+#line 156 "itex2MML.l"
 case 83:
-#line 154 "itex2MML.l"
+#line 157 "itex2MML.l"
 case 84:
-#line 155 "itex2MML.l"
+#line 158 "itex2MML.l"
 case 85:
 YY_RULE_SETUP
-#line 155 "itex2MML.l"
+#line 158 "itex2MML.l"
 {yylval=itex2MML_copy_string(itex2MML_yytext); return MOL;}
 	YY_BREAK
 case 86:
 YY_RULE_SETUP
-#line 157 "itex2MML.l"
+#line 160 "itex2MML.l"
 {yylval=itex2MML_copy_string("′"); return MOLL;}
 	YY_BREAK
 case 87:
 YY_RULE_SETUP
-#line 158 "itex2MML.l"
+#line 161 "itex2MML.l"
 {yylval=itex2MML_copy_string("′"); return MOL;}
 	YY_BREAK
 case 88:
 YY_RULE_SETUP
-#line 159 "itex2MML.l"
+#line 162 "itex2MML.l"
 {yylval=itex2MML_copy_string("″"); return MOL;}
 	YY_BREAK
 case 89:
 YY_RULE_SETUP
-#line 160 "itex2MML.l"
+#line 163 "itex2MML.l"
 {yylval=itex2MML_copy_string("‴"); return MOL;}
 	YY_BREAK
 case 90:
 YY_RULE_SETUP
-#line 161 "itex2MML.l"
+#line 164 "itex2MML.l"
 {yylval=itex2MML_copy_string("⁗"); return MOL;}
 	YY_BREAK
 case 91:
-#line 164 "itex2MML.l"
+#line 167 "itex2MML.l"
 case 92:
-#line 165 "itex2MML.l"
+#line 168 "itex2MML.l"
 case 93:
-#line 166 "itex2MML.l"
+#line 169 "itex2MML.l"
 case 94:
-#line 167 "itex2MML.l"
+#line 170 "itex2MML.l"
 case 95:
-#line 168 "itex2MML.l"
+#line 171 "itex2MML.l"
 case 96:
-#line 169 "itex2MML.l"
+#line 172 "itex2MML.l"
 case 97:
-#line 170 "itex2MML.l"
+#line 173 "itex2MML.l"
 case 98:
-#line 171 "itex2MML.l"
+#line 174 "itex2MML.l"
 case 99:
-#line 172 "itex2MML.l"
+#line 175 "itex2MML.l"
 case 100:
-#line 173 "itex2MML.l"
+#line 176 "itex2MML.l"
 case 101:
-#line 174 "itex2MML.l"
+#line 177 "itex2MML.l"
 case 102:
-#line 175 "itex2MML.l"
+#line 178 "itex2MML.l"
 case 103:
-#line 176 "itex2MML.l"
+#line 179 "itex2MML.l"
 case 104:
-#line 177 "itex2MML.l"
+#line 180 "itex2MML.l"
 case 105:
-#line 178 "itex2MML.l"
+#line 181 "itex2MML.l"
 case 106:
-#line 179 "itex2MML.l"
+#line 182 "itex2MML.l"
 case 107:
-#line 180 "itex2MML.l"
+#line 183 "itex2MML.l"
 case 108:
-#line 181 "itex2MML.l"
+#line 184 "itex2MML.l"
 case 109:
-#line 182 "itex2MML.l"
+#line 185 "itex2MML.l"
 case 110:
-#line 183 "itex2MML.l"
+#line 186 "itex2MML.l"
 case 111:
-#line 184 "itex2MML.l"
+#line 187 "itex2MML.l"
 case 112:
-#line 185 "itex2MML.l"
+#line 188 "itex2MML.l"
 case 113:
-#line 186 "itex2MML.l"
+#line 189 "itex2MML.l"
 case 114:
-#line 187 "itex2MML.l"
+#line 190 "itex2MML.l"
 case 115:
-#line 188 "itex2MML.l"
+#line 191 "itex2MML.l"
 case 116:
-#line 189 "itex2MML.l"
+#line 192 "itex2MML.l"
 case 117:
 YY_RULE_SETUP
-#line 189 "itex2MML.l"
+#line 192 "itex2MML.l"
 {yylval=itex2MML_copy2(itex2MML_yytext, ";"); if (yylval != itex2MML_empty_string) yylval[0]='&'; return MI;}
 	YY_BREAK
 case 118:
 YY_RULE_SETUP
-#line 191 "itex2MML.l"
+#line 194 "itex2MML.l"
 {yylval=itex2MML_copy_string("ε"); return MI;}
 	YY_BREAK
 case 119:
 YY_RULE_SETUP
-#line 192 "itex2MML.l"
+#line 195 "itex2MML.l"
 {yylval=itex2MML_copy_string("ϕ"); return MI;}
 	YY_BREAK
 case 120:
 YY_RULE_SETUP
-#line 193 "itex2MML.l"
+#line 196 "itex2MML.l"
 {yylval=itex2MML_copy_string("φ"); return MI;}
 	YY_BREAK
 case 121:
-#line 196 "itex2MML.l"
+#line 199 "itex2MML.l"
 case 122:
-#line 197 "itex2MML.l"
+#line 200 "itex2MML.l"
 case 123:
-#line 198 "itex2MML.l"
+#line 201 "itex2MML.l"
 case 124:
-#line 199 "itex2MML.l"
+#line 202 "itex2MML.l"
 case 125:
-#line 200 "itex2MML.l"
+#line 203 "itex2MML.l"
 case 126:
-#line 201 "itex2MML.l"
+#line 204 "itex2MML.l"
 case 127:
-#line 202 "itex2MML.l"
+#line 205 "itex2MML.l"
 case 128:
-#line 203 "itex2MML.l"
+#line 206 "itex2MML.l"
 case 129:
-#line 204 "itex2MML.l"
+#line 207 "itex2MML.l"
 case 130:
-#line 205 "itex2MML.l"
+#line 208 "itex2MML.l"
 case 131:
-#line 206 "itex2MML.l"
+#line 209 "itex2MML.l"
 case 132:
-#line 207 "itex2MML.l"
+#line 210 "itex2MML.l"
 case 133:
-#line 208 "itex2MML.l"
+#line 211 "itex2MML.l"
 case 134:
-#line 209 "itex2MML.l"
+#line 212 "itex2MML.l"
 case 135:
-#line 210 "itex2MML.l"
+#line 213 "itex2MML.l"
 case 136:
-#line 211 "itex2MML.l"
+#line 214 "itex2MML.l"
 case 137:
-#line 212 "itex2MML.l"
+#line 215 "itex2MML.l"
 case 138:
-#line 213 "itex2MML.l"
+#line 216 "itex2MML.l"
 case 139:
-#line 214 "itex2MML.l"
+#line 217 "itex2MML.l"
 case 140:
-#line 215 "itex2MML.l"
+#line 218 "itex2MML.l"
 case 141:
-#line 216 "itex2MML.l"
+#line 219 "itex2MML.l"
 case 142:
 YY_RULE_SETUP
-#line 216 "itex2MML.l"
+#line 219 "itex2MML.l"
 {yylval=itex2MML_copy_string(itex2MML_yytext+1); return MI;}
 	YY_BREAK
 case 143:
-#line 219 "itex2MML.l"
+#line 222 "itex2MML.l"
 case 144:
-#line 220 "itex2MML.l"
+#line 223 "itex2MML.l"
 case 145:
-#line 221 "itex2MML.l"
+#line 224 "itex2MML.l"
 case 146:
-#line 222 "itex2MML.l"
+#line 225 "itex2MML.l"
 case 147:
-#line 223 "itex2MML.l"
+#line 226 "itex2MML.l"
 case 148:
-#line 224 "itex2MML.l"
+#line 227 "itex2MML.l"
 case 149:
-#line 225 "itex2MML.l"
+#line 228 "itex2MML.l"
 case 150:
-#line 226 "itex2MML.l"
+#line 229 "itex2MML.l"
 case 151:
-#line 227 "itex2MML.l"
+#line 230 "itex2MML.l"
 case 152:
 YY_RULE_SETUP
-#line 227 "itex2MML.l"
+#line 230 "itex2MML.l"
 {yylval=itex2MML_copy_string(itex2MML_yytext+1); return MIB;}
 	YY_BREAK
 case 153:
 YY_RULE_SETUP
-#line 229 "itex2MML.l"
+#line 232 "itex2MML.l"
 {yylval=itex2MML_copy_string("ℴ"); return MI;}
 	YY_BREAK
 case 154:
 YY_RULE_SETUP
-#line 231 "itex2MML.l"
+#line 234 "itex2MML.l"
 {yylval=itex2MML_copy_string("ε"); return MI;}
 	YY_BREAK
 case 155:
 YY_RULE_SETUP
-#line 233 "itex2MML.l"
+#line 236 "itex2MML.l"
 {yylval=itex2MML_copy_string("⋅"); return MO;}
 	YY_BREAK
 case 156:
-#line 236 "itex2MML.l"
+#line 239 "itex2MML.l"
 case 157:
-#line 237 "itex2MML.l"
+#line 240 "itex2MML.l"
 case 158:
-#line 238 "itex2MML.l"
+#line 241 "itex2MML.l"
 case 159:
-#line 239 "itex2MML.l"
+#line 242 "itex2MML.l"
 case 160:
-#line 240 "itex2MML.l"
+#line 243 "itex2MML.l"
 case 161:
-#line 241 "itex2MML.l"
+#line 244 "itex2MML.l"
 case 162:
-#line 242 "itex2MML.l"
+#line 245 "itex2MML.l"
 case 163:
-#line 243 "itex2MML.l"
+#line 246 "itex2MML.l"
 case 164:
-#line 244 "itex2MML.l"
+#line 247 "itex2MML.l"
 case 165:
-#line 245 "itex2MML.l"
+#line 248 "itex2MML.l"
 case 166:
-#line 246 "itex2MML.l"
+#line 249 "itex2MML.l"
 case 167:
-#line 247 "itex2MML.l"
+#line 250 "itex2MML.l"
 case 168:
-#line 248 "itex2MML.l"
+#line 251 "itex2MML.l"
 case 169:
-#line 249 "itex2MML.l"
+#line 252 "itex2MML.l"
 case 170:
-#line 250 "itex2MML.l"
+#line 253 "itex2MML.l"
 case 171:
-#line 251 "itex2MML.l"
+#line 254 "itex2MML.l"
 case 172:
-#line 252 "itex2MML.l"
+#line 255 "itex2MML.l"
 case 173:
-#line 253 "itex2MML.l"
+#line 256 "itex2MML.l"
 case 174:
-#line 254 "itex2MML.l"
+#line 257 "itex2MML.l"
 case 175:
-#line 255 "itex2MML.l"
+#line 258 "itex2MML.l"
 case 176:
-#line 256 "itex2MML.l"
+#line 259 "itex2MML.l"
 case 177:
 YY_RULE_SETUP
-#line 256 "itex2MML.l"
+#line 259 "itex2MML.l"
 {yylval=itex2MML_copy2(itex2MML_yytext, ";"); if (yylval != itex2MML_empty_string) yylval[0]='&'; return MI;}
 	YY_BREAK
 case 178:
-#line 259 "itex2MML.l"
+#line 262 "itex2MML.l"
 case 179:
 YY_RULE_SETUP
-#line 259 "itex2MML.l"
+#line 262 "itex2MML.l"
 {yylval=itex2MML_copy_string("ϒ"); return MI;}
 	YY_BREAK
 case 180:
-#line 262 "itex2MML.l"
+#line 265 "itex2MML.l"
 case 181:
 YY_RULE_SETUP
-#line 262 "itex2MML.l"
+#line 265 "itex2MML.l"
 {yylval=itex2MML_copy_string("⇔"); return MOL;}
 	YY_BREAK
 case 182:
 YY_RULE_SETUP
-#line 264 "itex2MML.l"
+#line 267 "itex2MML.l"
 {yylval=itex2MML_copy_string("⇔"); return MOL;}
 	YY_BREAK
 case 183:
-#line 267 "itex2MML.l"
+#line 270 "itex2MML.l"
 case 184:
 YY_RULE_SETUP
-#line 267 "itex2MML.l"
+#line 270 "itex2MML.l"
 {yylval=itex2MML_copy_string("⇐"); return MOL;}
 	YY_BREAK
 case 185:
-#line 270 "itex2MML.l"
+#line 273 "itex2MML.l"
 case 186:
 YY_RULE_SETUP
-#line 270 "itex2MML.l"
+#line 273 "itex2MML.l"
 {yylval=itex2MML_copy_string("⇒"); return MOL;}
 	YY_BREAK
 case 187:
 YY_RULE_SETUP
-#line 272 "itex2MML.l"
+#line 275 "itex2MML.l"
 {yylval=itex2MML_copy_string("↩"); return MOL;}
 	YY_BREAK
 case 188:
-#line 275 "itex2MML.l"
+#line 278 "itex2MML.l"
 case 189:
 YY_RULE_SETUP
-#line 275 "itex2MML.l"
+#line 278 "itex2MML.l"
 {yylval=itex2MML_copy_string("↪"); return MOL;}
 	YY_BREAK
 case 190:
 YY_RULE_SETUP
-#line 277 "itex2MML.l"
+#line 280 "itex2MML.l"
 {yylval=itex2MML_copy_string("⟵"); return MOL;}
 	YY_BREAK
 case 191:
 YY_RULE_SETUP
-#line 279 "itex2MML.l"
+#line 282 "itex2MML.l"
 {yylval=itex2MML_copy_string("⟶"); return MOL;}
 	YY_BREAK
 case 192:
 YY_RULE_SETUP
-#line 281 "itex2MML.l"
+#line 284 "itex2MML.l"
 {yylval=itex2MML_copy_string("←"); return MOL;}
 	YY_BREAK
 case 193:
-#line 284 "itex2MML.l"
+#line 287 "itex2MML.l"
 case 194:
 YY_RULE_SETUP
-#line 284 "itex2MML.l"
+#line 287 "itex2MML.l"
 {yylval=itex2MML_copy_string("→"); return MOL;}
 	YY_BREAK
 case 195:
 YY_RULE_SETUP
-#line 286 "itex2MML.l"
+#line 289 "itex2MML.l"
 {yylval=itex2MML_copy_string("↔"); return MOL;}
 	YY_BREAK
 case 196:
-#line 289 "itex2MML.l"
+#line 292 "itex2MML.l"
 case 197:
 YY_RULE_SETUP
-#line 289 "itex2MML.l"
+#line 292 "itex2MML.l"
 {yylval=itex2MML_copy_string("↦"); return MOL;}
 	YY_BREAK
 case 198:
-#line 292 "itex2MML.l"
+#line 295 "itex2MML.l"
 case 199:
 YY_RULE_SETUP
-#line 292 "itex2MML.l"
+#line 295 "itex2MML.l"
 {yylval=itex2MML_copy_string("↗"); return MOL;}
 	YY_BREAK
 case 200:
-#line 295 "itex2MML.l"
+#line 298 "itex2MML.l"
 case 201:
 YY_RULE_SETUP
-#line 295 "itex2MML.l"
+#line 298 "itex2MML.l"
 {yylval=itex2MML_copy_string("↖"); return MOL;}
 	YY_BREAK
 case 202:
-#line 298 "itex2MML.l"
+#line 301 "itex2MML.l"
 case 203:
 YY_RULE_SETUP
-#line 298 "itex2MML.l"
+#line 301 "itex2MML.l"
 {yylval=itex2MML_copy_string("↘"); return MOL;}
 	YY_BREAK
 case 204:
-#line 301 "itex2MML.l"
+#line 304 "itex2MML.l"
 case 205:
 YY_RULE_SETUP
-#line 301 "itex2MML.l"
+#line 304 "itex2MML.l"
 {yylval=itex2MML_copy_string("↙"); return MOL;}
 	YY_BREAK
 case 206:
-#line 304 "itex2MML.l"
+#line 307 "itex2MML.l"
 case 207:
 YY_RULE_SETUP
-#line 304 "itex2MML.l"
+#line 307 "itex2MML.l"
 {yylval=itex2MML_copy_string("⇗"); return MOL;}
 	YY_BREAK
 case 208:
-#line 307 "itex2MML.l"
+#line 310 "itex2MML.l"
 case 209:
 YY_RULE_SETUP
-#line 307 "itex2MML.l"
+#line 310 "itex2MML.l"
 {yylval=itex2MML_copy_string("⇖"); return MOL;}
 	YY_BREAK
 case 210:
-#line 310 "itex2MML.l"
+#line 313 "itex2MML.l"
 case 211:
 YY_RULE_SETUP
-#line 310 "itex2MML.l"
+#line 313 "itex2MML.l"
 {yylval=itex2MML_copy_string("⇘"); return MOL;}
 	YY_BREAK
 case 212:
-#line 313 "itex2MML.l"
+#line 316 "itex2MML.l"
 case 213:
 YY_RULE_SETUP
-#line 313 "itex2MML.l"
+#line 316 "itex2MML.l"
 {yylval=itex2MML_copy_string("⇙"); return MOL;}
 	YY_BREAK
 case 214:
 YY_RULE_SETUP
-#line 315 "itex2MML.l"
+#line 318 "itex2MML.l"
 {yylval=itex2MML_copy_string("↓"); return MOL;}
 	YY_BREAK
 case 215:
 YY_RULE_SETUP
-#line 317 "itex2MML.l"
+#line 320 "itex2MML.l"
 {yylval=itex2MML_copy_string("⇓"); return MOL;}
 	YY_BREAK
 case 216:
 YY_RULE_SETUP
-#line 319 "itex2MML.l"
+#line 322 "itex2MML.l"
 {yylval=itex2MML_copy_string("↑"); return MOL;}
 	YY_BREAK
 case 217:
 YY_RULE_SETUP
-#line 321 "itex2MML.l"
+#line 324 "itex2MML.l"
 {yylval=itex2MML_copy_string("⇑"); return MOL;}
 	YY_BREAK
 case 218:
-#line 324 "itex2MML.l"
+#line 327 "itex2MML.l"
 case 219:
-#line 325 "itex2MML.l"
+#line 328 "itex2MML.l"
 case 220:
 YY_RULE_SETUP
-#line 325 "itex2MML.l"
+#line 328 "itex2MML.l"
 {yylval=itex2MML_copy_string("↕"); return MOL;}
 	YY_BREAK
 case 221:
 YY_RULE_SETUP
-#line 327 "itex2MML.l"
+#line 330 "itex2MML.l"
 {yylval=itex2MML_copy_string("⇕"); return MOL;}
 	YY_BREAK
 case 222:
 YY_RULE_SETUP
-#line 329 "itex2MML.l"
+#line 332 "itex2MML.l"
 {yylval=itex2MML_copy_string("⇜"); return MOL;}
 	YY_BREAK
 case 223:
 YY_RULE_SETUP
-#line 330 "itex2MML.l"
+#line 333 "itex2MML.l"
 {yylval=itex2MML_copy_string("⇝"); return MOL;}
 	YY_BREAK
 case 224:
 YY_RULE_SETUP
-#line 331 "itex2MML.l"
+#line 334 "itex2MML.l"
 {yylval=itex2MML_copy_string("⤎"); return MOL;}
 	YY_BREAK
 case 225:
 YY_RULE_SETUP
-#line 332 "itex2MML.l"
+#line 335 "itex2MML.l"
 {yylval=itex2MML_copy_string("⤏"); return MOL;}
 	YY_BREAK
 case 226:
 YY_RULE_SETUP
-#line 333 "itex2MML.l"
+#line 336 "itex2MML.l"
 {yylval=itex2MML_copy_string("⤻"); return MOL;}
 	YY_BREAK
 case 227:
 YY_RULE_SETUP
-#line 334 "itex2MML.l"
+#line 337 "itex2MML.l"
 {yylval=itex2MML_copy_string("⟲"); return MOL;}
 	YY_BREAK
 case 228:
 YY_RULE_SETUP
-#line 335 "itex2MML.l"
+#line 338 "itex2MML.l"
 {yylval=itex2MML_copy_string("⟳"); return MOL;}
 	YY_BREAK
 case 229:
-#line 337 "itex2MML.l"
+#line 340 "itex2MML.l"
 case 230:
-#line 338 "itex2MML.l"
+#line 341 "itex2MML.l"
 case 231:
-#line 339 "itex2MML.l"
+#line 342 "itex2MML.l"
 case 232:
-#line 340 "itex2MML.l"
+#line 343 "itex2MML.l"
 case 233:
-#line 341 "itex2MML.l"
+#line 344 "itex2MML.l"
 case 234:
-#line 342 "itex2MML.l"
+#line 345 "itex2MML.l"
 case 235:
-#line 343 "itex2MML.l"
+#line 346 "itex2MML.l"
 case 236:
-#line 344 "itex2MML.l"
+#line 347 "itex2MML.l"
 case 237:
-#line 345 "itex2MML.l"
+#line 348 "itex2MML.l"
 case 238:
-#line 346 "itex2MML.l"
+#line 349 "itex2MML.l"
 case 239:
-#line 347 "itex2MML.l"
+#line 350 "itex2MML.l"
 case 240:
-#line 348 "itex2MML.l"
+#line 351 "itex2MML.l"
 case 241:
-#line 349 "itex2MML.l"
+#line 352 "itex2MML.l"
 case 242:
-#line 350 "itex2MML.l"
+#line 353 "itex2MML.l"
 case 243:
-#line 351 "itex2MML.l"
+#line 354 "itex2MML.l"
 case 244:
-#line 352 "itex2MML.l"
+#line 355 "itex2MML.l"
 case 245:
-#line 353 "itex2MML.l"
+#line 356 "itex2MML.l"
 case 246:
-#line 354 "itex2MML.l"
+#line 357 "itex2MML.l"
 case 247:
-#line 355 "itex2MML.l"
+#line 358 "itex2MML.l"
 case 248:
-#line 356 "itex2MML.l"
+#line 359 "itex2MML.l"
 case 249:
-#line 357 "itex2MML.l"
+#line 360 "itex2MML.l"
 case 250:
-#line 358 "itex2MML.l"
+#line 361 "itex2MML.l"
 case 251:
-#line 359 "itex2MML.l"
+#line 362 "itex2MML.l"
 case 252:
-#line 360 "itex2MML.l"
+#line 363 "itex2MML.l"
 case 253:
-#line 361 "itex2MML.l"
+#line 364 "itex2MML.l"
 case 254:
-#line 362 "itex2MML.l"
+#line 365 "itex2MML.l"
 case 255:
-#line 363 "itex2MML.l"
+#line 366 "itex2MML.l"
 case 256:
-#line 364 "itex2MML.l"
+#line 367 "itex2MML.l"
 case 257:
-#line 365 "itex2MML.l"
+#line 368 "itex2MML.l"
 case 258:
-#line 366 "itex2MML.l"
+#line 369 "itex2MML.l"
 case 259:
-#line 367 "itex2MML.l"
+#line 370 "itex2MML.l"
 case 260:
-#line 368 "itex2MML.l"
+#line 371 "itex2MML.l"
 case 261:
 YY_RULE_SETUP
-#line 368 "itex2MML.l"
+#line 371 "itex2MML.l"
 {yylval=itex2MML_copy2(itex2MML_yytext, ";"); if (yylval != itex2MML_empty_string) yylval[0]='&'; return MOL;}
 	YY_BREAK
 case 262:
-#line 371 "itex2MML.l"
+#line 374 "itex2MML.l"
 case 263:
-#line 372 "itex2MML.l"
+#line 375 "itex2MML.l"
 case 264:
-#line 373 "itex2MML.l"
+#line 376 "itex2MML.l"
 case 265:
-#line 374 "itex2MML.l"
+#line 377 "itex2MML.l"
 case 266:
-#line 375 "itex2MML.l"
+#line 378 "itex2MML.l"
 case 267:
-#line 376 "itex2MML.l"
+#line 379 "itex2MML.l"
 case 268:
-#line 377 "itex2MML.l"
+#line 380 "itex2MML.l"
 case 269:
-#line 378 "itex2MML.l"
+#line 381 "itex2MML.l"
 case 270:
-#line 379 "itex2MML.l"
+#line 382 "itex2MML.l"
 case 271:
-#line 380 "itex2MML.l"
+#line 383 "itex2MML.l"
 case 272:
 YY_RULE_SETUP
-#line 380 "itex2MML.l"
+#line 383 "itex2MML.l"
 {BEGIN(OPTARG); char * s1 = itex2MML_copy_string(itex2MML_yytext+2); yylval = itex2MML_copy3("&", s1, ";"); itex2MML_free_string(s1); return XARROW;}
 	YY_BREAK
 case 273:
-#line 383 "itex2MML.l"
+#line 386 "itex2MML.l"
 case 274:
 YY_RULE_SETUP
-#line 383 "itex2MML.l"
+#line 386 "itex2MML.l"
 {yylval=itex2MML_copy_string("…"); return MI;}
 	YY_BREAK
 case 275:
 YY_RULE_SETUP
-#line 384 "itex2MML.l"
+#line 387 "itex2MML.l"
 {yylval=itex2MML_copy_string("⋯"); return MI;}
 	YY_BREAK
 case 276:
 YY_RULE_SETUP
-#line 385 "itex2MML.l"
+#line 388 "itex2MML.l"
 {yylval=itex2MML_copy_string("⋱"); return MI;}
 	YY_BREAK
 case 277:
 YY_RULE_SETUP
-#line 386 "itex2MML.l"
+#line 389 "itex2MML.l"
 {yylval=itex2MML_copy_string("⋰"); return MI;}
 	YY_BREAK
 case 278:
 YY_RULE_SETUP
-#line 387 "itex2MML.l"
+#line 390 "itex2MML.l"
 {yylval=itex2MML_copy_string("⋮"); return MI;}
 	YY_BREAK
 case 279:
 YY_RULE_SETUP
-#line 388 "itex2MML.l"
+#line 391 "itex2MML.l"
 {yylval=itex2MML_copy_string(":"); return MOR;}
 	YY_BREAK
 case 280:
-#line 391 "itex2MML.l"
+#line 394 "itex2MML.l"
 case 281:
-#line 392 "itex2MML.l"
+#line 395 "itex2MML.l"
 case 282:
 YY_RULE_SETUP
-#line 392 "itex2MML.l"
+#line 395 "itex2MML.l"
 {yylval=itex2MML_copy_string("∪"); return MOL;}
 	YY_BREAK
 case 283:
-#line 395 "itex2MML.l"
+#line 398 "itex2MML.l"
 case 284:
-#line 396 "itex2MML.l"
+#line 399 "itex2MML.l"
 case 285:
 YY_RULE_SETUP
-#line 396 "itex2MML.l"
+#line 399 "itex2MML.l"
 {yylval=itex2MML_copy_string("⋃"); return MOB;}
 	YY_BREAK
 case 286:
-#line 399 "itex2MML.l"
+#line 402 "itex2MML.l"
 case 287:
 YY_RULE_SETUP
-#line 399 "itex2MML.l"
+#line 402 "itex2MML.l"
 {yylval=itex2MML_copy_string("∩"); return MOL;}
 	YY_BREAK
 case 288:
-#line 402 "itex2MML.l"
+#line 405 "itex2MML.l"
 case 289:
 YY_RULE_SETUP
-#line 402 "itex2MML.l"
+#line 405 "itex2MML.l"
 {yylval=itex2MML_copy_string("⋂"); return MOB;}
 	YY_BREAK
 case 290:
 YY_RULE_SETUP
-#line 404 "itex2MML.l"
+#line 407 "itex2MML.l"
 {yylval=itex2MML_copy_string("∈"); return MOL;}
 	YY_BREAK
 /* For some reason, Firefox does not put in the right spacing around some of these operators
@@ -3526,1519 +3529,1519 @@ YY_RULE_SETUP
   */
 case 291:
 YY_RULE_SETUP
-#line 409 "itex2MML.l"
+#line 412 "itex2MML.l"
 {yylval=itex2MML_copy_string("≔"); return MOL;}
 	YY_BREAK
 case 292:
 YY_RULE_SETUP
-#line 410 "itex2MML.l"
+#line 413 "itex2MML.l"
 {yylval=itex2MML_copy_string("⩴"); return MOS;}
 	YY_BREAK
 case 293:
 YY_RULE_SETUP
-#line 411 "itex2MML.l"
+#line 414 "itex2MML.l"
 {yylval=itex2MML_copy_string("∶−"); return MOS;}
 	YY_BREAK
 case 294:
 YY_RULE_SETUP
-#line 412 "itex2MML.l"
+#line 415 "itex2MML.l"
 {yylval=itex2MML_copy_string("∷−"); return MOS;}
 	YY_BREAK
 case 295:
 YY_RULE_SETUP
-#line 413 "itex2MML.l"
+#line 416 "itex2MML.l"
 {yylval=itex2MML_copy_string("≕"); return MOS;}
 	YY_BREAK
 case 296:
 YY_RULE_SETUP
-#line 414 "itex2MML.l"
+#line 417 "itex2MML.l"
 {yylval=itex2MML_copy_string("=∷"); return MOS;}
 	YY_BREAK
 case 297:
 YY_RULE_SETUP
-#line 415 "itex2MML.l"
+#line 418 "itex2MML.l"
 {yylval=itex2MML_copy_string("∹"); return MOS;}
 	YY_BREAK
 case 298:
 YY_RULE_SETUP
-#line 416 "itex2MML.l"
+#line 419 "itex2MML.l"
 {yylval=itex2MML_copy_string("−∷"); return MOS;}
 	YY_BREAK
 case 299:
 YY_RULE_SETUP
-#line 417 "itex2MML.l"
+#line 420 "itex2MML.l"
 {yylval=itex2MML_copy_string("∶≈"); return MOS;}
 	YY_BREAK
 case 300:
 YY_RULE_SETUP
-#line 418 "itex2MML.l"
+#line 421 "itex2MML.l"
 {yylval=itex2MML_copy_string("∷≈"); return MOS;}
 	YY_BREAK
 case 301:
 YY_RULE_SETUP
-#line 419 "itex2MML.l"
+#line 422 "itex2MML.l"
 {yylval=itex2MML_copy_string("∶∼"); return MOS;}
 	YY_BREAK
 case 302:
 YY_RULE_SETUP
-#line 420 "itex2MML.l"
+#line 423 "itex2MML.l"
 {yylval=itex2MML_copy_string("∷∼"); return MOS;}
 	YY_BREAK
 case 303:
 YY_RULE_SETUP
-#line 421 "itex2MML.l"
+#line 424 "itex2MML.l"
 {yylval=itex2MML_copy_string("∷"); return MOL;}
 	YY_BREAK
 case 304:
-#line 424 "itex2MML.l"
+#line 427 "itex2MML.l"
 case 305:
-#line 425 "itex2MML.l"
+#line 428 "itex2MML.l"
 case 306:
-#line 426 "itex2MML.l"
+#line 429 "itex2MML.l"
 case 307:
-#line 427 "itex2MML.l"
+#line 430 "itex2MML.l"
 case 308:
-#line 428 "itex2MML.l"
+#line 431 "itex2MML.l"
 case 309:
-#line 429 "itex2MML.l"
+#line 432 "itex2MML.l"
 case 310:
-#line 430 "itex2MML.l"
+#line 433 "itex2MML.l"
 case 311:
-#line 431 "itex2MML.l"
+#line 434 "itex2MML.l"
 case 312:
-#line 432 "itex2MML.l"
+#line 435 "itex2MML.l"
 case 313:
-#line 433 "itex2MML.l"
+#line 436 "itex2MML.l"
 case 314:
-#line 434 "itex2MML.l"
+#line 437 "itex2MML.l"
 case 315:
-#line 435 "itex2MML.l"
+#line 438 "itex2MML.l"
 case 316:
-#line 436 "itex2MML.l"
+#line 439 "itex2MML.l"
 case 317:
-#line 437 "itex2MML.l"
+#line 440 "itex2MML.l"
 case 318:
-#line 438 "itex2MML.l"
+#line 441 "itex2MML.l"
 case 319:
-#line 439 "itex2MML.l"
+#line 442 "itex2MML.l"
 case 320:
-#line 440 "itex2MML.l"
+#line 443 "itex2MML.l"
 case 321:
-#line 441 "itex2MML.l"
+#line 444 "itex2MML.l"
 case 322:
-#line 442 "itex2MML.l"
+#line 445 "itex2MML.l"
 case 323:
-#line 443 "itex2MML.l"
+#line 446 "itex2MML.l"
 case 324:
-#line 444 "itex2MML.l"
+#line 447 "itex2MML.l"
 case 325:
-#line 445 "itex2MML.l"
+#line 448 "itex2MML.l"
 case 326:
-#line 446 "itex2MML.l"
+#line 449 "itex2MML.l"
 case 327:
-#line 447 "itex2MML.l"
+#line 450 "itex2MML.l"
 case 328:
-#line 448 "itex2MML.l"
+#line 451 "itex2MML.l"
 case 329:
-#line 449 "itex2MML.l"
+#line 452 "itex2MML.l"
 case 330:
-#line 450 "itex2MML.l"
+#line 453 "itex2MML.l"
 case 331:
-#line 451 "itex2MML.l"
+#line 454 "itex2MML.l"
 case 332:
-#line 452 "itex2MML.l"
+#line 455 "itex2MML.l"
 case 333:
-#line 453 "itex2MML.l"
+#line 456 "itex2MML.l"
 case 334:
-#line 454 "itex2MML.l"
+#line 457 "itex2MML.l"
 case 335:
-#line 455 "itex2MML.l"
+#line 458 "itex2MML.l"
 case 336:
-#line 456 "itex2MML.l"
+#line 459 "itex2MML.l"
 case 337:
-#line 457 "itex2MML.l"
+#line 460 "itex2MML.l"
 case 338:
-#line 458 "itex2MML.l"
+#line 461 "itex2MML.l"
 case 339:
-#line 459 "itex2MML.l"
+#line 462 "itex2MML.l"
 case 340:
-#line 460 "itex2MML.l"
+#line 463 "itex2MML.l"
 case 341:
-#line 461 "itex2MML.l"
+#line 464 "itex2MML.l"
 case 342:
-#line 462 "itex2MML.l"
+#line 465 "itex2MML.l"
 case 343:
-#line 463 "itex2MML.l"
+#line 466 "itex2MML.l"
 case 344:
-#line 464 "itex2MML.l"
+#line 467 "itex2MML.l"
 case 345:
-#line 465 "itex2MML.l"
+#line 468 "itex2MML.l"
 case 346:
-#line 466 "itex2MML.l"
+#line 469 "itex2MML.l"
 case 347:
-#line 467 "itex2MML.l"
+#line 470 "itex2MML.l"
 case 348:
-#line 468 "itex2MML.l"
+#line 471 "itex2MML.l"
 case 349:
-#line 469 "itex2MML.l"
+#line 472 "itex2MML.l"
 case 350:
-#line 470 "itex2MML.l"
+#line 473 "itex2MML.l"
 case 351:
-#line 471 "itex2MML.l"
+#line 474 "itex2MML.l"
 case 352:
-#line 472 "itex2MML.l"
+#line 475 "itex2MML.l"
 case 353:
-#line 473 "itex2MML.l"
+#line 476 "itex2MML.l"
 case 354:
-#line 474 "itex2MML.l"
+#line 477 "itex2MML.l"
 case 355:
-#line 475 "itex2MML.l"
+#line 478 "itex2MML.l"
 case 356:
-#line 476 "itex2MML.l"
+#line 479 "itex2MML.l"
 case 357:
-#line 477 "itex2MML.l"
+#line 480 "itex2MML.l"
 case 358:
-#line 478 "itex2MML.l"
+#line 481 "itex2MML.l"
 case 359:
-#line 479 "itex2MML.l"
+#line 482 "itex2MML.l"
 case 360:
-#line 480 "itex2MML.l"
+#line 483 "itex2MML.l"
 case 361:
-#line 481 "itex2MML.l"
+#line 484 "itex2MML.l"
 case 362:
-#line 482 "itex2MML.l"
+#line 485 "itex2MML.l"
 case 363:
-#line 483 "itex2MML.l"
+#line 486 "itex2MML.l"
 case 364:
-#line 484 "itex2MML.l"
+#line 487 "itex2MML.l"
 case 365:
-#line 485 "itex2MML.l"
+#line 488 "itex2MML.l"
 case 366:
-#line 486 "itex2MML.l"
+#line 489 "itex2MML.l"
 case 367:
-#line 487 "itex2MML.l"
+#line 490 "itex2MML.l"
 case 368:
-#line 488 "itex2MML.l"
+#line 491 "itex2MML.l"
 case 369:
-#line 489 "itex2MML.l"
+#line 492 "itex2MML.l"
 case 370:
-#line 490 "itex2MML.l"
+#line 493 "itex2MML.l"
 case 371:
-#line 491 "itex2MML.l"
+#line 494 "itex2MML.l"
 case 372:
-#line 492 "itex2MML.l"
+#line 495 "itex2MML.l"
 case 373:
-#line 493 "itex2MML.l"
+#line 496 "itex2MML.l"
 case 374:
-#line 494 "itex2MML.l"
+#line 497 "itex2MML.l"
 case 375:
-#line 495 "itex2MML.l"
+#line 498 "itex2MML.l"
 case 376:
-#line 496 "itex2MML.l"
+#line 499 "itex2MML.l"
 case 377:
-#line 497 "itex2MML.l"
+#line 500 "itex2MML.l"
 case 378:
-#line 498 "itex2MML.l"
+#line 501 "itex2MML.l"
 case 379:
-#line 499 "itex2MML.l"
+#line 502 "itex2MML.l"
 case 380:
-#line 500 "itex2MML.l"
+#line 503 "itex2MML.l"
 case 381:
-#line 501 "itex2MML.l"
+#line 504 "itex2MML.l"
 case 382:
-#line 502 "itex2MML.l"
+#line 505 "itex2MML.l"
 case 383:
-#line 503 "itex2MML.l"
+#line 506 "itex2MML.l"
 case 384:
-#line 504 "itex2MML.l"
+#line 507 "itex2MML.l"
 case 385:
-#line 505 "itex2MML.l"
+#line 508 "itex2MML.l"
 case 386:
-#line 506 "itex2MML.l"
+#line 509 "itex2MML.l"
 case 387:
-#line 507 "itex2MML.l"
+#line 510 "itex2MML.l"
 case 388:
-#line 508 "itex2MML.l"
+#line 511 "itex2MML.l"
 case 389:
-#line 509 "itex2MML.l"
+#line 512 "itex2MML.l"
 case 390:
-#line 510 "itex2MML.l"
+#line 513 "itex2MML.l"
 case 391:
-#line 511 "itex2MML.l"
+#line 514 "itex2MML.l"
 case 392:
-#line 512 "itex2MML.l"
+#line 515 "itex2MML.l"
 case 393:
-#line 513 "itex2MML.l"
+#line 516 "itex2MML.l"
 case 394:
-#line 514 "itex2MML.l"
+#line 517 "itex2MML.l"
 case 395:
-#line 515 "itex2MML.l"
+#line 518 "itex2MML.l"
 case 396:
-#line 516 "itex2MML.l"
+#line 519 "itex2MML.l"
 case 397:
-#line 517 "itex2MML.l"
+#line 520 "itex2MML.l"
 case 398:
-#line 518 "itex2MML.l"
+#line 521 "itex2MML.l"
 case 399:
-#line 519 "itex2MML.l"
+#line 522 "itex2MML.l"
 case 400:
-#line 520 "itex2MML.l"
+#line 523 "itex2MML.l"
 case 401:
-#line 521 "itex2MML.l"
+#line 524 "itex2MML.l"
 case 402:
-#line 522 "itex2MML.l"
+#line 525 "itex2MML.l"
 case 403:
-#line 523 "itex2MML.l"
+#line 526 "itex2MML.l"
 case 404:
-#line 524 "itex2MML.l"
+#line 527 "itex2MML.l"
 case 405:
-#line 525 "itex2MML.l"
+#line 528 "itex2MML.l"
 case 406:
-#line 526 "itex2MML.l"
+#line 529 "itex2MML.l"
 case 407:
-#line 527 "itex2MML.l"
+#line 530 "itex2MML.l"
 case 408:
-#line 528 "itex2MML.l"
+#line 531 "itex2MML.l"
 case 409:
-#line 529 "itex2MML.l"
+#line 532 "itex2MML.l"
 case 410:
-#line 530 "itex2MML.l"
+#line 533 "itex2MML.l"
 case 411:
-#line 531 "itex2MML.l"
+#line 534 "itex2MML.l"
 case 412:
-#line 532 "itex2MML.l"
+#line 535 "itex2MML.l"
 case 413:
-#line 533 "itex2MML.l"
+#line 536 "itex2MML.l"
 case 414:
-#line 534 "itex2MML.l"
+#line 537 "itex2MML.l"
 case 415:
-#line 535 "itex2MML.l"
+#line 538 "itex2MML.l"
 case 416:
-#line 536 "itex2MML.l"
+#line 539 "itex2MML.l"
 case 417:
-#line 537 "itex2MML.l"
+#line 540 "itex2MML.l"
 case 418:
-#line 538 "itex2MML.l"
+#line 541 "itex2MML.l"
 case 419:
-#line 539 "itex2MML.l"
+#line 542 "itex2MML.l"
 case 420:
-#line 540 "itex2MML.l"
+#line 543 "itex2MML.l"
 case 421:
-#line 541 "itex2MML.l"
+#line 544 "itex2MML.l"
 case 422:
-#line 542 "itex2MML.l"
+#line 545 "itex2MML.l"
 case 423:
-#line 543 "itex2MML.l"
+#line 546 "itex2MML.l"
 case 424:
-#line 544 "itex2MML.l"
+#line 547 "itex2MML.l"
 case 425:
-#line 545 "itex2MML.l"
+#line 548 "itex2MML.l"
 case 426:
-#line 546 "itex2MML.l"
+#line 549 "itex2MML.l"
 case 427:
-#line 547 "itex2MML.l"
+#line 550 "itex2MML.l"
 case 428:
-#line 548 "itex2MML.l"
+#line 551 "itex2MML.l"
 case 429:
-#line 549 "itex2MML.l"
+#line 552 "itex2MML.l"
 case 430:
-#line 550 "itex2MML.l"
+#line 553 "itex2MML.l"
 case 431:
-#line 551 "itex2MML.l"
+#line 554 "itex2MML.l"
 case 432:
-#line 552 "itex2MML.l"
+#line 555 "itex2MML.l"
 case 433:
-#line 553 "itex2MML.l"
+#line 556 "itex2MML.l"
 case 434:
-#line 554 "itex2MML.l"
+#line 557 "itex2MML.l"
 case 435:
-#line 555 "itex2MML.l"
+#line 558 "itex2MML.l"
 case 436:
-#line 556 "itex2MML.l"
+#line 559 "itex2MML.l"
 case 437:
-#line 557 "itex2MML.l"
+#line 560 "itex2MML.l"
 case 438:
-#line 558 "itex2MML.l"
+#line 561 "itex2MML.l"
 case 439:
-#line 559 "itex2MML.l"
+#line 562 "itex2MML.l"
 case 440:
-#line 560 "itex2MML.l"
+#line 563 "itex2MML.l"
 case 441:
-#line 561 "itex2MML.l"
+#line 564 "itex2MML.l"
 case 442:
-#line 562 "itex2MML.l"
+#line 565 "itex2MML.l"
 case 443:
-#line 563 "itex2MML.l"
+#line 566 "itex2MML.l"
 case 444:
-#line 564 "itex2MML.l"
+#line 567 "itex2MML.l"
 case 445:
-#line 565 "itex2MML.l"
+#line 568 "itex2MML.l"
 case 446:
-#line 566 "itex2MML.l"
+#line 569 "itex2MML.l"
 case 447:
-#line 567 "itex2MML.l"
+#line 570 "itex2MML.l"
 case 448:
-#line 568 "itex2MML.l"
+#line 571 "itex2MML.l"
 case 449:
-#line 569 "itex2MML.l"
+#line 572 "itex2MML.l"
 case 450:
-#line 570 "itex2MML.l"
+#line 573 "itex2MML.l"
 case 451:
-#line 571 "itex2MML.l"
+#line 574 "itex2MML.l"
 case 452:
-#line 572 "itex2MML.l"
+#line 575 "itex2MML.l"
 case 453:
-#line 573 "itex2MML.l"
+#line 576 "itex2MML.l"
 case 454:
-#line 574 "itex2MML.l"
+#line 577 "itex2MML.l"
 case 455:
-#line 575 "itex2MML.l"
+#line 578 "itex2MML.l"
 case 456:
-#line 576 "itex2MML.l"
+#line 579 "itex2MML.l"
 case 457:
-#line 577 "itex2MML.l"
+#line 580 "itex2MML.l"
 case 458:
-#line 578 "itex2MML.l"
+#line 581 "itex2MML.l"
 case 459:
-#line 579 "itex2MML.l"
+#line 582 "itex2MML.l"
 case 460:
-#line 580 "itex2MML.l"
+#line 583 "itex2MML.l"
 case 461:
-#line 581 "itex2MML.l"
+#line 584 "itex2MML.l"
 case 462:
-#line 582 "itex2MML.l"
+#line 585 "itex2MML.l"
 case 463:
-#line 583 "itex2MML.l"
+#line 586 "itex2MML.l"
 case 464:
-#line 584 "itex2MML.l"
+#line 587 "itex2MML.l"
 case 465:
-#line 585 "itex2MML.l"
+#line 588 "itex2MML.l"
 case 466:
-#line 586 "itex2MML.l"
+#line 589 "itex2MML.l"
 case 467:
-#line 587 "itex2MML.l"
+#line 590 "itex2MML.l"
 case 468:
-#line 588 "itex2MML.l"
+#line 591 "itex2MML.l"
 case 469:
-#line 589 "itex2MML.l"
+#line 592 "itex2MML.l"
 case 470:
-#line 590 "itex2MML.l"
+#line 593 "itex2MML.l"
 case 471:
-#line 591 "itex2MML.l"
+#line 594 "itex2MML.l"
 case 472:
-#line 592 "itex2MML.l"
+#line 595 "itex2MML.l"
 case 473:
-#line 593 "itex2MML.l"
+#line 596 "itex2MML.l"
 case 474:
-#line 594 "itex2MML.l"
+#line 597 "itex2MML.l"
 case 475:
-#line 595 "itex2MML.l"
+#line 598 "itex2MML.l"
 case 476:
-#line 596 "itex2MML.l"
+#line 599 "itex2MML.l"
 case 477:
-#line 597 "itex2MML.l"
+#line 600 "itex2MML.l"
 case 478:
-#line 598 "itex2MML.l"
+#line 601 "itex2MML.l"
 case 479:
-#line 599 "itex2MML.l"
+#line 602 "itex2MML.l"
 case 480:
-#line 600 "itex2MML.l"
+#line 603 "itex2MML.l"
 case 481:
-#line 601 "itex2MML.l"
+#line 604 "itex2MML.l"
 case 482:
-#line 602 "itex2MML.l"
+#line 605 "itex2MML.l"
 case 483:
-#line 603 "itex2MML.l"
+#line 606 "itex2MML.l"
 case 484:
-#line 604 "itex2MML.l"
+#line 607 "itex2MML.l"
 case 485:
-#line 605 "itex2MML.l"
+#line 608 "itex2MML.l"
 case 486:
-#line 606 "itex2MML.l"
+#line 609 "itex2MML.l"
 case 487:
-#line 607 "itex2MML.l"
+#line 610 "itex2MML.l"
 case 488:
-#line 608 "itex2MML.l"
+#line 611 "itex2MML.l"
 case 489:
-#line 609 "itex2MML.l"
+#line 612 "itex2MML.l"
 case 490:
-#line 610 "itex2MML.l"
+#line 613 "itex2MML.l"
 case 491:
-#line 611 "itex2MML.l"
+#line 614 "itex2MML.l"
 case 492:
-#line 612 "itex2MML.l"
+#line 615 "itex2MML.l"
 case 493:
-#line 613 "itex2MML.l"
+#line 616 "itex2MML.l"
 case 494:
-#line 614 "itex2MML.l"
+#line 617 "itex2MML.l"
 case 495:
-#line 615 "itex2MML.l"
+#line 618 "itex2MML.l"
 case 496:
-#line 616 "itex2MML.l"
+#line 619 "itex2MML.l"
 case 497:
-#line 617 "itex2MML.l"
+#line 620 "itex2MML.l"
 case 498:
-#line 618 "itex2MML.l"
+#line 621 "itex2MML.l"
 case 499:
-#line 619 "itex2MML.l"
+#line 622 "itex2MML.l"
 case 500:
-#line 620 "itex2MML.l"
+#line 623 "itex2MML.l"
 case 501:
-#line 621 "itex2MML.l"
+#line 624 "itex2MML.l"
 case 502:
-#line 622 "itex2MML.l"
+#line 625 "itex2MML.l"
 case 503:
-#line 623 "itex2MML.l"
+#line 626 "itex2MML.l"
 case 504:
-#line 624 "itex2MML.l"
+#line 627 "itex2MML.l"
 case 505:
-#line 625 "itex2MML.l"
+#line 628 "itex2MML.l"
 case 506:
-#line 626 "itex2MML.l"
+#line 629 "itex2MML.l"
 case 507:
-#line 627 "itex2MML.l"
+#line 630 "itex2MML.l"
 case 508:
-#line 628 "itex2MML.l"
+#line 631 "itex2MML.l"
 case 509:
-#line 629 "itex2MML.l"
+#line 632 "itex2MML.l"
 case 510:
-#line 630 "itex2MML.l"
+#line 633 "itex2MML.l"
 case 511:
-#line 631 "itex2MML.l"
+#line 634 "itex2MML.l"
 case 512:
-#line 632 "itex2MML.l"
+#line 635 "itex2MML.l"
 case 513:
-#line 633 "itex2MML.l"
+#line 636 "itex2MML.l"
 case 514:
 YY_RULE_SETUP
-#line 633 "itex2MML.l"
+#line 636 "itex2MML.l"
 {yylval=itex2MML_copy2(itex2MML_yytext, ";"); if (yylval != itex2MML_empty_string) yylval[0]='&'; return MOL;}
 	YY_BREAK
 case 515:
-#line 636 "itex2MML.l"
+#line 639 "itex2MML.l"
 case 516:
-#line 637 "itex2MML.l"
+#line 640 "itex2MML.l"
 case 517:
-#line 638 "itex2MML.l"
+#line 641 "itex2MML.l"
 case 518:
-#line 639 "itex2MML.l"
+#line 642 "itex2MML.l"
 case 519:
-#line 640 "itex2MML.l"
+#line 643 "itex2MML.l"
 case 520:
-#line 641 "itex2MML.l"
+#line 644 "itex2MML.l"
 case 521:
-#line 642 "itex2MML.l"
+#line 645 "itex2MML.l"
 case 522:
-#line 643 "itex2MML.l"
+#line 646 "itex2MML.l"
 case 523:
-#line 644 "itex2MML.l"
+#line 647 "itex2MML.l"
 case 524:
 YY_RULE_SETUP
-#line 644 "itex2MML.l"
+#line 647 "itex2MML.l"
 {yylval=itex2MML_copy2(itex2MML_yytext, ";"); if (yylval != itex2MML_empty_string) yylval[0]='&'; return MI;}
 	YY_BREAK
 case 525:
-#line 647 "itex2MML.l"
+#line 650 "itex2MML.l"
 case 526:
 YY_RULE_SETUP
-#line 647 "itex2MML.l"
+#line 650 "itex2MML.l"
 {yylval=itex2MML_copy_string("⫫"); return MOL;}
 	YY_BREAK
 case 527:
 YY_RULE_SETUP
-#line 648 "itex2MML.l"
+#line 651 "itex2MML.l"
 {yylval=itex2MML_copy_string("⊡"); return MOL;}
 	YY_BREAK
 case 528:
-#line 650 "itex2MML.l"
+#line 653 "itex2MML.l"
 case 529:
 YY_RULE_SETUP
-#line 650 "itex2MML.l"
+#line 653 "itex2MML.l"
 {yylval=itex2MML_copy_string("□"); return MOL;}
 	YY_BREAK
 case 530:
-#line 652 "itex2MML.l"
+#line 655 "itex2MML.l"
 case 531:
 YY_RULE_SETUP
-#line 652 "itex2MML.l"
+#line 655 "itex2MML.l"
 {yylval=itex2MML_copy_string("∅"); return MI;}
 	YY_BREAK
 case 532:
 YY_RULE_SETUP
-#line 653 "itex2MML.l"
+#line 656 "itex2MML.l"
 {yylval=itex2MML_copy_string("∃"); return MOL;}
 	YY_BREAK
 case 533:
 YY_RULE_SETUP
-#line 654 "itex2MML.l"
+#line 657 "itex2MML.l"
 {yylval=itex2MML_copy_string("∘"); return MOL;}
 	YY_BREAK
 case 534:
 YY_RULE_SETUP
-#line 655 "itex2MML.l"
+#line 658 "itex2MML.l"
 {yylval=itex2MML_copy_string("⊳"); return MOL;}
 	YY_BREAK
 case 535:
 YY_RULE_SETUP
-#line 656 "itex2MML.l"
+#line 659 "itex2MML.l"
 {yylval=itex2MML_copy_string("⊲"); return MOL;}
 	YY_BREAK
 case 536:
 YY_RULE_SETUP
-#line 657 "itex2MML.l"
+#line 660 "itex2MML.l"
 {yylval=itex2MML_copy_string("⋘"); return MOL;}
 	YY_BREAK
 case 537:
 YY_RULE_SETUP
-#line 658 "itex2MML.l"
+#line 661 "itex2MML.l"
 {yylval=itex2MML_copy_string("⊵"); return MOL;}
 	YY_BREAK
 case 538:
 YY_RULE_SETUP
-#line 659 "itex2MML.l"
+#line 662 "itex2MML.l"
 {yylval=itex2MML_copy_string("⊴"); return MOL;}
 	YY_BREAK
 case 539:
-#line 661 "itex2MML.l"
+#line 664 "itex2MML.l"
 case 540:
 YY_RULE_SETUP
-#line 661 "itex2MML.l"
+#line 664 "itex2MML.l"
 {yylval=itex2MML_copy_string("∇"); return MOL;}
 	YY_BREAK
 case 541:
 YY_RULE_SETUP
-#line 662 "itex2MML.l"
+#line 665 "itex2MML.l"
 {yylval=itex2MML_copy_string("∢"); return MOL;}
 	YY_BREAK
 case 542:
 YY_RULE_SETUP
-#line 664 "itex2MML.l"
+#line 667 "itex2MML.l"
 {yylval=itex2MML_copy_string("♡"); return MOL;}
 	YY_BREAK
 case 543:
 YY_RULE_SETUP
-#line 665 "itex2MML.l"
+#line 668 "itex2MML.l"
 {yylval=itex2MML_copy_string("♢"); return MOL;}
 	YY_BREAK
 case 544:
 YY_RULE_SETUP
-#line 667 "itex2MML.l"
+#line 670 "itex2MML.l"
 {yylval=itex2MML_copy_string("∂"); return MOL;}
 	YY_BREAK
 case 545:
 YY_RULE_SETUP
-#line 669 "itex2MML.l"
+#line 672 "itex2MML.l"
 {yylval=itex2MML_copy_string("▪"); return MO;}
 	YY_BREAK
 case 546:
 YY_RULE_SETUP
-#line 671 "itex2MML.l"
+#line 674 "itex2MML.l"
 {yylval=itex2MML_copy_string("mod"); return MOS;}
 	YY_BREAK
 case 547:
 YY_RULE_SETUP
-#line 672 "itex2MML.l"
+#line 675 "itex2MML.l"
 {return PMOD;}
 	YY_BREAK
 case 548:
 YY_RULE_SETUP
-#line 674 "itex2MML.l"
+#line 677 "itex2MML.l"
 {yylval=itex2MML_copy_string("⊥"); return MOL;}
 	YY_BREAK
 case 549:
 YY_RULE_SETUP
-#line 676 "itex2MML.l"
+#line 679 "itex2MML.l"
 {yylval=itex2MML_copy_string("¬"); return MOL;}
 	YY_BREAK
 case 550:
-#line 679 "itex2MML.l"
+#line 682 "itex2MML.l"
 case 551:
 YY_RULE_SETUP
-#line 679 "itex2MML.l"
+#line 682 "itex2MML.l"
 {yylval=itex2MML_copy_string("≠"); return MOL;}
 	YY_BREAK
 case 552:
-#line 682 "itex2MML.l"
+#line 685 "itex2MML.l"
 case 553:
 YY_RULE_SETUP
-#line 682 "itex2MML.l"
+#line 685 "itex2MML.l"
 {yylval=itex2MML_copy_string("∣"); return MOS;}
 	YY_BREAK
 case 554:
-#line 685 "itex2MML.l"
+#line 688 "itex2MML.l"
 case 555:
 YY_RULE_SETUP
-#line 685 "itex2MML.l"
+#line 688 "itex2MML.l"
 {yylval=itex2MML_copy_string("∫"); return MOL;}
 	YY_BREAK
 case 556:
-#line 688 "itex2MML.l"
+#line 691 "itex2MML.l"
 case 557:
 YY_RULE_SETUP
-#line 688 "itex2MML.l"
+#line 691 "itex2MML.l"
 {yylval=itex2MML_copy_string("∬"); return MOL;}
 	YY_BREAK
 case 558:
-#line 691 "itex2MML.l"
+#line 694 "itex2MML.l"
 case 559:
 YY_RULE_SETUP
-#line 691 "itex2MML.l"
+#line 694 "itex2MML.l"
 {yylval=itex2MML_copy_string("∭"); return MOL;}
 	YY_BREAK
 case 560:
-#line 694 "itex2MML.l"
+#line 697 "itex2MML.l"
 case 561:
 YY_RULE_SETUP
-#line 694 "itex2MML.l"
+#line 697 "itex2MML.l"
 {yylval=itex2MML_copy_string("⨌"); return MOL;}
 	YY_BREAK
 case 562:
-#line 697 "itex2MML.l"
+#line 700 "itex2MML.l"
 case 563:
-#line 698 "itex2MML.l"
+#line 701 "itex2MML.l"
 case 564:
 YY_RULE_SETUP
-#line 698 "itex2MML.l"
+#line 701 "itex2MML.l"
 {yylval=itex2MML_copy_string("∮"); return MOL;}
 	YY_BREAK
 case 565:
 YY_RULE_SETUP
-#line 700 "itex2MML.l"
+#line 703 "itex2MML.l"
 {yylval=itex2MML_copy_string("×"); return MOL;}
 	YY_BREAK
 case 566:
 YY_RULE_SETUP
-#line 701 "itex2MML.l"
+#line 704 "itex2MML.l"
 {yylval=itex2MML_copy_string("⋆"); return MOL;}
 	YY_BREAK
 case 567:
-#line 703 "itex2MML.l"
+#line 706 "itex2MML.l"
 case 568:
 YY_RULE_SETUP
-#line 703 "itex2MML.l"
+#line 706 "itex2MML.l"
 {yylval=itex2MML_copy_string("⊝"); return MOL;}
 	YY_BREAK
 case 569:
 YY_RULE_SETUP
-#line 705 "itex2MML.l"
+#line 708 "itex2MML.l"
 {yylval=itex2MML_copy_string("⊺"); return MOL;}
 	YY_BREAK
 case 570:
 YY_RULE_SETUP
-#line 706 "itex2MML.l"
+#line 709 "itex2MML.l"
 {yylval=itex2MML_copy_string("⌢"); return MOL;}
 	YY_BREAK
 case 571:
 YY_RULE_SETUP
-#line 707 "itex2MML.l"
+#line 710 "itex2MML.l"
 {yylval=itex2MML_copy_string("⌣"); return MOL;}
 	YY_BREAK
 case 572:
-#line 710 "itex2MML.l"
+#line 713 "itex2MML.l"
 case 573:
 YY_RULE_SETUP
-#line 710 "itex2MML.l"
+#line 713 "itex2MML.l"
 {yylval=itex2MML_copy_string("⊟"); return MOL;}
 	YY_BREAK
 case 574:
-#line 712 "itex2MML.l"
+#line 715 "itex2MML.l"
 case 575:
 YY_RULE_SETUP
-#line 712 "itex2MML.l"
+#line 715 "itex2MML.l"
 {yylval=itex2MML_copy_string("⊞"); return MOL;}
 	YY_BREAK
 case 576:
-#line 714 "itex2MML.l"
+#line 717 "itex2MML.l"
 case 577:
 YY_RULE_SETUP
-#line 714 "itex2MML.l"
+#line 717 "itex2MML.l"
 {yylval=itex2MML_copy_string("⊠"); return MOL;}
 	YY_BREAK
 case 578:
 YY_RULE_SETUP
-#line 716 "itex2MML.l"
+#line 719 "itex2MML.l"
 {yylval=itex2MML_copy_string("∑"); return MOB;}
 	YY_BREAK
 case 579:
-#line 719 "itex2MML.l"
+#line 722 "itex2MML.l"
 case 580:
 YY_RULE_SETUP
-#line 719 "itex2MML.l"
+#line 722 "itex2MML.l"
 {yylval=itex2MML_copy_string("∏"); return MOB;}
 	YY_BREAK
 case 581:
-#line 722 "itex2MML.l"
+#line 725 "itex2MML.l"
 case 582:
 YY_RULE_SETUP
-#line 722 "itex2MML.l"
+#line 725 "itex2MML.l"
 {yylval=itex2MML_copy_string("∐"); return MOB;}
 	YY_BREAK
 case 583:
 YY_RULE_SETUP
-#line 724 "itex2MML.l"
+#line 727 "itex2MML.l"
 {yylval=itex2MML_copy_string("⊗"); return MOL;}
 	YY_BREAK
 case 584:
 YY_RULE_SETUP
-#line 725 "itex2MML.l"
+#line 728 "itex2MML.l"
 {yylval=itex2MML_copy_string("⨷"); return MOL;}
 	YY_BREAK
 case 585:
 YY_RULE_SETUP
-#line 726 "itex2MML.l"
+#line 729 "itex2MML.l"
 {yylval=itex2MML_copy_string("⨂"); return MOL;}
 	YY_BREAK
 case 586:
 YY_RULE_SETUP
-#line 728 "itex2MML.l"
+#line 731 "itex2MML.l"
 {yylval=itex2MML_copy_string("⊖"); return MOL;}
 	YY_BREAK
 case 587:
 YY_RULE_SETUP
-#line 729 "itex2MML.l"
+#line 732 "itex2MML.l"
 {yylval=itex2MML_copy_string("⊘"); return MOL;}
 	YY_BREAK
 case 588:
 YY_RULE_SETUP
-#line 731 "itex2MML.l"
+#line 734 "itex2MML.l"
 {yylval=itex2MML_copy_string("⊕"); return MOL;}
 	YY_BREAK
 case 589:
-#line 733 "itex2MML.l"
+#line 736 "itex2MML.l"
 case 590:
 YY_RULE_SETUP
-#line 733 "itex2MML.l"
+#line 736 "itex2MML.l"
 {yylval=itex2MML_copy_string("⨁"); return MOB;}
 	YY_BREAK
 case 591:
 YY_RULE_SETUP
-#line 735 "itex2MML.l"
+#line 738 "itex2MML.l"
 {yylval=itex2MML_copy_string("⨀"); return MOB;}
 	YY_BREAK
 case 592:
 YY_RULE_SETUP
-#line 736 "itex2MML.l"
+#line 739 "itex2MML.l"
 {yylval=itex2MML_copy_string("⨆"); return MOB;}
 	YY_BREAK
 case 593:
 YY_RULE_SETUP
-#line 737 "itex2MML.l"
+#line 740 "itex2MML.l"
 {yylval=itex2MML_copy_string("⨄"); return MOB;}
 	YY_BREAK
 case 594:
 YY_RULE_SETUP
-#line 739 "itex2MML.l"
+#line 742 "itex2MML.l"
 {yylval=itex2MML_copy_string("∧"); return MOL;}
 	YY_BREAK
 case 595:
-#line 741 "itex2MML.l"
+#line 744 "itex2MML.l"
 case 596:
 YY_RULE_SETUP
-#line 741 "itex2MML.l"
+#line 744 "itex2MML.l"
 {yylval=itex2MML_copy_string("⋀"); return MOB;}
 	YY_BREAK
 case 597:
-#line 744 "itex2MML.l"
+#line 747 "itex2MML.l"
 case 598:
 YY_RULE_SETUP
-#line 744 "itex2MML.l"
+#line 747 "itex2MML.l"
 {yylval=itex2MML_copy_string("⋁"); return MOB;}
 	YY_BREAK
 case 599:
-#line 747 "itex2MML.l"
+#line 750 "itex2MML.l"
 case 600:
 YY_RULE_SETUP
-#line 747 "itex2MML.l"
+#line 750 "itex2MML.l"
 {yylval=itex2MML_copy_string("⅋"); return MOL;}
 	YY_BREAK
 case 601:
 YY_RULE_SETUP
-#line 749 "itex2MML.l"
+#line 752 "itex2MML.l"
 {return FRAC;}
 	YY_BREAK
 case 602:
 YY_RULE_SETUP
-#line 750 "itex2MML.l"
+#line 753 "itex2MML.l"
 {return TFRAC;}
 	YY_BREAK
 case 603:
 YY_RULE_SETUP
-#line 752 "itex2MML.l"
+#line 755 "itex2MML.l"
 {return BINOM;}
 	YY_BREAK
 case 604:
 YY_RULE_SETUP
-#line 754 "itex2MML.l"
+#line 757 "itex2MML.l"
 {return TENSOR;}
 	YY_BREAK
 case 605:
 YY_RULE_SETUP
-#line 756 "itex2MML.l"
+#line 759 "itex2MML.l"
 {return MULTI;}
 	YY_BREAK
 case 606:
 YY_RULE_SETUP
-#line 758 "itex2MML.l"
+#line 761 "itex2MML.l"
 {return OVERBRACE;}
 	YY_BREAK
 case 607:
 YY_RULE_SETUP
-#line 760 "itex2MML.l"
+#line 763 "itex2MML.l"
 {return UNDERBRACE;}
 	YY_BREAK
 case 608:
 YY_RULE_SETUP
-#line 762 "itex2MML.l"
+#line 765 "itex2MML.l"
 {return UNDERLINE;}
 	YY_BREAK
 case 609:
 YY_RULE_SETUP
-#line 764 "itex2MML.l"
+#line 767 "itex2MML.l"
 {return BAR;}
 	YY_BREAK
 case 610:
-#line 766 "itex2MML.l"
+#line 769 "itex2MML.l"
 case 611:
-#line 767 "itex2MML.l"
+#line 770 "itex2MML.l"
 case 612:
 YY_RULE_SETUP
-#line 767 "itex2MML.l"
+#line 770 "itex2MML.l"
 {return WIDEBAR;}
 	YY_BREAK
 case 613:
 YY_RULE_SETUP
-#line 769 "itex2MML.l"
+#line 772 "itex2MML.l"
 {return VEC;} 
 	YY_BREAK
 case 614:
 YY_RULE_SETUP
-#line 770 "itex2MML.l"
+#line 773 "itex2MML.l"
 {return WIDEVEC;}
 	YY_BREAK
 case 615:
 YY_RULE_SETUP
-#line 772 "itex2MML.l"
+#line 775 "itex2MML.l"
 {return DOT;}
 	YY_BREAK
 case 616:
 YY_RULE_SETUP
-#line 773 "itex2MML.l"
+#line 776 "itex2MML.l"
 {return DDOT;}
 	YY_BREAK
 case 617:
 YY_RULE_SETUP
-#line 774 "itex2MML.l"
+#line 777 "itex2MML.l"
 {return DDDOT;}
 	YY_BREAK
 case 618:
 YY_RULE_SETUP
-#line 775 "itex2MML.l"
+#line 778 "itex2MML.l"
 {return DDDDOT;}
 	YY_BREAK
 case 619:
 YY_RULE_SETUP
-#line 777 "itex2MML.l"
+#line 780 "itex2MML.l"
 {return TILDE;} 
 	YY_BREAK
 case 620:
 YY_RULE_SETUP
-#line 778 "itex2MML.l"
+#line 781 "itex2MML.l"
 {return WIDETILDE;}
 	YY_BREAK
 case 621:
 YY_RULE_SETUP
-#line 781 "itex2MML.l"
+#line 784 "itex2MML.l"
 {return CHECK;} 
 	YY_BREAK
 case 622:
 YY_RULE_SETUP
-#line 782 "itex2MML.l"
+#line 785 "itex2MML.l"
 {return WIDECHECK;}
 	YY_BREAK
 case 623:
 YY_RULE_SETUP
-#line 785 "itex2MML.l"
+#line 788 "itex2MML.l"
 {return HAT;} 
 	YY_BREAK
 case 624:
 YY_RULE_SETUP
-#line 786 "itex2MML.l"
+#line 789 "itex2MML.l"
 {return WIDEHAT;}
 	YY_BREAK
 case 625:
 YY_RULE_SETUP
-#line 788 "itex2MML.l"
+#line 791 "itex2MML.l"
 {return UNDER;}
 	YY_BREAK
 case 626:
-#line 791 "itex2MML.l"
+#line 794 "itex2MML.l"
 case 627:
 YY_RULE_SETUP
-#line 791 "itex2MML.l"
+#line 794 "itex2MML.l"
 {return OVER;}
 	YY_BREAK
 case 628:
 YY_RULE_SETUP
-#line 793 "itex2MML.l"
+#line 796 "itex2MML.l"
 {return TEXOVER;}
 	YY_BREAK
 case 629:
 YY_RULE_SETUP
-#line 794 "itex2MML.l"
+#line 797 "itex2MML.l"
 {return TEXATOP;}
 	YY_BREAK
 case 630:
 YY_RULE_SETUP
-#line 796 "itex2MML.l"
+#line 799 "itex2MML.l"
 {return UNDEROVER;}
 	YY_BREAK
 case 631:
 YY_RULE_SETUP
-#line 798 "itex2MML.l"
+#line 801 "itex2MML.l"
 {return SQRT;}
 	YY_BREAK
 case 632:
 YY_RULE_SETUP
-#line 800 "itex2MML.l"
+#line 803 "itex2MML.l"
 {return ROOT;}
 	YY_BREAK
 case 633:
 YY_RULE_SETUP
-#line 802 "itex2MML.l"
+#line 805 "itex2MML.l"
 {BEGIN(INT1); return SPACE;}
 	YY_BREAK
 case 634:
 YY_RULE_SETUP
-#line 804 "itex2MML.l"
+#line 807 "itex2MML.l"
 {BEGIN(PLAINTEXT); return TEXTBOX;}
 	YY_BREAK
 case 635:
 YY_RULE_SETUP
-#line 806 "itex2MML.l"
+#line 809 "itex2MML.l"
 {BEGIN(PLAINTEXT); return STATLINE;}
 	YY_BREAK
 case 636:
 YY_RULE_SETUP
-#line 807 "itex2MML.l"
+#line 810 "itex2MML.l"
 {BEGIN(PLAINTEXT); return TOOLTIP;}
 	YY_BREAK
 case 637:
 YY_RULE_SETUP
-#line 809 "itex2MML.l"
+#line 812 "itex2MML.l"
 {return TOGGLE;}
 	YY_BREAK
 case 638:
-#line 812 "itex2MML.l"
+#line 815 "itex2MML.l"
 case 639:
 YY_RULE_SETUP
-#line 812 "itex2MML.l"
+#line 815 "itex2MML.l"
 {BEGIN(ATTRIBUTELIST); return FGHIGHLIGHT;}
 	YY_BREAK
 case 640:
-#line 815 "itex2MML.l"
+#line 818 "itex2MML.l"
 case 641:
 YY_RULE_SETUP
-#line 815 "itex2MML.l"
+#line 818 "itex2MML.l"
 {BEGIN(ATTRIBUTELIST); return BGHIGHLIGHT;}
 	YY_BREAK
 case 642:
 YY_RULE_SETUP
-#line 817 "itex2MML.l"
+#line 820 "itex2MML.l"
 {BEGIN(ATTRIBUTELIST); return COLOR;}
 	YY_BREAK
 case 643:
 YY_RULE_SETUP
-#line 818 "itex2MML.l"
+#line 821 "itex2MML.l"
 {BEGIN(ATTRIBUTELIST); return BGCOLOR;}
 	YY_BREAK
 case 644:
 YY_RULE_SETUP
-#line 820 "itex2MML.l"
+#line 823 "itex2MML.l"
 {itex2MML_rowposn=2; return DISPLAY;}
 	YY_BREAK
 case 645:
 YY_RULE_SETUP
-#line 822 "itex2MML.l"
+#line 825 "itex2MML.l"
 {itex2MML_rowposn=2; return TEXTSTY;}
 	YY_BREAK
 case 646:
 YY_RULE_SETUP
-#line 824 "itex2MML.l"
+#line 827 "itex2MML.l"
 {return TEXTSIZE;}
 	YY_BREAK
 case 647:
 YY_RULE_SETUP
-#line 826 "itex2MML.l"
+#line 829 "itex2MML.l"
 {return SCSIZE;}
 	YY_BREAK
 case 648:
 YY_RULE_SETUP
-#line 828 "itex2MML.l"
+#line 831 "itex2MML.l"
 {return SCSCSIZE;}
 	YY_BREAK
 case 649:
 YY_RULE_SETUP
-#line 830 "itex2MML.l"
+#line 833 "itex2MML.l"
 {return ITALICS;}
 	YY_BREAK
 case 650:
-#line 833 "itex2MML.l"
+#line 836 "itex2MML.l"
 case 651:
 YY_RULE_SETUP
-#line 833 "itex2MML.l"
+#line 836 "itex2MML.l"
 {return BOLD;}
 	YY_BREAK
 case 652:
 YY_RULE_SETUP
-#line 835 "itex2MML.l"
+#line 838 "itex2MML.l"
 {BEGIN(ROMAN); return RM;}
 	YY_BREAK
 case 653:
 YY_RULE_SETUP
-#line 837 "itex2MML.l"
+#line 840 "itex2MML.l"
 {BEGIN(BBOLD); return BB;}
 	YY_BREAK
 case 654:
-#line 840 "itex2MML.l"
+#line 843 "itex2MML.l"
 case 655:
 YY_RULE_SETUP
-#line 840 "itex2MML.l"
+#line 843 "itex2MML.l"
 {BEGIN(FRAKTUR); return FRAK;}
 	YY_BREAK
 case 656:
 YY_RULE_SETUP
-#line 842 "itex2MML.l"
+#line 845 "itex2MML.l"
 {return SLASHED;}
 	YY_BREAK
 case 657:
 YY_RULE_SETUP
-#line 844 "itex2MML.l"
+#line 847 "itex2MML.l"
 {return BOXED;}
 	YY_BREAK
 case 658:
 YY_RULE_SETUP
-#line 846 "itex2MML.l"
+#line 849 "itex2MML.l"
 {BEGIN(CALLIGRAPHIC); return CAL;}
 	YY_BREAK
 case 659:
 YY_RULE_SETUP
-#line 848 "itex2MML.l"
+#line 851 "itex2MML.l"
 {BEGIN(MATHENV); return BEGINENV;}
 	YY_BREAK
 case 660:
 YY_RULE_SETUP
-#line 849 "itex2MML.l"
+#line 852 "itex2MML.l"
 {BEGIN(MATHENV); return ENDENV;}
 	YY_BREAK
 case 661:
 YY_RULE_SETUP
-#line 851 "itex2MML.l"
+#line 854 "itex2MML.l"
 {return SUBSTACK;}
 	YY_BREAK
 case 662:
 YY_RULE_SETUP
-#line 853 "itex2MML.l"
+#line 856 "itex2MML.l"
 {return ARRAY;}
 	YY_BREAK
 case 663:
 YY_RULE_SETUP
-#line 855 "itex2MML.l"
+#line 858 "itex2MML.l"
 {return ARRAYOPTS;}
 	YY_BREAK
 case 664:
 YY_RULE_SETUP
-#line 857 "itex2MML.l"
+#line 860 "itex2MML.l"
 {BEGIN(ATTRIBUTELIST); return COLALIGN;}
 	YY_BREAK
 case 665:
 YY_RULE_SETUP
-#line 859 "itex2MML.l"
+#line 862 "itex2MML.l"
 {BEGIN(ATTRIBUTELIST); return COLLAYOUT;}
 	YY_BREAK
 case 666:
 YY_RULE_SETUP
-#line 861 "itex2MML.l"
+#line 864 "itex2MML.l"
 {BEGIN(ATTRIBUTELIST); return ROWALIGN;}
 	YY_BREAK
 case 667:
 YY_RULE_SETUP
-#line 863 "itex2MML.l"
+#line 866 "itex2MML.l"
 {BEGIN(ATTRIBUTELIST); return ALIGN;}
 	YY_BREAK
 case 668:
 YY_RULE_SETUP
-#line 865 "itex2MML.l"
+#line 868 "itex2MML.l"
 {BEGIN(ATTRIBUTELIST); return EQROWS;}
 	YY_BREAK
 case 669:
 YY_RULE_SETUP
-#line 867 "itex2MML.l"
+#line 870 "itex2MML.l"
 {BEGIN(ATTRIBUTELIST); return EQCOLS;}
 	YY_BREAK
 case 670:
 YY_RULE_SETUP
-#line 869 "itex2MML.l"
+#line 872 "itex2MML.l"
 {BEGIN(ATTRIBUTELIST); return ROWLINES;}
 	YY_BREAK
 case 671:
 YY_RULE_SETUP
-#line 871 "itex2MML.l"
+#line 874 "itex2MML.l"
 {BEGIN(ATTRIBUTELIST); return COLLINES;}
 	YY_BREAK
 case 672:
 YY_RULE_SETUP
-#line 873 "itex2MML.l"
+#line 876 "itex2MML.l"
 {BEGIN(ATTRIBUTELIST); return FRAME;}
 	YY_BREAK
 case 673:
 YY_RULE_SETUP
-#line 875 "itex2MML.l"
+#line 878 "itex2MML.l"
 {BEGIN(ATTRIBUTELIST); return PADDING;}
 	YY_BREAK
 case 674:
 YY_RULE_SETUP
-#line 877 "itex2MML.l"
+#line 880 "itex2MML.l"
 {return ROWOPTS;}
 	YY_BREAK
 case 675:
 YY_RULE_SETUP
-#line 879 "itex2MML.l"
+#line 882 "itex2MML.l"
 {return CELLOPTS;} 
 	YY_BREAK
 case 676:
 YY_RULE_SETUP
-#line 881 "itex2MML.l"
+#line 884 "itex2MML.l"
 {BEGIN(ATTRIBUTELIST); return ROWSPAN;}
 	YY_BREAK
 case 677:
 YY_RULE_SETUP
-#line 883 "itex2MML.l"
+#line 886 "itex2MML.l"
 {BEGIN(ATTRIBUTELIST); return COLSPAN;}
 	YY_BREAK
 case 678:
-#line 887 "itex2MML.l"
+#line 890 "itex2MML.l"
 case 679:
 YY_RULE_SETUP
-#line 887 "itex2MML.l"
+#line 890 "itex2MML.l"
 {return THINSPACE;}
 	YY_BREAK
 case 680:
-#line 890 "itex2MML.l"
+#line 893 "itex2MML.l"
 case 681:
 YY_RULE_SETUP
-#line 890 "itex2MML.l"
+#line 893 "itex2MML.l"
 {return MEDSPACE;}
 	YY_BREAK
 case 682:
-#line 893 "itex2MML.l"
+#line 896 "itex2MML.l"
 case 683:
 YY_RULE_SETUP
-#line 893 "itex2MML.l"
+#line 896 "itex2MML.l"
 {return THICKSPACE;}
 	YY_BREAK
 case 684:
 YY_RULE_SETUP
-#line 895 "itex2MML.l"
+#line 898 "itex2MML.l"
 {return QUAD;}
 	YY_BREAK
 case 685:
 YY_RULE_SETUP
-#line 896 "itex2MML.l"
+#line 899 "itex2MML.l"
 {return QQUAD;}
 	YY_BREAK
 case 686:
-#line 899 "itex2MML.l"
+#line 902 "itex2MML.l"
 case 687:
 YY_RULE_SETUP
-#line 899 "itex2MML.l"
+#line 902 "itex2MML.l"
 {return NEGSPACE;}
 	YY_BREAK
 case 688:
 YY_RULE_SETUP
-#line 901 "itex2MML.l"
+#line 904 "itex2MML.l"
 {return PHANTOM;}
 	YY_BREAK
 case 689:
 YY_RULE_SETUP
-#line 903 "itex2MML.l"
+#line 906 "itex2MML.l"
 {BEGIN(PLAINTEXT); return HREF;}
 	YY_BREAK
 case 690:
 YY_RULE_SETUP
-#line 905 "itex2MML.l"
+#line 908 "itex2MML.l"
 {BEGIN(PLAINTEXT); return OPERATORNAME;}
 	YY_BREAK
 case 691:
 YY_RULE_SETUP
-#line 906 "itex2MML.l"
+#line 909 "itex2MML.l"
 {BEGIN(PLAINTEXT); return MATHOP;}
 	YY_BREAK
 case 692:
 YY_RULE_SETUP
-#line 907 "itex2MML.l"
+#line 910 "itex2MML.l"
 {BEGIN(PLAINTEXT); return MATHBIN;}
 	YY_BREAK
 case 693:
 YY_RULE_SETUP
-#line 908 "itex2MML.l"
+#line 911 "itex2MML.l"
 {BEGIN(PLAINTEXT); return MATHREL;}
 	YY_BREAK
 case 694:
 /* rule 694 can match eol */
 YY_RULE_SETUP
-#line 910 "itex2MML.l"
+#line 913 "itex2MML.l"
 ;
 	YY_BREAK
 case 695:
 YY_RULE_SETUP
-#line 912 "itex2MML.l"
+#line 915 "itex2MML.l"
 {yylval=itex2MML_copy_string(itex2MML_yytext+1); return MOP;}
 	YY_BREAK
 case 696:
-#line 915 "itex2MML.l"
+#line 918 "itex2MML.l"
 case 697:
-#line 916 "itex2MML.l"
+#line 919 "itex2MML.l"
 case 698:
 YY_RULE_SETUP
-#line 916 "itex2MML.l"
+#line 919 "itex2MML.l"
 {yylval=itex2MML_copy_string(itex2MML_yytext); return MI;}
 	YY_BREAK
 case 699:
 /* rule 699 can match eol */
 YY_RULE_SETUP
-#line 918 "itex2MML.l"
+#line 921 "itex2MML.l"
 itex2MML_lineno++;
 	YY_BREAK
 case 700:
 YY_RULE_SETUP
-#line 919 "itex2MML.l"
+#line 922 "itex2MML.l"
 ;
 	YY_BREAK
 case 701:
 YY_RULE_SETUP
-#line 922 "itex2MML.l"
+#line 925 "itex2MML.l"
 {return UNKNOWNCHAR;}
 	YY_BREAK
 
 case 702:
 /* rule 702 can match eol */
 YY_RULE_SETUP
-#line 925 "itex2MML.l"
+#line 928 "itex2MML.l"
 {BEGIN(MATH); yylval=itex2MML_copy_string(itex2MML_yytext); if (yylval != itex2MML_empty_string) { yylval[0]='"'; yylval[itex2MML_yyleng-1]='"'; } return ATTRLIST;}
 	YY_BREAK
 
 case 703:
 YY_RULE_SETUP
-#line 928 "itex2MML.l"
-{itex2MML_inoptarg=1; BEGIN(MATH); return OPTARGOPEN;}
+#line 931 "itex2MML.l"
+{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;}
 	YY_BREAK
 case 704:
 YY_RULE_SETUP
-#line 929 "itex2MML.l"
+#line 932 "itex2MML.l"
 {BEGIN(MATH); unput(itex2MML_yytext[0]);}
 	YY_BREAK
 
 
 case 705:
 YY_RULE_SETUP
-#line 933 "itex2MML.l"
+#line 936 "itex2MML.l"
 {BEGIN(MATH); return MATRIX;}
 	YY_BREAK
 case 706:
 YY_RULE_SETUP
-#line 934 "itex2MML.l"
+#line 937 "itex2MML.l"
 {BEGIN(MATH); return PMATRIX;}
 	YY_BREAK
 case 707:
 YY_RULE_SETUP
-#line 935 "itex2MML.l"
+#line 938 "itex2MML.l"
 {BEGIN(MATH); return BMATRIX;}
 	YY_BREAK
 case 708:
 YY_RULE_SETUP
-#line 936 "itex2MML.l"
+#line 939 "itex2MML.l"
 {BEGIN(MATH); return BBMATRIX;}
 	YY_BREAK
 case 709:
 YY_RULE_SETUP
-#line 937 "itex2MML.l"
+#line 940 "itex2MML.l"
 {BEGIN(MATH); return VMATRIX;}
 	YY_BREAK
 case 710:
 YY_RULE_SETUP
-#line 938 "itex2MML.l"
+#line 941 "itex2MML.l"
 {BEGIN(MATH); return VVMATRIX;}
 	YY_BREAK
 case 711:
 YY_RULE_SETUP
-#line 939 "itex2MML.l"
+#line 942 "itex2MML.l"
 {BEGIN(MATH); return SMALLMATRIX;}
 	YY_BREAK
 case 712:
 YY_RULE_SETUP
-#line 940 "itex2MML.l"
+#line 943 "itex2MML.l"
 {BEGIN(MATH); return CASES;}
 	YY_BREAK
 case 713:
 YY_RULE_SETUP
-#line 941 "itex2MML.l"
+#line 944 "itex2MML.l"
 {BEGIN(MATH); return ALIGNED;}
 	YY_BREAK
 case 714:
 YY_RULE_SETUP
-#line 942 "itex2MML.l"
+#line 945 "itex2MML.l"
 {BEGIN(MATH); return GATHERED;}
 	YY_BREAK
 case 715:
 YY_RULE_SETUP
-#line 943 "itex2MML.l"
+#line 946 "itex2MML.l"
 {BEGIN(MATH); return ALIGNED;}
 	YY_BREAK
 case 716:
 YY_RULE_SETUP
-#line 944 "itex2MML.l"
+#line 947 "itex2MML.l"
 {BEGIN(SVGENV); return SVG;}
 	YY_BREAK
 
 
 case 717:
 YY_RULE_SETUP
-#line 948 "itex2MML.l"
+#line 951 "itex2MML.l"
 {yylval=itex2MML_copy_string(itex2MML_yytext); yylval[itex2MML_yyleng-8]=0; BEGIN(SVGEND); return XMLSTRING;}
 	YY_BREAK
 case 718:
 /* rule 718 can match eol */
 YY_RULE_SETUP
-#line 949 "itex2MML.l"
+#line 952 "itex2MML.l"
 {yymore();}
 	YY_BREAK
 
 
 case 719:
 YY_RULE_SETUP
-#line 953 "itex2MML.l"
+#line 956 "itex2MML.l"
 {BEGIN(MATH); return ENDSVG;}
 	YY_BREAK
 
 
 case 720:
 YY_RULE_SETUP
-#line 957 "itex2MML.l"
+#line 960 "itex2MML.l"
 {return ST;}
 	YY_BREAK
 case 721:
 YY_RULE_SETUP
-#line 958 "itex2MML.l"
+#line 961 "itex2MML.l"
 {BEGIN(MATH); return END;}
 	YY_BREAK
 case 722:
 YY_RULE_SETUP
-#line 959 "itex2MML.l"
+#line 962 "itex2MML.l"
 {yylval=itex2MML_copy_string(itex2MML_yytext); return RMCHAR;}
 	YY_BREAK
 case 723:
 /* rule 723 can match eol */
 YY_RULE_SETUP
-#line 960 "itex2MML.l"
+#line 963 "itex2MML.l"
 ;
 	YY_BREAK
 case 724:
 YY_RULE_SETUP
-#line 961 "itex2MML.l"
+#line 964 "itex2MML.l"
 {return itex2MML_yytext[0];}
 	YY_BREAK
 
 
 case 725:
 YY_RULE_SETUP
-#line 965 "itex2MML.l"
+#line 968 "itex2MML.l"
 {return ST;}
 	YY_BREAK
 case 726:
 YY_RULE_SETUP
-#line 966 "itex2MML.l"
+#line 969 "itex2MML.l"
 {BEGIN(MATH); return END;}
 	YY_BREAK
 case 727:
 YY_RULE_SETUP
-#line 967 "itex2MML.l"
+#line 970 "itex2MML.l"
 {yylval=itex2MML_copy_string(itex2MML_yytext); return BBLOWERCHAR;}
 	YY_BREAK
 case 728:
 YY_RULE_SETUP
-#line 968 "itex2MML.l"
+#line 971 "itex2MML.l"
 {yylval=itex2MML_copy_string(itex2MML_yytext); return BBUPPERCHAR;}
 	YY_BREAK
 case 729:
 YY_RULE_SETUP
-#line 969 "itex2MML.l"
+#line 972 "itex2MML.l"
 {yylval=itex2MML_copy_string(itex2MML_yytext); return BBDIGIT;}
 	YY_BREAK
 case 730:
 /* rule 730 can match eol */
 YY_RULE_SETUP
-#line 970 "itex2MML.l"
+#line 973 "itex2MML.l"
 ;
 	YY_BREAK
 case 731:
 YY_RULE_SETUP
-#line 971 "itex2MML.l"
+#line 974 "itex2MML.l"
 {return itex2MML_yytext[0];}
 	YY_BREAK
 
 
 case 732:
 YY_RULE_SETUP
-#line 975 "itex2MML.l"
+#line 978 "itex2MML.l"
 {return ST;}
 	YY_BREAK
 case 733:
 YY_RULE_SETUP
-#line 976 "itex2MML.l"
+#line 979 "itex2MML.l"
 {BEGIN(MATH); return END;}
 	YY_BREAK
 case 734:
 YY_RULE_SETUP
-#line 977 "itex2MML.l"
+#line 980 "itex2MML.l"
 {yylval=itex2MML_copy_string(itex2MML_yytext); return CALCHAR;}
 	YY_BREAK
 case 735:
 /* rule 735 can match eol */
 YY_RULE_SETUP
-#line 978 "itex2MML.l"
+#line 981 "itex2MML.l"
 ;
 	YY_BREAK
 case 736:
 YY_RULE_SETUP
-#line 979 "itex2MML.l"
+#line 982 "itex2MML.l"
 {return itex2MML_yytext[0];}
 	YY_BREAK
 
 
 case 737:
 YY_RULE_SETUP
-#line 983 "itex2MML.l"
+#line 986 "itex2MML.l"
 {return ST;}
 	YY_BREAK
 case 738:
 YY_RULE_SETUP
-#line 984 "itex2MML.l"
+#line 987 "itex2MML.l"
 {BEGIN(MATH); return END;}
 	YY_BREAK
 case 739:
 YY_RULE_SETUP
-#line 985 "itex2MML.l"
+#line 988 "itex2MML.l"
 {yylval=itex2MML_copy_string(itex2MML_yytext); return FRAKCHAR;}
 	YY_BREAK
 case 740:
 /* rule 740 can match eol */
 YY_RULE_SETUP
-#line 986 "itex2MML.l"
+#line 989 "itex2MML.l"
 ;
 	YY_BREAK
 case 741:
 YY_RULE_SETUP
-#line 987 "itex2MML.l"
+#line 990 "itex2MML.l"
 {return itex2MML_yytext[0];}
 	YY_BREAK
 
@@ -5046,100 +5049,100 @@ YY_RULE_SETUP
 case 742:
 /* rule 742 can match eol */
 YY_RULE_SETUP
-#line 991 "itex2MML.l"
+#line 994 "itex2MML.l"
 {yylval=itex2MML_copy_string(itex2MML_yytext+1); if ((itex2MML_yyleng > 1) && (yylval != itex2MML_empty_string)) yylval[itex2MML_yyleng-2]='\0'; BEGIN(MATH); return TEXTSTRING;}
 	YY_BREAK
 
 
 case 743:
 YY_RULE_SETUP
-#line 995 "itex2MML.l"
+#line 998 "itex2MML.l"
 {return ST;}
 	YY_BREAK
 case 744:
 YY_RULE_SETUP
-#line 996 "itex2MML.l"
+#line 999 "itex2MML.l"
 {BEGIN(INT2); return END;}
 	YY_BREAK
 case 745:
 YY_RULE_SETUP
-#line 997 "itex2MML.l"
+#line 1000 "itex2MML.l"
 {yylval=itex2MML_copy_string_extra(itex2MML_yytext, 1); if (itex2MML_yyleng && (yylval != itex2MML_empty_string)) { yylval[itex2MML_yyleng]=yylval[itex2MML_yyleng-1]; yylval[itex2MML_yyleng-1]='.'; yylval[itex2MML_yyleng+1]='\0'; } return INTONE;}
 	YY_BREAK
 case 746:
 /* rule 746 can match eol */
 YY_RULE_SETUP
-#line 998 "itex2MML.l"
+#line 1001 "itex2MML.l"
 ;
 	YY_BREAK
 case 747:
 YY_RULE_SETUP
-#line 999 "itex2MML.l"
+#line 1002 "itex2MML.l"
 {return itex2MML_yytext[0];}
 	YY_BREAK
 
 
 case 748:
 YY_RULE_SETUP
-#line 1003 "itex2MML.l"
+#line 1006 "itex2MML.l"
 {return ST;}
 	YY_BREAK
 case 749:
 YY_RULE_SETUP
-#line 1004 "itex2MML.l"
+#line 1007 "itex2MML.l"
 {BEGIN(INT3); return END;}
 	YY_BREAK
 case 750:
 YY_RULE_SETUP
-#line 1005 "itex2MML.l"
+#line 1008 "itex2MML.l"
 {yylval=itex2MML_copy_string_extra(itex2MML_yytext, 1); if (itex2MML_yyleng && (yylval != itex2MML_empty_string)) { yylval[itex2MML_yyleng]=yylval[itex2MML_yyleng-1]; yylval[itex2MML_yyleng-1]='.'; yylval[itex2MML_yyleng+1]='\0'; } return INTTWO;}
 	YY_BREAK
 case 751:
 /* rule 751 can match eol */
 YY_RULE_SETUP
-#line 1006 "itex2MML.l"
+#line 1009 "itex2MML.l"
 ;
 	YY_BREAK
 case 752:
 YY_RULE_SETUP
-#line 1007 "itex2MML.l"
+#line 1010 "itex2MML.l"
 {return itex2MML_yytext[0];}
 	YY_BREAK
 
 
 case 753:
 YY_RULE_SETUP
-#line 1011 "itex2MML.l"
+#line 1014 "itex2MML.l"
 {return ST;}
 	YY_BREAK
 case 754:
 YY_RULE_SETUP
-#line 1012 "itex2MML.l"
+#line 1015 "itex2MML.l"
 {BEGIN(MATH); return END;}
 	YY_BREAK
 case 755:
 YY_RULE_SETUP
-#line 1013 "itex2MML.l"
+#line 1016 "itex2MML.l"
 {yylval=itex2MML_copy_string_extra(itex2MML_yytext, 1); if (itex2MML_yyleng && (yylval != itex2MML_empty_string)) { yylval[itex2MML_yyleng]=yylval[itex2MML_yyleng-1]; yylval[itex2MML_yyleng-1]='.'; yylval[itex2MML_yyleng+1]='\0'; } return INTTHREE;}
 	YY_BREAK
 case 756:
 /* rule 756 can match eol */
 YY_RULE_SETUP
-#line 1014 "itex2MML.l"
+#line 1017 "itex2MML.l"
 ;
 	YY_BREAK
 case 757:
 YY_RULE_SETUP
-#line 1015 "itex2MML.l"
+#line 1018 "itex2MML.l"
 {return itex2MML_yytext[0];}
 	YY_BREAK
 
 case 758:
 YY_RULE_SETUP
-#line 1020 "itex2MML.l"
+#line 1023 "itex2MML.l"
 ECHO;
 	YY_BREAK
-#line 5143 "lex.yy.c"
+#line 5146 "lex.yy.c"
 case YY_STATE_EOF(INITIAL):
 case YY_STATE_EOF(MATH):
 case YY_STATE_EOF(ATTRIBUTELIST):
@@ -6150,7 +6153,7 @@ void itex2MML_yyfree (void * ptr )
 
 #define YYTABLES_NAME "yytables"
 
-#line 1020 "itex2MML.l"
+#line 1023 "itex2MML.l"