itextomml 1.4.11 → 1.5.0

data/ext/itex2MML.h

@@ -1,11 +1,11 @@
-/*             itex2MML 1.4.11
- *   itex2MML.h last modified 9/3/2013
+/*             itex2MML 1.5.0
+ *   itex2MML.h last modified 12/8/2013
  */
 
 #ifndef ITEX2MML_H
 #define ITEX2MML_H
 
-#define ITEX2MML_VERSION "1.4.11"
+#define ITEX2MML_VERSION "1.5.0"
 
 #ifdef __cplusplus
 extern "C" {

data/ext/itex2MML_ruby.c

@@ -1,6 +1,6 @@
 /* ----------------------------------------------------------------------------
  * This file was automatically generated by SWIG (http://www.swig.org).
- * Version 2.0.9
+ * Version 2.0.10
  * 
  * This file is not intended to be easily readable and contains a number of 
  * coding conventions designed to improve portability and efficiency. Do not make
@@ -398,7 +398,7 @@ SWIGINTERNINLINE int SWIG_CheckState(int r) {
   return SWIG_IsOK(r) ? SWIG_CastRank(r) + 1 : 0; 
 }
 #else /* no cast-rank mode */
-#  define SWIG_AddCast
+#  define SWIG_AddCast(r) (r)
 #  define SWIG_CheckState(r) (SWIG_IsOK(r) ? 1 : 0)
 #endif
 
@@ -462,18 +462,18 @@ SWIG_TypeNameComp(const char *f1, const char *l1,
 
 /*
   Check type equivalence in a name list like <name1>|<name2>|...
-  Return 0 if not equal, 1 if equal
+  Return 0 if equal, -1 if nb < tb, 1 if nb > tb
 */
 SWIGRUNTIME int
-SWIG_TypeEquiv(const char *nb, const char *tb) {
-  int equiv = 0;
+SWIG_TypeCmp(const char *nb, const char *tb) {
+  int equiv = 1;
   const char* te = tb + strlen(tb);
   const char* ne = nb;
-  while (!equiv && *ne) {
+  while (equiv != 0 && *ne) {
     for (nb = ne; *ne; ++ne) {
       if (*ne == '|') break;
     }
-    equiv = (SWIG_TypeNameComp(nb, ne, tb, te) == 0) ? 1 : 0;
+    equiv = SWIG_TypeNameComp(nb, ne, tb, te);
     if (*ne) ++ne;
   }
   return equiv;
@@ -481,24 +481,13 @@ SWIG_TypeEquiv(const char *nb, const char *tb) {
 
 /*
   Check type equivalence in a name list like <name1>|<name2>|...
-  Return 0 if equal, -1 if nb < tb, 1 if nb > tb
+  Return 0 if not equal, 1 if equal
 */
 SWIGRUNTIME int
-SWIG_TypeCompare(const char *nb, const char *tb) {
-  int equiv = 0;
-  const char* te = tb + strlen(tb);
-  const char* ne = nb;
-  while (!equiv && *ne) {
-    for (nb = ne; *ne; ++ne) {
-      if (*ne == '|') break;
-    }
-    equiv = (SWIG_TypeNameComp(nb, ne, tb, te) == 0) ? 1 : 0;
-    if (*ne) ++ne;
-  }
-  return equiv;
+SWIG_TypeEquiv(const char *nb, const char *tb) {
+  return SWIG_TypeCmp(nb, tb) == 0 ? 1 : 0;
 }
 
-
 /*
   Check the typename
 */
@@ -1750,7 +1739,7 @@ SWIG_Ruby_SetModule(swig_module_info *pointer)
 SWIGINTERN
 int SWIG_Ruby_isCallable( VALUE proc )
 {
-  if ( rb_respond_to( proc, swig_call_id ) == Qtrue )
+  if ( rb_respond_to( proc, swig_call_id ) )
     return 1;
   return 0;
 }
@@ -1763,7 +1752,7 @@ int SWIG_Ruby_isCallable( VALUE proc )
 SWIGINTERN
 int SWIG_Ruby_arity( VALUE proc, int minimal )
 {
-  if ( rb_respond_to( proc, swig_arity_id ) == Qtrue )
+  if ( rb_respond_to( proc, swig_arity_id ) )
     {
       VALUE num = rb_funcall( proc, swig_arity_id, 0 );
       int arity = NUM2INT(num);
@@ -1806,7 +1795,7 @@ static VALUE mItex2MML;
 #define SWIG_RUBY_THREAD_END_BLOCK
 
 
-#define SWIGVERSION 0x020009 
+#define SWIGVERSION 0x020010 
 #define SWIG_VERSION SWIGVERSION
 
 
@@ -1875,7 +1864,7 @@ SWIG_ruby_failed(void)
 } 
 
 
-/*@SWIG:/sw/share/swig/2.0.9/ruby/rubyprimtypes.swg,19,%ruby_aux_method@*/
+/*@SWIG:/sw/share/swig/2.0.10/ruby/rubyprimtypes.swg,19,%ruby_aux_method@*/
 SWIGINTERN VALUE SWIG_AUX_NUM2ULONG(VALUE *args)
 {
   VALUE obj = args[0];

data/ext/lex.yy.c

@@ -2370,8 +2370,8 @@ static int yy_more_len = 0;
 #define YY_RESTORE_YY_MORE_OFFSET
 char *itex2MML_yytext;
 #line 1 "itex2MML.l"
-/*             itex2MML 1.4.11
- *   itex2MML.l last modified 9/3/2013
+/*             itex2MML 1.5.0
+ *   itex2MML.l last modified 12/8/2013
  */
 #line 6 "itex2MML.l"
 
@@ -2398,10 +2398,15 @@ 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;
 
-#line 2405 "lex.yy.c"
+#line 2410 "lex.yy.c"
 
 #define INITIAL 0
 #define MATH 1
@@ -2603,13 +2608,13 @@ YY_DECL
 	register char *yy_cp, *yy_bp;
 	register int yy_act;
     
-#line 36 "itex2MML.l"
+#line 41 "itex2MML.l"
 
  if (itex2MML_rowposn==1) itex2MML_rowposn=0;
    if (itex2MML_rowposn==2) itex2MML_rowposn=1;
 
 
-#line 2613 "lex.yy.c"
+#line 2618 "lex.yy.c"
 
 	if ( !(yy_init) )
 		{
@@ -2700,956 +2705,956 @@ do_action:	/* This label is used only to access EOF actions. */
 
 case 1:
 YY_RULE_SETUP
-#line 41 "itex2MML.l"
+#line 46 "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 42 "itex2MML.l"
+#line 47 "itex2MML.l"
 BEGIN(MATH); itex2MML_inoptarg[0] = 0; itex2MML_rowposn=2; itex2MML_displaymode=1; return STARTDMATH;
 	YY_BREAK
 case 3:
 YY_RULE_SETUP
-#line 43 "itex2MML.l"
+#line 48 "itex2MML.l"
 return 0;
 	YY_BREAK
 case 4:
 /* rule 4 can match eol */
 YY_RULE_SETUP
-#line 44 "itex2MML.l"
+#line 49 "itex2MML.l"
 {itex2MML_lineno++; yylval=itex2MML_copy_string(itex2MML_yytext); return CHAR;}
 	YY_BREAK
 case 5:
 YY_RULE_SETUP
-#line 45 "itex2MML.l"
+#line 50 "itex2MML.l"
 {yylval=itex2MML_copy_string(itex2MML_yytext); return CHAR;}
 	YY_BREAK
 
 case 6:
-#line 53 "itex2MML.l"
+#line 58 "itex2MML.l"
 case 7:
 YY_RULE_SETUP
-#line 53 "itex2MML.l"
-{BEGIN(INITIAL); return ENDMATH;}
+#line 58 "itex2MML.l"
+{itex2MML_eqn_src[itex2MML_eqn_end-itex2MML_eqn_src-itex2MML_yyleng]=0; itex2MML_eqn_end=itex2MML_eqn_src; yylval=itex2MML_copy_escaped(itex2MML_eqn_src); BEGIN(INITIAL); return ENDMATH;}
 	YY_BREAK
 case 8:
 YY_RULE_SETUP
-#line 56 "itex2MML.l"
+#line 61 "itex2MML.l"
 return SUP;
 	YY_BREAK
 case 9:
 YY_RULE_SETUP
-#line 57 "itex2MML.l"
+#line 62 "itex2MML.l"
 return SUB; 
 	YY_BREAK
 case 10:
 /* rule 10 can match eol */
 YY_RULE_SETUP
-#line 58 "itex2MML.l"
+#line 63 "itex2MML.l"
 return EMPTYMROW;
 	YY_BREAK
 case 11:
 YY_RULE_SETUP
-#line 59 "itex2MML.l"
+#line 64 "itex2MML.l"
 {itex2MML_rowposn = 2; if(itex2MML_inoptarg[itex2MML_optarg_ind] != 0) itex2MML_inoptarg[itex2MML_optarg_ind]++; return MROWOPEN;}
 	YY_BREAK
 case 12:
 YY_RULE_SETUP
-#line 60 "itex2MML.l"
+#line 65 "itex2MML.l"
 {if(itex2MML_inoptarg[itex2MML_optarg_ind] != 0) itex2MML_inoptarg[itex2MML_optarg_ind]--; return MROWCLOSE;}
 	YY_BREAK
 case 13:
 YY_RULE_SETUP
-#line 62 "itex2MML.l"
+#line 67 "itex2MML.l"
 itex2MML_rowposn=2; return LEFT;
 	YY_BREAK
 case 14:
 YY_RULE_SETUP
-#line 63 "itex2MML.l"
+#line 68 "itex2MML.l"
 return RIGHT;
 	YY_BREAK
 case 15:
-#line 66 "itex2MML.l"
+#line 71 "itex2MML.l"
 case 16:
 YY_RULE_SETUP
-#line 66 "itex2MML.l"
+#line 71 "itex2MML.l"
 {return BIG;}
 	YY_BREAK
 case 17:
-#line 68 "itex2MML.l"
+#line 73 "itex2MML.l"
 case 18:
 YY_RULE_SETUP
-#line 68 "itex2MML.l"
+#line 73 "itex2MML.l"
 {return BBIG;}
 	YY_BREAK
 case 19:
-#line 70 "itex2MML.l"
+#line 75 "itex2MML.l"
 case 20:
 YY_RULE_SETUP
-#line 70 "itex2MML.l"
+#line 75 "itex2MML.l"
 {return BIGG;}
 	YY_BREAK
 case 21:
-#line 72 "itex2MML.l"
+#line 77 "itex2MML.l"
 case 22:
 YY_RULE_SETUP
-#line 72 "itex2MML.l"
+#line 77 "itex2MML.l"
 {return BBIGG;}
 	YY_BREAK
 case 23:
 YY_RULE_SETUP
-#line 74 "itex2MML.l"
+#line 79 "itex2MML.l"
 {return BIGL;}
 	YY_BREAK
 case 24:
 YY_RULE_SETUP
-#line 75 "itex2MML.l"
+#line 80 "itex2MML.l"
 {return BBIGL;}
 	YY_BREAK
 case 25:
 YY_RULE_SETUP
-#line 76 "itex2MML.l"
+#line 81 "itex2MML.l"
 {return BIGGL;}
 	YY_BREAK
 case 26:
 YY_RULE_SETUP
-#line 77 "itex2MML.l"
+#line 82 "itex2MML.l"
 {return BBIGGL;}
 	YY_BREAK
 case 27:
 YY_RULE_SETUP
-#line 79 "itex2MML.l"
+#line 84 "itex2MML.l"
 {return RLAP;}
 	YY_BREAK
 case 28:
 YY_RULE_SETUP
-#line 80 "itex2MML.l"
+#line 85 "itex2MML.l"
 {return LLAP;}
 	YY_BREAK
 case 29:
 YY_RULE_SETUP
-#line 81 "itex2MML.l"
+#line 86 "itex2MML.l"
 {return CLAP;}
 	YY_BREAK
 case 30:
-#line 83 "itex2MML.l"
+#line 88 "itex2MML.l"
 case 31:
-#line 84 "itex2MML.l"
+#line 89 "itex2MML.l"
 case 32:
-#line 85 "itex2MML.l"
+#line 90 "itex2MML.l"
 case 33:
 YY_RULE_SETUP
-#line 85 "itex2MML.l"
+#line 90 "itex2MML.l"
 {/* Ignore */ ;}
 	YY_BREAK
 case 34:
-#line 89 "itex2MML.l"
+#line 94 "itex2MML.l"
 case 35:
 YY_RULE_SETUP
-#line 89 "itex2MML.l"
+#line 94 "itex2MML.l"
 {itex2MML_rowposn=2; return COLSEP;}
 	YY_BREAK
 case 36:
 YY_RULE_SETUP
-#line 91 "itex2MML.l"
+#line 96 "itex2MML.l"
 {yylval=itex2MML_copy_string("&"); return MI;}
 	YY_BREAK
 case 37:
 YY_RULE_SETUP
-#line 93 "itex2MML.l"
+#line 98 "itex2MML.l"
 {yylval=itex2MML_copy_string("$"); return MI;}
 	YY_BREAK
 case 38:
 YY_RULE_SETUP
-#line 94 "itex2MML.l"
+#line 99 "itex2MML.l"
 {yylval=itex2MML_copy_string("%"); return MI;}
 	YY_BREAK
 case 39:
 YY_RULE_SETUP
-#line 96 "itex2MML.l"
+#line 101 "itex2MML.l"
 itex2MML_rowposn=2; return ROWSEP;
 	YY_BREAK
 case 40:
 YY_RULE_SETUP
-#line 98 "itex2MML.l"
+#line 103 "itex2MML.l"
 {yylval=itex2MML_copy_string(itex2MML_yytext); return MI;}
 	YY_BREAK
 case 41:
-#line 101 "itex2MML.l"
+#line 106 "itex2MML.l"
 case 42:
-#line 102 "itex2MML.l"
+#line 107 "itex2MML.l"
 case 43:
 YY_RULE_SETUP
-#line 102 "itex2MML.l"
+#line 107 "itex2MML.l"
 {yylval=itex2MML_copy_string(itex2MML_yytext); return MN;}
 	YY_BREAK
 case 44:
-#line 104 "itex2MML.l"
+#line 109 "itex2MML.l"
 case 45:
 YY_RULE_SETUP
-#line 104 "itex2MML.l"
+#line 109 "itex2MML.l"
 {yylval=itex2MML_copy_string("∞"); return MN;}
 	YY_BREAK
 case 46:
-#line 107 "itex2MML.l"
+#line 112 "itex2MML.l"
 case 47:
 YY_RULE_SETUP
-#line 107 "itex2MML.l"
+#line 112 "itex2MML.l"
 {yylval=itex2MML_copy_string(itex2MML_yytext); return LEFTDELIM;}
 	YY_BREAK
 case 48:
 YY_RULE_SETUP
-#line 109 "itex2MML.l"
+#line 114 "itex2MML.l"
 {yylval=itex2MML_copy_string(itex2MML_yytext); return RIGHTDELIM;}
 	YY_BREAK
 case 49:
 YY_RULE_SETUP
-#line 110 "itex2MML.l"
+#line 115 "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 50:
-#line 113 "itex2MML.l"
+#line 118 "itex2MML.l"
 case 51:
 YY_RULE_SETUP
-#line 113 "itex2MML.l"
+#line 118 "itex2MML.l"
 {yylval=itex2MML_copy_string("{"); return LEFTDELIM;}
 	YY_BREAK
 case 52:
-#line 115 "itex2MML.l"
+#line 120 "itex2MML.l"
 case 53:
 YY_RULE_SETUP
-#line 115 "itex2MML.l"
+#line 120 "itex2MML.l"
 {yylval=itex2MML_copy_string("}"); return RIGHTDELIM;}
 	YY_BREAK
 case 54:
-#line 118 "itex2MML.l"
+#line 123 "itex2MML.l"
 case 55:
 YY_RULE_SETUP
-#line 118 "itex2MML.l"
+#line 123 "itex2MML.l"
 {yylval=itex2MML_copy_string("∣"); return OTHERDELIM;}
 	YY_BREAK
 case 56:
-#line 120 "itex2MML.l"
+#line 125 "itex2MML.l"
 case 57:
 YY_RULE_SETUP
-#line 120 "itex2MML.l"
+#line 125 "itex2MML.l"
 {yylval=itex2MML_copy_string("∥"); return OTHERDELIM;}
 	YY_BREAK
 case 58:
 YY_RULE_SETUP
-#line 122 "itex2MML.l"
+#line 127 "itex2MML.l"
 {yylval=itex2MML_copy_string("∖"); return MO;}
 	YY_BREAK
 case 59:
 YY_RULE_SETUP
-#line 123 "itex2MML.l"
+#line 128 "itex2MML.l"
 {yylval=itex2MML_copy_string("\"); return MO;}
 	YY_BREAK
 case 60:
 YY_RULE_SETUP
-#line 124 "itex2MML.l"
+#line 129 "itex2MML.l"
 {yylval=itex2MML_copy_string("﹨"); return MOF;}
 	YY_BREAK
 case 61:
 YY_RULE_SETUP
-#line 126 "itex2MML.l"
+#line 131 "itex2MML.l"
 {yylval=itex2MML_copy_string("⫽"); return MO;}
 	YY_BREAK
 case 62:
-#line 129 "itex2MML.l"
+#line 134 "itex2MML.l"
 case 63:
-#line 130 "itex2MML.l"
+#line 135 "itex2MML.l"
 case 64:
-#line 131 "itex2MML.l"
+#line 136 "itex2MML.l"
 case 65:
-#line 132 "itex2MML.l"
+#line 137 "itex2MML.l"
 case 66:
 YY_RULE_SETUP
-#line 132 "itex2MML.l"
+#line 137 "itex2MML.l"
 {yylval=itex2MML_copy2(itex2MML_yytext, ";"); if (yylval != itex2MML_empty_string) yylval[0]='&'; return LEFTDELIM;}
 	YY_BREAK
 case 67:
 YY_RULE_SETUP
-#line 133 "itex2MML.l"
+#line 138 "itex2MML.l"
 {yylval=itex2MML_copy_string("⟪"); return LEFTDELIM;}
 	YY_BREAK
 case 68:
-#line 136 "itex2MML.l"
+#line 141 "itex2MML.l"
 case 69:
-#line 137 "itex2MML.l"
+#line 142 "itex2MML.l"
 case 70:
-#line 138 "itex2MML.l"
+#line 143 "itex2MML.l"
 case 71:
-#line 139 "itex2MML.l"
+#line 144 "itex2MML.l"
 case 72:
 YY_RULE_SETUP
-#line 139 "itex2MML.l"
+#line 144 "itex2MML.l"
 {yylval=itex2MML_copy2(itex2MML_yytext, ";"); if (yylval != itex2MML_empty_string) yylval[0]='&'; return RIGHTDELIM;}
 	YY_BREAK
 case 73:
 YY_RULE_SETUP
-#line 140 "itex2MML.l"
+#line 145 "itex2MML.l"
 {yylval=itex2MML_copy_string("⟫"); return RIGHTDELIM;}
 	YY_BREAK
 case 74:
 YY_RULE_SETUP
-#line 142 "itex2MML.l"
+#line 147 "itex2MML.l"
 {yylval=itex2MML_copy_string(itex2MML_yytext); return OTHERDELIM;}
 	YY_BREAK
 case 75:
-#line 145 "itex2MML.l"
+#line 150 "itex2MML.l"
 case 76:
-#line 146 "itex2MML.l"
+#line 151 "itex2MML.l"
 case 77:
 YY_RULE_SETUP
-#line 146 "itex2MML.l"
+#line 151 "itex2MML.l"
 {yylval=itex2MML_copy2(itex2MML_yytext, ";"); if (yylval != itex2MML_empty_string) yylval[0]='&'; return OTHERDELIM;}
 	YY_BREAK
 case 78:
 YY_RULE_SETUP
-#line 148 "itex2MML.l"
+#line 153 "itex2MML.l"
 {yylval=itex2MML_copy_string(itex2MML_yytext); return PERIODDELIM;}
 	YY_BREAK
 case 79:
 YY_RULE_SETUP
-#line 150 "itex2MML.l"
+#line 155 "itex2MML.l"
 {if (itex2MML_rowposn==1) return UNARYMINUS; else {yylval=itex2MML_copy_string("−"); return MO;}}
 	YY_BREAK
 case 80:
 YY_RULE_SETUP
-#line 152 "itex2MML.l"
+#line 157 "itex2MML.l"
 {if (itex2MML_rowposn==1) return UNARYPLUS; else {yylval=itex2MML_copy_string("+"); return MO;}}
 	YY_BREAK
 case 81:
 YY_RULE_SETUP
-#line 154 "itex2MML.l"
+#line 159 "itex2MML.l"
 {yylval=itex2MML_copy_string("#"); return MOL;}
 	YY_BREAK
 case 82:
-#line 157 "itex2MML.l"
+#line 162 "itex2MML.l"
 case 83:
-#line 158 "itex2MML.l"
+#line 163 "itex2MML.l"
 case 84:
-#line 159 "itex2MML.l"
+#line 164 "itex2MML.l"
 case 85:
-#line 160 "itex2MML.l"
+#line 165 "itex2MML.l"
 case 86:
-#line 161 "itex2MML.l"
+#line 166 "itex2MML.l"
 case 87:
-#line 162 "itex2MML.l"
+#line 167 "itex2MML.l"
 case 88:
-#line 163 "itex2MML.l"
+#line 168 "itex2MML.l"
 case 89:
-#line 164 "itex2MML.l"
+#line 169 "itex2MML.l"
 case 90:
-#line 165 "itex2MML.l"
+#line 170 "itex2MML.l"
 case 91:
 YY_RULE_SETUP
-#line 165 "itex2MML.l"
+#line 170 "itex2MML.l"
 {yylval=itex2MML_copy_string(itex2MML_yytext); return MOL;}
 	YY_BREAK
 case 92:
 YY_RULE_SETUP
-#line 167 "itex2MML.l"
+#line 172 "itex2MML.l"
 {yylval=itex2MML_copy_string("′"); return MOLL;}
 	YY_BREAK
 case 93:
 YY_RULE_SETUP
-#line 168 "itex2MML.l"
+#line 173 "itex2MML.l"
 {yylval=itex2MML_copy_string("′"); return MOL;}
 	YY_BREAK
 case 94:
 YY_RULE_SETUP
-#line 169 "itex2MML.l"
+#line 174 "itex2MML.l"
 {yylval=itex2MML_copy_string("″"); return MOL;}
 	YY_BREAK
 case 95:
 YY_RULE_SETUP
-#line 170 "itex2MML.l"
+#line 175 "itex2MML.l"
 {yylval=itex2MML_copy_string("‴"); return MOL;}
 	YY_BREAK
 case 96:
 YY_RULE_SETUP
-#line 171 "itex2MML.l"
+#line 176 "itex2MML.l"
 {yylval=itex2MML_copy_string("⁗"); return MOL;}
 	YY_BREAK
 case 97:
-#line 174 "itex2MML.l"
+#line 179 "itex2MML.l"
 case 98:
-#line 175 "itex2MML.l"
+#line 180 "itex2MML.l"
 case 99:
-#line 176 "itex2MML.l"
+#line 181 "itex2MML.l"
 case 100:
-#line 177 "itex2MML.l"
+#line 182 "itex2MML.l"
 case 101:
-#line 178 "itex2MML.l"
+#line 183 "itex2MML.l"
 case 102:
-#line 179 "itex2MML.l"
+#line 184 "itex2MML.l"
 case 103:
-#line 180 "itex2MML.l"
+#line 185 "itex2MML.l"
 case 104:
-#line 181 "itex2MML.l"
+#line 186 "itex2MML.l"
 case 105:
-#line 182 "itex2MML.l"
+#line 187 "itex2MML.l"
 case 106:
-#line 183 "itex2MML.l"
+#line 188 "itex2MML.l"
 case 107:
-#line 184 "itex2MML.l"
+#line 189 "itex2MML.l"
 case 108:
-#line 185 "itex2MML.l"
+#line 190 "itex2MML.l"
 case 109:
-#line 186 "itex2MML.l"
+#line 191 "itex2MML.l"
 case 110:
-#line 187 "itex2MML.l"
+#line 192 "itex2MML.l"
 case 111:
-#line 188 "itex2MML.l"
+#line 193 "itex2MML.l"
 case 112:
-#line 189 "itex2MML.l"
+#line 194 "itex2MML.l"
 case 113:
-#line 190 "itex2MML.l"
+#line 195 "itex2MML.l"
 case 114:
-#line 191 "itex2MML.l"
+#line 196 "itex2MML.l"
 case 115:
-#line 192 "itex2MML.l"
+#line 197 "itex2MML.l"
 case 116:
-#line 193 "itex2MML.l"
+#line 198 "itex2MML.l"
 case 117:
-#line 194 "itex2MML.l"
+#line 199 "itex2MML.l"
 case 118:
-#line 195 "itex2MML.l"
+#line 200 "itex2MML.l"
 case 119:
-#line 196 "itex2MML.l"
+#line 201 "itex2MML.l"
 case 120:
-#line 197 "itex2MML.l"
+#line 202 "itex2MML.l"
 case 121:
-#line 198 "itex2MML.l"
+#line 203 "itex2MML.l"
 case 122:
-#line 199 "itex2MML.l"
+#line 204 "itex2MML.l"
 case 123:
 YY_RULE_SETUP
-#line 199 "itex2MML.l"
+#line 204 "itex2MML.l"
 {yylval=itex2MML_copy2(itex2MML_yytext, ";"); if (yylval != itex2MML_empty_string) yylval[0]='&'; return MI;}
 	YY_BREAK
 case 124:
 YY_RULE_SETUP
-#line 201 "itex2MML.l"
+#line 206 "itex2MML.l"
 {yylval=itex2MML_copy_string("ε"); return MI;}
 	YY_BREAK
 case 125:
 YY_RULE_SETUP
-#line 202 "itex2MML.l"
+#line 207 "itex2MML.l"
 {yylval=itex2MML_copy_string("ϕ"); return MI;}
 	YY_BREAK
 case 126:
 YY_RULE_SETUP
-#line 203 "itex2MML.l"
+#line 208 "itex2MML.l"
 {yylval=itex2MML_copy_string("φ"); return MI;}
 	YY_BREAK
 case 127:
-#line 206 "itex2MML.l"
+#line 211 "itex2MML.l"
 case 128:
-#line 207 "itex2MML.l"
+#line 212 "itex2MML.l"
 case 129:
-#line 208 "itex2MML.l"
+#line 213 "itex2MML.l"
 case 130:
-#line 209 "itex2MML.l"
+#line 214 "itex2MML.l"
 case 131:
-#line 210 "itex2MML.l"
+#line 215 "itex2MML.l"
 case 132:
-#line 211 "itex2MML.l"
+#line 216 "itex2MML.l"
 case 133:
-#line 212 "itex2MML.l"
+#line 217 "itex2MML.l"
 case 134:
-#line 213 "itex2MML.l"
+#line 218 "itex2MML.l"
 case 135:
-#line 214 "itex2MML.l"
+#line 219 "itex2MML.l"
 case 136:
-#line 215 "itex2MML.l"
+#line 220 "itex2MML.l"
 case 137:
-#line 216 "itex2MML.l"
+#line 221 "itex2MML.l"
 case 138:
-#line 217 "itex2MML.l"
+#line 222 "itex2MML.l"
 case 139:
-#line 218 "itex2MML.l"
+#line 223 "itex2MML.l"
 case 140:
-#line 219 "itex2MML.l"
+#line 224 "itex2MML.l"
 case 141:
-#line 220 "itex2MML.l"
+#line 225 "itex2MML.l"
 case 142:
-#line 221 "itex2MML.l"
+#line 226 "itex2MML.l"
 case 143:
-#line 222 "itex2MML.l"
+#line 227 "itex2MML.l"
 case 144:
-#line 223 "itex2MML.l"
+#line 228 "itex2MML.l"
 case 145:
-#line 224 "itex2MML.l"
+#line 229 "itex2MML.l"
 case 146:
-#line 225 "itex2MML.l"
+#line 230 "itex2MML.l"
 case 147:
-#line 226 "itex2MML.l"
+#line 231 "itex2MML.l"
 case 148:
 YY_RULE_SETUP
-#line 226 "itex2MML.l"
+#line 231 "itex2MML.l"
 {yylval=itex2MML_copy_string(itex2MML_yytext+1); return MI;}
 	YY_BREAK
 case 149:
-#line 229 "itex2MML.l"
+#line 234 "itex2MML.l"
 case 150:
-#line 230 "itex2MML.l"
+#line 235 "itex2MML.l"
 case 151:
-#line 231 "itex2MML.l"
+#line 236 "itex2MML.l"
 case 152:
-#line 232 "itex2MML.l"
+#line 237 "itex2MML.l"
 case 153:
-#line 233 "itex2MML.l"
+#line 238 "itex2MML.l"
 case 154:
-#line 234 "itex2MML.l"
+#line 239 "itex2MML.l"
 case 155:
-#line 235 "itex2MML.l"
+#line 240 "itex2MML.l"
 case 156:
-#line 236 "itex2MML.l"
+#line 241 "itex2MML.l"
 case 157:
-#line 237 "itex2MML.l"
+#line 242 "itex2MML.l"
 case 158:
 YY_RULE_SETUP
-#line 237 "itex2MML.l"
+#line 242 "itex2MML.l"
 {yylval=itex2MML_copy_string(itex2MML_yytext+1); return MIB;}
 	YY_BREAK
 case 159:
 YY_RULE_SETUP
-#line 239 "itex2MML.l"
+#line 244 "itex2MML.l"
 {yylval=itex2MML_copy_string("ℴ"); return MI;}
 	YY_BREAK
 case 160:
 YY_RULE_SETUP
-#line 241 "itex2MML.l"
+#line 246 "itex2MML.l"
 {yylval=itex2MML_copy_string("ε"); return MI;}
 	YY_BREAK
 case 161:
 YY_RULE_SETUP
-#line 243 "itex2MML.l"
+#line 248 "itex2MML.l"
 {yylval=itex2MML_copy_string("⋅"); return MO;}
 	YY_BREAK
 case 162:
-#line 246 "itex2MML.l"
+#line 251 "itex2MML.l"
 case 163:
-#line 247 "itex2MML.l"
+#line 252 "itex2MML.l"
 case 164:
-#line 248 "itex2MML.l"
+#line 253 "itex2MML.l"
 case 165:
-#line 249 "itex2MML.l"
+#line 254 "itex2MML.l"
 case 166:
-#line 250 "itex2MML.l"
+#line 255 "itex2MML.l"
 case 167:
-#line 251 "itex2MML.l"
+#line 256 "itex2MML.l"
 case 168:
-#line 252 "itex2MML.l"
+#line 257 "itex2MML.l"
 case 169:
-#line 253 "itex2MML.l"
+#line 258 "itex2MML.l"
 case 170:
-#line 254 "itex2MML.l"
+#line 259 "itex2MML.l"
 case 171:
-#line 255 "itex2MML.l"
+#line 260 "itex2MML.l"
 case 172:
-#line 256 "itex2MML.l"
+#line 261 "itex2MML.l"
 case 173:
-#line 257 "itex2MML.l"
+#line 262 "itex2MML.l"
 case 174:
-#line 258 "itex2MML.l"
+#line 263 "itex2MML.l"
 case 175:
-#line 259 "itex2MML.l"
+#line 264 "itex2MML.l"
 case 176:
-#line 260 "itex2MML.l"
+#line 265 "itex2MML.l"
 case 177:
-#line 261 "itex2MML.l"
+#line 266 "itex2MML.l"
 case 178:
-#line 262 "itex2MML.l"
+#line 267 "itex2MML.l"
 case 179:
-#line 263 "itex2MML.l"
+#line 268 "itex2MML.l"
 case 180:
-#line 264 "itex2MML.l"
+#line 269 "itex2MML.l"
 case 181:
-#line 265 "itex2MML.l"
+#line 270 "itex2MML.l"
 case 182:
-#line 266 "itex2MML.l"
+#line 271 "itex2MML.l"
 case 183:
 YY_RULE_SETUP
-#line 266 "itex2MML.l"
+#line 271 "itex2MML.l"
 {yylval=itex2MML_copy2(itex2MML_yytext, ";"); if (yylval != itex2MML_empty_string) yylval[0]='&'; return MI;}
 	YY_BREAK
 case 184:
-#line 269 "itex2MML.l"
+#line 274 "itex2MML.l"
 case 185:
 YY_RULE_SETUP
-#line 269 "itex2MML.l"
+#line 274 "itex2MML.l"
 {yylval=itex2MML_copy_string("ϒ"); return MI;}
 	YY_BREAK
 case 186:
-#line 272 "itex2MML.l"
+#line 277 "itex2MML.l"
 case 187:
 YY_RULE_SETUP
-#line 272 "itex2MML.l"
+#line 277 "itex2MML.l"
 {yylval=itex2MML_copy_string("⇔"); return MOL;}
 	YY_BREAK
 case 188:
 YY_RULE_SETUP
-#line 274 "itex2MML.l"
+#line 279 "itex2MML.l"
 {yylval=itex2MML_copy_string("⇔"); return MOL;}
 	YY_BREAK
 case 189:
-#line 277 "itex2MML.l"
+#line 282 "itex2MML.l"
 case 190:
 YY_RULE_SETUP
-#line 277 "itex2MML.l"
+#line 282 "itex2MML.l"
 {yylval=itex2MML_copy_string("⇐"); return MOL;}
 	YY_BREAK
 case 191:
-#line 280 "itex2MML.l"
+#line 285 "itex2MML.l"
 case 192:
 YY_RULE_SETUP
-#line 280 "itex2MML.l"
+#line 285 "itex2MML.l"
 {yylval=itex2MML_copy_string("⇒"); return MOL;}
 	YY_BREAK
 case 193:
 YY_RULE_SETUP
-#line 282 "itex2MML.l"
+#line 287 "itex2MML.l"
 {yylval=itex2MML_copy_string("↩"); return MOL;}
 	YY_BREAK
 case 194:
-#line 285 "itex2MML.l"
+#line 290 "itex2MML.l"
 case 195:
 YY_RULE_SETUP
-#line 285 "itex2MML.l"
+#line 290 "itex2MML.l"
 {yylval=itex2MML_copy_string("↪"); return MOL;}
 	YY_BREAK
 case 196:
 YY_RULE_SETUP
-#line 287 "itex2MML.l"
+#line 292 "itex2MML.l"
 {yylval=itex2MML_copy_string("⟵"); return MOL;}
 	YY_BREAK
 case 197:
 YY_RULE_SETUP
-#line 289 "itex2MML.l"
+#line 294 "itex2MML.l"
 {yylval=itex2MML_copy_string("⟶"); return MOL;}
 	YY_BREAK
 case 198:
 YY_RULE_SETUP
-#line 291 "itex2MML.l"
+#line 296 "itex2MML.l"
 {yylval=itex2MML_copy_string("←"); return MOL;}
 	YY_BREAK
 case 199:
-#line 294 "itex2MML.l"
+#line 299 "itex2MML.l"
 case 200:
 YY_RULE_SETUP
-#line 294 "itex2MML.l"
+#line 299 "itex2MML.l"
 {yylval=itex2MML_copy_string("→"); return MOL;}
 	YY_BREAK
 case 201:
 YY_RULE_SETUP
-#line 296 "itex2MML.l"
+#line 301 "itex2MML.l"
 {yylval=itex2MML_copy_string("↔"); return MOL;}
 	YY_BREAK
 case 202:
-#line 299 "itex2MML.l"
+#line 304 "itex2MML.l"
 case 203:
 YY_RULE_SETUP
-#line 299 "itex2MML.l"
+#line 304 "itex2MML.l"
 {yylval=itex2MML_copy_string("↦"); return MOL;}
 	YY_BREAK
 case 204:
-#line 302 "itex2MML.l"
+#line 307 "itex2MML.l"
 case 205:
 YY_RULE_SETUP
-#line 302 "itex2MML.l"
+#line 307 "itex2MML.l"
 {yylval=itex2MML_copy_string("↗"); return MOL;}
 	YY_BREAK
 case 206:
-#line 305 "itex2MML.l"
+#line 310 "itex2MML.l"
 case 207:
 YY_RULE_SETUP
-#line 305 "itex2MML.l"
+#line 310 "itex2MML.l"
 {yylval=itex2MML_copy_string("↖"); return MOL;}
 	YY_BREAK
 case 208:
-#line 308 "itex2MML.l"
+#line 313 "itex2MML.l"
 case 209:
 YY_RULE_SETUP
-#line 308 "itex2MML.l"
+#line 313 "itex2MML.l"
 {yylval=itex2MML_copy_string("↘"); return MOL;}
 	YY_BREAK
 case 210:
-#line 311 "itex2MML.l"
+#line 316 "itex2MML.l"
 case 211:
 YY_RULE_SETUP
-#line 311 "itex2MML.l"
+#line 316 "itex2MML.l"
 {yylval=itex2MML_copy_string("↙"); return MOL;}
 	YY_BREAK
 case 212:
-#line 314 "itex2MML.l"
+#line 319 "itex2MML.l"
 case 213:
 YY_RULE_SETUP
-#line 314 "itex2MML.l"
+#line 319 "itex2MML.l"
 {yylval=itex2MML_copy_string("⇗"); return MOL;}
 	YY_BREAK
 case 214:
-#line 317 "itex2MML.l"
+#line 322 "itex2MML.l"
 case 215:
 YY_RULE_SETUP
-#line 317 "itex2MML.l"
+#line 322 "itex2MML.l"
 {yylval=itex2MML_copy_string("⇖"); return MOL;}
 	YY_BREAK
 case 216:
-#line 320 "itex2MML.l"
+#line 325 "itex2MML.l"
 case 217:
 YY_RULE_SETUP
-#line 320 "itex2MML.l"
+#line 325 "itex2MML.l"
 {yylval=itex2MML_copy_string("⇘"); return MOL;}
 	YY_BREAK
 case 218:
-#line 323 "itex2MML.l"
+#line 328 "itex2MML.l"
 case 219:
 YY_RULE_SETUP
-#line 323 "itex2MML.l"
+#line 328 "itex2MML.l"
 {yylval=itex2MML_copy_string("⇙"); return MOL;}
 	YY_BREAK
 case 220:
 YY_RULE_SETUP
-#line 325 "itex2MML.l"
+#line 330 "itex2MML.l"
 {yylval=itex2MML_copy_string("↓"); return MOL;}
 	YY_BREAK
 case 221:
 YY_RULE_SETUP
-#line 327 "itex2MML.l"
+#line 332 "itex2MML.l"
 {yylval=itex2MML_copy_string("⇓"); return MOL;}
 	YY_BREAK
 case 222:
 YY_RULE_SETUP
-#line 329 "itex2MML.l"
+#line 334 "itex2MML.l"
 {yylval=itex2MML_copy_string("↑"); return MOL;}
 	YY_BREAK
 case 223:
 YY_RULE_SETUP
-#line 331 "itex2MML.l"
+#line 336 "itex2MML.l"
 {yylval=itex2MML_copy_string("⇑"); return MOL;}
 	YY_BREAK
 case 224:
-#line 334 "itex2MML.l"
+#line 339 "itex2MML.l"
 case 225:
-#line 335 "itex2MML.l"
+#line 340 "itex2MML.l"
 case 226:
 YY_RULE_SETUP
-#line 335 "itex2MML.l"
+#line 340 "itex2MML.l"
 {yylval=itex2MML_copy_string("↕"); return MOL;}
 	YY_BREAK
 case 227:
 YY_RULE_SETUP
-#line 337 "itex2MML.l"
+#line 342 "itex2MML.l"
 {yylval=itex2MML_copy_string("⇕"); return MOL;}
 	YY_BREAK
 case 228:
 YY_RULE_SETUP
-#line 339 "itex2MML.l"
+#line 344 "itex2MML.l"
 {yylval=itex2MML_copy_string("⇜"); return MOL;}
 	YY_BREAK
 case 229:
 YY_RULE_SETUP
-#line 340 "itex2MML.l"
+#line 345 "itex2MML.l"
 {yylval=itex2MML_copy_string("⇝"); return MOL;}
 	YY_BREAK
 case 230:
 YY_RULE_SETUP
-#line 341 "itex2MML.l"
+#line 346 "itex2MML.l"
 {yylval=itex2MML_copy_string("⤎"); return MOL;}
 	YY_BREAK
 case 231:
 YY_RULE_SETUP
-#line 342 "itex2MML.l"
+#line 347 "itex2MML.l"
 {yylval=itex2MML_copy_string("⤏"); return MOL;}
 	YY_BREAK
 case 232:
 YY_RULE_SETUP
-#line 343 "itex2MML.l"
+#line 348 "itex2MML.l"
 {yylval=itex2MML_copy_string("⤻"); return MOL;}
 	YY_BREAK
 case 233:
 YY_RULE_SETUP
-#line 344 "itex2MML.l"
+#line 349 "itex2MML.l"
 {yylval=itex2MML_copy_string("⟲"); return MOL;}
 	YY_BREAK
 case 234:
 YY_RULE_SETUP
-#line 345 "itex2MML.l"
+#line 350 "itex2MML.l"
 {yylval=itex2MML_copy_string("⟳"); return MOL;}
 	YY_BREAK
 case 235:
-#line 347 "itex2MML.l"
+#line 352 "itex2MML.l"
 case 236:
-#line 348 "itex2MML.l"
+#line 353 "itex2MML.l"
 case 237:
-#line 349 "itex2MML.l"
+#line 354 "itex2MML.l"
 case 238:
-#line 350 "itex2MML.l"
+#line 355 "itex2MML.l"
 case 239:
-#line 351 "itex2MML.l"
+#line 356 "itex2MML.l"
 case 240:
-#line 352 "itex2MML.l"
+#line 357 "itex2MML.l"
 case 241:
-#line 353 "itex2MML.l"
+#line 358 "itex2MML.l"
 case 242:
-#line 354 "itex2MML.l"
+#line 359 "itex2MML.l"
 case 243:
-#line 355 "itex2MML.l"
+#line 360 "itex2MML.l"
 case 244:
-#line 356 "itex2MML.l"
+#line 361 "itex2MML.l"
 case 245:
-#line 357 "itex2MML.l"
+#line 362 "itex2MML.l"
 case 246:
-#line 358 "itex2MML.l"
+#line 363 "itex2MML.l"
 case 247:
-#line 359 "itex2MML.l"
+#line 364 "itex2MML.l"
 case 248:
-#line 360 "itex2MML.l"
+#line 365 "itex2MML.l"
 case 249:
-#line 361 "itex2MML.l"
+#line 366 "itex2MML.l"
 case 250:
-#line 362 "itex2MML.l"
+#line 367 "itex2MML.l"
 case 251:
-#line 363 "itex2MML.l"
+#line 368 "itex2MML.l"
 case 252:
-#line 364 "itex2MML.l"
+#line 369 "itex2MML.l"
 case 253:
-#line 365 "itex2MML.l"
+#line 370 "itex2MML.l"
 case 254:
-#line 366 "itex2MML.l"
+#line 371 "itex2MML.l"
 case 255:
-#line 367 "itex2MML.l"
+#line 372 "itex2MML.l"
 case 256:
-#line 368 "itex2MML.l"
+#line 373 "itex2MML.l"
 case 257:
-#line 369 "itex2MML.l"
+#line 374 "itex2MML.l"
 case 258:
-#line 370 "itex2MML.l"
+#line 375 "itex2MML.l"
 case 259:
-#line 371 "itex2MML.l"
+#line 376 "itex2MML.l"
 case 260:
-#line 372 "itex2MML.l"
+#line 377 "itex2MML.l"
 case 261:
-#line 373 "itex2MML.l"
+#line 378 "itex2MML.l"
 case 262:
-#line 374 "itex2MML.l"
+#line 379 "itex2MML.l"
 case 263:
-#line 375 "itex2MML.l"
+#line 380 "itex2MML.l"
 case 264:
-#line 376 "itex2MML.l"
+#line 381 "itex2MML.l"
 case 265:
-#line 377 "itex2MML.l"
+#line 382 "itex2MML.l"
 case 266:
-#line 378 "itex2MML.l"
+#line 383 "itex2MML.l"
 case 267:
-#line 379 "itex2MML.l"
+#line 384 "itex2MML.l"
 case 268:
-#line 380 "itex2MML.l"
+#line 385 "itex2MML.l"
 case 269:
-#line 381 "itex2MML.l"
+#line 386 "itex2MML.l"
 case 270:
-#line 382 "itex2MML.l"
+#line 387 "itex2MML.l"
 case 271:
 YY_RULE_SETUP
-#line 382 "itex2MML.l"
+#line 387 "itex2MML.l"
 {yylval=itex2MML_copy2(itex2MML_yytext, ";"); if (yylval != itex2MML_empty_string) yylval[0]='&'; return MOL;}
 	YY_BREAK
 case 272:
-#line 385 "itex2MML.l"
+#line 390 "itex2MML.l"
 case 273:
-#line 386 "itex2MML.l"
+#line 391 "itex2MML.l"
 case 274:
-#line 387 "itex2MML.l"
+#line 392 "itex2MML.l"
 case 275:
-#line 388 "itex2MML.l"
+#line 393 "itex2MML.l"
 case 276:
-#line 389 "itex2MML.l"
+#line 394 "itex2MML.l"
 case 277:
-#line 390 "itex2MML.l"
+#line 395 "itex2MML.l"
 case 278:
-#line 391 "itex2MML.l"
+#line 396 "itex2MML.l"
 case 279:
-#line 392 "itex2MML.l"
+#line 397 "itex2MML.l"
 case 280:
-#line 393 "itex2MML.l"
+#line 398 "itex2MML.l"
 case 281:
-#line 394 "itex2MML.l"
+#line 399 "itex2MML.l"
 case 282:
 YY_RULE_SETUP
-#line 394 "itex2MML.l"
+#line 399 "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 283:
-#line 397 "itex2MML.l"
+#line 402 "itex2MML.l"
 case 284:
 YY_RULE_SETUP
-#line 397 "itex2MML.l"
+#line 402 "itex2MML.l"
 {yylval=itex2MML_copy_string("…"); return MI;}
 	YY_BREAK
 case 285:
 YY_RULE_SETUP
-#line 398 "itex2MML.l"
+#line 403 "itex2MML.l"
 {yylval=itex2MML_copy_string("⋯"); return MI;}
 	YY_BREAK
 case 286:
 YY_RULE_SETUP
-#line 399 "itex2MML.l"
+#line 404 "itex2MML.l"
 {yylval=itex2MML_copy_string("⋱"); return MI;}
 	YY_BREAK
 case 287:
 YY_RULE_SETUP
-#line 400 "itex2MML.l"
+#line 405 "itex2MML.l"
 {yylval=itex2MML_copy_string("⋰"); return MI;}
 	YY_BREAK
 case 288:
 YY_RULE_SETUP
-#line 401 "itex2MML.l"
+#line 406 "itex2MML.l"
 {yylval=itex2MML_copy_string("⋮"); return MI;}
 	YY_BREAK
 case 289:
 YY_RULE_SETUP
-#line 402 "itex2MML.l"
+#line 407 "itex2MML.l"
 {yylval=itex2MML_copy_string(":"); return MOR;}
 	YY_BREAK
 case 290:
-#line 405 "itex2MML.l"
+#line 410 "itex2MML.l"
 case 291:
-#line 406 "itex2MML.l"
+#line 411 "itex2MML.l"
 case 292:
 YY_RULE_SETUP
-#line 406 "itex2MML.l"
+#line 411 "itex2MML.l"
 {yylval=itex2MML_copy_string("∪"); return MOL;}
 	YY_BREAK
 case 293:
-#line 409 "itex2MML.l"
+#line 414 "itex2MML.l"
 case 294:
-#line 410 "itex2MML.l"
+#line 415 "itex2MML.l"
 case 295:
 YY_RULE_SETUP
-#line 410 "itex2MML.l"
+#line 415 "itex2MML.l"
 {yylval=itex2MML_copy_string("⋃"); return MOB;}
 	YY_BREAK
 case 296:
-#line 413 "itex2MML.l"
+#line 418 "itex2MML.l"
 case 297:
 YY_RULE_SETUP
-#line 413 "itex2MML.l"
+#line 418 "itex2MML.l"
 {yylval=itex2MML_copy_string("∩"); return MOL;}
 	YY_BREAK
 case 298:
-#line 416 "itex2MML.l"
+#line 421 "itex2MML.l"
 case 299:
 YY_RULE_SETUP
-#line 416 "itex2MML.l"
+#line 421 "itex2MML.l"
 {yylval=itex2MML_copy_string("⋂"); return MOB;}
 	YY_BREAK
 case 300:
 YY_RULE_SETUP
-#line 418 "itex2MML.l"
+#line 423 "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
@@ -3657,1360 +3662,1360 @@ YY_RULE_SETUP
   */
 case 301:
 YY_RULE_SETUP
-#line 423 "itex2MML.l"
+#line 428 "itex2MML.l"
 {yylval=itex2MML_copy_string("≔"); return MOL;}
 	YY_BREAK
 case 302:
 YY_RULE_SETUP
-#line 424 "itex2MML.l"
+#line 429 "itex2MML.l"
 {yylval=itex2MML_copy_string("⩴"); return MOS;}
 	YY_BREAK
 case 303:
 YY_RULE_SETUP
-#line 425 "itex2MML.l"
+#line 430 "itex2MML.l"
 {yylval=itex2MML_copy_string("∶−"); return MOS;}
 	YY_BREAK
 case 304:
 YY_RULE_SETUP
-#line 426 "itex2MML.l"
+#line 431 "itex2MML.l"
 {yylval=itex2MML_copy_string("∷−"); return MOS;}
 	YY_BREAK
 case 305:
 YY_RULE_SETUP
-#line 427 "itex2MML.l"
+#line 432 "itex2MML.l"
 {yylval=itex2MML_copy_string("≕"); return MOS;}
 	YY_BREAK
 case 306:
 YY_RULE_SETUP
-#line 428 "itex2MML.l"
+#line 433 "itex2MML.l"
 {yylval=itex2MML_copy_string("=∷"); return MOS;}
 	YY_BREAK
 case 307:
 YY_RULE_SETUP
-#line 429 "itex2MML.l"
+#line 434 "itex2MML.l"
 {yylval=itex2MML_copy_string("∹"); return MOS;}
 	YY_BREAK
 case 308:
 YY_RULE_SETUP
-#line 430 "itex2MML.l"
+#line 435 "itex2MML.l"
 {yylval=itex2MML_copy_string("−∷"); return MOS;}
 	YY_BREAK
 case 309:
 YY_RULE_SETUP
-#line 431 "itex2MML.l"
+#line 436 "itex2MML.l"
 {yylval=itex2MML_copy_string("∶≈"); return MOS;}
 	YY_BREAK
 case 310:
 YY_RULE_SETUP
-#line 432 "itex2MML.l"
+#line 437 "itex2MML.l"
 {yylval=itex2MML_copy_string("∷≈"); return MOS;}
 	YY_BREAK
 case 311:
 YY_RULE_SETUP
-#line 433 "itex2MML.l"
+#line 438 "itex2MML.l"
 {yylval=itex2MML_copy_string("∶∼"); return MOS;}
 	YY_BREAK
 case 312:
 YY_RULE_SETUP
-#line 434 "itex2MML.l"
+#line 439 "itex2MML.l"
 {yylval=itex2MML_copy_string("∷∼"); return MOS;}
 	YY_BREAK
 case 313:
 YY_RULE_SETUP
-#line 435 "itex2MML.l"
+#line 440 "itex2MML.l"
 {yylval=itex2MML_copy_string("∷"); return MOL;}
 	YY_BREAK
 case 314:
-#line 438 "itex2MML.l"
+#line 443 "itex2MML.l"
 case 315:
-#line 439 "itex2MML.l"
+#line 444 "itex2MML.l"
 case 316:
-#line 440 "itex2MML.l"
+#line 445 "itex2MML.l"
 case 317:
-#line 441 "itex2MML.l"
+#line 446 "itex2MML.l"
 case 318:
-#line 442 "itex2MML.l"
+#line 447 "itex2MML.l"
 case 319:
-#line 443 "itex2MML.l"
+#line 448 "itex2MML.l"
 case 320:
-#line 444 "itex2MML.l"
+#line 449 "itex2MML.l"
 case 321:
-#line 445 "itex2MML.l"
+#line 450 "itex2MML.l"
 case 322:
-#line 446 "itex2MML.l"
+#line 451 "itex2MML.l"
 case 323:
-#line 447 "itex2MML.l"
+#line 452 "itex2MML.l"
 case 324:
-#line 448 "itex2MML.l"
+#line 453 "itex2MML.l"
 case 325:
-#line 449 "itex2MML.l"
+#line 454 "itex2MML.l"
 case 326:
-#line 450 "itex2MML.l"
+#line 455 "itex2MML.l"
 case 327:
-#line 451 "itex2MML.l"
+#line 456 "itex2MML.l"
 case 328:
-#line 452 "itex2MML.l"
+#line 457 "itex2MML.l"
 case 329:
-#line 453 "itex2MML.l"
+#line 458 "itex2MML.l"
 case 330:
-#line 454 "itex2MML.l"
+#line 459 "itex2MML.l"
 case 331:
-#line 455 "itex2MML.l"
+#line 460 "itex2MML.l"
 case 332:
-#line 456 "itex2MML.l"
+#line 461 "itex2MML.l"
 case 333:
-#line 457 "itex2MML.l"
+#line 462 "itex2MML.l"
 case 334:
-#line 458 "itex2MML.l"
+#line 463 "itex2MML.l"
 case 335:
-#line 459 "itex2MML.l"
+#line 464 "itex2MML.l"
 case 336:
-#line 460 "itex2MML.l"
+#line 465 "itex2MML.l"
 case 337:
-#line 461 "itex2MML.l"
+#line 466 "itex2MML.l"
 case 338:
-#line 462 "itex2MML.l"
+#line 467 "itex2MML.l"
 case 339:
-#line 463 "itex2MML.l"
+#line 468 "itex2MML.l"
 case 340:
-#line 464 "itex2MML.l"
+#line 469 "itex2MML.l"
 case 341:
-#line 465 "itex2MML.l"
+#line 470 "itex2MML.l"
 case 342:
-#line 466 "itex2MML.l"
+#line 471 "itex2MML.l"
 case 343:
-#line 467 "itex2MML.l"
+#line 472 "itex2MML.l"
 case 344:
-#line 468 "itex2MML.l"
+#line 473 "itex2MML.l"
 case 345:
-#line 469 "itex2MML.l"
+#line 474 "itex2MML.l"
 case 346:
-#line 470 "itex2MML.l"
+#line 475 "itex2MML.l"
 case 347:
-#line 471 "itex2MML.l"
+#line 476 "itex2MML.l"
 case 348:
-#line 472 "itex2MML.l"
+#line 477 "itex2MML.l"
 case 349:
-#line 473 "itex2MML.l"
+#line 478 "itex2MML.l"
 case 350:
-#line 474 "itex2MML.l"
+#line 479 "itex2MML.l"
 case 351:
-#line 475 "itex2MML.l"
+#line 480 "itex2MML.l"
 case 352:
-#line 476 "itex2MML.l"
+#line 481 "itex2MML.l"
 case 353:
-#line 477 "itex2MML.l"
+#line 482 "itex2MML.l"
 case 354:
-#line 478 "itex2MML.l"
+#line 483 "itex2MML.l"
 case 355:
-#line 479 "itex2MML.l"
+#line 484 "itex2MML.l"
 case 356:
-#line 480 "itex2MML.l"
+#line 485 "itex2MML.l"
 case 357:
-#line 481 "itex2MML.l"
+#line 486 "itex2MML.l"
 case 358:
-#line 482 "itex2MML.l"
+#line 487 "itex2MML.l"
 case 359:
-#line 483 "itex2MML.l"
+#line 488 "itex2MML.l"
 case 360:
-#line 484 "itex2MML.l"
+#line 489 "itex2MML.l"
 case 361:
-#line 485 "itex2MML.l"
+#line 490 "itex2MML.l"
 case 362:
-#line 486 "itex2MML.l"
+#line 491 "itex2MML.l"
 case 363:
-#line 487 "itex2MML.l"
+#line 492 "itex2MML.l"
 case 364:
-#line 488 "itex2MML.l"
+#line 493 "itex2MML.l"
 case 365:
-#line 489 "itex2MML.l"
+#line 494 "itex2MML.l"
 case 366:
-#line 490 "itex2MML.l"
+#line 495 "itex2MML.l"
 case 367:
-#line 491 "itex2MML.l"
+#line 496 "itex2MML.l"
 case 368:
-#line 492 "itex2MML.l"
+#line 497 "itex2MML.l"
 case 369:
-#line 493 "itex2MML.l"
+#line 498 "itex2MML.l"
 case 370:
-#line 494 "itex2MML.l"
+#line 499 "itex2MML.l"
 case 371:
-#line 495 "itex2MML.l"
+#line 500 "itex2MML.l"
 case 372:
-#line 496 "itex2MML.l"
+#line 501 "itex2MML.l"
 case 373:
-#line 497 "itex2MML.l"
+#line 502 "itex2MML.l"
 case 374:
-#line 498 "itex2MML.l"
+#line 503 "itex2MML.l"
 case 375:
-#line 499 "itex2MML.l"
+#line 504 "itex2MML.l"
 case 376:
-#line 500 "itex2MML.l"
+#line 505 "itex2MML.l"
 case 377:
-#line 501 "itex2MML.l"
+#line 506 "itex2MML.l"
 case 378:
-#line 502 "itex2MML.l"
+#line 507 "itex2MML.l"
 case 379:
-#line 503 "itex2MML.l"
+#line 508 "itex2MML.l"
 case 380:
-#line 504 "itex2MML.l"
+#line 509 "itex2MML.l"
 case 381:
-#line 505 "itex2MML.l"
+#line 510 "itex2MML.l"
 case 382:
-#line 506 "itex2MML.l"
+#line 511 "itex2MML.l"
 case 383:
-#line 507 "itex2MML.l"
+#line 512 "itex2MML.l"
 case 384:
-#line 508 "itex2MML.l"
+#line 513 "itex2MML.l"
 case 385:
-#line 509 "itex2MML.l"
+#line 514 "itex2MML.l"
 case 386:
-#line 510 "itex2MML.l"
+#line 515 "itex2MML.l"
 case 387:
-#line 511 "itex2MML.l"
+#line 516 "itex2MML.l"
 case 388:
-#line 512 "itex2MML.l"
+#line 517 "itex2MML.l"
 case 389:
-#line 513 "itex2MML.l"
+#line 518 "itex2MML.l"
 case 390:
-#line 514 "itex2MML.l"
+#line 519 "itex2MML.l"
 case 391:
-#line 515 "itex2MML.l"
+#line 520 "itex2MML.l"
 case 392:
-#line 516 "itex2MML.l"
+#line 521 "itex2MML.l"
 case 393:
-#line 517 "itex2MML.l"
+#line 522 "itex2MML.l"
 case 394:
-#line 518 "itex2MML.l"
+#line 523 "itex2MML.l"
 case 395:
-#line 519 "itex2MML.l"
+#line 524 "itex2MML.l"
 case 396:
-#line 520 "itex2MML.l"
+#line 525 "itex2MML.l"
 case 397:
-#line 521 "itex2MML.l"
+#line 526 "itex2MML.l"
 case 398:
-#line 522 "itex2MML.l"
+#line 527 "itex2MML.l"
 case 399:
-#line 523 "itex2MML.l"
+#line 528 "itex2MML.l"
 case 400:
-#line 524 "itex2MML.l"
+#line 529 "itex2MML.l"
 case 401:
-#line 525 "itex2MML.l"
+#line 530 "itex2MML.l"
 case 402:
-#line 526 "itex2MML.l"
+#line 531 "itex2MML.l"
 case 403:
-#line 527 "itex2MML.l"
+#line 532 "itex2MML.l"
 case 404:
-#line 528 "itex2MML.l"
+#line 533 "itex2MML.l"
 case 405:
-#line 529 "itex2MML.l"
+#line 534 "itex2MML.l"
 case 406:
-#line 530 "itex2MML.l"
+#line 535 "itex2MML.l"
 case 407:
-#line 531 "itex2MML.l"
+#line 536 "itex2MML.l"
 case 408:
-#line 532 "itex2MML.l"
+#line 537 "itex2MML.l"
 case 409:
-#line 533 "itex2MML.l"
+#line 538 "itex2MML.l"
 case 410:
-#line 534 "itex2MML.l"
+#line 539 "itex2MML.l"
 case 411:
-#line 535 "itex2MML.l"
+#line 540 "itex2MML.l"
 case 412:
-#line 536 "itex2MML.l"
+#line 541 "itex2MML.l"
 case 413:
-#line 537 "itex2MML.l"
+#line 542 "itex2MML.l"
 case 414:
-#line 538 "itex2MML.l"
+#line 543 "itex2MML.l"
 case 415:
-#line 539 "itex2MML.l"
+#line 544 "itex2MML.l"
 case 416:
-#line 540 "itex2MML.l"
+#line 545 "itex2MML.l"
 case 417:
-#line 541 "itex2MML.l"
+#line 546 "itex2MML.l"
 case 418:
-#line 542 "itex2MML.l"
+#line 547 "itex2MML.l"
 case 419:
-#line 543 "itex2MML.l"
+#line 548 "itex2MML.l"
 case 420:
-#line 544 "itex2MML.l"
+#line 549 "itex2MML.l"
 case 421:
-#line 545 "itex2MML.l"
+#line 550 "itex2MML.l"
 case 422:
-#line 546 "itex2MML.l"
+#line 551 "itex2MML.l"
 case 423:
-#line 547 "itex2MML.l"
+#line 552 "itex2MML.l"
 case 424:
-#line 548 "itex2MML.l"
+#line 553 "itex2MML.l"
 case 425:
-#line 549 "itex2MML.l"
+#line 554 "itex2MML.l"
 case 426:
-#line 550 "itex2MML.l"
+#line 555 "itex2MML.l"
 case 427:
-#line 551 "itex2MML.l"
+#line 556 "itex2MML.l"
 case 428:
-#line 552 "itex2MML.l"
+#line 557 "itex2MML.l"
 case 429:
-#line 553 "itex2MML.l"
+#line 558 "itex2MML.l"
 case 430:
-#line 554 "itex2MML.l"
+#line 559 "itex2MML.l"
 case 431:
-#line 555 "itex2MML.l"
+#line 560 "itex2MML.l"
 case 432:
-#line 556 "itex2MML.l"
+#line 561 "itex2MML.l"
 case 433:
-#line 557 "itex2MML.l"
+#line 562 "itex2MML.l"
 case 434:
-#line 558 "itex2MML.l"
+#line 563 "itex2MML.l"
 case 435:
-#line 559 "itex2MML.l"
+#line 564 "itex2MML.l"
 case 436:
-#line 560 "itex2MML.l"
+#line 565 "itex2MML.l"
 case 437:
-#line 561 "itex2MML.l"
+#line 566 "itex2MML.l"
 case 438:
-#line 562 "itex2MML.l"
+#line 567 "itex2MML.l"
 case 439:
-#line 563 "itex2MML.l"
+#line 568 "itex2MML.l"
 case 440:
-#line 564 "itex2MML.l"
+#line 569 "itex2MML.l"
 case 441:
-#line 565 "itex2MML.l"
+#line 570 "itex2MML.l"
 case 442:
-#line 566 "itex2MML.l"
+#line 571 "itex2MML.l"
 case 443:
-#line 567 "itex2MML.l"
+#line 572 "itex2MML.l"
 case 444:
-#line 568 "itex2MML.l"
+#line 573 "itex2MML.l"
 case 445:
-#line 569 "itex2MML.l"
+#line 574 "itex2MML.l"
 case 446:
-#line 570 "itex2MML.l"
+#line 575 "itex2MML.l"
 case 447:
-#line 571 "itex2MML.l"
+#line 576 "itex2MML.l"
 case 448:
-#line 572 "itex2MML.l"
+#line 577 "itex2MML.l"
 case 449:
-#line 573 "itex2MML.l"
+#line 578 "itex2MML.l"
 case 450:
-#line 574 "itex2MML.l"
+#line 579 "itex2MML.l"
 case 451:
-#line 575 "itex2MML.l"
+#line 580 "itex2MML.l"
 case 452:
-#line 576 "itex2MML.l"
+#line 581 "itex2MML.l"
 case 453:
-#line 577 "itex2MML.l"
+#line 582 "itex2MML.l"
 case 454:
-#line 578 "itex2MML.l"
+#line 583 "itex2MML.l"
 case 455:
-#line 579 "itex2MML.l"
+#line 584 "itex2MML.l"
 case 456:
-#line 580 "itex2MML.l"
+#line 585 "itex2MML.l"
 case 457:
-#line 581 "itex2MML.l"
+#line 586 "itex2MML.l"
 case 458:
-#line 582 "itex2MML.l"
+#line 587 "itex2MML.l"
 case 459:
-#line 583 "itex2MML.l"
+#line 588 "itex2MML.l"
 case 460:
-#line 584 "itex2MML.l"
+#line 589 "itex2MML.l"
 case 461:
-#line 585 "itex2MML.l"
+#line 590 "itex2MML.l"
 case 462:
-#line 586 "itex2MML.l"
+#line 591 "itex2MML.l"
 case 463:
-#line 587 "itex2MML.l"
+#line 592 "itex2MML.l"
 case 464:
-#line 588 "itex2MML.l"
+#line 593 "itex2MML.l"
 case 465:
-#line 589 "itex2MML.l"
+#line 594 "itex2MML.l"
 case 466:
-#line 590 "itex2MML.l"
+#line 595 "itex2MML.l"
 case 467:
-#line 591 "itex2MML.l"
+#line 596 "itex2MML.l"
 case 468:
-#line 592 "itex2MML.l"
+#line 597 "itex2MML.l"
 case 469:
-#line 593 "itex2MML.l"
+#line 598 "itex2MML.l"
 case 470:
-#line 594 "itex2MML.l"
+#line 599 "itex2MML.l"
 case 471:
-#line 595 "itex2MML.l"
+#line 600 "itex2MML.l"
 case 472:
-#line 596 "itex2MML.l"
+#line 601 "itex2MML.l"
 case 473:
-#line 597 "itex2MML.l"
+#line 602 "itex2MML.l"
 case 474:
-#line 598 "itex2MML.l"
+#line 603 "itex2MML.l"
 case 475:
-#line 599 "itex2MML.l"
+#line 604 "itex2MML.l"
 case 476:
-#line 600 "itex2MML.l"
+#line 605 "itex2MML.l"
 case 477:
-#line 601 "itex2MML.l"
+#line 606 "itex2MML.l"
 case 478:
-#line 602 "itex2MML.l"
+#line 607 "itex2MML.l"
 case 479:
-#line 603 "itex2MML.l"
+#line 608 "itex2MML.l"
 case 480:
-#line 604 "itex2MML.l"
+#line 609 "itex2MML.l"
 case 481:
-#line 605 "itex2MML.l"
+#line 610 "itex2MML.l"
 case 482:
-#line 606 "itex2MML.l"
+#line 611 "itex2MML.l"
 case 483:
-#line 607 "itex2MML.l"
+#line 612 "itex2MML.l"
 case 484:
-#line 608 "itex2MML.l"
+#line 613 "itex2MML.l"
 case 485:
-#line 609 "itex2MML.l"
+#line 614 "itex2MML.l"
 case 486:
-#line 610 "itex2MML.l"
+#line 615 "itex2MML.l"
 case 487:
-#line 611 "itex2MML.l"
+#line 616 "itex2MML.l"
 case 488:
-#line 612 "itex2MML.l"
+#line 617 "itex2MML.l"
 case 489:
-#line 613 "itex2MML.l"
+#line 618 "itex2MML.l"
 case 490:
-#line 614 "itex2MML.l"
+#line 619 "itex2MML.l"
 case 491:
-#line 615 "itex2MML.l"
+#line 620 "itex2MML.l"
 case 492:
-#line 616 "itex2MML.l"
+#line 621 "itex2MML.l"
 case 493:
-#line 617 "itex2MML.l"
+#line 622 "itex2MML.l"
 case 494:
-#line 618 "itex2MML.l"
+#line 623 "itex2MML.l"
 case 495:
-#line 619 "itex2MML.l"
+#line 624 "itex2MML.l"
 case 496:
-#line 620 "itex2MML.l"
+#line 625 "itex2MML.l"
 case 497:
-#line 621 "itex2MML.l"
+#line 626 "itex2MML.l"
 case 498:
-#line 622 "itex2MML.l"
+#line 627 "itex2MML.l"
 case 499:
-#line 623 "itex2MML.l"
+#line 628 "itex2MML.l"
 case 500:
-#line 624 "itex2MML.l"
+#line 629 "itex2MML.l"
 case 501:
-#line 625 "itex2MML.l"
+#line 630 "itex2MML.l"
 case 502:
-#line 626 "itex2MML.l"
+#line 631 "itex2MML.l"
 case 503:
-#line 627 "itex2MML.l"
+#line 632 "itex2MML.l"
 case 504:
-#line 628 "itex2MML.l"
+#line 633 "itex2MML.l"
 case 505:
-#line 629 "itex2MML.l"
+#line 634 "itex2MML.l"
 case 506:
-#line 630 "itex2MML.l"
+#line 635 "itex2MML.l"
 case 507:
-#line 631 "itex2MML.l"
+#line 636 "itex2MML.l"
 case 508:
-#line 632 "itex2MML.l"
+#line 637 "itex2MML.l"
 case 509:
-#line 633 "itex2MML.l"
+#line 638 "itex2MML.l"
 case 510:
-#line 634 "itex2MML.l"
+#line 639 "itex2MML.l"
 case 511:
-#line 635 "itex2MML.l"
+#line 640 "itex2MML.l"
 case 512:
-#line 636 "itex2MML.l"
+#line 641 "itex2MML.l"
 case 513:
-#line 637 "itex2MML.l"
+#line 642 "itex2MML.l"
 case 514:
-#line 638 "itex2MML.l"
+#line 643 "itex2MML.l"
 case 515:
-#line 639 "itex2MML.l"
+#line 644 "itex2MML.l"
 case 516:
-#line 640 "itex2MML.l"
+#line 645 "itex2MML.l"
 case 517:
-#line 641 "itex2MML.l"
+#line 646 "itex2MML.l"
 case 518:
-#line 642 "itex2MML.l"
+#line 647 "itex2MML.l"
 case 519:
-#line 643 "itex2MML.l"
+#line 648 "itex2MML.l"
 case 520:
-#line 644 "itex2MML.l"
+#line 649 "itex2MML.l"
 case 521:
-#line 645 "itex2MML.l"
+#line 650 "itex2MML.l"
 case 522:
-#line 646 "itex2MML.l"
+#line 651 "itex2MML.l"
 case 523:
-#line 647 "itex2MML.l"
+#line 652 "itex2MML.l"
 case 524:
 YY_RULE_SETUP
-#line 647 "itex2MML.l"
+#line 652 "itex2MML.l"
 {yylval=itex2MML_copy2(itex2MML_yytext, ";"); if (yylval != itex2MML_empty_string) yylval[0]='&'; return MOL;}
 	YY_BREAK
 case 525:
-#line 650 "itex2MML.l"
+#line 655 "itex2MML.l"
 case 526:
-#line 651 "itex2MML.l"
+#line 656 "itex2MML.l"
 case 527:
-#line 652 "itex2MML.l"
+#line 657 "itex2MML.l"
 case 528:
-#line 653 "itex2MML.l"
+#line 658 "itex2MML.l"
 case 529:
-#line 654 "itex2MML.l"
+#line 659 "itex2MML.l"
 case 530:
-#line 655 "itex2MML.l"
+#line 660 "itex2MML.l"
 case 531:
-#line 656 "itex2MML.l"
+#line 661 "itex2MML.l"
 case 532:
-#line 657 "itex2MML.l"
+#line 662 "itex2MML.l"
 case 533:
-#line 658 "itex2MML.l"
+#line 663 "itex2MML.l"
 case 534:
 YY_RULE_SETUP
-#line 658 "itex2MML.l"
+#line 663 "itex2MML.l"
 {yylval=itex2MML_copy2(itex2MML_yytext, ";"); if (yylval != itex2MML_empty_string) yylval[0]='&'; return MI;}
 	YY_BREAK
 case 535:
-#line 661 "itex2MML.l"
+#line 666 "itex2MML.l"
 case 536:
 YY_RULE_SETUP
-#line 661 "itex2MML.l"
+#line 666 "itex2MML.l"
 {yylval=itex2MML_copy_string("⫫"); return MOL;}
 	YY_BREAK
 case 537:
 YY_RULE_SETUP
-#line 662 "itex2MML.l"
+#line 667 "itex2MML.l"
 {yylval=itex2MML_copy_string("⊡"); return MOL;}
 	YY_BREAK
 case 538:
-#line 664 "itex2MML.l"
+#line 669 "itex2MML.l"
 case 539:
 YY_RULE_SETUP
-#line 664 "itex2MML.l"
+#line 669 "itex2MML.l"
 {yylval=itex2MML_copy_string("□"); return MOL;}
 	YY_BREAK
 case 540:
-#line 666 "itex2MML.l"
+#line 671 "itex2MML.l"
 case 541:
 YY_RULE_SETUP
-#line 666 "itex2MML.l"
+#line 671 "itex2MML.l"
 {yylval=itex2MML_copy_string("∅"); return MI;}
 	YY_BREAK
 case 542:
 YY_RULE_SETUP
-#line 667 "itex2MML.l"
+#line 672 "itex2MML.l"
 {yylval=itex2MML_copy_string("∃"); return MOL;}
 	YY_BREAK
 case 543:
 YY_RULE_SETUP
-#line 668 "itex2MML.l"
+#line 673 "itex2MML.l"
 {yylval=itex2MML_copy_string("∘"); return MOL;}
 	YY_BREAK
 case 544:
 YY_RULE_SETUP
-#line 669 "itex2MML.l"
+#line 674 "itex2MML.l"
 {yylval=itex2MML_copy_string("⊳"); return MOL;}
 	YY_BREAK
 case 545:
 YY_RULE_SETUP
-#line 670 "itex2MML.l"
+#line 675 "itex2MML.l"
 {yylval=itex2MML_copy_string("⊲"); return MOL;}
 	YY_BREAK
 case 546:
 YY_RULE_SETUP
-#line 671 "itex2MML.l"
+#line 676 "itex2MML.l"
 {yylval=itex2MML_copy_string("⋘"); return MOL;}
 	YY_BREAK
 case 547:
 YY_RULE_SETUP
-#line 672 "itex2MML.l"
+#line 677 "itex2MML.l"
 {yylval=itex2MML_copy_string("⊵"); return MOL;}
 	YY_BREAK
 case 548:
 YY_RULE_SETUP
-#line 673 "itex2MML.l"
+#line 678 "itex2MML.l"
 {yylval=itex2MML_copy_string("⊴"); return MOL;}
 	YY_BREAK
 case 549:
-#line 675 "itex2MML.l"
+#line 680 "itex2MML.l"
 case 550:
 YY_RULE_SETUP
-#line 675 "itex2MML.l"
+#line 680 "itex2MML.l"
 {yylval=itex2MML_copy_string("∇"); return MOL;}
 	YY_BREAK
 case 551:
 YY_RULE_SETUP
-#line 676 "itex2MML.l"
+#line 681 "itex2MML.l"
 {yylval=itex2MML_copy_string("∢"); return MOL;}
 	YY_BREAK
 case 552:
 YY_RULE_SETUP
-#line 678 "itex2MML.l"
+#line 683 "itex2MML.l"
 {yylval=itex2MML_copy_string("♡"); return MOL;}
 	YY_BREAK
 case 553:
 YY_RULE_SETUP
-#line 679 "itex2MML.l"
+#line 684 "itex2MML.l"
 {yylval=itex2MML_copy_string("♢"); return MOL;}
 	YY_BREAK
 case 554:
 YY_RULE_SETUP
-#line 681 "itex2MML.l"
+#line 686 "itex2MML.l"
 {yylval=itex2MML_copy_string("∂"); return MOL;}
 	YY_BREAK
 case 555:
 YY_RULE_SETUP
-#line 683 "itex2MML.l"
+#line 688 "itex2MML.l"
 {yylval=itex2MML_copy_string("▪"); return MO;}
 	YY_BREAK
 case 556:
 YY_RULE_SETUP
-#line 685 "itex2MML.l"
+#line 690 "itex2MML.l"
 {yylval=itex2MML_copy_string("mod"); return MOS;}
 	YY_BREAK
 case 557:
 YY_RULE_SETUP
-#line 686 "itex2MML.l"
+#line 691 "itex2MML.l"
 {return PMOD;}
 	YY_BREAK
 case 558:
 YY_RULE_SETUP
-#line 688 "itex2MML.l"
+#line 693 "itex2MML.l"
 {yylval=itex2MML_copy_string("⊥"); return MOL;}
 	YY_BREAK
 case 559:
 YY_RULE_SETUP
-#line 690 "itex2MML.l"
+#line 695 "itex2MML.l"
 {yylval=itex2MML_copy_string("¬"); return MOL;}
 	YY_BREAK
 case 560:
-#line 693 "itex2MML.l"
+#line 698 "itex2MML.l"
 case 561:
 YY_RULE_SETUP
-#line 693 "itex2MML.l"
+#line 698 "itex2MML.l"
 {yylval=itex2MML_copy_string("≠"); return MOL;}
 	YY_BREAK
 case 562:
-#line 696 "itex2MML.l"
+#line 701 "itex2MML.l"
 case 563:
 YY_RULE_SETUP
-#line 696 "itex2MML.l"
+#line 701 "itex2MML.l"
 {yylval=itex2MML_copy_string("∣"); return MOS;}
 	YY_BREAK
 case 564:
-#line 699 "itex2MML.l"
+#line 704 "itex2MML.l"
 case 565:
 YY_RULE_SETUP
-#line 699 "itex2MML.l"
+#line 704 "itex2MML.l"
 {yylval=itex2MML_copy_string("∫"); return MOL;}
 	YY_BREAK
 case 566:
-#line 702 "itex2MML.l"
+#line 707 "itex2MML.l"
 case 567:
 YY_RULE_SETUP
-#line 702 "itex2MML.l"
+#line 707 "itex2MML.l"
 {yylval=itex2MML_copy_string("∬"); return MOL;}
 	YY_BREAK
 case 568:
-#line 705 "itex2MML.l"
+#line 710 "itex2MML.l"
 case 569:
 YY_RULE_SETUP
-#line 705 "itex2MML.l"
+#line 710 "itex2MML.l"
 {yylval=itex2MML_copy_string("∭"); return MOL;}
 	YY_BREAK
 case 570:
-#line 708 "itex2MML.l"
+#line 713 "itex2MML.l"
 case 571:
 YY_RULE_SETUP
-#line 708 "itex2MML.l"
+#line 713 "itex2MML.l"
 {yylval=itex2MML_copy_string("⨌"); return MOL;}
 	YY_BREAK
 case 572:
-#line 711 "itex2MML.l"
+#line 716 "itex2MML.l"
 case 573:
-#line 712 "itex2MML.l"
+#line 717 "itex2MML.l"
 case 574:
 YY_RULE_SETUP
-#line 712 "itex2MML.l"
+#line 717 "itex2MML.l"
 {yylval=itex2MML_copy_string("∮"); return MOL;}
 	YY_BREAK
 case 575:
 YY_RULE_SETUP
-#line 714 "itex2MML.l"
+#line 719 "itex2MML.l"
 {yylval=itex2MML_copy_string("×"); return MOL;}
 	YY_BREAK
 case 576:
 YY_RULE_SETUP
-#line 715 "itex2MML.l"
+#line 720 "itex2MML.l"
 {yylval=itex2MML_copy_string("⋆"); return MOL;}
 	YY_BREAK
 case 577:
-#line 717 "itex2MML.l"
+#line 722 "itex2MML.l"
 case 578:
 YY_RULE_SETUP
-#line 717 "itex2MML.l"
+#line 722 "itex2MML.l"
 {yylval=itex2MML_copy_string("⊝"); return MOL;}
 	YY_BREAK
 case 579:
 YY_RULE_SETUP
-#line 719 "itex2MML.l"
+#line 724 "itex2MML.l"
 {yylval=itex2MML_copy_string("⊺"); return MOL;}
 	YY_BREAK
 case 580:
 YY_RULE_SETUP
-#line 720 "itex2MML.l"
+#line 725 "itex2MML.l"
 {yylval=itex2MML_copy_string("⌢"); return MOL;}
 	YY_BREAK
 case 581:
 YY_RULE_SETUP
-#line 721 "itex2MML.l"
+#line 726 "itex2MML.l"
 {yylval=itex2MML_copy_string("⌣"); return MOL;}
 	YY_BREAK
 case 582:
-#line 724 "itex2MML.l"
+#line 729 "itex2MML.l"
 case 583:
 YY_RULE_SETUP
-#line 724 "itex2MML.l"
+#line 729 "itex2MML.l"
 {yylval=itex2MML_copy_string("⊟"); return MOL;}
 	YY_BREAK
 case 584:
-#line 726 "itex2MML.l"
+#line 731 "itex2MML.l"
 case 585:
 YY_RULE_SETUP
-#line 726 "itex2MML.l"
+#line 731 "itex2MML.l"
 {yylval=itex2MML_copy_string("⊞"); return MOL;}
 	YY_BREAK
 case 586:
-#line 728 "itex2MML.l"
+#line 733 "itex2MML.l"
 case 587:
 YY_RULE_SETUP
-#line 728 "itex2MML.l"
+#line 733 "itex2MML.l"
 {yylval=itex2MML_copy_string("⊠"); return MOL;}
 	YY_BREAK
 case 588:
 YY_RULE_SETUP
-#line 730 "itex2MML.l"
+#line 735 "itex2MML.l"
 {yylval=itex2MML_copy_string("∑"); return MOB;}
 	YY_BREAK
 case 589:
-#line 733 "itex2MML.l"
+#line 738 "itex2MML.l"
 case 590:
 YY_RULE_SETUP
-#line 733 "itex2MML.l"
+#line 738 "itex2MML.l"
 {yylval=itex2MML_copy_string("∏"); return MOB;}
 	YY_BREAK
 case 591:
-#line 736 "itex2MML.l"
+#line 741 "itex2MML.l"
 case 592:
 YY_RULE_SETUP
-#line 736 "itex2MML.l"
+#line 741 "itex2MML.l"
 {yylval=itex2MML_copy_string("∐"); return MOB;}
 	YY_BREAK
 case 593:
 YY_RULE_SETUP
-#line 738 "itex2MML.l"
+#line 743 "itex2MML.l"
 {yylval=itex2MML_copy_string("⊗"); return MOL;}
 	YY_BREAK
 case 594:
 YY_RULE_SETUP
-#line 739 "itex2MML.l"
+#line 744 "itex2MML.l"
 {yylval=itex2MML_copy_string("⨷"); return MOL;}
 	YY_BREAK
 case 595:
 YY_RULE_SETUP
-#line 740 "itex2MML.l"
+#line 745 "itex2MML.l"
 {yylval=itex2MML_copy_string("⨂"); return MOL;}
 	YY_BREAK
 case 596:
 YY_RULE_SETUP
-#line 742 "itex2MML.l"
+#line 747 "itex2MML.l"
 {yylval=itex2MML_copy_string("⊖"); return MOL;}
 	YY_BREAK
 case 597:
 YY_RULE_SETUP
-#line 743 "itex2MML.l"
+#line 748 "itex2MML.l"
 {yylval=itex2MML_copy_string("⊘"); return MOL;}
 	YY_BREAK
 case 598:
 YY_RULE_SETUP
-#line 745 "itex2MML.l"
+#line 750 "itex2MML.l"
 {yylval=itex2MML_copy_string("⊕"); return MOL;}
 	YY_BREAK
 case 599:
-#line 747 "itex2MML.l"
+#line 752 "itex2MML.l"
 case 600:
 YY_RULE_SETUP
-#line 747 "itex2MML.l"
+#line 752 "itex2MML.l"
 {yylval=itex2MML_copy_string("⨁"); return MOB;}
 	YY_BREAK
 case 601:
 YY_RULE_SETUP
-#line 749 "itex2MML.l"
+#line 754 "itex2MML.l"
 {yylval=itex2MML_copy_string("⨀"); return MOB;}
 	YY_BREAK
 case 602:
 YY_RULE_SETUP
-#line 750 "itex2MML.l"
+#line 755 "itex2MML.l"
 {yylval=itex2MML_copy_string("⨆"); return MOB;}
 	YY_BREAK
 case 603:
 YY_RULE_SETUP
-#line 751 "itex2MML.l"
+#line 756 "itex2MML.l"
 {yylval=itex2MML_copy_string("⨅"); return MOB;}
 	YY_BREAK
 case 604:
 YY_RULE_SETUP
-#line 752 "itex2MML.l"
+#line 757 "itex2MML.l"
 {yylval=itex2MML_copy_string("⫼"); return MOB;}
 	YY_BREAK
 case 605:
 YY_RULE_SETUP
-#line 753 "itex2MML.l"
+#line 758 "itex2MML.l"
 {yylval=itex2MML_copy_string("⨄"); return MOB;}
 	YY_BREAK
 case 606:
 YY_RULE_SETUP
-#line 755 "itex2MML.l"
+#line 760 "itex2MML.l"
 {yylval=itex2MML_copy_string("∧"); return MOL;}
 	YY_BREAK
 case 607:
-#line 757 "itex2MML.l"
+#line 762 "itex2MML.l"
 case 608:
 YY_RULE_SETUP
-#line 757 "itex2MML.l"
+#line 762 "itex2MML.l"
 {yylval=itex2MML_copy_string("⋀"); return MOB;}
 	YY_BREAK
 case 609:
-#line 760 "itex2MML.l"
+#line 765 "itex2MML.l"
 case 610:
 YY_RULE_SETUP
-#line 760 "itex2MML.l"
+#line 765 "itex2MML.l"
 {yylval=itex2MML_copy_string("⋁"); return MOB;}
 	YY_BREAK
 case 611:
-#line 763 "itex2MML.l"
+#line 768 "itex2MML.l"