itextomml 1.4.11 → 1.5.0

data/ext/y.tab.c

@@ -1135,37 +1135,37 @@ static const yytype_int16 yyrhs[] =
 static const yytype_uint16 yyrline[] =
 {
        0,   284,   284,   287,   288,   289,   290,   291,   293,   295,
-     296,   297,   310,   324,   328,   334,   353,   367,   386,   400,
-     419,   433,   452,   466,   476,   486,   493,   500,   504,   508,
-     513,   514,   515,   516,   517,   521,   525,   526,   527,   528,
-     529,   530,   531,   532,   533,   534,   535,   536,   537,   538,
-     539,   540,   541,   542,   543,   544,   545,   546,   547,   548,
-     549,   550,   551,   552,   553,   554,   555,   556,   557,   558,
-     559,   560,   561,   562,   563,   564,   565,   566,   567,   568,
-     569,   570,   571,   572,   573,   574,   575,   576,   577,   578,
-     579,   580,   581,   582,   583,   584,   588,   592,   600,   601,
-     602,   603,   605,   610,   615,   621,   625,   629,   634,   639,
-     643,   647,   652,   656,   660,   665,   669,   673,   678,   682,
-     686,   691,   696,   701,   706,   711,   716,   721,   727,   731,
-     735,   739,   741,   747,   748,   754,   760,   761,   762,   767,
-     772,   777,   781,   786,   790,   794,   798,   803,   808,   813,
-     818,   823,   828,   834,   845,   853,   861,   869,   877,   885,
-     892,   900,   905,   910,   915,   920,   925,   930,   935,   940,
-     945,   950,   955,   960,   965,   970,   974,   980,   985,   989,
-     995,   999,  1003,  1011,  1016,  1020,  1026,  1031,  1036,  1040,
-    1046,  1051,  1055,  1059,  1063,  1067,  1071,  1075,  1080,  1090,
-    1097,  1105,  1115,  1124,  1132,  1136,  1142,  1147,  1151,  1155,
-    1160,  1167,  1175,  1180,  1187,  1201,  1208,  1222,  1229,  1237,
-    1242,  1247,  1252,  1256,  1261,  1265,  1270,  1275,  1280,  1285,
-    1290,  1294,  1299,  1303,  1308,  1312,  1317,  1322,  1329,  1337,
-    1350,  1363,  1373,  1385,  1394,  1404,  1411,  1419,  1426,  1434,
-    1444,  1453,  1457,  1461,  1465,  1469,  1473,  1477,  1481,  1485,
-    1489,  1493,  1497,  1507,  1514,  1518,  1522,  1527,  1532,  1537,
-    1541,  1549,  1553,  1559,  1563,  1567,  1571,  1575,  1579,  1583,
-    1587,  1591,  1595,  1600,  1605,  1610,  1615,  1620,  1625,  1630,
-    1635,  1640,  1645,  1652,  1656,  1662,  1666,  1671,  1675,  1681,
-    1689,  1693,  1699,  1703,  1708,  1711,  1715,  1723,  1727,  1733,
-    1737,  1741,  1745,  1750,  1755
+     296,   297,   313,   330,   334,   340,   359,   373,   392,   406,
+     425,   439,   458,   472,   482,   492,   499,   506,   510,   514,
+     519,   520,   521,   522,   523,   527,   531,   532,   533,   534,
+     535,   536,   537,   538,   539,   540,   541,   542,   543,   544,
+     545,   546,   547,   548,   549,   550,   551,   552,   553,   554,
+     555,   556,   557,   558,   559,   560,   561,   562,   563,   564,
+     565,   566,   567,   568,   569,   570,   571,   572,   573,   574,
+     575,   576,   577,   578,   579,   580,   581,   582,   583,   584,
+     585,   586,   587,   588,   589,   590,   594,   598,   606,   607,
+     608,   609,   611,   616,   621,   627,   631,   635,   640,   645,
+     649,   653,   658,   662,   666,   671,   675,   679,   684,   688,
+     692,   697,   702,   707,   712,   717,   722,   727,   733,   737,
+     741,   745,   747,   753,   754,   760,   766,   767,   768,   773,
+     778,   783,   787,   792,   796,   800,   804,   809,   814,   819,
+     824,   829,   834,   840,   851,   859,   867,   875,   883,   891,
+     898,   906,   911,   916,   921,   926,   931,   936,   941,   946,
+     951,   956,   961,   966,   971,   976,   980,   986,   991,   995,
+    1001,  1005,  1009,  1017,  1022,  1026,  1032,  1037,  1042,  1046,
+    1052,  1057,  1061,  1065,  1069,  1073,  1077,  1081,  1086,  1096,
+    1103,  1111,  1121,  1130,  1138,  1142,  1148,  1153,  1157,  1161,
+    1166,  1173,  1181,  1186,  1193,  1207,  1214,  1228,  1235,  1243,
+    1248,  1253,  1258,  1262,  1267,  1271,  1276,  1281,  1286,  1291,
+    1296,  1300,  1305,  1309,  1314,  1318,  1323,  1328,  1335,  1343,
+    1356,  1369,  1379,  1391,  1400,  1410,  1417,  1425,  1432,  1440,
+    1450,  1459,  1463,  1467,  1471,  1475,  1479,  1483,  1487,  1491,
+    1495,  1499,  1503,  1513,  1520,  1524,  1528,  1533,  1538,  1543,
+    1547,  1555,  1559,  1565,  1569,  1573,  1577,  1581,  1585,  1589,
+    1593,  1597,  1601,  1606,  1611,  1616,  1621,  1626,  1631,  1636,
+    1641,  1646,  1651,  1658,  1662,  1668,  1672,  1677,  1681,  1687,
+    1695,  1699,  1705,  1709,  1714,  1717,  1721,  1729,  1733,  1739,
+    1743,  1747,  1751,  1756,  1761
 };
 #endif
 
