itextomml 1.4.11 → 1.5.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (5) hide show
  1. data/ext/itex2MML.h +3 -3
  2. data/ext/itex2MML_ruby.c +14 -25
  3. data/ext/lex.yy.c +824 -804
  4. data/ext/y.tab.c +275 -269
  5. metadata +5 -5
data/ext/y.tab.c CHANGED
@@ -1135,37 +1135,37 @@ static const yytype_int16 yyrhs[] =
1135
1135
  static const yytype_uint16 yyrline[] =
1136
1136
  {
1137
1137
  0, 284, 284, 287, 288, 289, 290, 291, 293, 295,
1138
- 296, 297, 310, 324, 328, 334, 353, 367, 386, 400,
1139
- 419, 433, 452, 466, 476, 486, 493, 500, 504, 508,
1140
- 513, 514, 515, 516, 517, 521, 525, 526, 527, 528,
1141
- 529, 530, 531, 532, 533, 534, 535, 536, 537, 538,
1142
- 539, 540, 541, 542, 543, 544, 545, 546, 547, 548,
1143
- 549, 550, 551, 552, 553, 554, 555, 556, 557, 558,
1144
- 559, 560, 561, 562, 563, 564, 565, 566, 567, 568,
1145
- 569, 570, 571, 572, 573, 574, 575, 576, 577, 578,
1146
- 579, 580, 581, 582, 583, 584, 588, 592, 600, 601,
1147
- 602, 603, 605, 610, 615, 621, 625, 629, 634, 639,
1148
- 643, 647, 652, 656, 660, 665, 669, 673, 678, 682,
1149
- 686, 691, 696, 701, 706, 711, 716, 721, 727, 731,
1150
- 735, 739, 741, 747, 748, 754, 760, 761, 762, 767,
1151
- 772, 777, 781, 786, 790, 794, 798, 803, 808, 813,
1152
- 818, 823, 828, 834, 845, 853, 861, 869, 877, 885,
1153
- 892, 900, 905, 910, 915, 920, 925, 930, 935, 940,
1154
- 945, 950, 955, 960, 965, 970, 974, 980, 985, 989,
1155
- 995, 999, 1003, 1011, 1016, 1020, 1026, 1031, 1036, 1040,
1156
- 1046, 1051, 1055, 1059, 1063, 1067, 1071, 1075, 1080, 1090,
1157
- 1097, 1105, 1115, 1124, 1132, 1136, 1142, 1147, 1151, 1155,
1158
- 1160, 1167, 1175, 1180, 1187, 1201, 1208, 1222, 1229, 1237,
1159
- 1242, 1247, 1252, 1256, 1261, 1265, 1270, 1275, 1280, 1285,
1160
- 1290, 1294, 1299, 1303, 1308, 1312, 1317, 1322, 1329, 1337,
1161
- 1350, 1363, 1373, 1385, 1394, 1404, 1411, 1419, 1426, 1434,
1162
- 1444, 1453, 1457, 1461, 1465, 1469, 1473, 1477, 1481, 1485,
1163
- 1489, 1493, 1497, 1507, 1514, 1518, 1522, 1527, 1532, 1537,
1164
- 1541, 1549, 1553, 1559, 1563, 1567, 1571, 1575, 1579, 1583,
1165
- 1587, 1591, 1595, 1600, 1605, 1610, 1615, 1620, 1625, 1630,
1166
- 1635, 1640, 1645, 1652, 1656, 1662, 1666, 1671, 1675, 1681,
1167
- 1689, 1693, 1699, 1703, 1708, 1711, 1715, 1723, 1727, 1733,
1168
- 1737, 1741, 1745, 1750, 1755
1138
+ 296, 297, 313, 330, 334, 340, 359, 373, 392, 406,
1139
+ 425, 439, 458, 472, 482, 492, 499, 506, 510, 514,
1140
+ 519, 520, 521, 522, 523, 527, 531, 532, 533, 534,
1141
+ 535, 536, 537, 538, 539, 540, 541, 542, 543, 544,
1142
+ 545, 546, 547, 548, 549, 550, 551, 552, 553, 554,
1143
+ 555, 556, 557, 558, 559, 560, 561, 562, 563, 564,
1144
+ 565, 566, 567, 568, 569, 570, 571, 572, 573, 574,
1145
+ 575, 576, 577, 578, 579, 580, 581, 582, 583, 584,
1146
+ 585, 586, 587, 588, 589, 590, 594, 598, 606, 607,
1147
+ 608, 609, 611, 616, 621, 627, 631, 635, 640, 645,
1148
+ 649, 653, 658, 662, 666, 671, 675, 679, 684, 688,
1149
+ 692, 697, 702, 707, 712, 717, 722, 727, 733, 737,
1150
+ 741, 745, 747, 753, 754, 760, 766, 767, 768, 773,
1151
+ 778, 783, 787, 792, 796, 800, 804, 809, 814, 819,
1152
+ 824, 829, 834, 840, 851, 859, 867, 875, 883, 891,
1153
+ 898, 906, 911, 916, 921, 926, 931, 936, 941, 946,
1154
+ 951, 956, 961, 966, 971, 976, 980, 986, 991, 995,
1155
+ 1001, 1005, 1009, 1017, 1022, 1026, 1032, 1037, 1042, 1046,
1156
+ 1052, 1057, 1061, 1065, 1069, 1073, 1077, 1081, 1086, 1096,
1157
+ 1103, 1111, 1121, 1130, 1138, 1142, 1148, 1153, 1157, 1161,
1158
+ 1166, 1173, 1181, 1186, 1193, 1207, 1214, 1228, 1235, 1243,
1159
+ 1248, 1253, 1258, 1262, 1267, 1271, 1276, 1281, 1286, 1291,
1160
+ 1296, 1300, 1305, 1309, 1314, 1318, 1323, 1328, 1335, 1343,
1161
+ 1356, 1369, 1379, 1391, 1400, 1410, 1417, 1425, 1432, 1440,
1162
+ 1450, 1459, 1463, 1467, 1471, 1475, 1479, 1483, 1487, 1491,
1163
+ 1495, 1499, 1503, 1513, 1520, 1524, 1528, 1533, 1538, 1543,
1164
+ 1547, 1555, 1559, 1565, 1569, 1573, 1577, 1581, 1585, 1589,
1165
+ 1593, 1597, 1601, 1606, 1611, 1616, 1621, 1626, 1631, 1636,
1166
+ 1641, 1646, 1651, 1658, 1662, 1668, 1672, 1677, 1681, 1687,
1167
+ 1695, 1699, 1705, 1709, 1714, 1717, 1721, 1729, 1733, 1739,
1168
+ 1743, 1747, 1751, 1756, 1761
1169
1169
  };
1170
1170
  #endif
1171
1171
 
@@ -3352,8 +3352,11 @@ yyreduce:
3352
3352
  #line 297 "itex2MML.y"
3353
3353
  {
3354
3354
  char ** r = (char **) ret_str;
3355
- char * s = itex2MML_copy3("<math xmlns='http://www.w3.org/1998/Math/MathML' display='inline'>", (yyvsp[(2) - (3)]), "</math>");
3356
- itex2MML_free_string((yyvsp[(2) - (3)]));
3355
+ 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'>");
3356
+ char * s = itex2MML_copy3(p, (yyvsp[(3) - (3)]), "</annotation></semantics></math>");
3357
+ itex2MML_free_string(p);
3358
+ itex2MML_free_string((yyvsp[(2) - (3)]));
3359
+ itex2MML_free_string((yyvsp[(3) - (3)]));
3357
3360
  if (r) {
3358
3361
  (*r) = (s == itex2MML_empty_string) ? 0 : s;
3359
3362
  }
@@ -3366,11 +3369,14 @@ yyreduce:
3366
3369
  break;
3367
3370
 
3368
3371
  case 12:
3369
- #line 310 "itex2MML.y"
3372
+ #line 313 "itex2MML.y"
3370
3373
  {
3371
3374
  char ** r = (char **) ret_str;
3372
- char * s = itex2MML_copy3("<math xmlns='http://www.w3.org/1998/Math/MathML' display='block'>", (yyvsp[(2) - (3)]), "</math>");
3373
- itex2MML_free_string((yyvsp[(2) - (3)]));
3375
+ 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'>");
3376
+ char * s = itex2MML_copy3(p, (yyvsp[(3) - (3)]), "</annotation></semantics></math>");
3377
+ itex2MML_free_string(p);
3378
+ itex2MML_free_string((yyvsp[(2) - (3)]));
3379
+ itex2MML_free_string((yyvsp[(3) - (3)]));
3374
3380
  if (r) {
3375
3381
  (*r) = (s == itex2MML_empty_string) ? 0 : s;
3376
3382
  }
@@ -3383,7 +3389,7 @@ yyreduce:
3383
3389
  break;
3384
3390
 
3385
3391
  case 13:
3386
- #line 324 "itex2MML.y"
3392
+ #line 330 "itex2MML.y"
3387
3393
  {
3388
3394
  (yyval) = itex2MML_copy_string((yyvsp[(1) - (1)]));
3389
3395
  itex2MML_free_string((yyvsp[(1) - (1)]));
@@ -3391,7 +3397,7 @@ yyreduce:
3391
3397
  break;
3392
3398
 
3393
3399
  case 14:
3394
- #line 328 "itex2MML.y"
3400
+ #line 334 "itex2MML.y"
3395
3401
  {
3396
3402
  (yyval) = itex2MML_copy2((yyvsp[(1) - (2)]), (yyvsp[(2) - (2)]));
3397
3403
  itex2MML_free_string((yyvsp[(1) - (2)]));
@@ -3400,7 +3406,7 @@ yyreduce:
3400
3406
  break;
3401
3407
 
3402
3408
  case 15:
3403
- #line 334 "itex2MML.y"
3409
+ #line 340 "itex2MML.y"
3404
3410
  {
3405
3411
  if (itex2MML_displaymode == 1) {
3406
3412
  char * s1 = itex2MML_copy3("<munderover>", (yyvsp[(1) - (5)]), " ");
@@ -3423,7 +3429,7 @@ yyreduce:
3423
3429
  break;
3424
3430
 
3425
3431
  case 16:
3426
- #line 353 "itex2MML.y"
3432
+ #line 359 "itex2MML.y"
3427
3433
  {
3428
3434
  if (itex2MML_displaymode == 1) {
3429
3435
  char * s1 = itex2MML_copy3("<munder>", (yyvsp[(1) - (3)]), " ");
@@ -3441,7 +3447,7 @@ yyreduce:
3441
3447
  break;
3442
3448
 
3443
3449
  case 17:
3444
- #line 367 "itex2MML.y"
3450
+ #line 373 "itex2MML.y"
3445
3451
  {
3446
3452
  if (itex2MML_displaymode == 1) {
3447
3453
  char * s1 = itex2MML_copy3("<munderover>", (yyvsp[(1) - (5)]), " ");
@@ -3464,7 +3470,7 @@ yyreduce:
3464
3470
  break;
3465
3471
 
3466
3472
  case 18:
3467
- #line 386 "itex2MML.y"
3473
+ #line 392 "itex2MML.y"
3468
3474
  {
3469
3475
  if (itex2MML_displaymode == 1) {
3470
3476
  char * s1 = itex2MML_copy3("<mover>", (yyvsp[(1) - (3)]), " ");
@@ -3482,7 +3488,7 @@ yyreduce:
3482
3488
  break;
3483
3489
 
3484
3490
  case 19:
3485
- #line 400 "itex2MML.y"
3491
+ #line 406 "itex2MML.y"
3486
3492
  {
3487
3493
  if (itex2MML_displaymode == 1) {
3488
3494
  char * s1 = itex2MML_copy3("<munderover>", (yyvsp[(1) - (5)]), " ");
@@ -3505,7 +3511,7 @@ yyreduce:
3505
3511
  break;
3506
3512
 
3507
3513
  case 20:
3508
- #line 419 "itex2MML.y"
3514
+ #line 425 "itex2MML.y"
3509
3515
  {
3510
3516
  if (itex2MML_displaymode == 1) {
3511
3517
  char * s1 = itex2MML_copy3("<munder>", (yyvsp[(1) - (3)]), " ");
@@ -3523,7 +3529,7 @@ yyreduce:
3523
3529
  break;
3524
3530
 
3525
3531
  case 21:
3526
- #line 433 "itex2MML.y"
3532
+ #line 439 "itex2MML.y"
3527
3533
  {
3528
3534
  if (itex2MML_displaymode == 1) {
3529
3535
  char * s1 = itex2MML_copy3("<munderover>", (yyvsp[(1) - (5)]), " ");
@@ -3546,7 +3552,7 @@ yyreduce:
3546
3552
  break;
3547
3553
 
3548
3554
  case 22:
3549
- #line 452 "itex2MML.y"
3555
+ #line 458 "itex2MML.y"
3550
3556
  {
3551
3557
  if (itex2MML_displaymode == 1) {
3552
3558
  char * s1 = itex2MML_copy3("<mover>", (yyvsp[(1) - (3)]), " ");
@@ -3564,7 +3570,7 @@ yyreduce:
3564
3570
  break;
3565
3571
 
3566
3572
  case 23:
3567
- #line 466 "itex2MML.y"
3573
+ #line 472 "itex2MML.y"
3568
3574
  {
3569
3575
  char * s1 = itex2MML_copy3("<msubsup>", (yyvsp[(1) - (5)]), " ");
3570
3576
  char * s2 = itex2MML_copy3((yyvsp[(3) - (5)]), " ", (yyvsp[(5) - (5)]));
@@ -3578,7 +3584,7 @@ yyreduce:
3578
3584
  break;
3579
3585
 
3580
3586
  case 24:
3581
- #line 476 "itex2MML.y"
3587
+ #line 482 "itex2MML.y"
3582
3588
  {
3583
3589
  char * s1 = itex2MML_copy3("<msubsup>", (yyvsp[(1) - (5)]), " ");
3584
3590
  char * s2 = itex2MML_copy3((yyvsp[(5) - (5)]), " ", (yyvsp[(3) - (5)]));
@@ -3592,7 +3598,7 @@ yyreduce:
3592
3598
  break;
3593
3599
 
3594
3600
  case 25:
3595
- #line 486 "itex2MML.y"
3601
+ #line 492 "itex2MML.y"
3596
3602
  {
3597
3603
  char * s1 = itex2MML_copy3("<msub>", (yyvsp[(1) - (3)]), " ");
3598
3604
  (yyval) = itex2MML_copy3(s1, (yyvsp[(3) - (3)]), "</msub>");
@@ -3603,7 +3609,7 @@ yyreduce:
3603
3609
  break;
3604
3610
 
3605
3611
  case 26:
3606
- #line 493 "itex2MML.y"
3612
+ #line 499 "itex2MML.y"
3607
3613
  {
3608
3614
  char * s1 = itex2MML_copy3("<msup>", (yyvsp[(1) - (3)]), " ");
3609
3615
  (yyval) = itex2MML_copy3(s1, (yyvsp[(3) - (3)]), "</msup>");
@@ -3614,7 +3620,7 @@ yyreduce:
3614
3620
  break;
3615
3621
 
3616
3622
  case 27:
3617
- #line 500 "itex2MML.y"
3623
+ #line 506 "itex2MML.y"
3618
3624
  {
3619
3625
  (yyval) = itex2MML_copy3("<msub><mo></mo>", (yyvsp[(2) - (2)]), "</msub>");
3620
3626
  itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -3622,7 +3628,7 @@ yyreduce:
3622
3628
  break;
3623
3629
 
3624
3630
  case 28:
3625
- #line 504 "itex2MML.y"
3631
+ #line 510 "itex2MML.y"
3626
3632
  {
3627
3633
  (yyval) = itex2MML_copy3("<msup><mo></mo>", (yyvsp[(2) - (2)]), "</msup>");
3628
3634
  itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -3630,7 +3636,7 @@ yyreduce:
3630
3636
  break;
3631
3637
 
3632
3638
  case 29:
3633
- #line 508 "itex2MML.y"
3639
+ #line 514 "itex2MML.y"
3634
3640
  {
3635
3641
  (yyval) = itex2MML_copy_string((yyvsp[(1) - (1)]));
3636
3642
  itex2MML_free_string((yyvsp[(1) - (1)]));
@@ -3638,7 +3644,7 @@ yyreduce:
3638
3644
  break;
3639
3645
 
3640
3646
  case 34:
3641
- #line 517 "itex2MML.y"
3647
+ #line 523 "itex2MML.y"
3642
3648
  {
3643
3649
  (yyval) = itex2MML_copy3("<mi>", (yyvsp[(1) - (1)]), "</mi>");
3644
3650
  itex2MML_free_string((yyvsp[(1) - (1)]));
@@ -3646,7 +3652,7 @@ yyreduce:
3646
3652
  break;
3647
3653
 
3648
3654
  case 35:
3649
- #line 521 "itex2MML.y"
3655
+ #line 527 "itex2MML.y"
3650
3656
  {
3651
3657
  (yyval) = itex2MML_copy3("<mn>", (yyvsp[(1) - (1)]), "</mn>");
3652
3658
  itex2MML_free_string((yyvsp[(1) - (1)]));
@@ -3654,7 +3660,7 @@ yyreduce:
3654
3660
  break;
3655
3661
 
3656
3662
  case 95:
3657
- #line 584 "itex2MML.y"
3663
+ #line 590 "itex2MML.y"
3658
3664
  {
3659
3665
  (yyval) = itex2MML_copy_string((yyvsp[(2) - (3)]));
3660
3666
  itex2MML_free_string((yyvsp[(2) - (3)]));
@@ -3662,7 +3668,7 @@ yyreduce:
3662
3668
  break;
3663
3669
 
3664
3670
  case 96:
3665
- #line 588 "itex2MML.y"
3671
+ #line 594 "itex2MML.y"
3666
3672
  {
3667
3673
  (yyval) = itex2MML_copy3("<mrow>", (yyvsp[(2) - (3)]), "</mrow>");
3668
3674
  itex2MML_free_string((yyvsp[(2) - (3)]));
@@ -3670,7 +3676,7 @@ yyreduce:
3670
3676
  break;
3671
3677
 
3672
3678
  case 97:
3673
- #line 592 "itex2MML.y"
3679
+ #line 598 "itex2MML.y"
3674
3680
  {
3675
3681
  char * s1 = itex2MML_copy3("<mrow>", (yyvsp[(1) - (3)]), (yyvsp[(2) - (3)]));
3676
3682
  (yyval) = itex2MML_copy3(s1, (yyvsp[(3) - (3)]), "</mrow>");
@@ -3682,7 +3688,7 @@ yyreduce:
3682
3688
  break;
3683
3689
 
3684
3690
  case 102:
3685
- #line 605 "itex2MML.y"
3691
+ #line 611 "itex2MML.y"
3686
3692
  {
3687
3693
  itex2MML_rowposn = 2;
3688
3694
  (yyval) = itex2MML_copy3("<mo>", (yyvsp[(2) - (2)]), "</mo>");
@@ -3691,7 +3697,7 @@ yyreduce:
3691
3697
  break;
3692
3698
 
3693
3699
  case 103:
3694
- #line 610 "itex2MML.y"
3700
+ #line 616 "itex2MML.y"
3695
3701
  {
3696
3702
  itex2MML_rowposn = 2;
3697
3703
  (yyval) = itex2MML_copy3("<mo>", (yyvsp[(2) - (2)]), "</mo>");
@@ -3700,7 +3706,7 @@ yyreduce:
3700
3706
  break;
3701
3707
 
3702
3708
  case 104:
3703
- #line 615 "itex2MML.y"
3709
+ #line 621 "itex2MML.y"
3704
3710
  {
3705
3711
  itex2MML_rowposn = 2;
3706
3712
  (yyval) = itex2MML_copy_string("");
@@ -3709,7 +3715,7 @@ yyreduce:
3709
3715
  break;
3710
3716
 
3711
3717
  case 105:
3712
- #line 621 "itex2MML.y"
3718
+ #line 627 "itex2MML.y"
3713
3719
  {
3714
3720
  (yyval) = itex2MML_copy3("<mo>", (yyvsp[(2) - (2)]), "</mo>");
3715
3721
  itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -3717,7 +3723,7 @@ yyreduce:
3717
3723
  break;
3718
3724
 
3719
3725
  case 106:
3720
- #line 625 "itex2MML.y"
3726
+ #line 631 "itex2MML.y"
3721
3727
  {
3722
3728
  (yyval) = itex2MML_copy3("<mo>", (yyvsp[(2) - (2)]), "</mo>");
3723
3729
  itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -3725,7 +3731,7 @@ yyreduce:
3725
3731
  break;
3726
3732
 
3727
3733
  case 107:
3728
- #line 629 "itex2MML.y"
3734
+ #line 635 "itex2MML.y"
3729
3735
  {
3730
3736
  (yyval) = itex2MML_copy_string("");
3731
3737
  itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -3733,7 +3739,7 @@ yyreduce:
3733
3739
  break;
3734
3740
 
3735
3741
  case 108:
3736
- #line 634 "itex2MML.y"
3742
+ #line 640 "itex2MML.y"
3737
3743
  {
3738
3744
  itex2MML_rowposn = 2;
3739
3745
  (yyval) = itex2MML_copy3("<mo maxsize=\"1.2em\" minsize=\"1.2em\">", (yyvsp[(2) - (2)]), "</mo>");
@@ -3742,7 +3748,7 @@ yyreduce:
3742
3748
  break;
3743
3749
 
3744
3750
  case 109:
3745
- #line 639 "itex2MML.y"
3751
+ #line 645 "itex2MML.y"
3746
3752
  {
3747
3753
  (yyval) = itex2MML_copy3("<mo maxsize=\"1.2em\" minsize=\"1.2em\">", (yyvsp[(2) - (2)]), "</mo>");
3748
3754
  itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -3750,7 +3756,7 @@ yyreduce:
3750
3756
  break;
3751
3757
 
3752
3758
  case 110:
3753
- #line 643 "itex2MML.y"
3759
+ #line 649 "itex2MML.y"
3754
3760
  {
3755
3761
  (yyval) = itex2MML_copy3("<mo maxsize=\"1.2em\" minsize=\"1.2em\">", (yyvsp[(2) - (2)]), "</mo>");
3756
3762
  itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -3758,7 +3764,7 @@ yyreduce:
3758
3764
  break;
3759
3765
 
3760
3766
  case 111:
3761
- #line 647 "itex2MML.y"
3767
+ #line 653 "itex2MML.y"
3762
3768
  {
3763
3769
  itex2MML_rowposn = 2;
3764
3770
  (yyval) = itex2MML_copy3("<mo maxsize=\"1.8em\" minsize=\"1.8em\">", (yyvsp[(2) - (2)]), "</mo>");
@@ -3767,7 +3773,7 @@ yyreduce:
3767
3773
  break;
3768
3774
 
3769
3775
  case 112:
3770
- #line 652 "itex2MML.y"
3776
+ #line 658 "itex2MML.y"
3771
3777
  {
3772
3778
  (yyval) = itex2MML_copy3("<mo maxsize=\"1.8em\" minsize=\"1.8em\">", (yyvsp[(2) - (2)]), "</mo>");
3773
3779
  itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -3775,7 +3781,7 @@ yyreduce:
3775
3781
  break;
3776
3782
 
3777
3783
  case 113:
3778
- #line 656 "itex2MML.y"
3784
+ #line 662 "itex2MML.y"
3779
3785
  {
3780
3786
  (yyval) = itex2MML_copy3("<mo maxsize=\"1.8em\" minsize=\"1.8em\">", (yyvsp[(2) - (2)]), "</mo>");
3781
3787
  itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -3783,7 +3789,7 @@ yyreduce:
3783
3789
  break;
3784
3790
 
3785
3791
  case 114:
3786
- #line 660 "itex2MML.y"
3792
+ #line 666 "itex2MML.y"
3787
3793
  {
3788
3794
  itex2MML_rowposn = 2;
3789
3795
  (yyval) = itex2MML_copy3("<mo maxsize=\"2.4em\" minsize=\"2.4em\">", (yyvsp[(2) - (2)]), "</mo>");
@@ -3792,7 +3798,7 @@ yyreduce:
3792
3798
  break;
3793
3799
 
3794
3800
  case 115:
3795
- #line 665 "itex2MML.y"
3801
+ #line 671 "itex2MML.y"
3796
3802
  {
3797
3803
  (yyval) = itex2MML_copy3("<mo maxsize=\"2.4em\" minsize=\"2.4em\">", (yyvsp[(2) - (2)]), "</mo>");
3798
3804
  itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -3800,7 +3806,7 @@ yyreduce:
3800
3806
  break;
3801
3807
 
3802
3808
  case 116:
3803
- #line 669 "itex2MML.y"
3809
+ #line 675 "itex2MML.y"
3804
3810
  {
3805
3811
  (yyval) = itex2MML_copy3("<mo maxsize=\"2.4em\" minsize=\"2.4em\">", (yyvsp[(2) - (2)]), "</mo>");
3806
3812
  itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -3808,7 +3814,7 @@ yyreduce:
3808
3814
  break;
3809
3815
 
3810
3816
  case 117:
3811
- #line 673 "itex2MML.y"
3817
+ #line 679 "itex2MML.y"
3812
3818
  {
3813
3819
  itex2MML_rowposn = 2;
3814
3820
  (yyval) = itex2MML_copy3("<mo maxsize=\"3em\" minsize=\"3em\">", (yyvsp[(2) - (2)]), "</mo>");
@@ -3817,7 +3823,7 @@ yyreduce:
3817
3823
  break;
3818
3824
 
3819
3825
  case 118:
3820
- #line 678 "itex2MML.y"
3826
+ #line 684 "itex2MML.y"
3821
3827
  {
3822
3828
  (yyval) = itex2MML_copy3("<mo maxsize=\"3em\" minsize=\"3em\">", (yyvsp[(2) - (2)]), "</mo>");
3823
3829
  itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -3825,7 +3831,7 @@ yyreduce:
3825
3831
  break;
3826
3832
 
3827
3833
  case 119:
3828
- #line 682 "itex2MML.y"
3834
+ #line 688 "itex2MML.y"
3829
3835
  {
3830
3836
  (yyval) = itex2MML_copy3("<mo maxsize=\"3em\" minsize=\"3em\">", (yyvsp[(2) - (2)]), "</mo>");
3831
3837
  itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -3833,7 +3839,7 @@ yyreduce:
3833
3839
  break;
3834
3840
 
3835
3841
  case 120:
3836
- #line 686 "itex2MML.y"
3842
+ #line 692 "itex2MML.y"
3837
3843
  {
3838
3844
  itex2MML_rowposn = 2;
3839
3845
  (yyval) = itex2MML_copy3("<mo maxsize=\"1.2em\" minsize=\"1.2em\">", (yyvsp[(2) - (2)]), "</mo>");
@@ -3842,7 +3848,7 @@ yyreduce:
3842
3848
  break;
3843
3849
 
3844
3850
  case 121:
3845
- #line 691 "itex2MML.y"
3851
+ #line 697 "itex2MML.y"
3846
3852
  {
3847
3853
  itex2MML_rowposn = 2;
3848
3854
  (yyval) = itex2MML_copy3("<mo maxsize=\"1.2em\" minsize=\"1.2em\">", (yyvsp[(2) - (2)]), "</mo>");
@@ -3851,7 +3857,7 @@ yyreduce:
3851
3857
  break;
3852
3858
 
3853
3859
  case 122:
3854
- #line 696 "itex2MML.y"
3860
+ #line 702 "itex2MML.y"
3855
3861
  {
3856
3862
  itex2MML_rowposn = 2;
3857
3863
  (yyval) = itex2MML_copy3("<mo maxsize=\"1.8em\" minsize=\"1.8em\">", (yyvsp[(2) - (2)]), "</mo>");
@@ -3860,7 +3866,7 @@ yyreduce:
3860
3866
  break;
3861
3867
 
3862
3868
  case 123:
3863
- #line 701 "itex2MML.y"
3869
+ #line 707 "itex2MML.y"
3864
3870
  {
3865
3871
  itex2MML_rowposn = 2;
3866
3872
  (yyval) = itex2MML_copy3("<mo maxsize=\"1.8em\" minsize=\"1.8em\">", (yyvsp[(2) - (2)]), "</mo>");
@@ -3869,7 +3875,7 @@ yyreduce:
3869
3875
  break;
3870
3876
 
3871
3877
  case 124:
3872
- #line 706 "itex2MML.y"
3878
+ #line 712 "itex2MML.y"
3873
3879
  {
3874
3880
  itex2MML_rowposn = 2;
3875
3881
  (yyval) = itex2MML_copy3("<mo maxsize=\"2.4em\" minsize=\"2.4em\">", (yyvsp[(2) - (2)]), "</mo>");
@@ -3878,7 +3884,7 @@ yyreduce:
3878
3884
  break;
3879
3885
 
3880
3886
  case 125:
3881
- #line 711 "itex2MML.y"
3887
+ #line 717 "itex2MML.y"
3882
3888
  {
3883
3889
  itex2MML_rowposn = 2;
3884
3890
  (yyval) = itex2MML_copy3("<mo maxsize=\"2.4em\" minsize=\"2.4em\">", (yyvsp[(2) - (2)]), "</mo>");
@@ -3887,7 +3893,7 @@ yyreduce:
3887
3893
  break;
3888
3894
 
3889
3895
  case 126:
3890
- #line 716 "itex2MML.y"
3896
+ #line 722 "itex2MML.y"
3891
3897
  {
3892
3898
  itex2MML_rowposn = 2;
3893
3899
  (yyval) = itex2MML_copy3("<mo maxsize=\"3em\" minsize=\"3em\">", (yyvsp[(2) - (2)]), "</mo>");
@@ -3896,7 +3902,7 @@ yyreduce:
3896
3902
  break;
3897
3903
 
3898
3904
  case 127:
3899
- #line 721 "itex2MML.y"
3905
+ #line 727 "itex2MML.y"
3900
3906
  {
3901
3907
  itex2MML_rowposn = 2;
3902
3908
  (yyval) = itex2MML_copy3("<mo maxsize=\"3em\" minsize=\"3em\">", (yyvsp[(2) - (2)]), "</mo>");
@@ -3905,28 +3911,28 @@ yyreduce:
3905
3911
  break;
3906
3912
 
3907
3913
  case 128:
3908
- #line 727 "itex2MML.y"
3914
+ #line 733 "itex2MML.y"
3909
3915
  {
3910
3916
  (yyval) = itex2MML_copy_string("<merror><mtext>Unknown character</mtext></merror>");
3911
3917
  }
3912
3918
  break;
3913
3919
 
3914
3920
  case 129:
3915
- #line 731 "itex2MML.y"
3921
+ #line 737 "itex2MML.y"
3916
3922
  {
3917
3923
  (yyval) = itex2MML_copy_string("<mo lspace=\"verythinmathspace\" rspace=\"0em\">&minus;</mo>");
3918
3924
  }
3919
3925
  break;
3920
3926
 
3921
3927
  case 130:
3922
- #line 735 "itex2MML.y"
3928
+ #line 741 "itex2MML.y"
3923
3929
  {
3924
3930
  (yyval) = itex2MML_copy_string("<mo lspace=\"verythinmathspace\" rspace=\"0em\">+</mo>");
3925
3931
  }
3926
3932
  break;
3927
3933
 
3928
3934
  case 132:
3929
- #line 741 "itex2MML.y"
3935
+ #line 747 "itex2MML.y"
3930
3936
  {
3931
3937
  itex2MML_rowposn=2;
3932
3938
  (yyval) = itex2MML_copy3("<mi>", (yyvsp[(1) - (1)]), "</mi>");
@@ -3935,7 +3941,7 @@ yyreduce:
3935
3941
  break;
3936
3942
 
3937
3943
  case 134:
3938
- #line 748 "itex2MML.y"
3944
+ #line 754 "itex2MML.y"
3939
3945
  {
3940
3946
  itex2MML_rowposn = 2;
3941
3947
  (yyval) = itex2MML_copy_string((yyvsp[(2) - (2)]));
@@ -3944,7 +3950,7 @@ yyreduce:
3944
3950
  break;
3945
3951
 
3946
3952
  case 135:
3947
- #line 754 "itex2MML.y"
3953
+ #line 760 "itex2MML.y"
3948
3954
  {
3949
3955
  itex2MML_rowposn = 2;
3950
3956
  (yyval) = itex2MML_copy3("<mo lspace=\"thinmathspace\" rspace=\"thinmathspace\">", (yyvsp[(1) - (1)]), "</mo>");
@@ -3953,7 +3959,7 @@ yyreduce:
3953
3959
  break;
3954
3960
 
3955
3961
  case 138:
3956
- #line 762 "itex2MML.y"
3962
+ #line 768 "itex2MML.y"
3957
3963
  {
3958
3964
  itex2MML_rowposn = 2;
3959
3965
  (yyval) = itex2MML_copy3("<mo>", (yyvsp[(1) - (1)]), "</mo>");
@@ -3962,7 +3968,7 @@ yyreduce:
3962
3968
  break;
3963
3969
 
3964
3970
  case 139:
3965
- #line 767 "itex2MML.y"
3971
+ #line 773 "itex2MML.y"
3966
3972
  {
3967
3973
  itex2MML_rowposn = 2;
3968
3974
  (yyval) = itex2MML_copy3("<mo>", (yyvsp[(1) - (1)]), "</mo>");
@@ -3971,7 +3977,7 @@ yyreduce:
3971
3977
  break;
3972
3978
 
3973
3979
  case 140:
3974
- #line 772 "itex2MML.y"
3980
+ #line 778 "itex2MML.y"
3975
3981
  {
3976
3982
  itex2MML_rowposn = 2;
3977
3983
  (yyval) = itex2MML_copy3("<mstyle scriptlevel=\"0\"><mo>", (yyvsp[(1) - (1)]), "</mo></mstyle>");
@@ -3980,7 +3986,7 @@ yyreduce:
3980
3986
  break;
3981
3987
 
3982
3988
  case 141:
3983
- #line 777 "itex2MML.y"
3989
+ #line 783 "itex2MML.y"
3984
3990
  {
3985
3991
  (yyval) = itex2MML_copy3("<mo stretchy=\"false\">", (yyvsp[(1) - (1)]), "</mo>");
3986
3992
  itex2MML_free_string((yyvsp[(1) - (1)]));
@@ -3988,7 +3994,7 @@ yyreduce:
3988
3994
  break;
3989
3995
 
3990
3996
  case 142:
3991
- #line 781 "itex2MML.y"
3997
+ #line 787 "itex2MML.y"
3992
3998
  {
3993
3999
  itex2MML_rowposn = 2;
3994
4000
  (yyval) = itex2MML_copy3("<mo stretchy=\"false\">", (yyvsp[(1) - (1)]), "</mo>");
@@ -3997,7 +4003,7 @@ yyreduce:
3997
4003
  break;
3998
4004
 
3999
4005
  case 143:
4000
- #line 786 "itex2MML.y"
4006
+ #line 792 "itex2MML.y"
4001
4007
  {
4002
4008
  (yyval) = itex2MML_copy3("<mo stretchy=\"false\">", (yyvsp[(1) - (1)]), "</mo>");
4003
4009
  itex2MML_free_string((yyvsp[(1) - (1)]));
@@ -4005,7 +4011,7 @@ yyreduce:
4005
4011
  break;
4006
4012
 
4007
4013
  case 144:
4008
- #line 790 "itex2MML.y"
4014
+ #line 796 "itex2MML.y"
4009
4015
  {
4010
4016
  (yyval) = itex2MML_copy3("<mo stretchy=\"false\">", (yyvsp[(1) - (1)]), "</mo>");
4011
4017
  itex2MML_free_string((yyvsp[(1) - (1)]));
@@ -4013,7 +4019,7 @@ yyreduce:
4013
4019
  break;
4014
4020
 
4015
4021
  case 145:
4016
- #line 794 "itex2MML.y"
4022
+ #line 800 "itex2MML.y"
4017
4023
  {
4018
4024
  (yyval) = itex2MML_copy3("<mo>", (yyvsp[(1) - (1)]), "</mo>");
4019
4025
  itex2MML_free_string((yyvsp[(1) - (1)]));
@@ -4021,7 +4027,7 @@ yyreduce:
4021
4027
  break;
4022
4028
 
4023
4029
  case 146:
4024
- #line 798 "itex2MML.y"
4030
+ #line 804 "itex2MML.y"
4025
4031
  {
4026
4032
  itex2MML_rowposn=2;
4027
4033
  (yyval) = itex2MML_copy3("<mo lspace=\"mediummathspace\" rspace=\"mediummathspace\">", (yyvsp[(1) - (1)]), "</mo>");
@@ -4030,7 +4036,7 @@ yyreduce:
4030
4036
  break;
4031
4037
 
4032
4038
  case 147:
4033
- #line 803 "itex2MML.y"
4039
+ #line 809 "itex2MML.y"
4034
4040
  {
4035
4041
  itex2MML_rowposn = 2;
4036
4042
  (yyval) = itex2MML_copy3("<mo lspace=\"0em\" rspace=\"thinmathspace\">", (yyvsp[(1) - (1)]), "</mo>");
@@ -4039,7 +4045,7 @@ yyreduce:
4039
4045
  break;
4040
4046
 
4041
4047
  case 148:
4042
- #line 808 "itex2MML.y"
4048
+ #line 814 "itex2MML.y"
4043
4049
  {
4044
4050
  itex2MML_rowposn = 2;
4045
4051
  (yyval) = itex2MML_copy3("<mo lspace=\"verythinmathspace\">", (yyvsp[(1) - (1)]), "</mo>");
@@ -4048,7 +4054,7 @@ yyreduce:
4048
4054
  break;
4049
4055
 
4050
4056
  case 149:
4051
- #line 813 "itex2MML.y"
4057
+ #line 819 "itex2MML.y"
4052
4058
  {
4053
4059
  itex2MML_rowposn = 2;
4054
4060
  (yyval) = itex2MML_copy3("<mo lspace=\"0em\" rspace=\"thinmathspace\">", (yyvsp[(2) - (2)]), "</mo>");
@@ -4057,7 +4063,7 @@ yyreduce:
4057
4063
  break;
4058
4064
 
4059
4065
  case 150:
4060
- #line 818 "itex2MML.y"
4066
+ #line 824 "itex2MML.y"
4061
4067
  {
4062
4068
  itex2MML_rowposn = 2;
4063
4069
  (yyval) = itex2MML_copy3("<mo lspace=\"thinmathspace\" rspace=\"thinmathspace\">", (yyvsp[(2) - (2)]), "</mo>");
@@ -4066,7 +4072,7 @@ yyreduce:
4066
4072
  break;
4067
4073
 
4068
4074
  case 151:
4069
- #line 823 "itex2MML.y"
4075
+ #line 829 "itex2MML.y"
4070
4076
  {
4071
4077
  itex2MML_rowposn = 2;
4072
4078
  (yyval) = itex2MML_copy3("<mo lspace=\"mediummathspace\" rspace=\"mediummathspace\">", (yyvsp[(2) - (2)]), "</mo>");
@@ -4075,7 +4081,7 @@ yyreduce:
4075
4081
  break;
4076
4082
 
4077
4083
  case 152:
4078
- #line 828 "itex2MML.y"
4084
+ #line 834 "itex2MML.y"
4079
4085
  {
4080
4086
  itex2MML_rowposn = 2;
4081
4087
  (yyval) = itex2MML_copy3("<mo lspace=\"thickmathspace\" rspace=\"thickmathspace\">", (yyvsp[(2) - (2)]), "</mo>");
@@ -4084,7 +4090,7 @@ yyreduce:
4084
4090
  break;
4085
4091
 
4086
4092
  case 153:
4087
- #line 834 "itex2MML.y"
4093
+ #line 840 "itex2MML.y"
4088
4094
  {
4089
4095
  char * s1 = itex2MML_copy3("<mspace height=\"", (yyvsp[(3) - (10)]), "ex\" depth=\"");
4090
4096
  char * s2 = itex2MML_copy3((yyvsp[(6) - (10)]), "ex\" width=\"", (yyvsp[(9) - (10)]));
@@ -4098,7 +4104,7 @@ yyreduce:
4098
4104
  break;
4099
4105
 
4100
4106
  case 154:
4101
- #line 845 "itex2MML.y"
4107
+ #line 851 "itex2MML.y"
4102
4108
  {
4103
4109
  char * s1 = itex2MML_copy3("<maction actiontype=\"statusline\">", (yyvsp[(3) - (3)]), "<mtext>");
4104
4110
  (yyval) = itex2MML_copy3(s1, (yyvsp[(2) - (3)]), "</mtext></maction>");
@@ -4109,7 +4115,7 @@ yyreduce:
4109
4115
  break;
4110
4116
 
4111
4117
  case 155:
4112
- #line 853 "itex2MML.y"
4118
+ #line 859 "itex2MML.y"
4113
4119
  {
4114
4120
  char * s1 = itex2MML_copy3("<maction actiontype=\"tooltip\">", (yyvsp[(3) - (3)]), "<mtext>");
4115
4121
  (yyval) = itex2MML_copy3(s1, (yyvsp[(2) - (3)]), "</mtext></maction>");
@@ -4120,7 +4126,7 @@ yyreduce:
4120
4126
  break;
4121
4127
 
4122
4128
  case 156:
4123
- #line 861 "itex2MML.y"
4129
+ #line 867 "itex2MML.y"
4124
4130
  {
4125
4131
  char * s1 = itex2MML_copy3("<maction actiontype=\"toggle\" selection=\"2\">", (yyvsp[(2) - (3)]), " ");
4126
4132
  (yyval) = itex2MML_copy3(s1, (yyvsp[(3) - (3)]), "</maction>");
@@ -4131,7 +4137,7 @@ yyreduce:
4131
4137
  break;
4132
4138
 
4133
4139
  case 157:
4134
- #line 869 "itex2MML.y"
4140
+ #line 875 "itex2MML.y"
4135
4141
  {
4136
4142
  char * s1 = itex2MML_copy3("<maction actiontype=\"highlight\" other='color=", (yyvsp[(2) - (3)]), "'>");
4137
4143
  (yyval) = itex2MML_copy3(s1, (yyvsp[(3) - (3)]), "</maction>");
@@ -4142,7 +4148,7 @@ yyreduce:
4142
4148
  break;
4143
4149
 
4144
4150
  case 158:
4145
- #line 877 "itex2MML.y"
4151
+ #line 883 "itex2MML.y"
4146
4152
  {
4147
4153
  char * s1 = itex2MML_copy3("<maction actiontype=\"highlight\" other='background=", (yyvsp[(2) - (3)]), "'>");
4148
4154
  (yyval) = itex2MML_copy3(s1, (yyvsp[(3) - (3)]), "</maction>");
@@ -4153,7 +4159,7 @@ yyreduce:
4153
4159
  break;
4154
4160
 
4155
4161
  case 159:
4156
- #line 885 "itex2MML.y"
4162
+ #line 891 "itex2MML.y"
4157
4163
  {
4158
4164
  char * s1 = itex2MML_copy3("<mstyle mathcolor=", (yyvsp[(2) - (3)]), ">");
4159
4165
  (yyval) = itex2MML_copy3(s1, (yyvsp[(3) - (3)]), "</mstyle>");
@@ -4164,7 +4170,7 @@ yyreduce:
4164
4170
  break;
4165
4171
 
4166
4172
  case 160:
4167
- #line 892 "itex2MML.y"
4173
+ #line 898 "itex2MML.y"
4168
4174
  {
4169
4175
  char * s1 = itex2MML_copy3("<mstyle mathbackground=", (yyvsp[(2) - (3)]), ">");
4170
4176
  (yyval) = itex2MML_copy3(s1, (yyvsp[(3) - (3)]), "</mstyle>");
@@ -4175,7 +4181,7 @@ yyreduce:
4175
4181
  break;
4176
4182
 
4177
4183
  case 161:
4178
- #line 900 "itex2MML.y"
4184
+ #line 906 "itex2MML.y"
4179
4185
  {
4180
4186
  (yyval) = itex2MML_copy3("<mpadded width=\"0\">", (yyvsp[(2) - (2)]), "</mpadded>");
4181
4187
  itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -4183,7 +4189,7 @@ yyreduce:
4183
4189
  break;
4184
4190
 
4185
4191
  case 162:
4186
- #line 905 "itex2MML.y"
4192
+ #line 911 "itex2MML.y"
4187
4193
  {
4188
4194
  (yyval) = itex2MML_copy3("<mpadded width=\"0\" lspace=\"-100%width\">", (yyvsp[(2) - (2)]), "</mpadded>");
4189
4195
  itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -4191,7 +4197,7 @@ yyreduce:
4191
4197
  break;
4192
4198
 
4193
4199
  case 163:
4194
- #line 910 "itex2MML.y"
4200
+ #line 916 "itex2MML.y"
4195
4201
  {
4196
4202
  (yyval) = itex2MML_copy3("<mpadded width=\"0\" lspace=\"-50%width\">", (yyvsp[(2) - (2)]), "</mpadded>");
4197
4203
  itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -4199,7 +4205,7 @@ yyreduce:
4199
4205
  break;
4200
4206
 
4201
4207
  case 164:
4202
- #line 915 "itex2MML.y"
4208
+ #line 921 "itex2MML.y"
4203
4209
  {
4204
4210
  (yyval) = itex2MML_copy3("<mtext>", (yyvsp[(2) - (2)]), "</mtext>");
4205
4211
  itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -4207,7 +4213,7 @@ yyreduce:
4207
4213
  break;
4208
4214
 
4209
4215
  case 165:
4210
- #line 920 "itex2MML.y"
4216
+ #line 926 "itex2MML.y"
4211
4217
  {
4212
4218
  (yyval) = itex2MML_copy3("<mstyle displaystyle=\"true\">", (yyvsp[(2) - (2)]), "</mstyle>");
4213
4219
  itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -4215,7 +4221,7 @@ yyreduce:
4215
4221
  break;
4216
4222
 
4217
4223
  case 166:
4218
- #line 925 "itex2MML.y"
4224
+ #line 931 "itex2MML.y"
4219
4225
  {
4220
4226
  (yyval) = itex2MML_copy3("<mstyle displaystyle=\"false\">", (yyvsp[(2) - (2)]), "</mstyle>");
4221
4227
  itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -4223,7 +4229,7 @@ yyreduce:
4223
4229
  break;
4224
4230
 
4225
4231
  case 167:
4226
- #line 930 "itex2MML.y"
4232
+ #line 936 "itex2MML.y"
4227
4233
  {
4228
4234
  (yyval) = itex2MML_copy3("<mstyle scriptlevel=\"0\">", (yyvsp[(2) - (2)]), "</mstyle>");
4229
4235
  itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -4231,7 +4237,7 @@ yyreduce:
4231
4237
  break;
4232
4238
 
4233
4239
  case 168:
4234
- #line 935 "itex2MML.y"
4240
+ #line 941 "itex2MML.y"
4235
4241
  {
4236
4242
  (yyval) = itex2MML_copy3("<mstyle scriptlevel=\"1\">", (yyvsp[(2) - (2)]), "</mstyle>");
4237
4243
  itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -4239,7 +4245,7 @@ yyreduce:
4239
4245
  break;
4240
4246
 
4241
4247
  case 169:
4242
- #line 940 "itex2MML.y"
4248
+ #line 946 "itex2MML.y"
4243
4249
  {
4244
4250
  (yyval) = itex2MML_copy3("<mstyle scriptlevel=\"2\">", (yyvsp[(2) - (2)]), "</mstyle>");
4245
4251
  itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -4247,7 +4253,7 @@ yyreduce:
4247
4253
  break;
4248
4254
 
4249
4255
  case 170:
4250
- #line 945 "itex2MML.y"
4256
+ #line 951 "itex2MML.y"
4251
4257
  {
4252
4258
  (yyval) = itex2MML_copy3("<mstyle mathvariant=\"italic\">", (yyvsp[(2) - (2)]), "</mstyle>");
4253
4259
  itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -4255,7 +4261,7 @@ yyreduce:
4255
4261
  break;
4256
4262
 
4257
4263
  case 171:
4258
- #line 950 "itex2MML.y"
4264
+ #line 956 "itex2MML.y"
4259
4265
  {
4260
4266
  (yyval) = itex2MML_copy3("<menclose notation=\"updiagonalstrike\">", (yyvsp[(2) - (2)]), "</menclose>");
4261
4267
  itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -4263,7 +4269,7 @@ yyreduce:
4263
4269
  break;
4264
4270
 
4265
4271
  case 172:
4266
- #line 955 "itex2MML.y"
4272
+ #line 961 "itex2MML.y"
4267
4273
  {
4268
4274
  (yyval) = itex2MML_copy3("<menclose notation=\"box\">", (yyvsp[(2) - (2)]), "</menclose>");
4269
4275
  itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -4271,7 +4277,7 @@ yyreduce:
4271
4277
  break;
4272
4278
 
4273
4279
  case 173:
4274
- #line 960 "itex2MML.y"
4280
+ #line 966 "itex2MML.y"
4275
4281
  {
4276
4282
  (yyval) = itex2MML_copy3("<mstyle mathvariant=\"bold\">", (yyvsp[(2) - (2)]), "</mstyle>");
4277
4283
  itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -4279,7 +4285,7 @@ yyreduce:
4279
4285
  break;
4280
4286
 
4281
4287
  case 174:
4282
- #line 965 "itex2MML.y"
4288
+ #line 971 "itex2MML.y"
4283
4289
  {
4284
4290
  (yyval) = itex2MML_copy3("<mi mathvariant=\"normal\">", (yyvsp[(3) - (4)]), "</mi>");
4285
4291
  itex2MML_free_string((yyvsp[(3) - (4)]));
@@ -4287,7 +4293,7 @@ yyreduce:
4287
4293
  break;
4288
4294
 
4289
4295
  case 175:
4290
- #line 970 "itex2MML.y"
4296
+ #line 976 "itex2MML.y"
4291
4297
  {
4292
4298
  (yyval) = itex2MML_copy_string((yyvsp[(1) - (1)]));
4293
4299
  itex2MML_free_string((yyvsp[(1) - (1)]));
@@ -4295,7 +4301,7 @@ yyreduce:
4295
4301
  break;
4296
4302
 
4297
4303
  case 176:
4298
- #line 974 "itex2MML.y"
4304
+ #line 980 "itex2MML.y"
4299
4305
  {
4300
4306
  (yyval) = itex2MML_copy2((yyvsp[(1) - (2)]), (yyvsp[(2) - (2)]));
4301
4307
  itex2MML_free_string((yyvsp[(1) - (2)]));
@@ -4304,7 +4310,7 @@ yyreduce:
4304
4310
  break;
4305
4311
 
4306
4312
  case 177:
4307
- #line 980 "itex2MML.y"
4313
+ #line 986 "itex2MML.y"
4308
4314
  {
4309
4315
  (yyval) = itex2MML_copy3("<mi>", (yyvsp[(3) - (4)]), "</mi>");
4310
4316
  itex2MML_free_string((yyvsp[(3) - (4)]));
@@ -4312,7 +4318,7 @@ yyreduce:
4312
4318
  break;
4313
4319
 
4314
4320
  case 178:
4315
- #line 985 "itex2MML.y"
4321
+ #line 991 "itex2MML.y"
4316
4322
  {
4317
4323
  (yyval) = itex2MML_copy_string((yyvsp[(1) - (1)]));
4318
4324
  itex2MML_free_string((yyvsp[(1) - (1)]));
@@ -4320,7 +4326,7 @@ yyreduce:
4320
4326
  break;
4321
4327
 
4322
4328
  case 179:
4323
- #line 989 "itex2MML.y"
4329
+ #line 995 "itex2MML.y"
4324
4330
  {
4325
4331
  (yyval) = itex2MML_copy2((yyvsp[(1) - (2)]), (yyvsp[(2) - (2)]));
4326
4332
  itex2MML_free_string((yyvsp[(1) - (2)]));
@@ -4329,7 +4335,7 @@ yyreduce:
4329
4335
  break;
4330
4336
 
4331
4337
  case 180:
4332
- #line 995 "itex2MML.y"
4338
+ #line 1001 "itex2MML.y"
4333
4339
  {
4334
4340
  (yyval) = itex2MML_copy3("&", (yyvsp[(1) - (1)]), "opf;");
4335
4341
  itex2MML_free_string((yyvsp[(1) - (1)]));
@@ -4337,7 +4343,7 @@ yyreduce:
4337
4343
  break;
4338
4344
 
4339
4345
  case 181:
4340
- #line 999 "itex2MML.y"
4346
+ #line 1005 "itex2MML.y"
4341
4347
  {
4342
4348
  (yyval) = itex2MML_copy3("&", (yyvsp[(1) - (1)]), "opf;");
4343
4349
  itex2MML_free_string((yyvsp[(1) - (1)]));
@@ -4345,7 +4351,7 @@ yyreduce:
4345
4351
  break;
4346
4352
 
4347
4353
  case 182:
4348
- #line 1003 "itex2MML.y"
4354
+ #line 1009 "itex2MML.y"
4349
4355
  {
4350
4356
  /* Blackboard digits 0-9 correspond to Unicode characters 0x1D7D8-0x1D7E1 */
4351
4357
  char * end = (yyvsp[(1) - (1)]) + 1;
@@ -4356,7 +4362,7 @@ yyreduce:
4356
4362
  break;
4357
4363
 
4358
4364
  case 183:
4359
- #line 1011 "itex2MML.y"
4365
+ #line 1017 "itex2MML.y"
4360
4366
  {
4361
4367
  (yyval) = itex2MML_copy3("<mi>", (yyvsp[(3) - (4)]), "</mi>");
4362
4368
  itex2MML_free_string((yyvsp[(3) - (4)]));
@@ -4364,7 +4370,7 @@ yyreduce:
4364
4370
  break;
4365
4371
 
4366
4372
  case 184:
4367
- #line 1016 "itex2MML.y"
4373
+ #line 1022 "itex2MML.y"
4368
4374
  {
4369
4375
  (yyval) = itex2MML_copy_string((yyvsp[(1) - (1)]));
4370
4376
  itex2MML_free_string((yyvsp[(1) - (1)]));
@@ -4372,7 +4378,7 @@ yyreduce:
4372
4378
  break;
4373
4379
 
4374
4380
  case 185:
4375
- #line 1020 "itex2MML.y"
4381
+ #line 1026 "itex2MML.y"
4376
4382
  {
4377
4383
  (yyval) = itex2MML_copy2((yyvsp[(1) - (2)]), (yyvsp[(2) - (2)]));
4378
4384
  itex2MML_free_string((yyvsp[(1) - (2)]));
@@ -4381,7 +4387,7 @@ yyreduce:
4381
4387
  break;
4382
4388
 
4383
4389
  case 186:
4384
- #line 1026 "itex2MML.y"
4390
+ #line 1032 "itex2MML.y"
4385
4391
  {
4386
4392
  (yyval) = itex2MML_copy3("&", (yyvsp[(1) - (1)]), "fr;");
4387
4393
  itex2MML_free_string((yyvsp[(1) - (1)]));
@@ -4389,7 +4395,7 @@ yyreduce:
4389
4395
  break;
4390
4396
 
4391
4397
  case 187:
4392
- #line 1031 "itex2MML.y"
4398
+ #line 1037 "itex2MML.y"
4393
4399
  {
4394
4400
  (yyval) = itex2MML_copy3("<mi>", (yyvsp[(3) - (4)]), "</mi>");
4395
4401
  itex2MML_free_string((yyvsp[(3) - (4)]));
@@ -4397,7 +4403,7 @@ yyreduce:
4397
4403
  break;
4398
4404
 
4399
4405
  case 188:
4400
- #line 1036 "itex2MML.y"
4406
+ #line 1042 "itex2MML.y"
4401
4407
  {
4402
4408
  (yyval) = itex2MML_copy_string((yyvsp[(1) - (1)]));
4403
4409
  itex2MML_free_string((yyvsp[(1) - (1)]));
@@ -4405,7 +4411,7 @@ yyreduce:
4405
4411
  break;
4406
4412
 
4407
4413
  case 189:
4408
- #line 1040 "itex2MML.y"
4414
+ #line 1046 "itex2MML.y"
4409
4415
  {
4410
4416
  (yyval) = itex2MML_copy2((yyvsp[(1) - (2)]), (yyvsp[(2) - (2)]));
4411
4417
  itex2MML_free_string((yyvsp[(1) - (2)]));
@@ -4414,7 +4420,7 @@ yyreduce:
4414
4420
  break;
4415
4421
 
4416
4422
  case 190:
4417
- #line 1046 "itex2MML.y"
4423
+ #line 1052 "itex2MML.y"
4418
4424
  {
4419
4425
  (yyval) = itex2MML_copy3("&", (yyvsp[(1) - (1)]), "scr;");
4420
4426
  itex2MML_free_string((yyvsp[(1) - (1)]));
@@ -4422,49 +4428,49 @@ yyreduce:
4422
4428
  break;
4423
4429
 
4424
4430
  case 191:
4425
- #line 1051 "itex2MML.y"
4431
+ #line 1057 "itex2MML.y"
4426
4432
  {
4427
4433
  (yyval) = itex2MML_copy_string("<mspace width=\"thinmathspace\"></mspace>");
4428
4434
  }
4429
4435
  break;
4430
4436
 
4431
4437
  case 192:
4432
- #line 1055 "itex2MML.y"
4438
+ #line 1061 "itex2MML.y"
4433
4439
  {
4434
4440
  (yyval) = itex2MML_copy_string("<mspace width=\"mediummathspace\"></mspace>");
4435
4441
  }
4436
4442
  break;
4437
4443
 
4438
4444
  case 193:
4439
- #line 1059 "itex2MML.y"
4445
+ #line 1065 "itex2MML.y"
4440
4446
  {
4441
4447
  (yyval) = itex2MML_copy_string("<mspace width=\"thickmathspace\"></mspace>");
4442
4448
  }
4443
4449
  break;
4444
4450
 
4445
4451
  case 194:
4446
- #line 1063 "itex2MML.y"
4452
+ #line 1069 "itex2MML.y"
4447
4453
  {
4448
4454
  (yyval) = itex2MML_copy_string("<mspace width=\"1em\"></mspace>");
4449
4455
  }
4450
4456
  break;
4451
4457
 
4452
4458
  case 195:
4453
- #line 1067 "itex2MML.y"
4459
+ #line 1073 "itex2MML.y"
4454
4460
  {
4455
4461
  (yyval) = itex2MML_copy_string("<mspace width=\"2em\"></mspace>");
4456
4462
  }
4457
4463
  break;
4458
4464
 
4459
4465
  case 196:
4460
- #line 1071 "itex2MML.y"
4466
+ #line 1077 "itex2MML.y"
4461
4467
  {
4462
4468
  (yyval) = itex2MML_copy_string("<mspace width=\"-0.1667 em\"></mspace>");
4463
4469
  }
4464
4470
  break;
4465
4471
 
4466
4472
  case 197:
4467
- #line 1075 "itex2MML.y"
4473
+ #line 1081 "itex2MML.y"
4468
4474
  {
4469
4475
  (yyval) = itex2MML_copy3("<mphantom>", (yyvsp[(2) - (2)]), "</mphantom>");
4470
4476
  itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -4472,7 +4478,7 @@ yyreduce:
4472
4478
  break;
4473
4479
 
4474
4480
  case 198:
4475
- #line 1080 "itex2MML.y"
4481
+ #line 1086 "itex2MML.y"
4476
4482
  {
4477
4483
  char * s1 = itex2MML_copy3("<mrow href=\"", (yyvsp[(2) - (3)]), "\" xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:type=\"simple\" xlink:href=\"");
4478
4484
  char * s2 = itex2MML_copy3(s1, (yyvsp[(2) - (3)]), "\">");
@@ -4485,7 +4491,7 @@ yyreduce:
4485
4491
  break;
4486
4492
 
4487
4493
  case 199:
4488
- #line 1090 "itex2MML.y"
4494
+ #line 1096 "itex2MML.y"
4489
4495
  {
4490
4496
  char * s1 = itex2MML_copy3("<mmultiscripts>", (yyvsp[(2) - (5)]), (yyvsp[(4) - (5)]));
4491
4497
  (yyval) = itex2MML_copy2(s1, "</mmultiscripts>");
@@ -4496,7 +4502,7 @@ yyreduce:
4496
4502
  break;
4497
4503
 
4498
4504
  case 200:
4499
- #line 1097 "itex2MML.y"
4505
+ #line 1103 "itex2MML.y"
4500
4506
  {
4501
4507
  char * s1 = itex2MML_copy3("<mmultiscripts>", (yyvsp[(2) - (3)]), (yyvsp[(3) - (3)]));
4502
4508
  (yyval) = itex2MML_copy2(s1, "</mmultiscripts>");
@@ -4507,7 +4513,7 @@ yyreduce:
4507
4513
  break;
4508
4514
 
4509
4515
  case 201:
4510
- #line 1105 "itex2MML.y"
4516
+ #line 1111 "itex2MML.y"
4511
4517
  {
4512
4518
  char * s1 = itex2MML_copy3("<mmultiscripts>", (yyvsp[(5) - (8)]), (yyvsp[(7) - (8)]));
4513
4519
  char * s2 = itex2MML_copy3("<mprescripts></mprescripts>", (yyvsp[(3) - (8)]), "</mmultiscripts>");
@@ -4521,7 +4527,7 @@ yyreduce:
4521
4527
  break;
4522
4528
 
4523
4529
  case 202:
4524
- #line 1115 "itex2MML.y"
4530
+ #line 1121 "itex2MML.y"
4525
4531
  {
4526
4532
  char * s1 = itex2MML_copy2("<mmultiscripts>", (yyvsp[(5) - (6)]));
4527
4533
  char * s2 = itex2MML_copy3("<mprescripts></mprescripts>", (yyvsp[(3) - (6)]), "</mmultiscripts>");
@@ -4534,7 +4540,7 @@ yyreduce:
4534
4540
  break;
4535
4541
 
4536
4542
  case 203:
4537
- #line 1124 "itex2MML.y"
4543
+ #line 1130 "itex2MML.y"
4538
4544
  {
4539
4545
  char * s1 = itex2MML_copy3("<mmultiscripts>", (yyvsp[(3) - (6)]), (yyvsp[(5) - (6)]));
4540
4546
  (yyval) = itex2MML_copy2(s1, "</mmultiscripts>");
@@ -4545,7 +4551,7 @@ yyreduce:
4545
4551
  break;
4546
4552
 
4547
4553
  case 204:
4548
- #line 1132 "itex2MML.y"
4554
+ #line 1138 "itex2MML.y"
4549
4555
  {
4550
4556
  (yyval) = itex2MML_copy_string((yyvsp[(1) - (1)]));
4551
4557
  itex2MML_free_string((yyvsp[(1) - (1)]));
@@ -4553,7 +4559,7 @@ yyreduce:
4553
4559
  break;
4554
4560
 
4555
4561
  case 205:
4556
- #line 1136 "itex2MML.y"
4562
+ #line 1142 "itex2MML.y"
4557
4563
  {
4558
4564
  (yyval) = itex2MML_copy3((yyvsp[(1) - (2)]), " ", (yyvsp[(2) - (2)]));
4559
4565
  itex2MML_free_string((yyvsp[(1) - (2)]));
@@ -4562,7 +4568,7 @@ yyreduce:
4562
4568
  break;
4563
4569
 
4564
4570
  case 206:
4565
- #line 1142 "itex2MML.y"
4571
+ #line 1148 "itex2MML.y"
4566
4572
  {
4567
4573
  (yyval) = itex2MML_copy3((yyvsp[(2) - (4)]), " ", (yyvsp[(4) - (4)]));
4568
4574
  itex2MML_free_string((yyvsp[(2) - (4)]));
@@ -4571,7 +4577,7 @@ yyreduce:
4571
4577
  break;
4572
4578
 
4573
4579
  case 207:
4574
- #line 1147 "itex2MML.y"
4580
+ #line 1153 "itex2MML.y"
4575
4581
  {
4576
4582
  (yyval) = itex2MML_copy2((yyvsp[(2) - (2)]), " <none></none>");
4577
4583
  itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -4579,7 +4585,7 @@ yyreduce:
4579
4585
  break;
4580
4586
 
4581
4587
  case 208:
4582
- #line 1151 "itex2MML.y"
4588
+ #line 1157 "itex2MML.y"
4583
4589
  {
4584
4590
  (yyval) = itex2MML_copy2("<none></none> ", (yyvsp[(2) - (2)]));
4585
4591
  itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -4587,7 +4593,7 @@ yyreduce:
4587
4593
  break;
4588
4594
 
4589
4595
  case 209:
4590
- #line 1155 "itex2MML.y"
4596
+ #line 1161 "itex2MML.y"
4591
4597
  {
4592
4598
  (yyval) = itex2MML_copy2("<none></none> ", (yyvsp[(3) - (3)]));
4593
4599
  itex2MML_free_string((yyvsp[(3) - (3)]));
@@ -4595,7 +4601,7 @@ yyreduce:
4595
4601
  break;
4596
4602
 
4597
4603
  case 210:
4598
- #line 1160 "itex2MML.y"
4604
+ #line 1166 "itex2MML.y"
4599
4605
  {
4600
4606
  char * s1 = itex2MML_copy3("<mfrac>", (yyvsp[(2) - (3)]), (yyvsp[(3) - (3)]));
4601
4607
  (yyval) = itex2MML_copy2(s1, "</mfrac>");
@@ -4606,7 +4612,7 @@ yyreduce:
4606
4612
  break;
4607
4613
 
4608
4614
  case 211:
4609
- #line 1167 "itex2MML.y"
4615
+ #line 1173 "itex2MML.y"
4610
4616
  {
4611
4617
  char * s1 = itex2MML_copy3("<mstyle displaystyle=\"false\"><mfrac>", (yyvsp[(2) - (3)]), (yyvsp[(3) - (3)]));
4612
4618
  (yyval) = itex2MML_copy2(s1, "</mfrac></mstyle>");
@@ -4617,7 +4623,7 @@ yyreduce:
4617
4623
  break;
4618
4624
 
4619
4625
  case 212:
4620
- #line 1175 "itex2MML.y"
4626
+ #line 1181 "itex2MML.y"
4621
4627
  {
4622
4628
  (yyval) = itex2MML_copy3( "<mo lspace=\"mediummathspace\">(</mo><mo rspace=\"thinmathspace\">mod</mo>", (yyvsp[(2) - (2)]), "<mo rspace=\"mediummathspace\">)</mo>");
4623
4629
  itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -4625,7 +4631,7 @@ yyreduce:
4625
4631
  break;
4626
4632
 
4627
4633
  case 213:
4628
- #line 1180 "itex2MML.y"
4634
+ #line 1186 "itex2MML.y"
4629
4635
  {
4630
4636
  char * s1 = itex2MML_copy3("<mfrac><mrow>", (yyvsp[(2) - (5)]), "</mrow><mrow>");
4631
4637
  (yyval) = itex2MML_copy3(s1, (yyvsp[(4) - (5)]), "</mrow></mfrac>");
@@ -4636,7 +4642,7 @@ yyreduce:
4636
4642
  break;
4637
4643
 
4638
4644
  case 214:
4639
- #line 1187 "itex2MML.y"
4645
+ #line 1193 "itex2MML.y"
4640
4646
  {
4641
4647
  char * s1 = itex2MML_copy3("<mrow>", (yyvsp[(1) - (5)]), "<mfrac><mrow>");
4642
4648
  char * s2 = itex2MML_copy3((yyvsp[(2) - (5)]), "</mrow><mrow>", (yyvsp[(4) - (5)]));
@@ -4653,7 +4659,7 @@ yyreduce:
4653
4659
  break;
4654
4660
 
4655
4661
  case 215:
4656
- #line 1201 "itex2MML.y"
4662
+ #line 1207 "itex2MML.y"
4657
4663
  {
4658
4664
  char * s1 = itex2MML_copy3("<mfrac linethickness=\"0\"><mrow>", (yyvsp[(2) - (5)]), "</mrow><mrow>");
4659
4665
  (yyval) = itex2MML_copy3(s1, (yyvsp[(4) - (5)]), "</mrow></mfrac>");
@@ -4664,7 +4670,7 @@ yyreduce:
4664
4670
  break;
4665
4671
 
4666
4672
  case 216:
4667
- #line 1208 "itex2MML.y"
4673
+ #line 1214 "itex2MML.y"
4668
4674
  {
4669
4675
  char * s1 = itex2MML_copy3("<mrow>", (yyvsp[(1) - (5)]), "<mfrac linethickness=\"0\"><mrow>");
4670
4676
  char * s2 = itex2MML_copy3((yyvsp[(2) - (5)]), "</mrow><mrow>", (yyvsp[(4) - (5)]));
@@ -4681,7 +4687,7 @@ yyreduce:
4681
4687
  break;
4682
4688
 
4683
4689
  case 217:
4684
- #line 1222 "itex2MML.y"
4690
+ #line 1228 "itex2MML.y"
4685
4691
  {
4686
4692
  char * s1 = itex2MML_copy3("<mrow><mo>(</mo><mfrac linethickness=\"0\">", (yyvsp[(2) - (3)]), (yyvsp[(3) - (3)]));
4687
4693
  (yyval) = itex2MML_copy2(s1, "</mfrac><mo>)</mo></mrow>");
@@ -4692,7 +4698,7 @@ yyreduce:
4692
4698
  break;
4693
4699
 
4694
4700
  case 218:
4695
- #line 1229 "itex2MML.y"
4701
+ #line 1235 "itex2MML.y"
4696
4702
  {
4697
4703
  char * s1 = itex2MML_copy3("<mrow><mo>(</mo><mstyle displaystyle=\"false\"><mfrac linethickness=\"0\">", (yyvsp[(2) - (3)]), (yyvsp[(3) - (3)]));
4698
4704
  (yyval) = itex2MML_copy2(s1, "</mfrac></mstyle><mo>)</mo></mrow>");
@@ -4703,7 +4709,7 @@ yyreduce:
4703
4709
  break;
4704
4710
 
4705
4711
  case 219:
4706
- #line 1237 "itex2MML.y"
4712
+ #line 1243 "itex2MML.y"
4707
4713
  {
4708
4714
  (yyval) = itex2MML_copy3("<munder>", (yyvsp[(2) - (2)]), "<mo>&UnderBrace;</mo></munder>");
4709
4715
  itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -4711,7 +4717,7 @@ yyreduce:
4711
4717
  break;
4712
4718
 
4713
4719
  case 220:
4714
- #line 1242 "itex2MML.y"
4720
+ #line 1248 "itex2MML.y"
4715
4721
  {
4716
4722
  (yyval) = itex2MML_copy3("<munder>", (yyvsp[(2) - (2)]), "<mo>&#x00332;</mo></munder>");
4717
4723
  itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -4719,7 +4725,7 @@ yyreduce:
4719
4725
  break;
4720
4726
 
4721
4727
  case 221:
4722
- #line 1247 "itex2MML.y"
4728
+ #line 1253 "itex2MML.y"
4723
4729
  {
4724
4730
  (yyval) = itex2MML_copy3("<mover>", (yyvsp[(2) - (2)]), "<mo>&OverBrace;</mo></mover>");
4725
4731
  itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -4727,7 +4733,7 @@ yyreduce:
4727
4733
  break;
4728
4734
 
4729
4735
  case 222:
4730
- #line 1252 "itex2MML.y"
4736
+ #line 1258 "itex2MML.y"
4731
4737
  {
4732
4738
  (yyval) = itex2MML_copy3("<mover>", (yyvsp[(2) - (2)]), "<mo stretchy=\"false\">&#x000AF;</mo></mover>");
4733
4739
  itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -4735,7 +4741,7 @@ yyreduce:
4735
4741
  break;
4736
4742
 
4737
4743
  case 223:
4738
- #line 1256 "itex2MML.y"
4744
+ #line 1262 "itex2MML.y"
4739
4745
  {
4740
4746
  (yyval) = itex2MML_copy3("<mover>", (yyvsp[(2) - (2)]), "<mo>&#x000AF;</mo></mover>");
4741
4747
  itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -4743,7 +4749,7 @@ yyreduce:
4743
4749
  break;
4744
4750
 
4745
4751
  case 224:
4746
- #line 1261 "itex2MML.y"
4752
+ #line 1267 "itex2MML.y"
4747
4753
  {
4748
4754
  (yyval) = itex2MML_copy3("<mover>", (yyvsp[(2) - (2)]), "<mo stretchy=\"false\">&RightVector;</mo></mover>");
4749
4755
  itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -4751,7 +4757,7 @@ yyreduce:
4751
4757
  break;
4752
4758
 
4753
4759
  case 225:
4754
- #line 1265 "itex2MML.y"
4760
+ #line 1271 "itex2MML.y"
4755
4761
  {
4756
4762
  (yyval) = itex2MML_copy3("<mover>", (yyvsp[(2) - (2)]), "<mo>&RightVector;</mo></mover>");
4757
4763
  itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -4759,7 +4765,7 @@ yyreduce:
4759
4765
  break;
4760
4766
 
4761
4767
  case 226:
4762
- #line 1270 "itex2MML.y"
4768
+ #line 1276 "itex2MML.y"
4763
4769
  {
4764
4770
  (yyval) = itex2MML_copy3("<mover>", (yyvsp[(2) - (2)]), "<mo>&dot;</mo></mover>");
4765
4771
  itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -4767,7 +4773,7 @@ yyreduce:
4767
4773
  break;
4768
4774
 
4769
4775
  case 227:
4770
- #line 1275 "itex2MML.y"
4776
+ #line 1281 "itex2MML.y"
4771
4777
  {
4772
4778
  (yyval) = itex2MML_copy3("<mover>", (yyvsp[(2) - (2)]), "<mo>&Dot;</mo></mover>");
4773
4779
  itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -4775,7 +4781,7 @@ yyreduce:
4775
4781
  break;
4776
4782
 
4777
4783
  case 228:
4778
- #line 1280 "itex2MML.y"
4784
+ #line 1286 "itex2MML.y"
4779
4785
  {
4780
4786
  (yyval) = itex2MML_copy3("<mover>", (yyvsp[(2) - (2)]), "<mo>&tdot;</mo></mover>");
4781
4787
  itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -4783,7 +4789,7 @@ yyreduce:
4783
4789
  break;
4784
4790
 
4785
4791
  case 229:
4786
- #line 1285 "itex2MML.y"
4792
+ #line 1291 "itex2MML.y"
4787
4793
  {
4788
4794
  (yyval) = itex2MML_copy3("<mover>", (yyvsp[(2) - (2)]), "<mo>&DotDot;</mo></mover>");
4789
4795
  itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -4791,7 +4797,7 @@ yyreduce:
4791
4797
  break;
4792
4798
 
4793
4799
  case 230:
4794
- #line 1290 "itex2MML.y"
4800
+ #line 1296 "itex2MML.y"
4795
4801
  {
4796
4802
  (yyval) = itex2MML_copy3("<mover>", (yyvsp[(2) - (2)]), "<mo stretchy=\"false\">&tilde;</mo></mover>");
4797
4803
  itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -4799,7 +4805,7 @@ yyreduce:
4799
4805
  break;
4800
4806
 
4801
4807
  case 231:
4802
- #line 1294 "itex2MML.y"
4808
+ #line 1300 "itex2MML.y"
4803
4809
  {
4804
4810
  (yyval) = itex2MML_copy3("<mover>", (yyvsp[(2) - (2)]), "<mo>&tilde;</mo></mover>");
4805
4811
  itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -4807,7 +4813,7 @@ yyreduce:
4807
4813
  break;
4808
4814
 
4809
4815
  case 232:
4810
- #line 1299 "itex2MML.y"
4816
+ #line 1305 "itex2MML.y"
4811
4817
  {
4812
4818
  (yyval) = itex2MML_copy3("<mover>", (yyvsp[(2) - (2)]), "<mo stretchy=\"false\">&#x2c7;</mo></mover>");
4813
4819
  itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -4815,7 +4821,7 @@ yyreduce:
4815
4821
  break;
4816
4822
 
4817
4823
  case 233:
4818
- #line 1303 "itex2MML.y"
4824
+ #line 1309 "itex2MML.y"
4819
4825
  {
4820
4826
  (yyval) = itex2MML_copy3("<mover>", (yyvsp[(2) - (2)]), "<mo>&#x2c7;</mo></mover>");
4821
4827
  itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -4823,7 +4829,7 @@ yyreduce:
4823
4829
  break;
4824
4830
 
4825
4831
  case 234:
4826
- #line 1308 "itex2MML.y"
4832
+ #line 1314 "itex2MML.y"
4827
4833
  {
4828
4834
  (yyval) = itex2MML_copy3("<mover>", (yyvsp[(2) - (2)]), "<mo stretchy=\"false\">&#x5E;</mo></mover>");
4829
4835
  itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -4831,7 +4837,7 @@ yyreduce:
4831
4837
  break;
4832
4838
 
4833
4839
  case 235:
4834
- #line 1312 "itex2MML.y"
4840
+ #line 1318 "itex2MML.y"
4835
4841
  {
4836
4842
  (yyval) = itex2MML_copy3("<mover>", (yyvsp[(2) - (2)]), "<mo>&#x5E;</mo></mover>");
4837
4843
  itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -4839,7 +4845,7 @@ yyreduce:
4839
4845
  break;
4840
4846
 
4841
4847
  case 236:
4842
- #line 1317 "itex2MML.y"
4848
+ #line 1323 "itex2MML.y"
4843
4849
  {
4844
4850
  (yyval) = itex2MML_copy3("<msqrt>", (yyvsp[(2) - (2)]), "</msqrt>");
4845
4851
  itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -4847,7 +4853,7 @@ yyreduce:
4847
4853
  break;
4848
4854
 
4849
4855
  case 237:
4850
- #line 1322 "itex2MML.y"
4856
+ #line 1328 "itex2MML.y"
4851
4857
  {
4852
4858
  char * s1 = itex2MML_copy3("<mroot>", (yyvsp[(5) - (5)]), (yyvsp[(3) - (5)]));
4853
4859
  (yyval) = itex2MML_copy2(s1, "</mroot>");
@@ -4858,7 +4864,7 @@ yyreduce:
4858
4864
  break;
4859
4865
 
4860
4866
  case 238:
4861
- #line 1329 "itex2MML.y"
4867
+ #line 1335 "itex2MML.y"
4862
4868
  {
4863
4869
  char * s1 = itex2MML_copy3("<mroot>", (yyvsp[(3) - (3)]), (yyvsp[(2) - (3)]));
4864
4870
  (yyval) = itex2MML_copy2(s1, "</mroot>");
@@ -4869,7 +4875,7 @@ yyreduce:
4869
4875
  break;
4870
4876
 
4871
4877
  case 239:
4872
- #line 1337 "itex2MML.y"
4878
+ #line 1343 "itex2MML.y"
4873
4879
  {
4874
4880
  char * s1 = itex2MML_copy3("<mpadded voffset='", (yyvsp[(2) - (5)]), "' height='");
4875
4881
  char * s2 = itex2MML_copy3(s1, (yyvsp[(3) - (5)]), "' depth='");
@@ -4886,7 +4892,7 @@ yyreduce:
4886
4892
  break;
4887
4893
 
4888
4894
  case 240:
4889
- #line 1350 "itex2MML.y"
4895
+ #line 1356 "itex2MML.y"
4890
4896
  {
4891
4897
  char * s1 = itex2MML_copy3("<mpadded voffset='-", (yyvsp[(3) - (6)]), "' height='");
4892
4898
  char * s2 = itex2MML_copy3(s1, (yyvsp[(4) - (6)]), "' depth='");
@@ -4903,7 +4909,7 @@ yyreduce:
4903
4909
  break;
4904
4910
 
4905
4911
  case 241:
4906
- #line 1363 "itex2MML.y"
4912
+ #line 1369 "itex2MML.y"
4907
4913
  {
4908
4914
  char * s1 = itex2MML_copy3("<mpadded voffset='", (yyvsp[(2) - (4)]), "' height='");
4909
4915
  char * s2 = itex2MML_copy3(s1, (yyvsp[(3) - (4)]), "' depth='depth'>");
@@ -4917,7 +4923,7 @@ yyreduce:
4917
4923
  break;
4918
4924
 
4919
4925
  case 242:
4920
- #line 1373 "itex2MML.y"
4926
+ #line 1379 "itex2MML.y"
4921
4927
  {
4922
4928
  char * s1 = itex2MML_copy3("<mpadded voffset='-", (yyvsp[(3) - (5)]), "' height='");
4923
4929
  char * s2 = itex2MML_copy3(s1, (yyvsp[(4) - (5)]), "' depth='+");
@@ -4933,7 +4939,7 @@ yyreduce:
4933
4939
  break;
4934
4940
 
4935
4941
  case 243:
4936
- #line 1385 "itex2MML.y"
4942
+ #line 1391 "itex2MML.y"
4937
4943
  {
4938
4944
  char * s1 = itex2MML_copy3("<mpadded voffset='", (yyvsp[(2) - (3)]), "' height='+");
4939
4945
  char * s2 = itex2MML_copy3(s1, (yyvsp[(2) - (3)]), "' depth='depth'>");
@@ -4946,7 +4952,7 @@ yyreduce:
4946
4952
  break;
4947
4953
 
4948
4954
  case 244:
4949
- #line 1394 "itex2MML.y"
4955
+ #line 1400 "itex2MML.y"
4950
4956
  {
4951
4957
  char * s1 = itex2MML_copy3("<mpadded voffset='-", (yyvsp[(3) - (4)]), "' height='0pt' depth='+");
4952
4958
  char * s2 = itex2MML_copy3(s1, (yyvsp[(3) - (4)]), "'>");
@@ -4959,7 +4965,7 @@ yyreduce:
4959
4965
  break;
4960
4966
 
4961
4967
  case 245:
4962
- #line 1404 "itex2MML.y"
4968
+ #line 1410 "itex2MML.y"
4963
4969
  {
4964
4970
  char * s1 = itex2MML_copy3("<munder><mo>", (yyvsp[(1) - (5)]), "</mo><mrow>");
4965
4971
  (yyval) = itex2MML_copy3(s1, (yyvsp[(3) - (5)]), "</mrow></munder>");
@@ -4970,7 +4976,7 @@ yyreduce:
4970
4976
  break;
4971
4977
 
4972
4978
  case 246:
4973
- #line 1411 "itex2MML.y"
4979
+ #line 1417 "itex2MML.y"
4974
4980
  {
4975
4981
  char * s1 = itex2MML_copy3("<munder>", (yyvsp[(3) - (3)]), (yyvsp[(2) - (3)]));
4976
4982
  (yyval) = itex2MML_copy2(s1, "</munder>");
@@ -4981,7 +4987,7 @@ yyreduce:
4981
4987
  break;
4982
4988
 
4983
4989
  case 247:
4984
- #line 1419 "itex2MML.y"
4990
+ #line 1425 "itex2MML.y"
4985
4991
  {
4986
4992
  char * s1 = itex2MML_copy3("<mover><mo>", (yyvsp[(1) - (2)]), "</mo>");
4987
4993
  (yyval) = itex2MML_copy3(s1, (yyvsp[(2) - (2)]), "</mover>");
@@ -4992,7 +4998,7 @@ yyreduce:
4992
4998
  break;
4993
4999
 
4994
5000
  case 248:
4995
- #line 1426 "itex2MML.y"
5001
+ #line 1432 "itex2MML.y"
4996
5002
  {
4997
5003
  char * s1 = itex2MML_copy3("<mover>", (yyvsp[(3) - (3)]), (yyvsp[(2) - (3)]));
4998
5004
  (yyval) = itex2MML_copy2(s1, "</mover>");
@@ -5003,7 +5009,7 @@ yyreduce:
5003
5009
  break;
5004
5010
 
5005
5011
  case 249:
5006
- #line 1434 "itex2MML.y"
5012
+ #line 1440 "itex2MML.y"
5007
5013
  {
5008
5014
  char * s1 = itex2MML_copy3("<munderover><mo>", (yyvsp[(1) - (5)]), "</mo><mrow>");
5009
5015
  char * s2 = itex2MML_copy3(s1, (yyvsp[(3) - (5)]), "</mrow>");
@@ -5017,7 +5023,7 @@ yyreduce:
5017
5023
  break;
5018
5024
 
5019
5025
  case 250:
5020
- #line 1444 "itex2MML.y"
5026
+ #line 1450 "itex2MML.y"
5021
5027
  {
5022
5028
  char * s1 = itex2MML_copy3("<munderover>", (yyvsp[(4) - (4)]), (yyvsp[(2) - (4)]));
5023
5029
  (yyval) = itex2MML_copy3(s1, (yyvsp[(3) - (4)]), "</munderover>");
@@ -5029,14 +5035,14 @@ yyreduce:
5029
5035
  break;
5030
5036
 
5031
5037
  case 251:
5032
- #line 1453 "itex2MML.y"
5038
+ #line 1459 "itex2MML.y"
5033
5039
  {
5034
5040
  (yyval) = itex2MML_copy_string("<mrow></mrow>");
5035
5041
  }
5036
5042
  break;
5037
5043
 
5038
5044
  case 252:
5039
- #line 1457 "itex2MML.y"
5045
+ #line 1463 "itex2MML.y"
5040
5046
  {
5041
5047
  (yyval) = itex2MML_copy3("<mrow><mtable rowspacing=\"0.5ex\">", (yyvsp[(3) - (5)]), "</mtable></mrow>");
5042
5048
  itex2MML_free_string((yyvsp[(3) - (5)]));
@@ -5044,7 +5050,7 @@ yyreduce:
5044
5050
  break;
5045
5051
 
5046
5052
  case 253:
5047
- #line 1461 "itex2MML.y"
5053
+ #line 1467 "itex2MML.y"
5048
5054
  {
5049
5055
  (yyval) = itex2MML_copy3("<mrow><mtable rowspacing=\"1.0ex\">", (yyvsp[(3) - (5)]), "</mtable></mrow>");
5050
5056
  itex2MML_free_string((yyvsp[(3) - (5)]));
@@ -5052,7 +5058,7 @@ yyreduce:
5052
5058
  break;
5053
5059
 
5054
5060
  case 254:
5055
- #line 1465 "itex2MML.y"
5061
+ #line 1471 "itex2MML.y"
5056
5062
  {
5057
5063
  (yyval) = itex2MML_copy3("<mrow><mo>(</mo><mrow><mtable rowspacing=\"0.5ex\">", (yyvsp[(3) - (5)]), "</mtable></mrow><mo>)</mo></mrow>");
5058
5064
  itex2MML_free_string((yyvsp[(3) - (5)]));
@@ -5060,7 +5066,7 @@ yyreduce:
5060
5066
  break;
5061
5067
 
5062
5068
  case 255:
5063
- #line 1469 "itex2MML.y"
5069
+ #line 1475 "itex2MML.y"
5064
5070
  {
5065
5071
  (yyval) = itex2MML_copy3("<mrow><mo>[</mo><mrow><mtable rowspacing=\"0.5ex\">", (yyvsp[(3) - (5)]), "</mtable></mrow><mo>]</mo></mrow>");
5066
5072
  itex2MML_free_string((yyvsp[(3) - (5)]));
@@ -5068,7 +5074,7 @@ yyreduce:
5068
5074
  break;
5069
5075
 
5070
5076
  case 256:
5071
- #line 1473 "itex2MML.y"
5077
+ #line 1479 "itex2MML.y"
5072
5078
  {
5073
5079
  (yyval) = itex2MML_copy3("<mrow><mo>&VerticalBar;</mo><mrow><mtable rowspacing=\"0.5ex\">", (yyvsp[(3) - (5)]), "</mtable></mrow><mo>&VerticalBar;</mo></mrow>");
5074
5080
  itex2MML_free_string((yyvsp[(3) - (5)]));
@@ -5076,7 +5082,7 @@ yyreduce:
5076
5082
  break;
5077
5083
 
5078
5084
  case 257:
5079
- #line 1477 "itex2MML.y"
5085
+ #line 1483 "itex2MML.y"
5080
5086
  {
5081
5087
  (yyval) = itex2MML_copy3("<mrow><mo>{</mo><mrow><mtable rowspacing=\"0.5ex\">", (yyvsp[(3) - (5)]), "</mtable></mrow><mo>}</mo></mrow>");
5082
5088
  itex2MML_free_string((yyvsp[(3) - (5)]));
@@ -5084,7 +5090,7 @@ yyreduce:
5084
5090
  break;
5085
5091
 
5086
5092
  case 258:
5087
- #line 1481 "itex2MML.y"
5093
+ #line 1487 "itex2MML.y"
5088
5094
  {
5089
5095
  (yyval) = itex2MML_copy3("<mrow><mo>&DoubleVerticalBar;</mo><mrow><mtable rowspacing=\"0.5ex\">", (yyvsp[(3) - (5)]), "</mtable></mrow><mo>&DoubleVerticalBar;</mo></mrow>");
5090
5096
  itex2MML_free_string((yyvsp[(3) - (5)]));
@@ -5092,7 +5098,7 @@ yyreduce:
5092
5098
  break;
5093
5099
 
5094
5100
  case 259:
5095
- #line 1485 "itex2MML.y"
5101
+ #line 1491 "itex2MML.y"
5096
5102
  {
5097
5103
  (yyval) = itex2MML_copy3("<mstyle scriptlevel=\"2\"><mrow><mtable rowspacing=\"0.5ex\">", (yyvsp[(3) - (5)]), "</mtable></mrow></mstyle>");
5098
5104
  itex2MML_free_string((yyvsp[(3) - (5)]));
@@ -5100,7 +5106,7 @@ yyreduce:
5100
5106
  break;
5101
5107
 
5102
5108
  case 260:
5103
- #line 1489 "itex2MML.y"
5109
+ #line 1495 "itex2MML.y"
5104
5110
  {
5105
5111
  (yyval) = itex2MML_copy3("<mrow><mo>{</mo><mrow><mtable columnalign=\"left left\">", (yyvsp[(3) - (5)]), "</mtable></mrow></mrow>");
5106
5112
  itex2MML_free_string((yyvsp[(3) - (5)]));
@@ -5108,7 +5114,7 @@ yyreduce:
5108
5114
  break;
5109
5115
 
5110
5116
  case 261:
5111
- #line 1493 "itex2MML.y"
5117
+ #line 1499 "itex2MML.y"
5112
5118
  {
5113
5119
  (yyval) = itex2MML_copy3("<mrow><mtable columnalign=\"right left right left right left right left right left\" columnspacing=\"0em\">", (yyvsp[(3) - (5)]), "</mtable></mrow>");
5114
5120
  itex2MML_free_string((yyvsp[(3) - (5)]));
@@ -5116,7 +5122,7 @@ yyreduce:
5116
5122
  break;
5117
5123
 
5118
5124
  case 262:
5119
- #line 1497 "itex2MML.y"
5125
+ #line 1503 "itex2MML.y"
5120
5126
  {
5121
5127
  char * s1 = itex2MML_copy3("<mtable rowspacing=\"0.5ex\" align=\"", (yyvsp[(3) - (9)]), "\" columnalign=\"");
5122
5128
  char * s2 = itex2MML_copy3(s1, (yyvsp[(5) - (9)]), "\">");
@@ -5130,7 +5136,7 @@ yyreduce:
5130
5136
  break;
5131
5137
 
5132
5138
  case 263:
5133
- #line 1507 "itex2MML.y"
5139
+ #line 1513 "itex2MML.y"
5134
5140
  {
5135
5141
  char * s1 = itex2MML_copy3("<mtable rowspacing=\"0.5ex\" columnalign=\"", (yyvsp[(4) - (8)]), "\">");
5136
5142
  (yyval) = itex2MML_copy3(s1, (yyvsp[(6) - (8)]), "</mtable>");
@@ -5141,7 +5147,7 @@ yyreduce:
5141
5147
  break;
5142
5148
 
5143
5149
  case 264:
5144
- #line 1514 "itex2MML.y"
5150
+ #line 1520 "itex2MML.y"
5145
5151
  {
5146
5152
  (yyval) = itex2MML_copy3("<semantics><annotation-xml encoding=\"SVG1.1\">", (yyvsp[(3) - (4)]), "</annotation-xml></semantics>");
5147
5153
  itex2MML_free_string((yyvsp[(3) - (4)]));
@@ -5149,14 +5155,14 @@ yyreduce:
5149
5155
  break;
5150
5156
 
5151
5157
  case 265:
5152
- #line 1518 "itex2MML.y"
5158
+ #line 1524 "itex2MML.y"
5153
5159
  {
5154
5160
  (yyval) = itex2MML_copy_string(" ");
5155
5161
  }
5156
5162
  break;
5157
5163
 
5158
5164
  case 266:
5159
- #line 1522 "itex2MML.y"
5165
+ #line 1528 "itex2MML.y"
5160
5166
  {
5161
5167
  (yyval) = itex2MML_copy3((yyvsp[(1) - (2)]), " ", (yyvsp[(2) - (2)]));
5162
5168
  itex2MML_free_string((yyvsp[(1) - (2)]));
@@ -5165,7 +5171,7 @@ yyreduce:
5165
5171
  break;
5166
5172
 
5167
5173
  case 267:
5168
- #line 1527 "itex2MML.y"
5174
+ #line 1533 "itex2MML.y"
5169
5175
  {
5170
5176
  (yyval) = itex2MML_copy_string((yyvsp[(1) - (1)]));
5171
5177
  itex2MML_free_string((yyvsp[(1) - (1)]));
@@ -5173,7 +5179,7 @@ yyreduce:
5173
5179
  break;
5174
5180
 
5175
5181
  case 268:
5176
- #line 1532 "itex2MML.y"
5182
+ #line 1538 "itex2MML.y"
5177
5183
  {
5178
5184
  (yyval) = itex2MML_copy3("<mrow><mtable columnalign=\"center\" rowspacing=\"0.5ex\">", (yyvsp[(3) - (4)]), "</mtable></mrow>");
5179
5185
  itex2MML_free_string((yyvsp[(3) - (4)]));
@@ -5181,7 +5187,7 @@ yyreduce:
5181
5187
  break;
5182
5188
 
5183
5189
  case 269:
5184
- #line 1537 "itex2MML.y"
5190
+ #line 1543 "itex2MML.y"
5185
5191
  {
5186
5192
  (yyval) = itex2MML_copy3("<mrow><mtable>", (yyvsp[(3) - (4)]), "</mtable></mrow>");
5187
5193
  itex2MML_free_string((yyvsp[(3) - (4)]));
@@ -5189,7 +5195,7 @@ yyreduce:
5189
5195
  break;
5190
5196
 
5191
5197
  case 270:
5192
- #line 1541 "itex2MML.y"
5198
+ #line 1547 "itex2MML.y"
5193
5199
  {
5194
5200
  char * s1 = itex2MML_copy3("<mrow><mtable ", (yyvsp[(5) - (8)]), ">");
5195
5201
  (yyval) = itex2MML_copy3(s1, (yyvsp[(7) - (8)]), "</mtable></mrow>");
@@ -5200,7 +5206,7 @@ yyreduce:
5200
5206
  break;
5201
5207
 
5202
5208
  case 271:
5203
- #line 1549 "itex2MML.y"
5209
+ #line 1555 "itex2MML.y"
5204
5210
  {
5205
5211
  (yyval) = itex2MML_copy_string((yyvsp[(1) - (1)]));
5206
5212
  itex2MML_free_string((yyvsp[(1) - (1)]));
@@ -5208,7 +5214,7 @@ yyreduce:
5208
5214
  break;
5209
5215
 
5210
5216
  case 272:
5211
- #line 1553 "itex2MML.y"
5217
+ #line 1559 "itex2MML.y"
5212
5218
  {
5213
5219
  (yyval) = itex2MML_copy3((yyvsp[(1) - (2)]), " ", (yyvsp[(2) - (2)]));
5214
5220
  itex2MML_free_string((yyvsp[(1) - (2)]));
@@ -5217,7 +5223,7 @@ yyreduce:
5217
5223
  break;
5218
5224
 
5219
5225
  case 273:
5220
- #line 1559 "itex2MML.y"
5226
+ #line 1565 "itex2MML.y"
5221
5227
  {
5222
5228
  (yyval) = itex2MML_copy_string((yyvsp[(1) - (1)]));
5223
5229
  itex2MML_free_string((yyvsp[(1) - (1)]));
@@ -5225,7 +5231,7 @@ yyreduce:
5225
5231
  break;
5226
5232
 
5227
5233
  case 274:
5228
- #line 1563 "itex2MML.y"
5234
+ #line 1569 "itex2MML.y"
5229
5235
  {
5230
5236
  (yyval) = itex2MML_copy_string((yyvsp[(1) - (1)]));
5231
5237
  itex2MML_free_string((yyvsp[(1) - (1)]));
@@ -5233,7 +5239,7 @@ yyreduce:
5233
5239
  break;
5234
5240
 
5235
5241
  case 275:
5236
- #line 1567 "itex2MML.y"
5242
+ #line 1573 "itex2MML.y"
5237
5243
  {
5238
5244
  (yyval) = itex2MML_copy_string((yyvsp[(1) - (1)]));
5239
5245
  itex2MML_free_string((yyvsp[(1) - (1)]));
@@ -5241,7 +5247,7 @@ yyreduce:
5241
5247
  break;
5242
5248
 
5243
5249
  case 276:
5244
- #line 1571 "itex2MML.y"
5250
+ #line 1577 "itex2MML.y"
5245
5251
  {
5246
5252
  (yyval) = itex2MML_copy_string((yyvsp[(1) - (1)]));
5247
5253
  itex2MML_free_string((yyvsp[(1) - (1)]));
@@ -5249,7 +5255,7 @@ yyreduce:
5249
5255
  break;
5250
5256
 
5251
5257
  case 277:
5252
- #line 1575 "itex2MML.y"
5258
+ #line 1581 "itex2MML.y"
5253
5259
  {
5254
5260
  (yyval) = itex2MML_copy_string((yyvsp[(1) - (1)]));
5255
5261
  itex2MML_free_string((yyvsp[(1) - (1)]));
@@ -5257,7 +5263,7 @@ yyreduce:
5257
5263
  break;
5258
5264
 
5259
5265
  case 278:
5260
- #line 1579 "itex2MML.y"
5266
+ #line 1585 "itex2MML.y"
5261
5267
  {
5262
5268
  (yyval) = itex2MML_copy_string((yyvsp[(1) - (1)]));
5263
5269
  itex2MML_free_string((yyvsp[(1) - (1)]));
@@ -5265,7 +5271,7 @@ yyreduce:
5265
5271
  break;
5266
5272
 
5267
5273
  case 279:
5268
- #line 1583 "itex2MML.y"
5274
+ #line 1589 "itex2MML.y"
5269
5275
  {
5270
5276
  (yyval) = itex2MML_copy_string((yyvsp[(1) - (1)]));
5271
5277
  itex2MML_free_string((yyvsp[(1) - (1)]));
@@ -5273,7 +5279,7 @@ yyreduce:
5273
5279
  break;
5274
5280
 
5275
5281
  case 280:
5276
- #line 1587 "itex2MML.y"
5282
+ #line 1593 "itex2MML.y"
5277
5283
  {
5278
5284
  (yyval) = itex2MML_copy_string((yyvsp[(1) - (1)]));
5279
5285
  itex2MML_free_string((yyvsp[(1) - (1)]));
@@ -5281,7 +5287,7 @@ yyreduce:
5281
5287
  break;
5282
5288
 
5283
5289
  case 281:
5284
- #line 1591 "itex2MML.y"
5290
+ #line 1597 "itex2MML.y"
5285
5291
  {
5286
5292
  (yyval) = itex2MML_copy_string((yyvsp[(1) - (1)]));
5287
5293
  itex2MML_free_string((yyvsp[(1) - (1)]));
@@ -5289,7 +5295,7 @@ yyreduce:
5289
5295
  break;
5290
5296
 
5291
5297
  case 282:
5292
- #line 1595 "itex2MML.y"
5298
+ #line 1601 "itex2MML.y"
5293
5299
  {
5294
5300
  (yyval) = itex2MML_copy_string((yyvsp[(1) - (1)]));
5295
5301
  itex2MML_free_string((yyvsp[(1) - (1)]));
@@ -5297,7 +5303,7 @@ yyreduce:
5297
5303
  break;
5298
5304
 
5299
5305
  case 283:
5300
- #line 1600 "itex2MML.y"
5306
+ #line 1606 "itex2MML.y"
5301
5307
  {
5302
5308
  (yyval) = itex2MML_copy2("columnalign=", (yyvsp[(2) - (2)]));
5303
5309
  itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -5305,7 +5311,7 @@ yyreduce:
5305
5311
  break;
5306
5312
 
5307
5313
  case 284:
5308
- #line 1605 "itex2MML.y"
5314
+ #line 1611 "itex2MML.y"
5309
5315
  {
5310
5316
  (yyval) = itex2MML_copy2("columnalign=", (yyvsp[(2) - (2)]));
5311
5317
  itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -5313,7 +5319,7 @@ yyreduce:
5313
5319
  break;
5314
5320
 
5315
5321
  case 285:
5316
- #line 1610 "itex2MML.y"
5322
+ #line 1616 "itex2MML.y"
5317
5323
  {
5318
5324
  (yyval) = itex2MML_copy2("rowalign=", (yyvsp[(2) - (2)]));
5319
5325
  itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -5321,7 +5327,7 @@ yyreduce:
5321
5327
  break;
5322
5328
 
5323
5329
  case 286:
5324
- #line 1615 "itex2MML.y"
5330
+ #line 1621 "itex2MML.y"
5325
5331
  {
5326
5332
  (yyval) = itex2MML_copy2("align=", (yyvsp[(2) - (2)]));
5327
5333
  itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -5329,7 +5335,7 @@ yyreduce:
5329
5335
  break;
5330
5336
 
5331
5337
  case 287:
5332
- #line 1620 "itex2MML.y"
5338
+ #line 1626 "itex2MML.y"
5333
5339
  {
5334
5340
  (yyval) = itex2MML_copy2("equalrows=", (yyvsp[(2) - (2)]));
5335
5341
  itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -5337,7 +5343,7 @@ yyreduce:
5337
5343
  break;
5338
5344
 
5339
5345
  case 288:
5340
- #line 1625 "itex2MML.y"
5346
+ #line 1631 "itex2MML.y"
5341
5347
  {
5342
5348
  (yyval) = itex2MML_copy2("equalcolumns=", (yyvsp[(2) - (2)]));
5343
5349
  itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -5345,7 +5351,7 @@ yyreduce:
5345
5351
  break;
5346
5352
 
5347
5353
  case 289:
5348
- #line 1630 "itex2MML.y"
5354
+ #line 1636 "itex2MML.y"
5349
5355
  {
5350
5356
  (yyval) = itex2MML_copy2("rowlines=", (yyvsp[(2) - (2)]));
5351
5357
  itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -5353,7 +5359,7 @@ yyreduce:
5353
5359
  break;
5354
5360
 
5355
5361
  case 290:
5356
- #line 1635 "itex2MML.y"
5362
+ #line 1641 "itex2MML.y"
5357
5363
  {
5358
5364
  (yyval) = itex2MML_copy2("columnlines=", (yyvsp[(2) - (2)]));
5359
5365
  itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -5361,7 +5367,7 @@ yyreduce:
5361
5367
  break;
5362
5368
 
5363
5369
  case 291:
5364
- #line 1640 "itex2MML.y"
5370
+ #line 1646 "itex2MML.y"
5365
5371
  {
5366
5372
  (yyval) = itex2MML_copy2("frame=", (yyvsp[(2) - (2)]));
5367
5373
  itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -5369,7 +5375,7 @@ yyreduce:
5369
5375
  break;
5370
5376
 
5371
5377
  case 292:
5372
- #line 1645 "itex2MML.y"
5378
+ #line 1651 "itex2MML.y"
5373
5379
  {
5374
5380
  char * s1 = itex2MML_copy3("rowspacing=", (yyvsp[(2) - (2)]), " columnspacing=");
5375
5381
  (yyval) = itex2MML_copy2(s1, (yyvsp[(2) - (2)]));
@@ -5379,7 +5385,7 @@ yyreduce:
5379
5385
  break;
5380
5386
 
5381
5387
  case 293:
5382
- #line 1652 "itex2MML.y"
5388
+ #line 1658 "itex2MML.y"
5383
5389
  {
5384
5390
  (yyval) = itex2MML_copy_string((yyvsp[(1) - (1)]));
5385
5391
  itex2MML_free_string((yyvsp[(1) - (1)]));
@@ -5387,7 +5393,7 @@ yyreduce:
5387
5393
  break;
5388
5394
 
5389
5395
  case 294:
5390
- #line 1656 "itex2MML.y"
5396
+ #line 1662 "itex2MML.y"
5391
5397
  {
5392
5398
  (yyval) = itex2MML_copy3((yyvsp[(1) - (3)]), " ", (yyvsp[(3) - (3)]));
5393
5399
  itex2MML_free_string((yyvsp[(1) - (3)]));
@@ -5396,7 +5402,7 @@ yyreduce:
5396
5402
  break;
5397
5403
 
5398
5404
  case 295:
5399
- #line 1662 "itex2MML.y"
5405
+ #line 1668 "itex2MML.y"
5400
5406
  {
5401
5407
  (yyval) = itex2MML_copy3("<mtr>", (yyvsp[(1) - (1)]), "</mtr>");
5402
5408
  itex2MML_free_string((yyvsp[(1) - (1)]));
@@ -5404,7 +5410,7 @@ yyreduce:
5404
5410
  break;
5405
5411
 
5406
5412
  case 296:
5407
- #line 1666 "itex2MML.y"
5413
+ #line 1672 "itex2MML.y"
5408
5414
  {
5409
5415
  (yyval) = itex2MML_copy_string((yyvsp[(1) - (1)]));
5410
5416
  itex2MML_free_string((yyvsp[(1) - (1)]));
@@ -5412,7 +5418,7 @@ yyreduce:
5412
5418
  break;
5413
5419
 
5414
5420
  case 297:
5415
- #line 1671 "itex2MML.y"
5421
+ #line 1677 "itex2MML.y"
5416
5422
  {
5417
5423
  (yyval) = itex2MML_copy_string((yyvsp[(1) - (1)]));
5418
5424
  itex2MML_free_string((yyvsp[(1) - (1)]));
@@ -5420,7 +5426,7 @@ yyreduce:
5420
5426
  break;
5421
5427
 
5422
5428
  case 298:
5423
- #line 1675 "itex2MML.y"
5429
+ #line 1681 "itex2MML.y"
5424
5430
  {
5425
5431
  (yyval) = itex2MML_copy3((yyvsp[(1) - (3)]), " ", (yyvsp[(3) - (3)]));
5426
5432
  itex2MML_free_string((yyvsp[(1) - (3)]));
@@ -5429,7 +5435,7 @@ yyreduce:
5429
5435
  break;
5430
5436
 
5431
5437
  case 299:
5432
- #line 1681 "itex2MML.y"
5438
+ #line 1687 "itex2MML.y"
5433
5439
  {
5434
5440
  char * s1 = itex2MML_copy3("<mtr ", (yyvsp[(3) - (5)]), ">");
5435
5441
  (yyval) = itex2MML_copy3(s1, (yyvsp[(5) - (5)]), "</mtr>");
@@ -5440,7 +5446,7 @@ yyreduce:
5440
5446
  break;
5441
5447
 
5442
5448
  case 300:
5443
- #line 1689 "itex2MML.y"
5449
+ #line 1695 "itex2MML.y"
5444
5450
  {
5445
5451
  (yyval) = itex2MML_copy_string((yyvsp[(1) - (1)]));
5446
5452
  itex2MML_free_string((yyvsp[(1) - (1)]));
@@ -5448,7 +5454,7 @@ yyreduce:
5448
5454
  break;
5449
5455
 
5450
5456
  case 301:
5451
- #line 1693 "itex2MML.y"
5457
+ #line 1699 "itex2MML.y"
5452
5458
  {
5453
5459
  (yyval) = itex2MML_copy3((yyvsp[(1) - (2)]), " ", (yyvsp[(2) - (2)]));
5454
5460
  itex2MML_free_string((yyvsp[(1) - (2)]));
@@ -5457,7 +5463,7 @@ yyreduce:
5457
5463
  break;
5458
5464
 
5459
5465
  case 302:
5460
- #line 1699 "itex2MML.y"
5466
+ #line 1705 "itex2MML.y"
5461
5467
  {
5462
5468
  (yyval) = itex2MML_copy_string((yyvsp[(1) - (1)]));
5463
5469
  itex2MML_free_string((yyvsp[(1) - (1)]));
@@ -5465,7 +5471,7 @@ yyreduce:
5465
5471
  break;
5466
5472
 
5467
5473
  case 303:
5468
- #line 1703 "itex2MML.y"
5474
+ #line 1709 "itex2MML.y"
5469
5475
  {
5470
5476
  (yyval) = itex2MML_copy_string((yyvsp[(1) - (1)]));
5471
5477
  itex2MML_free_string((yyvsp[(1) - (1)]));
@@ -5473,14 +5479,14 @@ yyreduce:
5473
5479
  break;
5474
5480
 
5475
5481
  case 304:
5476
- #line 1708 "itex2MML.y"
5482
+ #line 1714 "itex2MML.y"
5477
5483
  {
5478
5484
  (yyval) = itex2MML_copy_string("<mtd></mtd>");
5479
5485
  }
5480
5486
  break;
5481
5487
 
5482
5488
  case 305:
5483
- #line 1711 "itex2MML.y"
5489
+ #line 1717 "itex2MML.y"
5484
5490
  {
5485
5491
  (yyval) = itex2MML_copy3("<mtd>", (yyvsp[(1) - (1)]), "</mtd>");
5486
5492
  itex2MML_free_string((yyvsp[(1) - (1)]));
@@ -5488,7 +5494,7 @@ yyreduce:
5488
5494
  break;
5489
5495
 
5490
5496
  case 306:
5491
- #line 1715 "itex2MML.y"
5497
+ #line 1721 "itex2MML.y"
5492
5498
  {
5493
5499
  char * s1 = itex2MML_copy3("<mtd ", (yyvsp[(3) - (5)]), ">");
5494
5500
  (yyval) = itex2MML_copy3(s1, (yyvsp[(5) - (5)]), "</mtd>");
@@ -5499,7 +5505,7 @@ yyreduce:
5499
5505
  break;
5500
5506
 
5501
5507
  case 307:
5502
- #line 1723 "itex2MML.y"
5508
+ #line 1729 "itex2MML.y"
5503
5509
  {
5504
5510
  (yyval) = itex2MML_copy_string((yyvsp[(1) - (1)]));
5505
5511
  itex2MML_free_string((yyvsp[(1) - (1)]));
@@ -5507,7 +5513,7 @@ yyreduce:
5507
5513
  break;
5508
5514
 
5509
5515
  case 308:
5510
- #line 1727 "itex2MML.y"
5516
+ #line 1733 "itex2MML.y"
5511
5517
  {
5512
5518
  (yyval) = itex2MML_copy3((yyvsp[(1) - (2)]), " ", (yyvsp[(2) - (2)]));
5513
5519
  itex2MML_free_string((yyvsp[(1) - (2)]));
@@ -5516,7 +5522,7 @@ yyreduce:
5516
5522
  break;
5517
5523
 
5518
5524
  case 309:
5519
- #line 1733 "itex2MML.y"
5525
+ #line 1739 "itex2MML.y"
5520
5526
  {
5521
5527
  (yyval) = itex2MML_copy_string((yyvsp[(1) - (1)]));
5522
5528
  itex2MML_free_string((yyvsp[(1) - (1)]));
@@ -5524,7 +5530,7 @@ yyreduce:
5524
5530
  break;
5525
5531
 
5526
5532
  case 310:
5527
- #line 1737 "itex2MML.y"
5533
+ #line 1743 "itex2MML.y"
5528
5534
  {
5529
5535
  (yyval) = itex2MML_copy_string((yyvsp[(1) - (1)]));
5530
5536
  itex2MML_free_string((yyvsp[(1) - (1)]));
@@ -5532,7 +5538,7 @@ yyreduce:
5532
5538
  break;
5533
5539
 
5534
5540
  case 311:
5535
- #line 1741 "itex2MML.y"
5541
+ #line 1747 "itex2MML.y"
5536
5542
  {
5537
5543
  (yyval) = itex2MML_copy_string((yyvsp[(1) - (1)]));
5538
5544
  itex2MML_free_string((yyvsp[(1) - (1)]));
@@ -5540,7 +5546,7 @@ yyreduce:
5540
5546
  break;
5541
5547
 
5542
5548
  case 312:
5543
- #line 1745 "itex2MML.y"
5549
+ #line 1751 "itex2MML.y"
5544
5550
  {
5545
5551
  (yyval) = itex2MML_copy_string((yyvsp[(1) - (1)]));
5546
5552
  itex2MML_free_string((yyvsp[(1) - (1)]));
@@ -5548,7 +5554,7 @@ yyreduce:
5548
5554
  break;
5549
5555
 
5550
5556
  case 313:
5551
- #line 1750 "itex2MML.y"
5557
+ #line 1756 "itex2MML.y"
5552
5558
  {
5553
5559
  (yyval) = itex2MML_copy2("rowspan=", (yyvsp[(2) - (2)]));
5554
5560
  itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -5556,7 +5562,7 @@ yyreduce:
5556
5562
  break;
5557
5563
 
5558
5564
  case 314:
5559
- #line 1755 "itex2MML.y"
5565
+ #line 1761 "itex2MML.y"
5560
5566
  {
5561
5567
  (yyval) = itex2MML_copy2("columnspan=", (yyvsp[(2) - (2)]));
5562
5568
  itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -5565,7 +5571,7 @@ yyreduce:
5565
5571
 
5566
5572
 
5567
5573
  /* Line 1267 of yacc.c. */
5568
- #line 5569 "y.tab.c"
5574
+ #line 5575 "y.tab.c"
5569
5575
  default: break;
5570
5576
  }
5571
5577
  YY_SYMBOL_PRINT ("-> $$ =", yyr1[yyn], &yyval, &yyloc);
@@ -5779,7 +5785,7 @@ yyreturn:
5779
5785
  }
5780
5786
 
5781
5787
 
5782
- #line 1760 "itex2MML.y"
5788
+ #line 1766 "itex2MML.y"
5783
5789
 
5784
5790
 
5785
5791
  char * itex2MML_parse (const char * buffer, unsigned long length)