@@ -3352,8 +3352,11 @@ yyreduce:
 #line 297 "itex2MML.y"
     {
   char ** r = (char **) ret_str;
-  char * s = itex2MML_copy3("<math xmlns='http://www.w3.org/1998/Math/MathML' display='inline'>", (yyvsp[(2) - (3)]), "</math>");
-  itex2MML_free_string((yyvsp[(2) - (3)]));
+  char * p = itex2MML_copy3("<math xmlns='http://www.w3.org/1998/Math/MathML' display='inline'><semantics><mrow>", (yyvsp[(2) - (3)]), "</mrow><annotation encoding='application/x-tex'>");
+  char * s = itex2MML_copy3(p, (yyvsp[(3) - (3)]), "</annotation></semantics></math>");
+  itex2MML_free_string(p);
+  itex2MML_free_string((yyvsp[(2) - (3)]));  
+  itex2MML_free_string((yyvsp[(3) - (3)]));
   if (r) {
     (*r) = (s == itex2MML_empty_string) ? 0 : s;
   }
@@ -3366,11 +3369,14 @@ yyreduce:
     break;
 
   case 12:
-#line 310 "itex2MML.y"
+#line 313 "itex2MML.y"
     {
   char ** r = (char **) ret_str;
-  char * s = itex2MML_copy3("<math xmlns='http://www.w3.org/1998/Math/MathML' display='block'>", (yyvsp[(2) - (3)]), "</math>");
-  itex2MML_free_string((yyvsp[(2) - (3)]));
+  char * p = itex2MML_copy3("<math xmlns='http://www.w3.org/1998/Math/MathML' display='block'><semantics><mrow>", (yyvsp[(2) - (3)]), "</mrow><annotation encoding='application/x-tex'>");
+  char * s = itex2MML_copy3(p, (yyvsp[(3) - (3)]), "</annotation></semantics></math>");
+  itex2MML_free_string(p);
+  itex2MML_free_string((yyvsp[(2) - (3)]));  
+  itex2MML_free_string((yyvsp[(3) - (3)]));
   if (r) {
     (*r) = (s == itex2MML_empty_string) ? 0 : s;
   }
@@ -3383,7 +3389,7 @@ yyreduce:
     break;
 
   case 13:
-#line 324 "itex2MML.y"
+#line 330 "itex2MML.y"
     {
   (yyval) = itex2MML_copy_string((yyvsp[(1) - (1)]));
   itex2MML_free_string((yyvsp[(1) - (1)]));
@@ -3391,7 +3397,7 @@ yyreduce:
     break;
 
   case 14:
-#line 328 "itex2MML.y"
+#line 334 "itex2MML.y"
     {
   (yyval) = itex2MML_copy2((yyvsp[(1) - (2)]), (yyvsp[(2) - (2)]));
   itex2MML_free_string((yyvsp[(1) - (2)]));
@@ -3400,7 +3406,7 @@ yyreduce:
     break;
 
   case 15:
-#line 334 "itex2MML.y"
+#line 340 "itex2MML.y"
     {
   if (itex2MML_displaymode == 1) {
     char * s1 = itex2MML_copy3("<munderover>", (yyvsp[(1) - (5)]), " ");
@@ -3423,7 +3429,7 @@ yyreduce:
     break;
 
   case 16:
-#line 353 "itex2MML.y"
+#line 359 "itex2MML.y"
     {
   if (itex2MML_displaymode == 1) {
     char * s1 = itex2MML_copy3("<munder>", (yyvsp[(1) - (3)]), " ");
@@ -3441,7 +3447,7 @@ yyreduce:
     break;
 
   case 17:
-#line 367 "itex2MML.y"
+#line 373 "itex2MML.y"
     {
   if (itex2MML_displaymode == 1) {
     char * s1 = itex2MML_copy3("<munderover>", (yyvsp[(1) - (5)]), " ");
@@ -3464,7 +3470,7 @@ yyreduce:
     break;
 
   case 18:
-#line 386 "itex2MML.y"
+#line 392 "itex2MML.y"
     {
   if (itex2MML_displaymode == 1) {
     char * s1 = itex2MML_copy3("<mover>", (yyvsp[(1) - (3)]), " ");
@@ -3482,7 +3488,7 @@ yyreduce:
     break;
 
   case 19:
-#line 400 "itex2MML.y"
+#line 406 "itex2MML.y"
     {
   if (itex2MML_displaymode == 1) {
     char * s1 = itex2MML_copy3("<munderover>", (yyvsp[(1) - (5)]), " ");
@@ -3505,7 +3511,7 @@ yyreduce:
     break;
 
   case 20:
-#line 419 "itex2MML.y"
+#line 425 "itex2MML.y"
     {
   if (itex2MML_displaymode == 1) {
     char * s1 = itex2MML_copy3("<munder>", (yyvsp[(1) - (3)]), " ");
@@ -3523,7 +3529,7 @@ yyreduce:
     break;
 
   case 21:
-#line 433 "itex2MML.y"
+#line 439 "itex2MML.y"
     {
   if (itex2MML_displaymode == 1) {
     char * s1 = itex2MML_copy3("<munderover>", (yyvsp[(1) - (5)]), " ");
@@ -3546,7 +3552,7 @@ yyreduce:
     break;
 
   case 22:
-#line 452 "itex2MML.y"
+#line 458 "itex2MML.y"
     {
   if (itex2MML_displaymode == 1) {
     char * s1 = itex2MML_copy3("<mover>", (yyvsp[(1) - (3)]), " ");
@@ -3564,7 +3570,7 @@ yyreduce:
     break;
 
   case 23:
-#line 466 "itex2MML.y"
+#line 472 "itex2MML.y"
     {
   char * s1 = itex2MML_copy3("<msubsup>", (yyvsp[(1) - (5)]), " ");
   char * s2 = itex2MML_copy3((yyvsp[(3) - (5)]), " ", (yyvsp[(5) - (5)]));
@@ -3578,7 +3584,7 @@ yyreduce:
     break;
 
   case 24:
-#line 476 "itex2MML.y"
+#line 482 "itex2MML.y"
     {
   char * s1 = itex2MML_copy3("<msubsup>", (yyvsp[(1) - (5)]), " ");
   char * s2 = itex2MML_copy3((yyvsp[(5) - (5)]), " ", (yyvsp[(3) - (5)]));
@@ -3592,7 +3598,7 @@ yyreduce:
     break;
 
   case 25:
-#line 486 "itex2MML.y"
+#line 492 "itex2MML.y"
     {
   char * s1 = itex2MML_copy3("<msub>", (yyvsp[(1) - (3)]), " ");
   (yyval) = itex2MML_copy3(s1, (yyvsp[(3) - (3)]), "</msub>");
@@ -3603,7 +3609,7 @@ yyreduce:
     break;
 
   case 26:
-#line 493 "itex2MML.y"
+#line 499 "itex2MML.y"
     {
   char * s1 = itex2MML_copy3("<msup>", (yyvsp[(1) - (3)]), " ");
   (yyval) = itex2MML_copy3(s1, (yyvsp[(3) - (3)]), "</msup>");
@@ -3614,7 +3620,7 @@ yyreduce:
     break;
 
   case 27:
-#line 500 "itex2MML.y"
+#line 506 "itex2MML.y"
     {
   (yyval) = itex2MML_copy3("<msub><mo></mo>", (yyvsp[(2) - (2)]), "</msub>");
   itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -3622,7 +3628,7 @@ yyreduce:
     break;
 
   case 28:
-#line 504 "itex2MML.y"
+#line 510 "itex2MML.y"
     {
   (yyval) = itex2MML_copy3("<msup><mo></mo>", (yyvsp[(2) - (2)]), "</msup>");
   itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -3630,7 +3636,7 @@ yyreduce:
     break;
 
   case 29:
-#line 508 "itex2MML.y"
+#line 514 "itex2MML.y"
     {
   (yyval) = itex2MML_copy_string((yyvsp[(1) - (1)]));
   itex2MML_free_string((yyvsp[(1) - (1)]));
@@ -3638,7 +3644,7 @@ yyreduce:
     break;
 
   case 34:
-#line 517 "itex2MML.y"
+#line 523 "itex2MML.y"
     {
   (yyval) = itex2MML_copy3("<mi>", (yyvsp[(1) - (1)]), "</mi>");
   itex2MML_free_string((yyvsp[(1) - (1)]));
@@ -3646,7 +3652,7 @@ yyreduce:
     break;
 
   case 35:
-#line 521 "itex2MML.y"
+#line 527 "itex2MML.y"
     {
   (yyval) = itex2MML_copy3("<mn>", (yyvsp[(1) - (1)]), "</mn>");
   itex2MML_free_string((yyvsp[(1) - (1)]));
@@ -3654,7 +3660,7 @@ yyreduce:
     break;
 
   case 95:
-#line 584 "itex2MML.y"
+#line 590 "itex2MML.y"
     {
   (yyval) = itex2MML_copy_string((yyvsp[(2) - (3)]));
   itex2MML_free_string((yyvsp[(2) - (3)]));
@@ -3662,7 +3668,7 @@ yyreduce:
     break;
 
   case 96:
-#line 588 "itex2MML.y"
+#line 594 "itex2MML.y"
     {
   (yyval) = itex2MML_copy3("<mrow>", (yyvsp[(2) - (3)]), "</mrow>");
   itex2MML_free_string((yyvsp[(2) - (3)]));
@@ -3670,7 +3676,7 @@ yyreduce:
     break;
 
   case 97:
-#line 592 "itex2MML.y"
+#line 598 "itex2MML.y"
     {
   char * s1 = itex2MML_copy3("<mrow>", (yyvsp[(1) - (3)]), (yyvsp[(2) - (3)]));
   (yyval) = itex2MML_copy3(s1, (yyvsp[(3) - (3)]), "</mrow>");
@@ -3682,7 +3688,7 @@ yyreduce:
     break;
 
   case 102:
-#line 605 "itex2MML.y"
+#line 611 "itex2MML.y"
     {
   itex2MML_rowposn = 2;
   (yyval) = itex2MML_copy3("<mo>", (yyvsp[(2) - (2)]), "</mo>");
@@ -3691,7 +3697,7 @@ yyreduce:
     break;
 
   case 103:
-#line 610 "itex2MML.y"
+#line 616 "itex2MML.y"
     {
   itex2MML_rowposn = 2;
   (yyval) = itex2MML_copy3("<mo>", (yyvsp[(2) - (2)]), "</mo>");
@@ -3700,7 +3706,7 @@ yyreduce:
     break;
 
   case 104:
-#line 615 "itex2MML.y"
+#line 621 "itex2MML.y"
     {
   itex2MML_rowposn = 2;
   (yyval) = itex2MML_copy_string("");
@@ -3709,7 +3715,7 @@ yyreduce:
     break;
 
   case 105:
-#line 621 "itex2MML.y"
+#line 627 "itex2MML.y"
     {
   (yyval) = itex2MML_copy3("<mo>", (yyvsp[(2) - (2)]), "</mo>");
   itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -3717,7 +3723,7 @@ yyreduce:
     break;
 
   case 106:
-#line 625 "itex2MML.y"
+#line 631 "itex2MML.y"
     {
   (yyval) = itex2MML_copy3("<mo>", (yyvsp[(2) - (2)]), "</mo>");
   itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -3725,7 +3731,7 @@ yyreduce:
     break;
 
   case 107:
-#line 629 "itex2MML.y"
+#line 635 "itex2MML.y"
     {
   (yyval) = itex2MML_copy_string("");
   itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -3733,7 +3739,7 @@ yyreduce:
     break;
 
   case 108:
-#line 634 "itex2MML.y"
+#line 640 "itex2MML.y"
     {
   itex2MML_rowposn = 2;
   (yyval) = itex2MML_copy3("<mo maxsize=\"1.2em\" minsize=\"1.2em\">", (yyvsp[(2) - (2)]), "</mo>");
@@ -3742,7 +3748,7 @@ yyreduce:
     break;
 
   case 109:
-#line 639 "itex2MML.y"
+#line 645 "itex2MML.y"
     {
   (yyval) = itex2MML_copy3("<mo maxsize=\"1.2em\" minsize=\"1.2em\">", (yyvsp[(2) - (2)]), "</mo>");
   itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -3750,7 +3756,7 @@ yyreduce:
     break;
 
   case 110:
-#line 643 "itex2MML.y"
+#line 649 "itex2MML.y"
     {
   (yyval) = itex2MML_copy3("<mo maxsize=\"1.2em\" minsize=\"1.2em\">", (yyvsp[(2) - (2)]), "</mo>");
   itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -3758,7 +3764,7 @@ yyreduce:
     break;
 
   case 111:
-#line 647 "itex2MML.y"
+#line 653 "itex2MML.y"
     {
   itex2MML_rowposn = 2;
   (yyval) = itex2MML_copy3("<mo maxsize=\"1.8em\" minsize=\"1.8em\">", (yyvsp[(2) - (2)]), "</mo>");
@@ -3767,7 +3773,7 @@ yyreduce:
     break;
 
   case 112:
-#line 652 "itex2MML.y"
+#line 658 "itex2MML.y"
     {
   (yyval) = itex2MML_copy3("<mo maxsize=\"1.8em\" minsize=\"1.8em\">", (yyvsp[(2) - (2)]), "</mo>");
   itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -3775,7 +3781,7 @@ yyreduce:
     break;
 
   case 113:
-#line 656 "itex2MML.y"
+#line 662 "itex2MML.y"
     {
   (yyval) = itex2MML_copy3("<mo maxsize=\"1.8em\" minsize=\"1.8em\">", (yyvsp[(2) - (2)]), "</mo>");
   itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -3783,7 +3789,7 @@ yyreduce:
     break;
 
   case 114:
-#line 660 "itex2MML.y"
+#line 666 "itex2MML.y"
     {
   itex2MML_rowposn = 2;
   (yyval) = itex2MML_copy3("<mo maxsize=\"2.4em\" minsize=\"2.4em\">", (yyvsp[(2) - (2)]), "</mo>");
@@ -3792,7 +3798,7 @@ yyreduce:
     break;
 
   case 115:
-#line 665 "itex2MML.y"
+#line 671 "itex2MML.y"
     {
   (yyval) = itex2MML_copy3("<mo maxsize=\"2.4em\" minsize=\"2.4em\">", (yyvsp[(2) - (2)]), "</mo>");
   itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -3800,7 +3806,7 @@ yyreduce:
     break;
 
   case 116:
-#line 669 "itex2MML.y"
+#line 675 "itex2MML.y"
     {
   (yyval) = itex2MML_copy3("<mo maxsize=\"2.4em\" minsize=\"2.4em\">", (yyvsp[(2) - (2)]), "</mo>");
   itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -3808,7 +3814,7 @@ yyreduce:
     break;
 
   case 117:
-#line 673 "itex2MML.y"
+#line 679 "itex2MML.y"
     {
   itex2MML_rowposn = 2;
   (yyval) = itex2MML_copy3("<mo maxsize=\"3em\" minsize=\"3em\">", (yyvsp[(2) - (2)]), "</mo>");
@@ -3817,7 +3823,7 @@ yyreduce:
     break;
 
   case 118:
-#line 678 "itex2MML.y"
+#line 684 "itex2MML.y"
     {
   (yyval) = itex2MML_copy3("<mo maxsize=\"3em\" minsize=\"3em\">", (yyvsp[(2) - (2)]), "</mo>");
   itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -3825,7 +3831,7 @@ yyreduce:
     break;
 
   case 119:
-#line 682 "itex2MML.y"
+#line 688 "itex2MML.y"
     {
   (yyval) = itex2MML_copy3("<mo maxsize=\"3em\" minsize=\"3em\">", (yyvsp[(2) - (2)]), "</mo>");
   itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -3833,7 +3839,7 @@ yyreduce:
     break;
 
   case 120:
-#line 686 "itex2MML.y"
+#line 692 "itex2MML.y"
     {
   itex2MML_rowposn = 2;
   (yyval) = itex2MML_copy3("<mo maxsize=\"1.2em\" minsize=\"1.2em\">", (yyvsp[(2) - (2)]), "</mo>");
@@ -3842,7 +3848,7 @@ yyreduce:
     break;
 
   case 121:
-#line 691 "itex2MML.y"
+#line 697 "itex2MML.y"
     {
   itex2MML_rowposn = 2;
   (yyval) = itex2MML_copy3("<mo maxsize=\"1.2em\" minsize=\"1.2em\">", (yyvsp[(2) - (2)]), "</mo>");
@@ -3851,7 +3857,7 @@ yyreduce:
     break;
 
   case 122:
-#line 696 "itex2MML.y"
+#line 702 "itex2MML.y"
     {
   itex2MML_rowposn = 2;
   (yyval) = itex2MML_copy3("<mo maxsize=\"1.8em\" minsize=\"1.8em\">", (yyvsp[(2) - (2)]), "</mo>");
@@ -3860,7 +3866,7 @@ yyreduce:
     break;
 
   case 123:
-#line 701 "itex2MML.y"
+#line 707 "itex2MML.y"
     {
   itex2MML_rowposn = 2;
   (yyval) = itex2MML_copy3("<mo maxsize=\"1.8em\" minsize=\"1.8em\">", (yyvsp[(2) - (2)]), "</mo>");
@@ -3869,7 +3875,7 @@ yyreduce:
     break;
 
   case 124:
-#line 706 "itex2MML.y"
+#line 712 "itex2MML.y"
     {
   itex2MML_rowposn = 2;
   (yyval) = itex2MML_copy3("<mo maxsize=\"2.4em\" minsize=\"2.4em\">", (yyvsp[(2) - (2)]), "</mo>");
@@ -3878,7 +3884,7 @@ yyreduce:
     break;
 
   case 125:
-#line 711 "itex2MML.y"
+#line 717 "itex2MML.y"
     {
   itex2MML_rowposn = 2;
   (yyval) = itex2MML_copy3("<mo maxsize=\"2.4em\" minsize=\"2.4em\">", (yyvsp[(2) - (2)]), "</mo>");
@@ -3887,7 +3893,7 @@ yyreduce:
     break;
 
   case 126:
-#line 716 "itex2MML.y"
+#line 722 "itex2MML.y"
     {
   itex2MML_rowposn = 2;
   (yyval) = itex2MML_copy3("<mo maxsize=\"3em\" minsize=\"3em\">", (yyvsp[(2) - (2)]), "</mo>");
@@ -3896,7 +3902,7 @@ yyreduce:
     break;
 
   case 127:
-#line 721 "itex2MML.y"
+#line 727 "itex2MML.y"
     {
   itex2MML_rowposn = 2;
   (yyval) = itex2MML_copy3("<mo maxsize=\"3em\" minsize=\"3em\">", (yyvsp[(2) - (2)]), "</mo>");
@@ -3905,28 +3911,28 @@ yyreduce:
     break;
 
   case 128:
-#line 727 "itex2MML.y"
+#line 733 "itex2MML.y"
     {
   (yyval) = itex2MML_copy_string("<merror><mtext>Unknown character</mtext></merror>");
 }
     break;
 
   case 129:
-#line 731 "itex2MML.y"
+#line 737 "itex2MML.y"
     {
   (yyval) = itex2MML_copy_string("<mo lspace=\"verythinmathspace\" rspace=\"0em\">&minus;</mo>");
 }
     break;
 
   case 130:
-#line 735 "itex2MML.y"
+#line 741 "itex2MML.y"
     {
   (yyval) = itex2MML_copy_string("<mo lspace=\"verythinmathspace\" rspace=\"0em\">+</mo>");
 }
     break;
 
   case 132:
-#line 741 "itex2MML.y"
+#line 747 "itex2MML.y"
     {
   itex2MML_rowposn=2;
   (yyval) = itex2MML_copy3("<mi>", (yyvsp[(1) - (1)]), "</mi>");
@@ -3935,7 +3941,7 @@ yyreduce:
     break;
 
   case 134:
-#line 748 "itex2MML.y"
+#line 754 "itex2MML.y"
     {
   itex2MML_rowposn = 2;
   (yyval) = itex2MML_copy_string((yyvsp[(2) - (2)]));
@@ -3944,7 +3950,7 @@ yyreduce:
     break;
 
   case 135:
-#line 754 "itex2MML.y"
+#line 760 "itex2MML.y"
     {
   itex2MML_rowposn = 2;
   (yyval) = itex2MML_copy3("<mo lspace=\"thinmathspace\" rspace=\"thinmathspace\">", (yyvsp[(1) - (1)]), "</mo>");
@@ -3953,7 +3959,7 @@ yyreduce:
     break;
 
   case 138:
-#line 762 "itex2MML.y"
+#line 768 "itex2MML.y"
     {
   itex2MML_rowposn = 2;
   (yyval) = itex2MML_copy3("<mo>", (yyvsp[(1) - (1)]), "</mo>");
@@ -3962,7 +3968,7 @@ yyreduce:
     break;
 
   case 139:
-#line 767 "itex2MML.y"
+#line 773 "itex2MML.y"
     {
   itex2MML_rowposn = 2;
   (yyval) = itex2MML_copy3("<mo>", (yyvsp[(1) - (1)]), "</mo>");
@@ -3971,7 +3977,7 @@ yyreduce:
     break;
 
   case 140:
-#line 772 "itex2MML.y"
+#line 778 "itex2MML.y"
     {
   itex2MML_rowposn = 2;
   (yyval) = itex2MML_copy3("<mstyle scriptlevel=\"0\"><mo>", (yyvsp[(1) - (1)]), "</mo></mstyle>");
@@ -3980,7 +3986,7 @@ yyreduce:
     break;
 
   case 141:
-#line 777 "itex2MML.y"
+#line 783 "itex2MML.y"
     {
   (yyval) = itex2MML_copy3("<mo stretchy=\"false\">", (yyvsp[(1) - (1)]), "</mo>");
   itex2MML_free_string((yyvsp[(1) - (1)]));
@@ -3988,7 +3994,7 @@ yyreduce:
     break;
 
   case 142:
-#line 781 "itex2MML.y"
+#line 787 "itex2MML.y"
     {
   itex2MML_rowposn = 2;
   (yyval) = itex2MML_copy3("<mo stretchy=\"false\">", (yyvsp[(1) - (1)]), "</mo>");
@@ -3997,7 +4003,7 @@ yyreduce:
     break;
 
   case 143:
-#line 786 "itex2MML.y"
+#line 792 "itex2MML.y"
     {
   (yyval) = itex2MML_copy3("<mo stretchy=\"false\">", (yyvsp[(1) - (1)]), "</mo>");
   itex2MML_free_string((yyvsp[(1) - (1)]));
@@ -4005,7 +4011,7 @@ yyreduce:
     break;
 
   case 144:
-#line 790 "itex2MML.y"
+#line 796 "itex2MML.y"
     {
   (yyval) = itex2MML_copy3("<mo stretchy=\"false\">", (yyvsp[(1) - (1)]), "</mo>");
   itex2MML_free_string((yyvsp[(1) - (1)]));
@@ -4013,7 +4019,7 @@ yyreduce:
     break;
 
   case 145:
-#line 794 "itex2MML.y"
+#line 800 "itex2MML.y"
     {
   (yyval) = itex2MML_copy3("<mo>", (yyvsp[(1) - (1)]), "</mo>");
   itex2MML_free_string((yyvsp[(1) - (1)]));
@@ -4021,7 +4027,7 @@ yyreduce:
     break;
 
   case 146:
-#line 798 "itex2MML.y"
+#line 804 "itex2MML.y"
     {
   itex2MML_rowposn=2;
   (yyval) = itex2MML_copy3("<mo lspace=\"mediummathspace\" rspace=\"mediummathspace\">", (yyvsp[(1) - (1)]), "</mo>");
@@ -4030,7 +4036,7 @@ yyreduce:
     break;
 
   case 147:
-#line 803 "itex2MML.y"
+#line 809 "itex2MML.y"
     {
   itex2MML_rowposn = 2;
   (yyval) = itex2MML_copy3("<mo lspace=\"0em\" rspace=\"thinmathspace\">", (yyvsp[(1) - (1)]), "</mo>");
@@ -4039,7 +4045,7 @@ yyreduce:
     break;
 
   case 148:
-#line 808 "itex2MML.y"
+#line 814 "itex2MML.y"
     {
   itex2MML_rowposn = 2;
   (yyval) = itex2MML_copy3("<mo lspace=\"verythinmathspace\">", (yyvsp[(1) - (1)]), "</mo>");
@@ -4048,7 +4054,7 @@ yyreduce:
     break;
 
   case 149:
-#line 813 "itex2MML.y"
+#line 819 "itex2MML.y"
     {
   itex2MML_rowposn = 2;
   (yyval) = itex2MML_copy3("<mo lspace=\"0em\" rspace=\"thinmathspace\">", (yyvsp[(2) - (2)]), "</mo>");
@@ -4057,7 +4063,7 @@ yyreduce:
     break;
 
   case 150:
-#line 818 "itex2MML.y"
+#line 824 "itex2MML.y"
     {
   itex2MML_rowposn = 2;
   (yyval) = itex2MML_copy3("<mo lspace=\"thinmathspace\" rspace=\"thinmathspace\">", (yyvsp[(2) - (2)]), "</mo>");
@@ -4066,7 +4072,7 @@ yyreduce:
     break;
 
   case 151:
-#line 823 "itex2MML.y"
+#line 829 "itex2MML.y"
     {
   itex2MML_rowposn = 2;
   (yyval) = itex2MML_copy3("<mo lspace=\"mediummathspace\" rspace=\"mediummathspace\">", (yyvsp[(2) - (2)]), "</mo>");
@@ -4075,7 +4081,7 @@ yyreduce:
     break;
 
   case 152:
-#line 828 "itex2MML.y"
+#line 834 "itex2MML.y"
     {
   itex2MML_rowposn = 2;
   (yyval) = itex2MML_copy3("<mo lspace=\"thickmathspace\" rspace=\"thickmathspace\">", (yyvsp[(2) - (2)]), "</mo>");
@@ -4084,7 +4090,7 @@ yyreduce:
     break;
 
   case 153:
-#line 834 "itex2MML.y"
+#line 840 "itex2MML.y"
     {
   char * s1 = itex2MML_copy3("<mspace height=\"", (yyvsp[(3) - (10)]), "ex\" depth=\"");
   char * s2 = itex2MML_copy3((yyvsp[(6) - (10)]), "ex\" width=\"", (yyvsp[(9) - (10)]));
@@ -4098,7 +4104,7 @@ yyreduce:
     break;
 
   case 154:
-#line 845 "itex2MML.y"
+#line 851 "itex2MML.y"
     {
   char * s1 = itex2MML_copy3("<maction actiontype=\"statusline\">", (yyvsp[(3) - (3)]), "<mtext>");
   (yyval) = itex2MML_copy3(s1, (yyvsp[(2) - (3)]), "</mtext></maction>");
@@ -4109,7 +4115,7 @@ yyreduce:
     break;
 
   case 155:
-#line 853 "itex2MML.y"
+#line 859 "itex2MML.y"
     {
   char * s1 = itex2MML_copy3("<maction actiontype=\"tooltip\">", (yyvsp[(3) - (3)]), "<mtext>");
   (yyval) = itex2MML_copy3(s1, (yyvsp[(2) - (3)]), "</mtext></maction>");
@@ -4120,7 +4126,7 @@ yyreduce:
     break;
 
   case 156:
-#line 861 "itex2MML.y"
+#line 867 "itex2MML.y"
     {
   char * s1 = itex2MML_copy3("<maction actiontype=\"toggle\" selection=\"2\">", (yyvsp[(2) - (3)]), " ");
   (yyval) = itex2MML_copy3(s1, (yyvsp[(3) - (3)]), "</maction>");
@@ -4131,7 +4137,7 @@ yyreduce:
     break;
 
   case 157:
-#line 869 "itex2MML.y"
+#line 875 "itex2MML.y"
     {
   char * s1 = itex2MML_copy3("<maction actiontype=\"highlight\" other='color=", (yyvsp[(2) - (3)]), "'>");
   (yyval) = itex2MML_copy3(s1, (yyvsp[(3) - (3)]), "</maction>");
@@ -4142,7 +4148,7 @@ yyreduce:
     break;
 
   case 158:
-#line 877 "itex2MML.y"
+#line 883 "itex2MML.y"
     {
   char * s1 = itex2MML_copy3("<maction actiontype=\"highlight\" other='background=", (yyvsp[(2) - (3)]), "'>");
   (yyval) = itex2MML_copy3(s1, (yyvsp[(3) - (3)]), "</maction>");
@@ -4153,7 +4159,7 @@ yyreduce:
     break;
 
   case 159:
-#line 885 "itex2MML.y"
+#line 891 "itex2MML.y"
     {
   char * s1 = itex2MML_copy3("<mstyle mathcolor=", (yyvsp[(2) - (3)]), ">");
   (yyval) = itex2MML_copy3(s1, (yyvsp[(3) - (3)]), "</mstyle>");
@@ -4164,7 +4170,7 @@ yyreduce:
     break;
 
   case 160:
-#line 892 "itex2MML.y"
+#line 898 "itex2MML.y"
     {
   char * s1 = itex2MML_copy3("<mstyle mathbackground=", (yyvsp[(2) - (3)]), ">");
   (yyval) = itex2MML_copy3(s1, (yyvsp[(3) - (3)]), "</mstyle>");
@@ -4175,7 +4181,7 @@ yyreduce:
     break;
 
   case 161:
-#line 900 "itex2MML.y"
+#line 906 "itex2MML.y"
     {
   (yyval) = itex2MML_copy3("<mpadded width=\"0\">", (yyvsp[(2) - (2)]), "</mpadded>");
   itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -4183,7 +4189,7 @@ yyreduce:
     break;
 
   case 162:
-#line 905 "itex2MML.y"
+#line 911 "itex2MML.y"
     {
   (yyval) = itex2MML_copy3("<mpadded width=\"0\" lspace=\"-100%width\">", (yyvsp[(2) - (2)]), "</mpadded>");
   itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -4191,7 +4197,7 @@ yyreduce:
     break;
 
   case 163:
-#line 910 "itex2MML.y"
+#line 916 "itex2MML.y"
     {
   (yyval) = itex2MML_copy3("<mpadded width=\"0\" lspace=\"-50%width\">", (yyvsp[(2) - (2)]), "</mpadded>");
   itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -4199,7 +4205,7 @@ yyreduce:
     break;
 
   case 164:
-#line 915 "itex2MML.y"
+#line 921 "itex2MML.y"
     {
   (yyval) = itex2MML_copy3("<mtext>", (yyvsp[(2) - (2)]), "</mtext>");
   itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -4207,7 +4213,7 @@ yyreduce:
     break;
 
   case 165:
-#line 920 "itex2MML.y"
+#line 926 "itex2MML.y"
     {
   (yyval) = itex2MML_copy3("<mstyle displaystyle=\"true\">", (yyvsp[(2) - (2)]), "</mstyle>");
   itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -4215,7 +4221,7 @@ yyreduce:
     break;
 
   case 166:
-#line 925 "itex2MML.y"
+#line 931 "itex2MML.y"
     {
   (yyval) = itex2MML_copy3("<mstyle displaystyle=\"false\">", (yyvsp[(2) - (2)]), "</mstyle>");
   itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -4223,7 +4229,7 @@ yyreduce:
     break;
 
   case 167:
-#line 930 "itex2MML.y"
+#line 936 "itex2MML.y"
     {
   (yyval) = itex2MML_copy3("<mstyle scriptlevel=\"0\">", (yyvsp[(2) - (2)]), "</mstyle>");
   itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -4231,7 +4237,7 @@ yyreduce:
     break;
 
   case 168:
-#line 935 "itex2MML.y"
+#line 941 "itex2MML.y"
     {
   (yyval) = itex2MML_copy3("<mstyle scriptlevel=\"1\">", (yyvsp[(2) - (2)]), "</mstyle>");
   itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -4239,7 +4245,7 @@ yyreduce:
     break;
 
   case 169:
-#line 940 "itex2MML.y"
+#line 946 "itex2MML.y"
     {
   (yyval) = itex2MML_copy3("<mstyle scriptlevel=\"2\">", (yyvsp[(2) - (2)]), "</mstyle>");
   itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -4247,7 +4253,7 @@ yyreduce:
     break;
 
   case 170:
-#line 945 "itex2MML.y"
+#line 951 "itex2MML.y"
     {
   (yyval) = itex2MML_copy3("<mstyle mathvariant=\"italic\">", (yyvsp[(2) - (2)]), "</mstyle>");
   itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -4255,7 +4261,7 @@ yyreduce:
     break;
 
   case 171:
-#line 950 "itex2MML.y"
+#line 956 "itex2MML.y"
     {
   (yyval) = itex2MML_copy3("<menclose notation=\"updiagonalstrike\">", (yyvsp[(2) - (2)]), "</menclose>");
   itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -4263,7 +4269,7 @@ yyreduce:
     break;
 
   case 172:
-#line 955 "itex2MML.y"
+#line 961 "itex2MML.y"
     {
   (yyval) = itex2MML_copy3("<menclose notation=\"box\">", (yyvsp[(2) - (2)]), "</menclose>");
   itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -4271,7 +4277,7 @@ yyreduce:
     break;
 
   case 173:
-#line 960 "itex2MML.y"
+#line 966 "itex2MML.y"
     {
   (yyval) = itex2MML_copy3("<mstyle mathvariant=\"bold\">", (yyvsp[(2) - (2)]), "</mstyle>");
   itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -4279,7 +4285,7 @@ yyreduce:
     break;
 
   case 174:
-#line 965 "itex2MML.y"
+#line 971 "itex2MML.y"
     {
   (yyval) = itex2MML_copy3("<mi mathvariant=\"normal\">", (yyvsp[(3) - (4)]), "</mi>");
   itex2MML_free_string((yyvsp[(3) - (4)]));
@@ -4287,7 +4293,7 @@ yyreduce:
     break;
 
   case 175:
-#line 970 "itex2MML.y"
+#line 976 "itex2MML.y"
     {
   (yyval) = itex2MML_copy_string((yyvsp[(1) - (1)]));
   itex2MML_free_string((yyvsp[(1) - (1)]));
@@ -4295,7 +4301,7 @@ yyreduce:
     break;
 
   case 176:
-#line 974 "itex2MML.y"
+#line 980 "itex2MML.y"
     {
   (yyval) = itex2MML_copy2((yyvsp[(1) - (2)]), (yyvsp[(2) - (2)]));
   itex2MML_free_string((yyvsp[(1) - (2)]));
@@ -4304,7 +4310,7 @@ yyreduce:
     break;
 
   case 177:
-#line 980 "itex2MML.y"
+#line 986 "itex2MML.y"
     {
   (yyval) = itex2MML_copy3("<mi>", (yyvsp[(3) - (4)]), "</mi>");
   itex2MML_free_string((yyvsp[(3) - (4)]));
@@ -4312,7 +4318,7 @@ yyreduce:
     break;
 
   case 178:
-#line 985 "itex2MML.y"
+#line 991 "itex2MML.y"
     {
   (yyval) = itex2MML_copy_string((yyvsp[(1) - (1)]));
   itex2MML_free_string((yyvsp[(1) - (1)]));
@@ -4320,7 +4326,7 @@ yyreduce:
     break;
 
   case 179:
-#line 989 "itex2MML.y"
+#line 995 "itex2MML.y"
     {
   (yyval) = itex2MML_copy2((yyvsp[(1) - (2)]), (yyvsp[(2) - (2)]));
   itex2MML_free_string((yyvsp[(1) - (2)]));
@@ -4329,7 +4335,7 @@ yyreduce:
     break;
 
   case 180:
-#line 995 "itex2MML.y"
+#line 1001 "itex2MML.y"
     {
   (yyval) = itex2MML_copy3("&", (yyvsp[(1) - (1)]), "opf;");
   itex2MML_free_string((yyvsp[(1) - (1)]));
@@ -4337,7 +4343,7 @@ yyreduce:
     break;
 
   case 181:
-#line 999 "itex2MML.y"
+#line 1005 "itex2MML.y"
     {
   (yyval) = itex2MML_copy3("&", (yyvsp[(1) - (1)]), "opf;");
   itex2MML_free_string((yyvsp[(1) - (1)]));
@@ -4345,7 +4351,7 @@ yyreduce:
     break;
 
   case 182:
-#line 1003 "itex2MML.y"
+#line 1009 "itex2MML.y"
     {
   /* Blackboard digits 0-9 correspond to Unicode characters 0x1D7D8-0x1D7E1 */
   char * end = (yyvsp[(1) - (1)]) + 1;
@@ -4356,7 +4362,7 @@ yyreduce:
     break;
 
   case 183:
-#line 1011 "itex2MML.y"
+#line 1017 "itex2MML.y"
     {
   (yyval) = itex2MML_copy3("<mi>", (yyvsp[(3) - (4)]), "</mi>");
   itex2MML_free_string((yyvsp[(3) - (4)]));
@@ -4364,7 +4370,7 @@ yyreduce:
     break;
 
   case 184:
-#line 1016 "itex2MML.y"
+#line 1022 "itex2MML.y"
     {
   (yyval) = itex2MML_copy_string((yyvsp[(1) - (1)]));
   itex2MML_free_string((yyvsp[(1) - (1)]));
@@ -4372,7 +4378,7 @@ yyreduce:
     break;
 
   case 185:
-#line 1020 "itex2MML.y"
+#line 1026 "itex2MML.y"
     {
   (yyval) = itex2MML_copy2((yyvsp[(1) - (2)]), (yyvsp[(2) - (2)]));
   itex2MML_free_string((yyvsp[(1) - (2)]));
@@ -4381,7 +4387,7 @@ yyreduce:
     break;
 
   case 186:
-#line 1026 "itex2MML.y"
+#line 1032 "itex2MML.y"
     {
   (yyval) = itex2MML_copy3("&", (yyvsp[(1) - (1)]), "fr;");
   itex2MML_free_string((yyvsp[(1) - (1)]));
@@ -4389,7 +4395,7 @@ yyreduce:
     break;
 
   case 187:
-#line 1031 "itex2MML.y"
+#line 1037 "itex2MML.y"
     {
   (yyval) = itex2MML_copy3("<mi>", (yyvsp[(3) - (4)]), "</mi>");
   itex2MML_free_string((yyvsp[(3) - (4)]));
@@ -4397,7 +4403,7 @@ yyreduce:
     break;
 
   case 188:
-#line 1036 "itex2MML.y"
+#line 1042 "itex2MML.y"
     {
   (yyval) = itex2MML_copy_string((yyvsp[(1) - (1)]));
   itex2MML_free_string((yyvsp[(1) - (1)]));
@@ -4405,7 +4411,7 @@ yyreduce:
     break;
 
   case 189:
-#line 1040 "itex2MML.y"
+#line 1046 "itex2MML.y"
     {
   (yyval) = itex2MML_copy2((yyvsp[(1) - (2)]), (yyvsp[(2) - (2)]));
   itex2MML_free_string((yyvsp[(1) - (2)]));
@@ -4414,7 +4420,7 @@ yyreduce:
     break;
 
   case 190:
-#line 1046 "itex2MML.y"
+#line 1052 "itex2MML.y"
     {
   (yyval) = itex2MML_copy3("&", (yyvsp[(1) - (1)]), "scr;");
   itex2MML_free_string((yyvsp[(1) - (1)]));
@@ -4422,49 +4428,49 @@ yyreduce:
     break;
 
   case 191:
-#line 1051 "itex2MML.y"
+#line 1057 "itex2MML.y"
     {
   (yyval) = itex2MML_copy_string("<mspace width=\"thinmathspace\"></mspace>");
 }
     break;
 
   case 192:
-#line 1055 "itex2MML.y"
+#line 1061 "itex2MML.y"
     {
   (yyval) = itex2MML_copy_string("<mspace width=\"mediummathspace\"></mspace>");
 }
     break;
 
   case 193:
-#line 1059 "itex2MML.y"
+#line 1065 "itex2MML.y"
     {
   (yyval) = itex2MML_copy_string("<mspace width=\"thickmathspace\"></mspace>");
 }
     break;
 
   case 194:
-#line 1063 "itex2MML.y"
+#line 1069 "itex2MML.y"
     {
   (yyval) = itex2MML_copy_string("<mspace width=\"1em\"></mspace>");
 }
     break;
 
   case 195:
-#line 1067 "itex2MML.y"
+#line 1073 "itex2MML.y"
     {
   (yyval) = itex2MML_copy_string("<mspace width=\"2em\"></mspace>");
 }
     break;
 
   case 196:
-#line 1071 "itex2MML.y"
+#line 1077 "itex2MML.y"
     {
   (yyval) = itex2MML_copy_string("<mspace width=\"-0.1667 em\"></mspace>");
 }
     break;
 
   case 197:
-#line 1075 "itex2MML.y"
+#line 1081 "itex2MML.y"
     {
   (yyval) = itex2MML_copy3("<mphantom>", (yyvsp[(2) - (2)]), "</mphantom>");
   itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -4472,7 +4478,7 @@ yyreduce:
     break;
 
   case 198:
-#line 1080 "itex2MML.y"
+#line 1086 "itex2MML.y"
     {
   char * s1 = itex2MML_copy3("<mrow href=\"", (yyvsp[(2) - (3)]), "\" xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:type=\"simple\" xlink:href=\"");
   char * s2 = itex2MML_copy3(s1, (yyvsp[(2) - (3)]), "\">");
@@ -4485,7 +4491,7 @@ yyreduce:
     break;
 
   case 199:
-#line 1090 "itex2MML.y"
+#line 1096 "itex2MML.y"
     {
   char * s1 = itex2MML_copy3("<mmultiscripts>", (yyvsp[(2) - (5)]), (yyvsp[(4) - (5)]));
   (yyval) = itex2MML_copy2(s1, "</mmultiscripts>");
@@ -4496,7 +4502,7 @@ yyreduce:
     break;
 
   case 200:
-#line 1097 "itex2MML.y"
+#line 1103 "itex2MML.y"
     {
   char * s1 = itex2MML_copy3("<mmultiscripts>", (yyvsp[(2) - (3)]), (yyvsp[(3) - (3)]));
   (yyval) = itex2MML_copy2(s1, "</mmultiscripts>");
@@ -4507,7 +4513,7 @@ yyreduce:
     break;
 
   case 201:
-#line 1105 "itex2MML.y"
+#line 1111 "itex2MML.y"
     {
   char * s1 = itex2MML_copy3("<mmultiscripts>", (yyvsp[(5) - (8)]), (yyvsp[(7) - (8)]));
   char * s2 = itex2MML_copy3("<mprescripts></mprescripts>", (yyvsp[(3) - (8)]), "</mmultiscripts>");
@@ -4521,7 +4527,7 @@ yyreduce:
     break;
 
   case 202:
-#line 1115 "itex2MML.y"
+#line 1121 "itex2MML.y"
     {
   char * s1 = itex2MML_copy2("<mmultiscripts>", (yyvsp[(5) - (6)]));
   char * s2 = itex2MML_copy3("<mprescripts></mprescripts>", (yyvsp[(3) - (6)]), "</mmultiscripts>");
@@ -4534,7 +4540,7 @@ yyreduce:
     break;
 
   case 203:
-#line 1124 "itex2MML.y"
+#line 1130 "itex2MML.y"
     {
   char * s1 = itex2MML_copy3("<mmultiscripts>", (yyvsp[(3) - (6)]), (yyvsp[(5) - (6)]));
   (yyval) = itex2MML_copy2(s1, "</mmultiscripts>");
@@ -4545,7 +4551,7 @@ yyreduce:
     break;
 
   case 204:
-#line 1132 "itex2MML.y"
+#line 1138 "itex2MML.y"
     {
   (yyval) = itex2MML_copy_string((yyvsp[(1) - (1)]));
   itex2MML_free_string((yyvsp[(1) - (1)]));
@@ -4553,7 +4559,7 @@ yyreduce:
     break;
 
   case 205:
-#line 1136 "itex2MML.y"
+#line 1142 "itex2MML.y"
     {
   (yyval) = itex2MML_copy3((yyvsp[(1) - (2)]), " ", (yyvsp[(2) - (2)]));
   itex2MML_free_string((yyvsp[(1) - (2)]));
@@ -4562,7 +4568,7 @@ yyreduce:
     break;
 
   case 206:
-#line 1142 "itex2MML.y"
+#line 1148 "itex2MML.y"
     {
   (yyval) = itex2MML_copy3((yyvsp[(2) - (4)]), " ", (yyvsp[(4) - (4)]));
   itex2MML_free_string((yyvsp[(2) - (4)]));
@@ -4571,7 +4577,7 @@ yyreduce:
     break;
 
   case 207:
-#line 1147 "itex2MML.y"
+#line 1153 "itex2MML.y"
     {
   (yyval) = itex2MML_copy2((yyvsp[(2) - (2)]), " <none></none>");
   itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -4579,7 +4585,7 @@ yyreduce:
     break;
 
   case 208:
-#line 1151 "itex2MML.y"
+#line 1157 "itex2MML.y"
     {
   (yyval) = itex2MML_copy2("<none></none> ", (yyvsp[(2) - (2)]));
   itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -4587,7 +4593,7 @@ yyreduce:
     break;
 
   case 209:
-#line 1155 "itex2MML.y"
+#line 1161 "itex2MML.y"
     {
   (yyval) = itex2MML_copy2("<none></none> ", (yyvsp[(3) - (3)]));
   itex2MML_free_string((yyvsp[(3) - (3)]));
@@ -4595,7 +4601,7 @@ yyreduce:
     break;
 
   case 210:
-#line 1160 "itex2MML.y"
+#line 1166 "itex2MML.y"
     {
   char * s1 = itex2MML_copy3("<mfrac>", (yyvsp[(2) - (3)]), (yyvsp[(3) - (3)]));
   (yyval) = itex2MML_copy2(s1, "</mfrac>");
@@ -4606,7 +4612,7 @@ yyreduce:
     break;
 
   case 211:
-#line 1167 "itex2MML.y"
+#line 1173 "itex2MML.y"
     {
   char * s1 = itex2MML_copy3("<mstyle displaystyle=\"false\"><mfrac>", (yyvsp[(2) - (3)]), (yyvsp[(3) - (3)]));
   (yyval) = itex2MML_copy2(s1, "</mfrac></mstyle>");
@@ -4617,7 +4623,7 @@ yyreduce:
     break;
 
   case 212:
-#line 1175 "itex2MML.y"
+#line 1181 "itex2MML.y"
     {
   (yyval) = itex2MML_copy3( "<mo lspace=\"mediummathspace\">(</mo><mo rspace=\"thinmathspace\">mod</mo>", (yyvsp[(2) - (2)]), "<mo rspace=\"mediummathspace\">)</mo>");
   itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -4625,7 +4631,7 @@ yyreduce:
     break;
 
   case 213:
-#line 1180 "itex2MML.y"
+#line 1186 "itex2MML.y"
     {
   char * s1 = itex2MML_copy3("<mfrac><mrow>", (yyvsp[(2) - (5)]), "</mrow><mrow>");
   (yyval) = itex2MML_copy3(s1, (yyvsp[(4) - (5)]), "</mrow></mfrac>");
@@ -4636,7 +4642,7 @@ yyreduce:
     break;
 
   case 214:
-#line 1187 "itex2MML.y"
+#line 1193 "itex2MML.y"
     {
   char * s1 = itex2MML_copy3("<mrow>", (yyvsp[(1) - (5)]), "<mfrac><mrow>");
   char * s2 = itex2MML_copy3((yyvsp[(2) - (5)]), "</mrow><mrow>", (yyvsp[(4) - (5)]));
@@ -4653,7 +4659,7 @@ yyreduce:
     break;
 
   case 215:
-#line 1201 "itex2MML.y"
+#line 1207 "itex2MML.y"
     {
   char * s1 = itex2MML_copy3("<mfrac linethickness=\"0\"><mrow>", (yyvsp[(2) - (5)]), "</mrow><mrow>");
   (yyval) = itex2MML_copy3(s1, (yyvsp[(4) - (5)]), "</mrow></mfrac>");
@@ -4664,7 +4670,7 @@ yyreduce:
     break;
 
   case 216:
-#line 1208 "itex2MML.y"
+#line 1214 "itex2MML.y"
     {
   char * s1 = itex2MML_copy3("<mrow>", (yyvsp[(1) - (5)]), "<mfrac linethickness=\"0\"><mrow>");
   char * s2 = itex2MML_copy3((yyvsp[(2) - (5)]), "</mrow><mrow>", (yyvsp[(4) - (5)]));
@@ -4681,7 +4687,7 @@ yyreduce:
     break;
 
   case 217:
-#line 1222 "itex2MML.y"
+#line 1228 "itex2MML.y"
     {
   char * s1 = itex2MML_copy3("<mrow><mo>(</mo><mfrac linethickness=\"0\">", (yyvsp[(2) - (3)]), (yyvsp[(3) - (3)]));
   (yyval) = itex2MML_copy2(s1, "</mfrac><mo>)</mo></mrow>");
@@ -4692,7 +4698,7 @@ yyreduce:
     break;
 
   case 218:
-#line 1229 "itex2MML.y"
+#line 1235 "itex2MML.y"
     {
   char * s1 = itex2MML_copy3("<mrow><mo>(</mo><mstyle displaystyle=\"false\"><mfrac linethickness=\"0\">", (yyvsp[(2) - (3)]), (yyvsp[(3) - (3)]));
   (yyval) = itex2MML_copy2(s1, "</mfrac></mstyle><mo>)</mo></mrow>");
@@ -4703,7 +4709,7 @@ yyreduce:
     break;
 
   case 219:
-#line 1237 "itex2MML.y"
+#line 1243 "itex2MML.y"
     {
   (yyval) = itex2MML_copy3("<munder>", (yyvsp[(2) - (2)]), "<mo>&UnderBrace;</mo></munder>");
   itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -4711,7 +4717,7 @@ yyreduce:
     break;
 
   case 220:
-#line 1242 "itex2MML.y"
+#line 1248 "itex2MML.y"
     {
   (yyval) = itex2MML_copy3("<munder>", (yyvsp[(2) - (2)]), "<mo>&#x00332;</mo></munder>");
   itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -4719,7 +4725,7 @@ yyreduce:
     break;
 
   case 221:
-#line 1247 "itex2MML.y"
+#line 1253 "itex2MML.y"
     {
   (yyval) = itex2MML_copy3("<mover>", (yyvsp[(2) - (2)]), "<mo>&OverBrace;</mo></mover>");
   itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -4727,7 +4733,7 @@ yyreduce:
     break;
 
   case 222:
-#line 1252 "itex2MML.y"
+#line 1258 "itex2MML.y"
     {
   (yyval) = itex2MML_copy3("<mover>", (yyvsp[(2) - (2)]), "<mo stretchy=\"false\">&#x000AF;</mo></mover>");
   itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -4735,7 +4741,7 @@ yyreduce:
     break;
 
   case 223:
-#line 1256 "itex2MML.y"
+#line 1262 "itex2MML.y"
     {
   (yyval) = itex2MML_copy3("<mover>", (yyvsp[(2) - (2)]), "<mo>&#x000AF;</mo></mover>");
   itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -4743,7 +4749,7 @@ yyreduce:
     break;
 
   case 224:
-#line 1261 "itex2MML.y"
+#line 1267 "itex2MML.y"
     {
   (yyval) = itex2MML_copy3("<mover>", (yyvsp[(2) - (2)]), "<mo stretchy=\"false\">&RightVector;</mo></mover>");
   itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -4751,7 +4757,7 @@ yyreduce:
     break;
 
   case 225:
-#line 1265 "itex2MML.y"
+#line 1271 "itex2MML.y"
     {
   (yyval) = itex2MML_copy3("<mover>", (yyvsp[(2) - (2)]), "<mo>&RightVector;</mo></mover>");
   itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -4759,7 +4765,7 @@ yyreduce:
     break;
 
   case 226:
-#line 1270 "itex2MML.y"
+#line 1276 "itex2MML.y"
     {
   (yyval) = itex2MML_copy3("<mover>", (yyvsp[(2) - (2)]), "<mo>&dot;</mo></mover>");
   itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -4767,7 +4773,7 @@ yyreduce:
     break;
 
   case 227:
-#line 1275 "itex2MML.y"
+#line 1281 "itex2MML.y"
     {
   (yyval) = itex2MML_copy3("<mover>", (yyvsp[(2) - (2)]), "<mo>&Dot;</mo></mover>");
   itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -4775,7 +4781,7 @@ yyreduce:
     break;
 
   case 228:
-#line 1280 "itex2MML.y"
+#line 1286 "itex2MML.y"
     {
   (yyval) = itex2MML_copy3("<mover>", (yyvsp[(2) - (2)]), "<mo>&tdot;</mo></mover>");
   itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -4783,7 +4789,7 @@ yyreduce:
     break;
 
   case 229:
-#line 1285 "itex2MML.y"
+#line 1291 "itex2MML.y"
     {
   (yyval) = itex2MML_copy3("<mover>", (yyvsp[(2) - (2)]), "<mo>&DotDot;</mo></mover>");
   itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -4791,7 +4797,7 @@ yyreduce:
     break;
 
   case 230:
-#line 1290 "itex2MML.y"
+#line 1296 "itex2MML.y"
     {
   (yyval) = itex2MML_copy3("<mover>", (yyvsp[(2) - (2)]), "<mo stretchy=\"false\">&tilde;</mo></mover>");
   itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -4799,7 +4805,7 @@ yyreduce:
     break;
 
   case 231:
-#line 1294 "itex2MML.y"
+#line 1300 "itex2MML.y"
     {
   (yyval) = itex2MML_copy3("<mover>", (yyvsp[(2) - (2)]), "<mo>&tilde;</mo></mover>");
   itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -4807,7 +4813,7 @@ yyreduce:
     break;
 
   case 232:
-#line 1299 "itex2MML.y"
+#line 1305 "itex2MML.y"
     {
   (yyval) = itex2MML_copy3("<mover>", (yyvsp[(2) - (2)]), "<mo stretchy=\"false\">&#x2c7;</mo></mover>");
   itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -4815,7 +4821,7 @@ yyreduce:
     break;
 
   case 233:
-#line 1303 "itex2MML.y"
+#line 1309 "itex2MML.y"
     {
   (yyval) = itex2MML_copy3("<mover>", (yyvsp[(2) - (2)]), "<mo>&#x2c7;</mo></mover>");
   itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -4823,7 +4829,7 @@ yyreduce:
     break;
 
   case 234:
-#line 1308 "itex2MML.y"
+#line 1314 "itex2MML.y"
     {
   (yyval) = itex2MML_copy3("<mover>", (yyvsp[(2) - (2)]), "<mo stretchy=\"false\">&#x5E;</mo></mover>");
   itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -4831,7 +4837,7 @@ yyreduce:
     break;
 
   case 235:
-#line 1312 "itex2MML.y"
+#line 1318 "itex2MML.y"
     {
   (yyval) = itex2MML_copy3("<mover>", (yyvsp[(2) - (2)]), "<mo>&#x5E;</mo></mover>");
   itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -4839,7 +4845,7 @@ yyreduce:
     break;
 
   case 236:
-#line 1317 "itex2MML.y"
+#line 1323 "itex2MML.y"
     {
   (yyval) = itex2MML_copy3("<msqrt>", (yyvsp[(2) - (2)]), "</msqrt>");
   itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -4847,7 +4853,7 @@ yyreduce:
     break;
 
   case 237:
-#line 1322 "itex2MML.y"
+#line 1328 "itex2MML.y"
     {
   char * s1 = itex2MML_copy3("<mroot>", (yyvsp[(5) - (5)]), (yyvsp[(3) - (5)]));
   (yyval) = itex2MML_copy2(s1, "</mroot>");
@@ -4858,7 +4864,7 @@ yyreduce:
     break;
 
   case 238:
-#line 1329 "itex2MML.y"
+#line 1335 "itex2MML.y"
     {
   char * s1 = itex2MML_copy3("<mroot>", (yyvsp[(3) - (3)]), (yyvsp[(2) - (3)]));
   (yyval) = itex2MML_copy2(s1, "</mroot>");
@@ -4869,7 +4875,7 @@ yyreduce:
     break;
 
   case 239:
-#line 1337 "itex2MML.y"
+#line 1343 "itex2MML.y"
     {
   char * s1 = itex2MML_copy3("<mpadded voffset='", (yyvsp[(2) - (5)]), "' height='");
   char * s2 = itex2MML_copy3(s1, (yyvsp[(3) - (5)]), "' depth='");
@@ -4886,7 +4892,7 @@ yyreduce:
     break;
 
   case 240:
-#line 1350 "itex2MML.y"
+#line 1356 "itex2MML.y"
     {
   char * s1 = itex2MML_copy3("<mpadded voffset='-", (yyvsp[(3) - (6)]), "' height='");
   char * s2 = itex2MML_copy3(s1, (yyvsp[(4) - (6)]), "' depth='");
@@ -4903,7 +4909,7 @@ yyreduce:
     break;
 
   case 241:
-#line 1363 "itex2MML.y"
+#line 1369 "itex2MML.y"
     {
   char * s1 = itex2MML_copy3("<mpadded voffset='", (yyvsp[(2) - (4)]), "' height='");
   char * s2 = itex2MML_copy3(s1, (yyvsp[(3) - (4)]), "' depth='depth'>");
@@ -4917,7 +4923,7 @@ yyreduce:
     break;
 
   case 242:
-#line 1373 "itex2MML.y"
+#line 1379 "itex2MML.y"
     {
   char * s1 = itex2MML_copy3("<mpadded voffset='-", (yyvsp[(3) - (5)]), "' height='");
   char * s2 = itex2MML_copy3(s1, (yyvsp[(4) - (5)]), "' depth='+");
@@ -4933,7 +4939,7 @@ yyreduce:
     break;
 
   case 243:
-#line 1385 "itex2MML.y"
+#line 1391 "itex2MML.y"
     {
   char * s1 = itex2MML_copy3("<mpadded voffset='", (yyvsp[(2) - (3)]), "' height='+");
   char * s2 = itex2MML_copy3(s1, (yyvsp[(2) - (3)]), "' depth='depth'>");
@@ -4946,7 +4952,7 @@ yyreduce:
     break;
 
   case 244:
-#line 1394 "itex2MML.y"
+#line 1400 "itex2MML.y"
     {
   char * s1 = itex2MML_copy3("<mpadded voffset='-", (yyvsp[(3) - (4)]), "' height='0pt' depth='+");
   char * s2 = itex2MML_copy3(s1, (yyvsp[(3) - (4)]), "'>");
@@ -4959,7 +4965,7 @@ yyreduce:
     break;
 
   case 245:
-#line 1404 "itex2MML.y"
+#line 1410 "itex2MML.y"
     {
   char * s1 = itex2MML_copy3("<munder><mo>", (yyvsp[(1) - (5)]), "</mo><mrow>");
   (yyval) = itex2MML_copy3(s1, (yyvsp[(3) - (5)]), "</mrow></munder>");
@@ -4970,7 +4976,7 @@ yyreduce:
     break;
 
   case 246:
-#line 1411 "itex2MML.y"
+#line 1417 "itex2MML.y"
     {
   char * s1 = itex2MML_copy3("<munder>", (yyvsp[(3) - (3)]), (yyvsp[(2) - (3)]));
   (yyval) = itex2MML_copy2(s1, "</munder>");
@@ -4981,7 +4987,7 @@ yyreduce:
     break;
 
   case 247:
-#line 1419 "itex2MML.y"
+#line 1425 "itex2MML.y"
     {
   char * s1 = itex2MML_copy3("<mover><mo>", (yyvsp[(1) - (2)]), "</mo>");
   (yyval) =  itex2MML_copy3(s1, (yyvsp[(2) - (2)]), "</mover>");
@@ -4992,7 +4998,7 @@ yyreduce:
     break;
 
   case 248:
-#line 1426 "itex2MML.y"
+#line 1432 "itex2MML.y"
     {
   char * s1 = itex2MML_copy3("<mover>", (yyvsp[(3) - (3)]), (yyvsp[(2) - (3)]));
   (yyval) = itex2MML_copy2(s1, "</mover>");
@@ -5003,7 +5009,7 @@ yyreduce:
     break;
 
   case 249:
-#line 1434 "itex2MML.y"
+#line 1440 "itex2MML.y"
     {
   char * s1 = itex2MML_copy3("<munderover><mo>", (yyvsp[(1) - (5)]), "</mo><mrow>");
   char * s2 = itex2MML_copy3(s1, (yyvsp[(3) - (5)]), "</mrow>");
@@ -5017,7 +5023,7 @@ yyreduce:
     break;
 
   case 250:
-#line 1444 "itex2MML.y"
+#line 1450 "itex2MML.y"
     {
   char * s1 = itex2MML_copy3("<munderover>", (yyvsp[(4) - (4)]), (yyvsp[(2) - (4)]));
   (yyval) = itex2MML_copy3(s1, (yyvsp[(3) - (4)]), "</munderover>");
@@ -5029,14 +5035,14 @@ yyreduce:
     break;
 
   case 251:
-#line 1453 "itex2MML.y"
+#line 1459 "itex2MML.y"
     {
   (yyval) = itex2MML_copy_string("<mrow></mrow>");
 }
     break;
 
   case 252:
-#line 1457 "itex2MML.y"
+#line 1463 "itex2MML.y"
     {
   (yyval) = itex2MML_copy3("<mrow><mtable rowspacing=\"0.5ex\">", (yyvsp[(3) - (5)]), "</mtable></mrow>");
   itex2MML_free_string((yyvsp[(3) - (5)]));
@@ -5044,7 +5050,7 @@ yyreduce:
     break;
 
   case 253:
-#line 1461 "itex2MML.y"
+#line 1467 "itex2MML.y"
     {
   (yyval) = itex2MML_copy3("<mrow><mtable rowspacing=\"1.0ex\">", (yyvsp[(3) - (5)]), "</mtable></mrow>");
   itex2MML_free_string((yyvsp[(3) - (5)]));
@@ -5052,7 +5058,7 @@ yyreduce:
     break;
 
   case 254:
-#line 1465 "itex2MML.y"
+#line 1471 "itex2MML.y"
     {
   (yyval) = itex2MML_copy3("<mrow><mo>(</mo><mrow><mtable rowspacing=\"0.5ex\">", (yyvsp[(3) - (5)]), "</mtable></mrow><mo>)</mo></mrow>");
   itex2MML_free_string((yyvsp[(3) - (5)]));
@@ -5060,7 +5066,7 @@ yyreduce:
     break;
 
   case 255:
-#line 1469 "itex2MML.y"
+#line 1475 "itex2MML.y"
     {
   (yyval) = itex2MML_copy3("<mrow><mo>[</mo><mrow><mtable rowspacing=\"0.5ex\">", (yyvsp[(3) - (5)]), "</mtable></mrow><mo>]</mo></mrow>");
   itex2MML_free_string((yyvsp[(3) - (5)]));
@@ -5068,7 +5074,7 @@ yyreduce:
     break;
 
   case 256:
-#line 1473 "itex2MML.y"
+#line 1479 "itex2MML.y"
     {
   (yyval) = itex2MML_copy3("<mrow><mo>&VerticalBar;</mo><mrow><mtable rowspacing=\"0.5ex\">", (yyvsp[(3) - (5)]), "</mtable></mrow><mo>&VerticalBar;</mo></mrow>");
   itex2MML_free_string((yyvsp[(3) - (5)]));
@@ -5076,7 +5082,7 @@ yyreduce:
     break;
 
   case 257:
-#line 1477 "itex2MML.y"
+#line 1483 "itex2MML.y"
     {
   (yyval) = itex2MML_copy3("<mrow><mo>{</mo><mrow><mtable rowspacing=\"0.5ex\">", (yyvsp[(3) - (5)]), "</mtable></mrow><mo>}</mo></mrow>");
   itex2MML_free_string((yyvsp[(3) - (5)]));
@@ -5084,7 +5090,7 @@ yyreduce:
     break;
 
   case 258:
-#line 1481 "itex2MML.y"
+#line 1487 "itex2MML.y"
     {
   (yyval) = itex2MML_copy3("<mrow><mo>&DoubleVerticalBar;</mo><mrow><mtable rowspacing=\"0.5ex\">", (yyvsp[(3) - (5)]), "</mtable></mrow><mo>&DoubleVerticalBar;</mo></mrow>");
   itex2MML_free_string((yyvsp[(3) - (5)]));
@@ -5092,7 +5098,7 @@ yyreduce:
     break;
 
   case 259:
-#line 1485 "itex2MML.y"
+#line 1491 "itex2MML.y"
     {
   (yyval) = itex2MML_copy3("<mstyle scriptlevel=\"2\"><mrow><mtable rowspacing=\"0.5ex\">", (yyvsp[(3) - (5)]), "</mtable></mrow></mstyle>");
   itex2MML_free_string((yyvsp[(3) - (5)]));
@@ -5100,7 +5106,7 @@ yyreduce:
     break;
 
   case 260:
-#line 1489 "itex2MML.y"
+#line 1495 "itex2MML.y"
     {
   (yyval) = itex2MML_copy3("<mrow><mo>{</mo><mrow><mtable columnalign=\"left left\">", (yyvsp[(3) - (5)]), "</mtable></mrow></mrow>");
   itex2MML_free_string((yyvsp[(3) - (5)]));
@@ -5108,7 +5114,7 @@ yyreduce:
     break;
 
   case 261:
-#line 1493 "itex2MML.y"
+#line 1499 "itex2MML.y"
     {
   (yyval) = itex2MML_copy3("<mrow><mtable columnalign=\"right left right left right left right left right left\" columnspacing=\"0em\">", (yyvsp[(3) - (5)]), "</mtable></mrow>");
   itex2MML_free_string((yyvsp[(3) - (5)]));
@@ -5116,7 +5122,7 @@ yyreduce:
     break;
 
   case 262:
-#line 1497 "itex2MML.y"
+#line 1503 "itex2MML.y"
     {
   char * s1 = itex2MML_copy3("<mtable rowspacing=\"0.5ex\" align=\"", (yyvsp[(3) - (9)]), "\" columnalign=\"");
   char * s2 = itex2MML_copy3(s1, (yyvsp[(5) - (9)]), "\">");
@@ -5130,7 +5136,7 @@ yyreduce:
     break;
 
   case 263:
-#line 1507 "itex2MML.y"
+#line 1513 "itex2MML.y"
     {
   char * s1 = itex2MML_copy3("<mtable rowspacing=\"0.5ex\" columnalign=\"", (yyvsp[(4) - (8)]), "\">");
   (yyval) = itex2MML_copy3(s1, (yyvsp[(6) - (8)]), "</mtable>");
@@ -5141,7 +5147,7 @@ yyreduce:
     break;
 
   case 264:
-#line 1514 "itex2MML.y"
+#line 1520 "itex2MML.y"
     {
   (yyval) = itex2MML_copy3("<semantics><annotation-xml encoding=\"SVG1.1\">", (yyvsp[(3) - (4)]), "</annotation-xml></semantics>");
   itex2MML_free_string((yyvsp[(3) - (4)]));
@@ -5149,14 +5155,14 @@ yyreduce:
     break;
 
   case 265:
-#line 1518 "itex2MML.y"
+#line 1524 "itex2MML.y"
     {
   (yyval) = itex2MML_copy_string(" ");
 }
     break;
 
   case 266:
-#line 1522 "itex2MML.y"
+#line 1528 "itex2MML.y"
     {
   (yyval) = itex2MML_copy3((yyvsp[(1) - (2)]), " ", (yyvsp[(2) - (2)]));
   itex2MML_free_string((yyvsp[(1) - (2)]));
@@ -5165,7 +5171,7 @@ yyreduce:
     break;
 
   case 267:
-#line 1527 "itex2MML.y"
+#line 1533 "itex2MML.y"
     {
   (yyval) = itex2MML_copy_string((yyvsp[(1) - (1)]));
   itex2MML_free_string((yyvsp[(1) - (1)]));
@@ -5173,7 +5179,7 @@ yyreduce:
     break;
 
   case 268:
-#line 1532 "itex2MML.y"
+#line 1538 "itex2MML.y"
     {
   (yyval) = itex2MML_copy3("<mrow><mtable columnalign=\"center\" rowspacing=\"0.5ex\">", (yyvsp[(3) - (4)]), "</mtable></mrow>");
   itex2MML_free_string((yyvsp[(3) - (4)]));
@@ -5181,7 +5187,7 @@ yyreduce:
     break;
 
   case 269:
-#line 1537 "itex2MML.y"
+#line 1543 "itex2MML.y"
     {
   (yyval) = itex2MML_copy3("<mrow><mtable>", (yyvsp[(3) - (4)]), "</mtable></mrow>");
   itex2MML_free_string((yyvsp[(3) - (4)]));
@@ -5189,7 +5195,7 @@ yyreduce:
     break;
 
   case 270:
-#line 1541 "itex2MML.y"
+#line 1547 "itex2MML.y"
     {
   char * s1 = itex2MML_copy3("<mrow><mtable ", (yyvsp[(5) - (8)]), ">");
   (yyval) = itex2MML_copy3(s1, (yyvsp[(7) - (8)]), "</mtable></mrow>");
@@ -5200,7 +5206,7 @@ yyreduce:
     break;
 
   case 271:
-#line 1549 "itex2MML.y"
+#line 1555 "itex2MML.y"
     {
   (yyval) = itex2MML_copy_string((yyvsp[(1) - (1)]));
   itex2MML_free_string((yyvsp[(1) - (1)]));
@@ -5208,7 +5214,7 @@ yyreduce:
     break;
 
   case 272:
-#line 1553 "itex2MML.y"
+#line 1559 "itex2MML.y"
     {
   (yyval) = itex2MML_copy3((yyvsp[(1) - (2)]), " ", (yyvsp[(2) - (2)]));
   itex2MML_free_string((yyvsp[(1) - (2)]));
@@ -5217,7 +5223,7 @@ yyreduce:
     break;
 
   case 273:
-#line 1559 "itex2MML.y"
+#line 1565 "itex2MML.y"
     {
   (yyval) = itex2MML_copy_string((yyvsp[(1) - (1)]));
   itex2MML_free_string((yyvsp[(1) - (1)]));
@@ -5225,7 +5231,7 @@ yyreduce:
     break;
 
   case 274:
-#line 1563 "itex2MML.y"
+#line 1569 "itex2MML.y"
     {
   (yyval) = itex2MML_copy_string((yyvsp[(1) - (1)]));
   itex2MML_free_string((yyvsp[(1) - (1)]));
@@ -5233,7 +5239,7 @@ yyreduce:
     break;
 
   case 275:
-#line 1567 "itex2MML.y"
+#line 1573 "itex2MML.y"
     {
   (yyval) = itex2MML_copy_string((yyvsp[(1) - (1)]));
   itex2MML_free_string((yyvsp[(1) - (1)]));
@@ -5241,7 +5247,7 @@ yyreduce:
     break;
 
   case 276:
-#line 1571 "itex2MML.y"
+#line 1577 "itex2MML.y"
     {
   (yyval) = itex2MML_copy_string((yyvsp[(1) - (1)]));
   itex2MML_free_string((yyvsp[(1) - (1)]));
@@ -5249,7 +5255,7 @@ yyreduce:
     break;
 
   case 277:
-#line 1575 "itex2MML.y"
+#line 1581 "itex2MML.y"
     {
   (yyval) = itex2MML_copy_string((yyvsp[(1) - (1)]));
   itex2MML_free_string((yyvsp[(1) - (1)]));
@@ -5257,7 +5263,7 @@ yyreduce:
     break;
 
   case 278:
-#line 1579 "itex2MML.y"
+#line 1585 "itex2MML.y"
     {
   (yyval) = itex2MML_copy_string((yyvsp[(1) - (1)]));
   itex2MML_free_string((yyvsp[(1) - (1)]));
@@ -5265,7 +5271,7 @@ yyreduce:
     break;
 
   case 279:
-#line 1583 "itex2MML.y"
+#line 1589 "itex2MML.y"
     {
   (yyval) = itex2MML_copy_string((yyvsp[(1) - (1)]));
   itex2MML_free_string((yyvsp[(1) - (1)]));
@@ -5273,7 +5279,7 @@ yyreduce:
     break;
 
   case 280:
-#line 1587 "itex2MML.y"
+#line 1593 "itex2MML.y"
     {
   (yyval) = itex2MML_copy_string((yyvsp[(1) - (1)]));
   itex2MML_free_string((yyvsp[(1) - (1)]));
@@ -5281,7 +5287,7 @@ yyreduce:
     break;
 
   case 281:
-#line 1591 "itex2MML.y"
+#line 1597 "itex2MML.y"
     {
   (yyval) = itex2MML_copy_string((yyvsp[(1) - (1)]));
   itex2MML_free_string((yyvsp[(1) - (1)]));
@@ -5289,7 +5295,7 @@ yyreduce:
     break;
 
   case 282:
-#line 1595 "itex2MML.y"
+#line 1601 "itex2MML.y"
     {
   (yyval) = itex2MML_copy_string((yyvsp[(1) - (1)]));
   itex2MML_free_string((yyvsp[(1) - (1)]));
@@ -5297,7 +5303,7 @@ yyreduce:
     break;
 
   case 283:
-#line 1600 "itex2MML.y"
+#line 1606 "itex2MML.y"
     {
   (yyval) = itex2MML_copy2("columnalign=", (yyvsp[(2) - (2)]));
   itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -5305,7 +5311,7 @@ yyreduce:
     break;
 
   case 284:
-#line 1605 "itex2MML.y"
+#line 1611 "itex2MML.y"
     {
   (yyval) = itex2MML_copy2("columnalign=", (yyvsp[(2) - (2)]));
   itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -5313,7 +5319,7 @@ yyreduce:
     break;
 
   case 285:
-#line 1610 "itex2MML.y"
+#line 1616 "itex2MML.y"
     {
   (yyval) = itex2MML_copy2("rowalign=", (yyvsp[(2) - (2)]));
   itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -5321,7 +5327,7 @@ yyreduce:
     break;
 
   case 286:
-#line 1615 "itex2MML.y"
+#line 1621 "itex2MML.y"
     {
   (yyval) = itex2MML_copy2("align=", (yyvsp[(2) - (2)]));
   itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -5329,7 +5335,7 @@ yyreduce:
     break;
 
   case 287:
-#line 1620 "itex2MML.y"
+#line 1626 "itex2MML.y"
     {
   (yyval) = itex2MML_copy2("equalrows=", (yyvsp[(2) - (2)]));
   itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -5337,7 +5343,7 @@ yyreduce:
     break;
 
   case 288:
-#line 1625 "itex2MML.y"
+#line 1631 "itex2MML.y"
     {
   (yyval) = itex2MML_copy2("equalcolumns=", (yyvsp[(2) - (2)]));
   itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -5345,7 +5351,7 @@ yyreduce:
     break;
 
   case 289:
-#line 1630 "itex2MML.y"
+#line 1636 "itex2MML.y"
     {
   (yyval) = itex2MML_copy2("rowlines=", (yyvsp[(2) - (2)]));
   itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -5353,7 +5359,7 @@ yyreduce:
     break;
 
   case 290:
-#line 1635 "itex2MML.y"
+#line 1641 "itex2MML.y"
     {
   (yyval) = itex2MML_copy2("columnlines=", (yyvsp[(2) - (2)]));
   itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -5361,7 +5367,7 @@ yyreduce:
     break;
 
   case 291:
-#line 1640 "itex2MML.y"
+#line 1646 "itex2MML.y"
     {
   (yyval) = itex2MML_copy2("frame=", (yyvsp[(2) - (2)]));
   itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -5369,7 +5375,7 @@ yyreduce:
     break;
 
   case 292:
-#line 1645 "itex2MML.y"
+#line 1651 "itex2MML.y"
     {
   char * s1 = itex2MML_copy3("rowspacing=", (yyvsp[(2) - (2)]), " columnspacing=");
   (yyval) = itex2MML_copy2(s1, (yyvsp[(2) - (2)]));
@@ -5379,7 +5385,7 @@ yyreduce:
     break;
 
   case 293:
-#line 1652 "itex2MML.y"
+#line 1658 "itex2MML.y"
     {
   (yyval) = itex2MML_copy_string((yyvsp[(1) - (1)]));
   itex2MML_free_string((yyvsp[(1) - (1)]));
@@ -5387,7 +5393,7 @@ yyreduce:
     break;
 
   case 294:
-#line 1656 "itex2MML.y"
+#line 1662 "itex2MML.y"
     {
   (yyval) = itex2MML_copy3((yyvsp[(1) - (3)]), " ", (yyvsp[(3) - (3)]));
   itex2MML_free_string((yyvsp[(1) - (3)]));
@@ -5396,7 +5402,7 @@ yyreduce:
     break;
 
   case 295:
-#line 1662 "itex2MML.y"
+#line 1668 "itex2MML.y"
     {
   (yyval) = itex2MML_copy3("<mtr>", (yyvsp[(1) - (1)]), "</mtr>");
   itex2MML_free_string((yyvsp[(1) - (1)]));
@@ -5404,7 +5410,7 @@ yyreduce:
     break;
 
   case 296:
-#line 1666 "itex2MML.y"
+#line 1672 "itex2MML.y"
     {
   (yyval) = itex2MML_copy_string((yyvsp[(1) - (1)]));
   itex2MML_free_string((yyvsp[(1) - (1)]));
@@ -5412,7 +5418,7 @@ yyreduce:
     break;
 
   case 297:
-#line 1671 "itex2MML.y"
+#line 1677 "itex2MML.y"
     {
   (yyval) = itex2MML_copy_string((yyvsp[(1) - (1)]));
   itex2MML_free_string((yyvsp[(1) - (1)]));
@@ -5420,7 +5426,7 @@ yyreduce:
     break;
 
   case 298:
-#line 1675 "itex2MML.y"
+#line 1681 "itex2MML.y"
     {
   (yyval) = itex2MML_copy3((yyvsp[(1) - (3)]), " ", (yyvsp[(3) - (3)]));
   itex2MML_free_string((yyvsp[(1) - (3)]));
@@ -5429,7 +5435,7 @@ yyreduce:
     break;
 
   case 299:
-#line 1681 "itex2MML.y"
+#line 1687 "itex2MML.y"
     {
   char * s1 = itex2MML_copy3("<mtr ", (yyvsp[(3) - (5)]), ">");
   (yyval) = itex2MML_copy3(s1, (yyvsp[(5) - (5)]), "</mtr>");
@@ -5440,7 +5446,7 @@ yyreduce:
     break;
 
   case 300:
-#line 1689 "itex2MML.y"
+#line 1695 "itex2MML.y"
     {
   (yyval) = itex2MML_copy_string((yyvsp[(1) - (1)]));
   itex2MML_free_string((yyvsp[(1) - (1)]));
@@ -5448,7 +5454,7 @@ yyreduce:
     break;
 
   case 301:
-#line 1693 "itex2MML.y"
+#line 1699 "itex2MML.y"
     {
   (yyval) = itex2MML_copy3((yyvsp[(1) - (2)]), " ", (yyvsp[(2) - (2)]));
   itex2MML_free_string((yyvsp[(1) - (2)]));
@@ -5457,7 +5463,7 @@ yyreduce:
     break;
 
   case 302:
-#line 1699 "itex2MML.y"
+#line 1705 "itex2MML.y"
     {
   (yyval) = itex2MML_copy_string((yyvsp[(1) - (1)]));
   itex2MML_free_string((yyvsp[(1) - (1)]));
@@ -5465,7 +5471,7 @@ yyreduce:
     break;
 
   case 303:
-#line 1703 "itex2MML.y"
+#line 1709 "itex2MML.y"
     {
   (yyval) = itex2MML_copy_string((yyvsp[(1) - (1)]));
   itex2MML_free_string((yyvsp[(1) - (1)]));
@@ -5473,14 +5479,14 @@ yyreduce:
     break;
 
   case 304:
-#line 1708 "itex2MML.y"
+#line 1714 "itex2MML.y"
     {
   (yyval) = itex2MML_copy_string("<mtd></mtd>");
 }
     break;
 
   case 305:
-#line 1711 "itex2MML.y"
+#line 1717 "itex2MML.y"
     {
   (yyval) = itex2MML_copy3("<mtd>", (yyvsp[(1) - (1)]), "</mtd>");
   itex2MML_free_string((yyvsp[(1) - (1)]));
@@ -5488,7 +5494,7 @@ yyreduce:
     break;
 
   case 306:
-#line 1715 "itex2MML.y"
+#line 1721 "itex2MML.y"
     {
   char * s1 = itex2MML_copy3("<mtd ", (yyvsp[(3) - (5)]), ">");
   (yyval) = itex2MML_copy3(s1, (yyvsp[(5) - (5)]), "</mtd>");
@@ -5499,7 +5505,7 @@ yyreduce:
     break;
 
   case 307:
-#line 1723 "itex2MML.y"
+#line 1729 "itex2MML.y"
     {
   (yyval) = itex2MML_copy_string((yyvsp[(1) - (1)]));
   itex2MML_free_string((yyvsp[(1) - (1)]));
@@ -5507,7 +5513,7 @@ yyreduce:
     break;
 
   case 308:
-#line 1727 "itex2MML.y"
+#line 1733 "itex2MML.y"
     {
   (yyval) = itex2MML_copy3((yyvsp[(1) - (2)]), " ", (yyvsp[(2) - (2)]));
   itex2MML_free_string((yyvsp[(1) - (2)]));
@@ -5516,7 +5522,7 @@ yyreduce:
     break;
 
   case 309:
-#line 1733 "itex2MML.y"
+#line 1739 "itex2MML.y"
     {
   (yyval) = itex2MML_copy_string((yyvsp[(1) - (1)]));
   itex2MML_free_string((yyvsp[(1) - (1)]));
@@ -5524,7 +5530,7 @@ yyreduce:
     break;
 
   case 310:
-#line 1737 "itex2MML.y"
+#line 1743 "itex2MML.y"
     {
   (yyval) = itex2MML_copy_string((yyvsp[(1) - (1)]));
   itex2MML_free_string((yyvsp[(1) - (1)]));
@@ -5532,7 +5538,7 @@ yyreduce:
     break;
 
   case 311:
-#line 1741 "itex2MML.y"
+#line 1747 "itex2MML.y"
     {
   (yyval) = itex2MML_copy_string((yyvsp[(1) - (1)]));
   itex2MML_free_string((yyvsp[(1) - (1)]));
@@ -5540,7 +5546,7 @@ yyreduce:
     break;
 
   case 312:
-#line 1745 "itex2MML.y"
+#line 1751 "itex2MML.y"
     {
   (yyval) = itex2MML_copy_string((yyvsp[(1) - (1)]));
   itex2MML_free_string((yyvsp[(1) - (1)]));
@@ -5548,7 +5554,7 @@ yyreduce:
     break;
 
   case 313:
-#line 1750 "itex2MML.y"
+#line 1756 "itex2MML.y"
     {
   (yyval) = itex2MML_copy2("rowspan=", (yyvsp[(2) - (2)]));
   itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -5556,7 +5562,7 @@ yyreduce:
     break;
 
   case 314:
-#line 1755 "itex2MML.y"
+#line 1761 "itex2MML.y"
     {
   (yyval) = itex2MML_copy2("columnspan=", (yyvsp[(2) - (2)]));
   itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -5565,7 +5571,7 @@ yyreduce:
 
 
 /* Line 1267 of yacc.c.  */
-#line 5569 "y.tab.c"
+#line 5575 "y.tab.c"
       default: break;
     }
   YY_SYMBOL_PRINT ("-> $$ =", yyr1[yyn], &yyval, &yyloc);
@@ -5779,7 +5785,7 @@ yyreturn:
 }
 
 
-#line 1760 "itex2MML.y"
+#line 1766 "itex2MML.y"
 
 
 char * itex2MML_parse (const char * buffer, unsigned long length)