itextomml 1.6.0 → 1.6.1

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 (6) hide show
  1. checksums.yaml +4 -4
  2. data/ext/itex2MML.h +3 -3
  3. data/ext/lex.yy.c +3624 -3300
  4. data/ext/y.tab.c +523 -518
  5. data/ext/y.tab.h +1 -1
  6. metadata +3 -3
data/ext/y.tab.c CHANGED
@@ -1,4 +1,4 @@
1
- /* A Bison parser, made by GNU Bison 3.3.1. */
1
+ /* A Bison parser, made by GNU Bison 3.4.2. */
2
2
 
3
3
  /* Bison implementation for Yacc-like parsers in C
4
4
 
@@ -48,7 +48,7 @@
48
48
  #define YYBISON 1
49
49
 
50
50
  /* Bison version. */
51
- #define YYBISON_VERSION "3.3.1"
51
+ #define YYBISON_VERSION "3.4.2"
52
52
 
53
53
  /* Skeleton name. */
54
54
  #define YYSKELETON_NAME "yacc.c"
@@ -74,7 +74,7 @@
74
74
  #define yychar itex2MML_yychar
75
75
 
76
76
  /* First part of user prologue. */
77
- #line 7 "itex2MML.y" /* yacc.c:337 */
77
+ #line 7 "itex2MML.y"
78
78
 
79
79
  #include <stdio.h>
80
80
  #include <string.h>
@@ -349,7 +349,8 @@
349
349
  }
350
350
 
351
351
 
352
- #line 353 "y.tab.c" /* yacc.c:337 */
352
+ #line 353 "y.tab.c"
353
+
353
354
  # ifndef YY_NULLPTR
354
355
  # if defined __cplusplus
355
356
  # if 201103L <= __cplusplus
@@ -370,8 +371,8 @@
370
371
  # define YYERROR_VERBOSE 0
371
372
  #endif
372
373
 
373
- /* In a future release of Bison, this section will be replaced
374
- by #include "y.tab.h". */
374
+ /* Use api.header.include to #include this header
375
+ instead of duplicating it here. */
375
376
  #ifndef YY_ITEX2MML_YY_Y_TAB_H_INCLUDED
376
377
  # define YY_ITEX2MML_YY_Y_TAB_H_INCLUDED
377
378
  /* Debug traces. */
@@ -851,6 +852,8 @@ typedef short yytype_int16;
851
852
  #endif
852
853
 
853
854
 
855
+ #define YY_ASSERT(E) ((void) (0 && (E)))
856
+
854
857
  #if ! defined yyoverflow || YYERROR_VERBOSE
855
858
 
856
859
  /* The parser invokes alloca or malloc; define the necessary symbols. */
@@ -2630,7 +2633,9 @@ yy_symbol_value_print (FILE *yyo, int yytype, YYSTYPE const * const yyvaluep, ch
2630
2633
  if (yytype < YYNTOKENS)
2631
2634
  YYPRINT (yyo, yytoknum[yytype], *yyvaluep);
2632
2635
  # endif
2636
+ YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN
2633
2637
  YYUSE (yytype);
2638
+ YY_IGNORE_MAYBE_UNINITIALIZED_END
2634
2639
  }
2635
2640
 
2636
2641
 
@@ -3064,6 +3069,8 @@ yynewstate:
3064
3069
  | yynewstate -- set current state (the top of the stack) to yystate. |
3065
3070
  `--------------------------------------------------------------------*/
3066
3071
  yysetstate:
3072
+ YYDPRINTF ((stderr, "Entering state %d\n", yystate));
3073
+ YY_ASSERT (0 <= yystate && yystate < YYNSTATES);
3067
3074
  *yyssp = (yytype_int16) yystate;
3068
3075
 
3069
3076
  if (yyss + yystacksize - 1 <= yyssp)
@@ -3126,8 +3133,6 @@ yysetstate:
3126
3133
  }
3127
3134
  #endif /* !defined yyoverflow && !defined YYSTACK_RELOCATE */
3128
3135
 
3129
- YYDPRINTF ((stderr, "Entering state %d\n", yystate));
3130
-
3131
3136
  if (yystate == YYFINAL)
3132
3137
  YYACCEPT;
3133
3138
 
@@ -3195,7 +3200,6 @@ yybackup:
3195
3200
  YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN
3196
3201
  *++yyvsp = yylval;
3197
3202
  YY_IGNORE_MAYBE_UNINITIALIZED_END
3198
-
3199
3203
  goto yynewstate;
3200
3204
 
3201
3205
 
@@ -3230,62 +3234,62 @@ yyreduce:
3230
3234
  YY_REDUCE_PRINT (yyn);
3231
3235
  switch (yyn)
3232
3236
  {
3233
- case 2:
3234
- #line 287 "itex2MML.y" /* yacc.c:1652 */
3237
+ case 2:
3238
+ #line 287 "itex2MML.y"
3235
3239
  {/* all processing done in body*/}
3236
- #line 3237 "y.tab.c" /* yacc.c:1652 */
3240
+ #line 3241 "y.tab.c"
3237
3241
  break;
3238
3242
 
3239
3243
  case 3:
3240
- #line 290 "itex2MML.y" /* yacc.c:1652 */
3244
+ #line 290 "itex2MML.y"
3241
3245
  {/* nothing - do nothing*/}
3242
- #line 3243 "y.tab.c" /* yacc.c:1652 */
3246
+ #line 3247 "y.tab.c"
3243
3247
  break;
3244
3248
 
3245
3249
  case 4:
3246
- #line 291 "itex2MML.y" /* yacc.c:1652 */
3250
+ #line 291 "itex2MML.y"
3247
3251
  {/* proc done in body*/}
3248
- #line 3249 "y.tab.c" /* yacc.c:1652 */
3252
+ #line 3253 "y.tab.c"
3249
3253
  break;
3250
3254
 
3251
3255
  case 5:
3252
- #line 292 "itex2MML.y" /* yacc.c:1652 */
3256
+ #line 292 "itex2MML.y"
3253
3257
  {/* all proc. in body*/}
3254
- #line 3255 "y.tab.c" /* yacc.c:1652 */
3258
+ #line 3259 "y.tab.c"
3255
3259
  break;
3256
3260
 
3257
3261
  case 6:
3258
- #line 293 "itex2MML.y" /* yacc.c:1652 */
3262
+ #line 293 "itex2MML.y"
3259
3263
  {/* all proc. in body*/}
3260
- #line 3261 "y.tab.c" /* yacc.c:1652 */
3264
+ #line 3265 "y.tab.c"
3261
3265
  break;
3262
3266
 
3263
3267
  case 7:
3264
- #line 294 "itex2MML.y" /* yacc.c:1652 */
3268
+ #line 294 "itex2MML.y"
3265
3269
  {/* all proc. in body*/}
3266
- #line 3267 "y.tab.c" /* yacc.c:1652 */
3270
+ #line 3271 "y.tab.c"
3267
3271
  break;
3268
3272
 
3269
3273
  case 8:
3270
- #line 296 "itex2MML.y" /* yacc.c:1652 */
3274
+ #line 296 "itex2MML.y"
3271
3275
  {printf("%s", yyvsp[0]);}
3272
- #line 3273 "y.tab.c" /* yacc.c:1652 */
3276
+ #line 3277 "y.tab.c"
3273
3277
  break;
3274
3278
 
3275
3279
  case 9:
3276
- #line 298 "itex2MML.y" /* yacc.c:1652 */
3280
+ #line 298 "itex2MML.y"
3277
3281
  {/* empty math group - ignore*/}
3278
- #line 3279 "y.tab.c" /* yacc.c:1652 */
3282
+ #line 3283 "y.tab.c"
3279
3283
  break;
3280
3284
 
3281
3285
  case 10:
3282
- #line 299 "itex2MML.y" /* yacc.c:1652 */
3286
+ #line 299 "itex2MML.y"
3283
3287
  {/* ditto */}
3284
- #line 3285 "y.tab.c" /* yacc.c:1652 */
3288
+ #line 3289 "y.tab.c"
3285
3289
  break;
3286
3290
 
3287
3291
  case 11:
3288
- #line 300 "itex2MML.y" /* yacc.c:1652 */
3292
+ #line 300 "itex2MML.y"
3289
3293
  {
3290
3294
  char ** r = (char **) ret_str;
3291
3295
  char * p = itex2MML_copy3("<math xmlns='http://www.w3.org/1998/Math/MathML' display='inline'><semantics><mrow>", yyvsp[-1], "</mrow><annotation encoding='application/x-tex'>");
@@ -3302,11 +3306,11 @@ yyreduce:
3302
3306
  itex2MML_free_string(s);
3303
3307
  }
3304
3308
  }
3305
- #line 3306 "y.tab.c" /* yacc.c:1652 */
3309
+ #line 3310 "y.tab.c"
3306
3310
  break;
3307
3311
 
3308
3312
  case 12:
3309
- #line 316 "itex2MML.y" /* yacc.c:1652 */
3313
+ #line 316 "itex2MML.y"
3310
3314
  {
3311
3315
  char ** r = (char **) ret_str;
3312
3316
  char * p = itex2MML_copy3("<math xmlns='http://www.w3.org/1998/Math/MathML' display='block'><semantics><mrow>", yyvsp[-1], "</mrow><annotation encoding='application/x-tex'>");
@@ -3323,30 +3327,30 @@ yyreduce:
3323
3327
  itex2MML_free_string(s);
3324
3328
  }
3325
3329
  }
3326
- #line 3327 "y.tab.c" /* yacc.c:1652 */
3330
+ #line 3331 "y.tab.c"
3327
3331
  break;
3328
3332
 
3329
3333
  case 13:
3330
- #line 333 "itex2MML.y" /* yacc.c:1652 */
3334
+ #line 333 "itex2MML.y"
3331
3335
  {
3332
3336
  yyval = itex2MML_copy_string(yyvsp[0]);
3333
3337
  itex2MML_free_string(yyvsp[0]);
3334
3338
  }
3335
- #line 3336 "y.tab.c" /* yacc.c:1652 */
3339
+ #line 3340 "y.tab.c"
3336
3340
  break;
3337
3341
 
3338
3342
  case 14:
3339
- #line 337 "itex2MML.y" /* yacc.c:1652 */
3343
+ #line 337 "itex2MML.y"
3340
3344
  {
3341
3345
  yyval = itex2MML_copy2(yyvsp[-1], yyvsp[0]);
3342
3346
  itex2MML_free_string(yyvsp[-1]);
3343
3347
  itex2MML_free_string(yyvsp[0]);
3344
3348
  }
3345
- #line 3346 "y.tab.c" /* yacc.c:1652 */
3349
+ #line 3350 "y.tab.c"
3346
3350
  break;
3347
3351
 
3348
3352
  case 15:
3349
- #line 343 "itex2MML.y" /* yacc.c:1652 */
3353
+ #line 343 "itex2MML.y"
3350
3354
  {
3351
3355
  if (itex2MML_displaymode == 1) {
3352
3356
  char * s1 = itex2MML_copy3("<munderover>", yyvsp[-4], " ");
@@ -3366,11 +3370,11 @@ yyreduce:
3366
3370
  itex2MML_free_string(yyvsp[-2]);
3367
3371
  itex2MML_free_string(yyvsp[0]);
3368
3372
  }
3369
- #line 3370 "y.tab.c" /* yacc.c:1652 */
3373
+ #line 3374 "y.tab.c"
3370
3374
  break;
3371
3375
 
3372
3376
  case 16:
3373
- #line 362 "itex2MML.y" /* yacc.c:1652 */
3377
+ #line 362 "itex2MML.y"
3374
3378
  {
3375
3379
  if (itex2MML_displaymode == 1) {
3376
3380
  char * s1 = itex2MML_copy3("<munder>", yyvsp[-2], " ");
@@ -3385,11 +3389,11 @@ yyreduce:
3385
3389
  itex2MML_free_string(yyvsp[-2]);
3386
3390
  itex2MML_free_string(yyvsp[0]);
3387
3391
  }
3388
- #line 3389 "y.tab.c" /* yacc.c:1652 */
3392
+ #line 3393 "y.tab.c"
3389
3393
  break;
3390
3394
 
3391
3395
  case 17:
3392
- #line 376 "itex2MML.y" /* yacc.c:1652 */
3396
+ #line 376 "itex2MML.y"
3393
3397
  {
3394
3398
  if (itex2MML_displaymode == 1) {
3395
3399
  char * s1 = itex2MML_copy3("<munderover>", yyvsp[-4], " ");
@@ -3409,11 +3413,11 @@ yyreduce:
3409
3413
  itex2MML_free_string(yyvsp[-2]);
3410
3414
  itex2MML_free_string(yyvsp[0]);
3411
3415
  }
3412
- #line 3413 "y.tab.c" /* yacc.c:1652 */
3416
+ #line 3417 "y.tab.c"
3413
3417
  break;
3414
3418
 
3415
3419
  case 18:
3416
- #line 395 "itex2MML.y" /* yacc.c:1652 */
3420
+ #line 395 "itex2MML.y"
3417
3421
  {
3418
3422
  if (itex2MML_displaymode == 1) {
3419
3423
  char * s1 = itex2MML_copy3("<mover>", yyvsp[-2], " ");
@@ -3428,11 +3432,11 @@ yyreduce:
3428
3432
  itex2MML_free_string(yyvsp[-2]);
3429
3433
  itex2MML_free_string(yyvsp[0]);
3430
3434
  }
3431
- #line 3432 "y.tab.c" /* yacc.c:1652 */
3435
+ #line 3436 "y.tab.c"
3432
3436
  break;
3433
3437
 
3434
3438
  case 19:
3435
- #line 409 "itex2MML.y" /* yacc.c:1652 */
3439
+ #line 409 "itex2MML.y"
3436
3440
  {
3437
3441
  if (itex2MML_displaymode == 1) {
3438
3442
  char * s1 = itex2MML_copy3("<munderover>", yyvsp[-4], " ");
@@ -3452,11 +3456,11 @@ yyreduce:
3452
3456
  itex2MML_free_string(yyvsp[-2]);
3453
3457
  itex2MML_free_string(yyvsp[0]);
3454
3458
  }
3455
- #line 3456 "y.tab.c" /* yacc.c:1652 */
3459
+ #line 3460 "y.tab.c"
3456
3460
  break;
3457
3461
 
3458
3462
  case 20:
3459
- #line 428 "itex2MML.y" /* yacc.c:1652 */
3463
+ #line 428 "itex2MML.y"
3460
3464
  {
3461
3465
  if (itex2MML_displaymode == 1) {
3462
3466
  char * s1 = itex2MML_copy3("<munder>", yyvsp[-2], " ");
@@ -3471,11 +3475,11 @@ yyreduce:
3471
3475
  itex2MML_free_string(yyvsp[-2]);
3472
3476
  itex2MML_free_string(yyvsp[0]);
3473
3477
  }
3474
- #line 3475 "y.tab.c" /* yacc.c:1652 */
3478
+ #line 3479 "y.tab.c"
3475
3479
  break;
3476
3480
 
3477
3481
  case 21:
3478
- #line 442 "itex2MML.y" /* yacc.c:1652 */
3482
+ #line 442 "itex2MML.y"
3479
3483
  {
3480
3484
  if (itex2MML_displaymode == 1) {
3481
3485
  char * s1 = itex2MML_copy3("<munderover>", yyvsp[-4], " ");
@@ -3495,11 +3499,11 @@ yyreduce:
3495
3499
  itex2MML_free_string(yyvsp[-2]);
3496
3500
  itex2MML_free_string(yyvsp[0]);
3497
3501
  }
3498
- #line 3499 "y.tab.c" /* yacc.c:1652 */
3502
+ #line 3503 "y.tab.c"
3499
3503
  break;
3500
3504
 
3501
3505
  case 22:
3502
- #line 461 "itex2MML.y" /* yacc.c:1652 */
3506
+ #line 461 "itex2MML.y"
3503
3507
  {
3504
3508
  if (itex2MML_displaymode == 1) {
3505
3509
  char * s1 = itex2MML_copy3("<mover>", yyvsp[-2], " ");
@@ -3514,11 +3518,11 @@ yyreduce:
3514
3518
  itex2MML_free_string(yyvsp[-2]);
3515
3519
  itex2MML_free_string(yyvsp[0]);
3516
3520
  }
3517
- #line 3518 "y.tab.c" /* yacc.c:1652 */
3521
+ #line 3522 "y.tab.c"
3518
3522
  break;
3519
3523
 
3520
3524
  case 23:
3521
- #line 475 "itex2MML.y" /* yacc.c:1652 */
3525
+ #line 475 "itex2MML.y"
3522
3526
  {
3523
3527
  char * s1 = itex2MML_copy3("<msubsup>", yyvsp[-4], " ");
3524
3528
  char * s2 = itex2MML_copy3(yyvsp[-2], " ", yyvsp[0]);
@@ -3529,11 +3533,11 @@ yyreduce:
3529
3533
  itex2MML_free_string(yyvsp[-2]);
3530
3534
  itex2MML_free_string(yyvsp[0]);
3531
3535
  }
3532
- #line 3533 "y.tab.c" /* yacc.c:1652 */
3536
+ #line 3537 "y.tab.c"
3533
3537
  break;
3534
3538
 
3535
3539
  case 24:
3536
- #line 485 "itex2MML.y" /* yacc.c:1652 */
3540
+ #line 485 "itex2MML.y"
3537
3541
  {
3538
3542
  char * s1 = itex2MML_copy3("<msubsup>", yyvsp[-4], " ");
3539
3543
  char * s2 = itex2MML_copy3(yyvsp[0], " ", yyvsp[-2]);
@@ -3544,11 +3548,11 @@ yyreduce:
3544
3548
  itex2MML_free_string(yyvsp[-2]);
3545
3549
  itex2MML_free_string(yyvsp[0]);
3546
3550
  }
3547
- #line 3548 "y.tab.c" /* yacc.c:1652 */
3551
+ #line 3552 "y.tab.c"
3548
3552
  break;
3549
3553
 
3550
3554
  case 25:
3551
- #line 495 "itex2MML.y" /* yacc.c:1652 */
3555
+ #line 495 "itex2MML.y"
3552
3556
  {
3553
3557
  char * s1 = itex2MML_copy3("<msub>", yyvsp[-2], " ");
3554
3558
  yyval = itex2MML_copy3(s1, yyvsp[0], "</msub>");
@@ -3556,11 +3560,11 @@ yyreduce:
3556
3560
  itex2MML_free_string(yyvsp[-2]);
3557
3561
  itex2MML_free_string(yyvsp[0]);
3558
3562
  }
3559
- #line 3560 "y.tab.c" /* yacc.c:1652 */
3563
+ #line 3564 "y.tab.c"
3560
3564
  break;
3561
3565
 
3562
3566
  case 26:
3563
- #line 502 "itex2MML.y" /* yacc.c:1652 */
3567
+ #line 502 "itex2MML.y"
3564
3568
  {
3565
3569
  char * s1 = itex2MML_copy3("<msup>", yyvsp[-2], " ");
3566
3570
  yyval = itex2MML_copy3(s1, yyvsp[0], "</msup>");
@@ -3568,74 +3572,74 @@ yyreduce:
3568
3572
  itex2MML_free_string(yyvsp[-2]);
3569
3573
  itex2MML_free_string(yyvsp[0]);
3570
3574
  }
3571
- #line 3572 "y.tab.c" /* yacc.c:1652 */
3575
+ #line 3576 "y.tab.c"
3572
3576
  break;
3573
3577
 
3574
3578
  case 27:
3575
- #line 509 "itex2MML.y" /* yacc.c:1652 */
3579
+ #line 509 "itex2MML.y"
3576
3580
  {
3577
3581
  yyval = itex2MML_copy3("<msub><mo/>", yyvsp[0], "</msub>");
3578
3582
  itex2MML_free_string(yyvsp[0]);
3579
3583
  }
3580
- #line 3581 "y.tab.c" /* yacc.c:1652 */
3584
+ #line 3585 "y.tab.c"
3581
3585
  break;
3582
3586
 
3583
3587
  case 28:
3584
- #line 513 "itex2MML.y" /* yacc.c:1652 */
3588
+ #line 513 "itex2MML.y"
3585
3589
  {
3586
3590
  yyval = itex2MML_copy3("<msup><mo/>", yyvsp[0], "</msup>");
3587
3591
  itex2MML_free_string(yyvsp[0]);
3588
3592
  }
3589
- #line 3590 "y.tab.c" /* yacc.c:1652 */
3593
+ #line 3594 "y.tab.c"
3590
3594
  break;
3591
3595
 
3592
3596
  case 29:
3593
- #line 517 "itex2MML.y" /* yacc.c:1652 */
3597
+ #line 517 "itex2MML.y"
3594
3598
  {
3595
3599
  yyval = itex2MML_copy_string(yyvsp[0]);
3596
3600
  itex2MML_free_string(yyvsp[0]);
3597
3601
  }
3598
- #line 3599 "y.tab.c" /* yacc.c:1652 */
3602
+ #line 3603 "y.tab.c"
3599
3603
  break;
3600
3604
 
3601
3605
  case 34:
3602
- #line 526 "itex2MML.y" /* yacc.c:1652 */
3606
+ #line 526 "itex2MML.y"
3603
3607
  {
3604
3608
  yyval = itex2MML_copy3("<mi>", yyvsp[0], "</mi>");
3605
3609
  itex2MML_free_string(yyvsp[0]);
3606
3610
  }
3607
- #line 3608 "y.tab.c" /* yacc.c:1652 */
3611
+ #line 3612 "y.tab.c"
3608
3612
  break;
3609
3613
 
3610
3614
  case 35:
3611
- #line 530 "itex2MML.y" /* yacc.c:1652 */
3615
+ #line 530 "itex2MML.y"
3612
3616
  {
3613
3617
  yyval = itex2MML_copy3("<mn>", yyvsp[0], "</mn>");
3614
3618
  itex2MML_free_string(yyvsp[0]);
3615
3619
  }
3616
- #line 3617 "y.tab.c" /* yacc.c:1652 */
3620
+ #line 3621 "y.tab.c"
3617
3621
  break;
3618
3622
 
3619
3623
  case 105:
3620
- #line 603 "itex2MML.y" /* yacc.c:1652 */
3624
+ #line 603 "itex2MML.y"
3621
3625
  {
3622
3626
  yyval = itex2MML_copy_string(yyvsp[-1]);
3623
3627
  itex2MML_free_string(yyvsp[-1]);
3624
3628
  }
3625
- #line 3626 "y.tab.c" /* yacc.c:1652 */
3629
+ #line 3630 "y.tab.c"
3626
3630
  break;
3627
3631
 
3628
3632
  case 106:
3629
- #line 607 "itex2MML.y" /* yacc.c:1652 */
3633
+ #line 607 "itex2MML.y"
3630
3634
  {
3631
3635
  yyval = itex2MML_copy3("<mrow>", yyvsp[-1], "</mrow>");
3632
3636
  itex2MML_free_string(yyvsp[-1]);
3633
3637
  }
3634
- #line 3635 "y.tab.c" /* yacc.c:1652 */
3638
+ #line 3639 "y.tab.c"
3635
3639
  break;
3636
3640
 
3637
3641
  case 107:
3638
- #line 611 "itex2MML.y" /* yacc.c:1652 */
3642
+ #line 611 "itex2MML.y"
3639
3643
  {
3640
3644
  char * s1 = itex2MML_copy3("<mrow>", yyvsp[-2], yyvsp[-1]);
3641
3645
  yyval = itex2MML_copy3(s1, yyvsp[0], "</mrow>");
@@ -3644,460 +3648,460 @@ yyreduce:
3644
3648
  itex2MML_free_string(yyvsp[-1]);
3645
3649
  itex2MML_free_string(yyvsp[0]);
3646
3650
  }
3647
- #line 3648 "y.tab.c" /* yacc.c:1652 */
3651
+ #line 3652 "y.tab.c"
3648
3652
  break;
3649
3653
 
3650
3654
  case 112:
3651
- #line 624 "itex2MML.y" /* yacc.c:1652 */
3655
+ #line 624 "itex2MML.y"
3652
3656
  {
3653
3657
  itex2MML_rowposn = 2;
3654
3658
  yyval = itex2MML_copy3("<mo>", yyvsp[0], "</mo>");
3655
3659
  itex2MML_free_string(yyvsp[0]);
3656
3660
  }
3657
- #line 3658 "y.tab.c" /* yacc.c:1652 */
3661
+ #line 3662 "y.tab.c"
3658
3662
  break;
3659
3663
 
3660
3664
  case 113:
3661
- #line 629 "itex2MML.y" /* yacc.c:1652 */
3665
+ #line 629 "itex2MML.y"
3662
3666
  {
3663
3667
  itex2MML_rowposn = 2;
3664
3668
  yyval = itex2MML_copy3("<mo>", yyvsp[0], "</mo>");
3665
3669
  itex2MML_free_string(yyvsp[0]);
3666
3670
  }
3667
- #line 3668 "y.tab.c" /* yacc.c:1652 */
3671
+ #line 3672 "y.tab.c"
3668
3672
  break;
3669
3673
 
3670
3674
  case 114:
3671
- #line 634 "itex2MML.y" /* yacc.c:1652 */
3675
+ #line 634 "itex2MML.y"
3672
3676
  {
3673
3677
  itex2MML_rowposn = 2;
3674
3678
  yyval = itex2MML_copy_string("");
3675
3679
  itex2MML_free_string(yyvsp[0]);
3676
3680
  }
3677
- #line 3678 "y.tab.c" /* yacc.c:1652 */
3681
+ #line 3682 "y.tab.c"
3678
3682
  break;
3679
3683
 
3680
3684
  case 115:
3681
- #line 640 "itex2MML.y" /* yacc.c:1652 */
3685
+ #line 640 "itex2MML.y"
3682
3686
  {
3683
3687
  yyval = itex2MML_copy3("<mo>", yyvsp[0], "</mo>");
3684
3688
  itex2MML_free_string(yyvsp[0]);
3685
3689
  }
3686
- #line 3687 "y.tab.c" /* yacc.c:1652 */
3690
+ #line 3691 "y.tab.c"
3687
3691
  break;
3688
3692
 
3689
3693
  case 116:
3690
- #line 644 "itex2MML.y" /* yacc.c:1652 */
3694
+ #line 644 "itex2MML.y"
3691
3695
  {
3692
3696
  yyval = itex2MML_copy3("<mo>", yyvsp[0], "</mo>");
3693
3697
  itex2MML_free_string(yyvsp[0]);
3694
3698
  }
3695
- #line 3696 "y.tab.c" /* yacc.c:1652 */
3699
+ #line 3700 "y.tab.c"
3696
3700
  break;
3697
3701
 
3698
3702
  case 117:
3699
- #line 648 "itex2MML.y" /* yacc.c:1652 */
3703
+ #line 648 "itex2MML.y"
3700
3704
  {
3701
3705
  yyval = itex2MML_copy_string("");
3702
3706
  itex2MML_free_string(yyvsp[0]);
3703
3707
  }
3704
- #line 3705 "y.tab.c" /* yacc.c:1652 */
3708
+ #line 3709 "y.tab.c"
3705
3709
  break;
3706
3710
 
3707
3711
  case 118:
3708
- #line 653 "itex2MML.y" /* yacc.c:1652 */
3712
+ #line 653 "itex2MML.y"
3709
3713
  {
3710
3714
  itex2MML_rowposn = 2;
3711
3715
  yyval = itex2MML_copy3("<mo maxsize=\"1.2em\" minsize=\"1.2em\">", yyvsp[0], "</mo>");
3712
3716
  itex2MML_free_string(yyvsp[0]);
3713
3717
  }
3714
- #line 3715 "y.tab.c" /* yacc.c:1652 */
3718
+ #line 3719 "y.tab.c"
3715
3719
  break;
3716
3720
 
3717
3721
  case 119:
3718
- #line 658 "itex2MML.y" /* yacc.c:1652 */
3722
+ #line 658 "itex2MML.y"
3719
3723
  {
3720
3724
  yyval = itex2MML_copy3("<mo maxsize=\"1.2em\" minsize=\"1.2em\">", yyvsp[0], "</mo>");
3721
3725
  itex2MML_free_string(yyvsp[0]);
3722
3726
  }
3723
- #line 3724 "y.tab.c" /* yacc.c:1652 */
3727
+ #line 3728 "y.tab.c"
3724
3728
  break;
3725
3729
 
3726
3730
  case 120:
3727
- #line 662 "itex2MML.y" /* yacc.c:1652 */
3731
+ #line 662 "itex2MML.y"
3728
3732
  {
3729
3733
  yyval = itex2MML_copy3("<mo maxsize=\"1.2em\" minsize=\"1.2em\">", yyvsp[0], "</mo>");
3730
3734
  itex2MML_free_string(yyvsp[0]);
3731
3735
  }
3732
- #line 3733 "y.tab.c" /* yacc.c:1652 */
3736
+ #line 3737 "y.tab.c"
3733
3737
  break;
3734
3738
 
3735
3739
  case 121:
3736
- #line 666 "itex2MML.y" /* yacc.c:1652 */
3740
+ #line 666 "itex2MML.y"
3737
3741
  {
3738
3742
  itex2MML_rowposn = 2;
3739
3743
  yyval = itex2MML_copy3("<mo maxsize=\"1.8em\" minsize=\"1.8em\">", yyvsp[0], "</mo>");
3740
3744
  itex2MML_free_string(yyvsp[0]);
3741
3745
  }
3742
- #line 3743 "y.tab.c" /* yacc.c:1652 */
3746
+ #line 3747 "y.tab.c"
3743
3747
  break;
3744
3748
 
3745
3749
  case 122:
3746
- #line 671 "itex2MML.y" /* yacc.c:1652 */
3750
+ #line 671 "itex2MML.y"
3747
3751
  {
3748
3752
  yyval = itex2MML_copy3("<mo maxsize=\"1.8em\" minsize=\"1.8em\">", yyvsp[0], "</mo>");
3749
3753
  itex2MML_free_string(yyvsp[0]);
3750
3754
  }
3751
- #line 3752 "y.tab.c" /* yacc.c:1652 */
3755
+ #line 3756 "y.tab.c"
3752
3756
  break;
3753
3757
 
3754
3758
  case 123:
3755
- #line 675 "itex2MML.y" /* yacc.c:1652 */
3759
+ #line 675 "itex2MML.y"
3756
3760
  {
3757
3761
  yyval = itex2MML_copy3("<mo maxsize=\"1.8em\" minsize=\"1.8em\">", yyvsp[0], "</mo>");
3758
3762
  itex2MML_free_string(yyvsp[0]);
3759
3763
  }
3760
- #line 3761 "y.tab.c" /* yacc.c:1652 */
3764
+ #line 3765 "y.tab.c"
3761
3765
  break;
3762
3766
 
3763
3767
  case 124:
3764
- #line 679 "itex2MML.y" /* yacc.c:1652 */
3768
+ #line 679 "itex2MML.y"
3765
3769
  {
3766
3770
  itex2MML_rowposn = 2;
3767
3771
  yyval = itex2MML_copy3("<mo maxsize=\"2.4em\" minsize=\"2.4em\">", yyvsp[0], "</mo>");
3768
3772
  itex2MML_free_string(yyvsp[0]);
3769
3773
  }
3770
- #line 3771 "y.tab.c" /* yacc.c:1652 */
3774
+ #line 3775 "y.tab.c"
3771
3775
  break;
3772
3776
 
3773
3777
  case 125:
3774
- #line 684 "itex2MML.y" /* yacc.c:1652 */
3778
+ #line 684 "itex2MML.y"
3775
3779
  {
3776
3780
  yyval = itex2MML_copy3("<mo maxsize=\"2.4em\" minsize=\"2.4em\">", yyvsp[0], "</mo>");
3777
3781
  itex2MML_free_string(yyvsp[0]);
3778
3782
  }
3779
- #line 3780 "y.tab.c" /* yacc.c:1652 */
3783
+ #line 3784 "y.tab.c"
3780
3784
  break;
3781
3785
 
3782
3786
  case 126:
3783
- #line 688 "itex2MML.y" /* yacc.c:1652 */
3787
+ #line 688 "itex2MML.y"
3784
3788
  {
3785
3789
  yyval = itex2MML_copy3("<mo maxsize=\"2.4em\" minsize=\"2.4em\">", yyvsp[0], "</mo>");
3786
3790
  itex2MML_free_string(yyvsp[0]);
3787
3791
  }
3788
- #line 3789 "y.tab.c" /* yacc.c:1652 */
3792
+ #line 3793 "y.tab.c"
3789
3793
  break;
3790
3794
 
3791
3795
  case 127:
3792
- #line 692 "itex2MML.y" /* yacc.c:1652 */
3796
+ #line 692 "itex2MML.y"
3793
3797
  {
3794
3798
  itex2MML_rowposn = 2;
3795
3799
  yyval = itex2MML_copy3("<mo maxsize=\"3em\" minsize=\"3em\">", yyvsp[0], "</mo>");
3796
3800
  itex2MML_free_string(yyvsp[0]);
3797
3801
  }
3798
- #line 3799 "y.tab.c" /* yacc.c:1652 */
3802
+ #line 3803 "y.tab.c"
3799
3803
  break;
3800
3804
 
3801
3805
  case 128:
3802
- #line 697 "itex2MML.y" /* yacc.c:1652 */
3806
+ #line 697 "itex2MML.y"
3803
3807
  {
3804
3808
  yyval = itex2MML_copy3("<mo maxsize=\"3em\" minsize=\"3em\">", yyvsp[0], "</mo>");
3805
3809
  itex2MML_free_string(yyvsp[0]);
3806
3810
  }
3807
- #line 3808 "y.tab.c" /* yacc.c:1652 */
3811
+ #line 3812 "y.tab.c"
3808
3812
  break;
3809
3813
 
3810
3814
  case 129:
3811
- #line 701 "itex2MML.y" /* yacc.c:1652 */
3815
+ #line 701 "itex2MML.y"
3812
3816
  {
3813
3817
  yyval = itex2MML_copy3("<mo maxsize=\"3em\" minsize=\"3em\">", yyvsp[0], "</mo>");
3814
3818
  itex2MML_free_string(yyvsp[0]);
3815
3819
  }
3816
- #line 3817 "y.tab.c" /* yacc.c:1652 */
3820
+ #line 3821 "y.tab.c"
3817
3821
  break;
3818
3822
 
3819
3823
  case 130:
3820
- #line 705 "itex2MML.y" /* yacc.c:1652 */
3824
+ #line 705 "itex2MML.y"
3821
3825
  {
3822
3826
  itex2MML_rowposn = 2;
3823
3827
  yyval = itex2MML_copy3("<mo maxsize=\"1.2em\" minsize=\"1.2em\">", yyvsp[0], "</mo>");
3824
3828
  itex2MML_free_string(yyvsp[0]);
3825
3829
  }
3826
- #line 3827 "y.tab.c" /* yacc.c:1652 */
3830
+ #line 3831 "y.tab.c"
3827
3831
  break;
3828
3832
 
3829
3833
  case 131:
3830
- #line 710 "itex2MML.y" /* yacc.c:1652 */
3834
+ #line 710 "itex2MML.y"
3831
3835
  {
3832
3836
  itex2MML_rowposn = 2;
3833
3837
  yyval = itex2MML_copy3("<mo maxsize=\"1.2em\" minsize=\"1.2em\">", yyvsp[0], "</mo>");
3834
3838
  itex2MML_free_string(yyvsp[0]);
3835
3839
  }
3836
- #line 3837 "y.tab.c" /* yacc.c:1652 */
3840
+ #line 3841 "y.tab.c"
3837
3841
  break;
3838
3842
 
3839
3843
  case 132:
3840
- #line 715 "itex2MML.y" /* yacc.c:1652 */
3844
+ #line 715 "itex2MML.y"
3841
3845
  {
3842
3846
  itex2MML_rowposn = 2;
3843
3847
  yyval = itex2MML_copy3("<mo maxsize=\"1.8em\" minsize=\"1.8em\">", yyvsp[0], "</mo>");
3844
3848
  itex2MML_free_string(yyvsp[0]);
3845
3849
  }
3846
- #line 3847 "y.tab.c" /* yacc.c:1652 */
3850
+ #line 3851 "y.tab.c"
3847
3851
  break;
3848
3852
 
3849
3853
  case 133:
3850
- #line 720 "itex2MML.y" /* yacc.c:1652 */
3854
+ #line 720 "itex2MML.y"
3851
3855
  {
3852
3856
  itex2MML_rowposn = 2;
3853
3857
  yyval = itex2MML_copy3("<mo maxsize=\"1.8em\" minsize=\"1.8em\">", yyvsp[0], "</mo>");
3854
3858
  itex2MML_free_string(yyvsp[0]);
3855
3859
  }
3856
- #line 3857 "y.tab.c" /* yacc.c:1652 */
3860
+ #line 3861 "y.tab.c"
3857
3861
  break;
3858
3862
 
3859
3863
  case 134:
3860
- #line 725 "itex2MML.y" /* yacc.c:1652 */
3864
+ #line 725 "itex2MML.y"
3861
3865
  {
3862
3866
  itex2MML_rowposn = 2;
3863
3867
  yyval = itex2MML_copy3("<mo maxsize=\"2.4em\" minsize=\"2.4em\">", yyvsp[0], "</mo>");
3864
3868
  itex2MML_free_string(yyvsp[0]);
3865
3869
  }
3866
- #line 3867 "y.tab.c" /* yacc.c:1652 */
3870
+ #line 3871 "y.tab.c"
3867
3871
  break;
3868
3872
 
3869
3873
  case 135:
3870
- #line 730 "itex2MML.y" /* yacc.c:1652 */
3874
+ #line 730 "itex2MML.y"
3871
3875
  {
3872
3876
  itex2MML_rowposn = 2;
3873
3877
  yyval = itex2MML_copy3("<mo maxsize=\"2.4em\" minsize=\"2.4em\">", yyvsp[0], "</mo>");
3874
3878
  itex2MML_free_string(yyvsp[0]);
3875
3879
  }
3876
- #line 3877 "y.tab.c" /* yacc.c:1652 */
3880
+ #line 3881 "y.tab.c"
3877
3881
  break;
3878
3882
 
3879
3883
  case 136:
3880
- #line 735 "itex2MML.y" /* yacc.c:1652 */
3884
+ #line 735 "itex2MML.y"
3881
3885
  {
3882
3886
  itex2MML_rowposn = 2;
3883
3887
  yyval = itex2MML_copy3("<mo maxsize=\"3em\" minsize=\"3em\">", yyvsp[0], "</mo>");
3884
3888
  itex2MML_free_string(yyvsp[0]);
3885
3889
  }
3886
- #line 3887 "y.tab.c" /* yacc.c:1652 */
3890
+ #line 3891 "y.tab.c"
3887
3891
  break;
3888
3892
 
3889
3893
  case 137:
3890
- #line 740 "itex2MML.y" /* yacc.c:1652 */
3894
+ #line 740 "itex2MML.y"
3891
3895
  {
3892
3896
  itex2MML_rowposn = 2;
3893
3897
  yyval = itex2MML_copy3("<mo maxsize=\"3em\" minsize=\"3em\">", yyvsp[0], "</mo>");
3894
3898
  itex2MML_free_string(yyvsp[0]);
3895
3899
  }
3896
- #line 3897 "y.tab.c" /* yacc.c:1652 */
3900
+ #line 3901 "y.tab.c"
3897
3901
  break;
3898
3902
 
3899
3903
  case 138:
3900
- #line 746 "itex2MML.y" /* yacc.c:1652 */
3904
+ #line 746 "itex2MML.y"
3901
3905
  {
3902
3906
  yyval = itex2MML_copy_string("<merror><mtext>Unknown character</mtext></merror>");
3903
3907
  }
3904
- #line 3905 "y.tab.c" /* yacc.c:1652 */
3908
+ #line 3909 "y.tab.c"
3905
3909
  break;
3906
3910
 
3907
3911
  case 139:
3908
- #line 750 "itex2MML.y" /* yacc.c:1652 */
3912
+ #line 750 "itex2MML.y"
3909
3913
  {
3910
3914
  yyval = itex2MML_copy_string("<mo lspace=\"0.11111em\" rspace=\"0em\">&minus;</mo>");
3911
3915
  }
3912
- #line 3913 "y.tab.c" /* yacc.c:1652 */
3916
+ #line 3917 "y.tab.c"
3913
3917
  break;
3914
3918
 
3915
3919
  case 140:
3916
- #line 754 "itex2MML.y" /* yacc.c:1652 */
3920
+ #line 754 "itex2MML.y"
3917
3921
  {
3918
3922
  yyval = itex2MML_copy_string("<mo lspace=\"0.11111em\" rspace=\"0em\">+</mo>");
3919
3923
  }
3920
- #line 3921 "y.tab.c" /* yacc.c:1652 */
3924
+ #line 3925 "y.tab.c"
3921
3925
  break;
3922
3926
 
3923
3927
  case 142:
3924
- #line 760 "itex2MML.y" /* yacc.c:1652 */
3928
+ #line 760 "itex2MML.y"
3925
3929
  {
3926
3930
  itex2MML_rowposn=2;
3927
3931
  yyval = itex2MML_copy3("<mi>", yyvsp[0], "</mi>");
3928
3932
  itex2MML_free_string(yyvsp[0]);
3929
3933
  }
3930
- #line 3931 "y.tab.c" /* yacc.c:1652 */
3934
+ #line 3935 "y.tab.c"
3931
3935
  break;
3932
3936
 
3933
3937
  case 144:
3934
- #line 767 "itex2MML.y" /* yacc.c:1652 */
3938
+ #line 767 "itex2MML.y"
3935
3939
  {
3936
3940
  itex2MML_rowposn = 2;
3937
3941
  yyval = itex2MML_copy_string(yyvsp[0]);
3938
3942
  itex2MML_free_string(yyvsp[0]);
3939
3943
  }
3940
- #line 3941 "y.tab.c" /* yacc.c:1652 */
3944
+ #line 3945 "y.tab.c"
3941
3945
  break;
3942
3946
 
3943
3947
  case 145:
3944
- #line 773 "itex2MML.y" /* yacc.c:1652 */
3948
+ #line 773 "itex2MML.y"
3945
3949
  {
3946
3950
  itex2MML_rowposn = 2;
3947
3951
  yyval = itex2MML_copy3("<mo lspace=\"0.16667em\" rspace=\"0.16667em\">", yyvsp[0], "</mo>");
3948
3952
  itex2MML_free_string(yyvsp[0]);
3949
3953
  }
3950
- #line 3951 "y.tab.c" /* yacc.c:1652 */
3954
+ #line 3955 "y.tab.c"
3951
3955
  break;
3952
3956
 
3953
3957
  case 148:
3954
- #line 781 "itex2MML.y" /* yacc.c:1652 */
3958
+ #line 781 "itex2MML.y"
3955
3959
  {
3956
3960
  itex2MML_rowposn = 2;
3957
3961
  yyval = itex2MML_copy3("<mo>", yyvsp[0], "</mo>");
3958
3962
  itex2MML_free_string(yyvsp[0]);
3959
3963
  }
3960
- #line 3961 "y.tab.c" /* yacc.c:1652 */
3964
+ #line 3965 "y.tab.c"
3961
3965
  break;
3962
3966
 
3963
3967
  case 149:
3964
- #line 786 "itex2MML.y" /* yacc.c:1652 */
3968
+ #line 786 "itex2MML.y"
3965
3969
  {
3966
3970
  itex2MML_rowposn = 2;
3967
3971
  yyval = itex2MML_copy3("<mo>", yyvsp[0], "</mo>");
3968
3972
  itex2MML_free_string(yyvsp[0]);
3969
3973
  }
3970
- #line 3971 "y.tab.c" /* yacc.c:1652 */
3974
+ #line 3975 "y.tab.c"
3971
3975
  break;
3972
3976
 
3973
3977
  case 150:
3974
- #line 791 "itex2MML.y" /* yacc.c:1652 */
3978
+ #line 791 "itex2MML.y"
3975
3979
  {
3976
3980
  itex2MML_rowposn = 2;
3977
3981
  yyval = itex2MML_copy3("<mstyle scriptlevel=\"0\"><mo>", yyvsp[0], "</mo></mstyle>");
3978
3982
  itex2MML_free_string(yyvsp[0]);
3979
3983
  }
3980
- #line 3981 "y.tab.c" /* yacc.c:1652 */
3984
+ #line 3985 "y.tab.c"
3981
3985
  break;
3982
3986
 
3983
3987
  case 151:
3984
- #line 796 "itex2MML.y" /* yacc.c:1652 */
3988
+ #line 796 "itex2MML.y"
3985
3989
  {
3986
3990
  yyval = itex2MML_copy3("<mo stretchy=\"false\">", yyvsp[0], "</mo>");
3987
3991
  itex2MML_free_string(yyvsp[0]);
3988
3992
  }
3989
- #line 3990 "y.tab.c" /* yacc.c:1652 */
3993
+ #line 3994 "y.tab.c"
3990
3994
  break;
3991
3995
 
3992
3996
  case 152:
3993
- #line 800 "itex2MML.y" /* yacc.c:1652 */
3997
+ #line 800 "itex2MML.y"
3994
3998
  {
3995
3999
  itex2MML_rowposn = 2;
3996
4000
  yyval = itex2MML_copy3("<mo stretchy=\"false\">", yyvsp[0], "</mo>");
3997
4001
  itex2MML_free_string(yyvsp[0]);
3998
4002
  }
3999
- #line 4000 "y.tab.c" /* yacc.c:1652 */
4003
+ #line 4004 "y.tab.c"
4000
4004
  break;
4001
4005
 
4002
4006
  case 153:
4003
- #line 805 "itex2MML.y" /* yacc.c:1652 */
4007
+ #line 805 "itex2MML.y"
4004
4008
  {
4005
4009
  yyval = itex2MML_copy3("<mo stretchy=\"false\">", yyvsp[0], "</mo>");
4006
4010
  itex2MML_free_string(yyvsp[0]);
4007
4011
  }
4008
- #line 4009 "y.tab.c" /* yacc.c:1652 */
4012
+ #line 4013 "y.tab.c"
4009
4013
  break;
4010
4014
 
4011
4015
  case 154:
4012
- #line 809 "itex2MML.y" /* yacc.c:1652 */
4016
+ #line 809 "itex2MML.y"
4013
4017
  {
4014
4018
  yyval = itex2MML_copy3("<mo stretchy=\"false\">", yyvsp[0], "</mo>");
4015
4019
  itex2MML_free_string(yyvsp[0]);
4016
4020
  }
4017
- #line 4018 "y.tab.c" /* yacc.c:1652 */
4021
+ #line 4022 "y.tab.c"
4018
4022
  break;
4019
4023
 
4020
4024
  case 155:
4021
- #line 813 "itex2MML.y" /* yacc.c:1652 */
4025
+ #line 813 "itex2MML.y"
4022
4026
  {
4023
4027
  yyval = itex2MML_copy3("<mo>", yyvsp[0], "</mo>");
4024
4028
  itex2MML_free_string(yyvsp[0]);
4025
4029
  }
4026
- #line 4027 "y.tab.c" /* yacc.c:1652 */
4030
+ #line 4031 "y.tab.c"
4027
4031
  break;
4028
4032
 
4029
4033
  case 156:
4030
- #line 817 "itex2MML.y" /* yacc.c:1652 */
4034
+ #line 817 "itex2MML.y"
4031
4035
  {
4032
4036
  itex2MML_rowposn=2;
4033
4037
  yyval = itex2MML_copy3("<mo lspace=\"0.22222em\" rspace=\"0.22222em\">", yyvsp[0], "</mo>");
4034
4038
  itex2MML_free_string(yyvsp[0]);
4035
4039
  }
4036
- #line 4037 "y.tab.c" /* yacc.c:1652 */
4040
+ #line 4041 "y.tab.c"
4037
4041
  break;
4038
4042
 
4039
4043
  case 157:
4040
- #line 822 "itex2MML.y" /* yacc.c:1652 */
4044
+ #line 822 "itex2MML.y"
4041
4045
  {
4042
4046
  itex2MML_rowposn = 2;
4043
4047
  yyval = itex2MML_copy3("<mo lspace=\"0em\" rspace=\"0.16667em\">", yyvsp[0], "</mo>");
4044
4048
  itex2MML_free_string(yyvsp[0]);
4045
4049
  }
4046
- #line 4047 "y.tab.c" /* yacc.c:1652 */
4050
+ #line 4051 "y.tab.c"
4047
4051
  break;
4048
4052
 
4049
4053
  case 158:
4050
- #line 827 "itex2MML.y" /* yacc.c:1652 */
4054
+ #line 827 "itex2MML.y"
4051
4055
  {
4052
4056
  itex2MML_rowposn = 2;
4053
4057
  yyval = itex2MML_copy3("<mo lspace=\"0.11111em\">", yyvsp[0], "</mo>");
4054
4058
  itex2MML_free_string(yyvsp[0]);
4055
4059
  }
4056
- #line 4057 "y.tab.c" /* yacc.c:1652 */
4060
+ #line 4061 "y.tab.c"
4057
4061
  break;
4058
4062
 
4059
4063
  case 159:
4060
- #line 832 "itex2MML.y" /* yacc.c:1652 */
4064
+ #line 832 "itex2MML.y"
4061
4065
  {
4062
4066
  itex2MML_rowposn = 2;
4063
4067
  yyval = itex2MML_copy3("<mo lspace=\"0em\" rspace=\"0.16667em\">", yyvsp[0], "</mo>");
4064
4068
  itex2MML_free_string(yyvsp[0]);
4065
4069
  }
4066
- #line 4067 "y.tab.c" /* yacc.c:1652 */
4070
+ #line 4071 "y.tab.c"
4067
4071
  break;
4068
4072
 
4069
4073
  case 160:
4070
- #line 837 "itex2MML.y" /* yacc.c:1652 */
4074
+ #line 837 "itex2MML.y"
4071
4075
  {
4072
4076
  itex2MML_rowposn = 2;
4073
4077
  yyval = itex2MML_copy3("<mo lspace=\"0.16667em\" rspace=\"0.16667em\">", yyvsp[0], "</mo>");
4074
4078
  itex2MML_free_string(yyvsp[0]);
4075
4079
  }
4076
- #line 4077 "y.tab.c" /* yacc.c:1652 */
4080
+ #line 4081 "y.tab.c"
4077
4081
  break;
4078
4082
 
4079
4083
  case 161:
4080
- #line 842 "itex2MML.y" /* yacc.c:1652 */
4084
+ #line 842 "itex2MML.y"
4081
4085
  {
4082
4086
  itex2MML_rowposn = 2;
4083
4087
  yyval = itex2MML_copy3("<mo lspace=\"0.22222em\" rspace=\"0.22222em\">", yyvsp[0], "</mo>");
4084
4088
  itex2MML_free_string(yyvsp[0]);
4085
4089
  }
4086
- #line 4087 "y.tab.c" /* yacc.c:1652 */
4090
+ #line 4091 "y.tab.c"
4087
4091
  break;
4088
4092
 
4089
4093
  case 162:
4090
- #line 847 "itex2MML.y" /* yacc.c:1652 */
4094
+ #line 847 "itex2MML.y"
4091
4095
  {
4092
4096
  itex2MML_rowposn = 2;
4093
4097
  yyval = itex2MML_copy3("<mo lspace=\"0.27778em\" rspace=\"0.27778em\">", yyvsp[0], "</mo>");
4094
4098
  itex2MML_free_string(yyvsp[0]);
4095
4099
  }
4096
- #line 4097 "y.tab.c" /* yacc.c:1652 */
4100
+ #line 4101 "y.tab.c"
4097
4101
  break;
4098
4102
 
4099
4103
  case 163:
4100
- #line 853 "itex2MML.y" /* yacc.c:1652 */
4104
+ #line 853 "itex2MML.y"
4101
4105
  {
4102
4106
  char * s1 = itex2MML_copy3("<mspace height=\"", yyvsp[-7], "ex\" depth=\"");
4103
4107
  char * s2 = itex2MML_copy3(yyvsp[-4], "ex\" width=\"", yyvsp[-1]);
@@ -4108,11 +4112,11 @@ yyreduce:
4108
4112
  itex2MML_free_string(yyvsp[-4]);
4109
4113
  itex2MML_free_string(yyvsp[-1]);
4110
4114
  }
4111
- #line 4112 "y.tab.c" /* yacc.c:1652 */
4115
+ #line 4116 "y.tab.c"
4112
4116
  break;
4113
4117
 
4114
4118
  case 164:
4115
- #line 864 "itex2MML.y" /* yacc.c:1652 */
4119
+ #line 864 "itex2MML.y"
4116
4120
  {
4117
4121
  char * s1 = itex2MML_copy3("<maction actiontype=\"statusline\">", yyvsp[0], "<mtext>");
4118
4122
  yyval = itex2MML_copy3(s1, yyvsp[-1], "</mtext></maction>");
@@ -4120,11 +4124,11 @@ yyreduce:
4120
4124
  itex2MML_free_string(yyvsp[-1]);
4121
4125
  itex2MML_free_string(yyvsp[0]);
4122
4126
  }
4123
- #line 4124 "y.tab.c" /* yacc.c:1652 */
4127
+ #line 4128 "y.tab.c"
4124
4128
  break;
4125
4129
 
4126
4130
  case 165:
4127
- #line 872 "itex2MML.y" /* yacc.c:1652 */
4131
+ #line 872 "itex2MML.y"
4128
4132
  {
4129
4133
  char * s1 = itex2MML_copy3("<maction actiontype=\"tooltip\">", yyvsp[0], "<mtext>");
4130
4134
  yyval = itex2MML_copy3(s1, yyvsp[-1], "</mtext></maction>");
@@ -4132,11 +4136,11 @@ yyreduce:
4132
4136
  itex2MML_free_string(yyvsp[-1]);
4133
4137
  itex2MML_free_string(yyvsp[0]);
4134
4138
  }
4135
- #line 4136 "y.tab.c" /* yacc.c:1652 */
4139
+ #line 4140 "y.tab.c"
4136
4140
  break;
4137
4141
 
4138
4142
  case 166:
4139
- #line 880 "itex2MML.y" /* yacc.c:1652 */
4143
+ #line 880 "itex2MML.y"
4140
4144
  {
4141
4145
  char * s1 = itex2MML_copy3("<maction actiontype=\"toggle\" selection=\"2\">", yyvsp[-1], " ");
4142
4146
  yyval = itex2MML_copy3(s1, yyvsp[0], "</maction>");
@@ -4144,20 +4148,20 @@ yyreduce:
4144
4148
  itex2MML_free_string(yyvsp[-1]);
4145
4149
  itex2MML_free_string(yyvsp[0]);
4146
4150
  }
4147
- #line 4148 "y.tab.c" /* yacc.c:1652 */
4151
+ #line 4152 "y.tab.c"
4148
4152
  break;
4149
4153
 
4150
4154
  case 167:
4151
- #line 887 "itex2MML.y" /* yacc.c:1652 */
4155
+ #line 887 "itex2MML.y"
4152
4156
  {
4153
4157
  yyval = itex2MML_copy3("<maction actiontype=\"toggle\">", yyvsp[-1], "</maction>");
4154
4158
  itex2MML_free_string(yyvsp[-1]);
4155
4159
  }
4156
- #line 4157 "y.tab.c" /* yacc.c:1652 */
4160
+ #line 4161 "y.tab.c"
4157
4161
  break;
4158
4162
 
4159
4163
  case 168:
4160
- #line 892 "itex2MML.y" /* yacc.c:1652 */
4164
+ #line 892 "itex2MML.y"
4161
4165
  {
4162
4166
  char * s1 = itex2MML_copy3("<maction actiontype=\"highlight\" other='color=", yyvsp[-1], "'>");
4163
4167
  yyval = itex2MML_copy3(s1, yyvsp[0], "</maction>");
@@ -4165,11 +4169,11 @@ yyreduce:
4165
4169
  itex2MML_free_string(yyvsp[-1]);
4166
4170
  itex2MML_free_string(yyvsp[0]);
4167
4171
  }
4168
- #line 4169 "y.tab.c" /* yacc.c:1652 */
4172
+ #line 4173 "y.tab.c"
4169
4173
  break;
4170
4174
 
4171
4175
  case 169:
4172
- #line 900 "itex2MML.y" /* yacc.c:1652 */
4176
+ #line 900 "itex2MML.y"
4173
4177
  {
4174
4178
  char * s1 = itex2MML_copy3("<maction actiontype=\"highlight\" other='background=", yyvsp[-1], "'>");
4175
4179
  yyval = itex2MML_copy3(s1, yyvsp[0], "</maction>");
@@ -4177,11 +4181,11 @@ yyreduce:
4177
4181
  itex2MML_free_string(yyvsp[-1]);
4178
4182
  itex2MML_free_string(yyvsp[0]);
4179
4183
  }
4180
- #line 4181 "y.tab.c" /* yacc.c:1652 */
4184
+ #line 4185 "y.tab.c"
4181
4185
  break;
4182
4186
 
4183
4187
  case 170:
4184
- #line 908 "itex2MML.y" /* yacc.c:1652 */
4188
+ #line 908 "itex2MML.y"
4185
4189
  {
4186
4190
  char * s1 = itex2MML_copy3("<mstyle mathcolor=", yyvsp[-1], ">");
4187
4191
  yyval = itex2MML_copy3(s1, yyvsp[0], "</mstyle>");
@@ -4189,11 +4193,11 @@ yyreduce:
4189
4193
  itex2MML_free_string(yyvsp[-1]);
4190
4194
  itex2MML_free_string(yyvsp[0]);
4191
4195
  }
4192
- #line 4193 "y.tab.c" /* yacc.c:1652 */
4196
+ #line 4197 "y.tab.c"
4193
4197
  break;
4194
4198
 
4195
4199
  case 171:
4196
- #line 915 "itex2MML.y" /* yacc.c:1652 */
4200
+ #line 915 "itex2MML.y"
4197
4201
  {
4198
4202
  char * s1 = itex2MML_copy3("<mstyle mathbackground=", yyvsp[-1], ">");
4199
4203
  yyval = itex2MML_copy3(s1, yyvsp[0], "</mstyle>");
@@ -4201,220 +4205,220 @@ yyreduce:
4201
4205
  itex2MML_free_string(yyvsp[-1]);
4202
4206
  itex2MML_free_string(yyvsp[0]);
4203
4207
  }
4204
- #line 4205 "y.tab.c" /* yacc.c:1652 */
4208
+ #line 4209 "y.tab.c"
4205
4209
  break;
4206
4210
 
4207
4211
  case 172:
4208
- #line 923 "itex2MML.y" /* yacc.c:1652 */
4212
+ #line 923 "itex2MML.y"
4209
4213
  {
4210
4214
  yyval = itex2MML_copy3("<mpadded width=\"0px\">", yyvsp[0], "</mpadded>");
4211
4215
  itex2MML_free_string(yyvsp[0]);
4212
4216
  }
4213
- #line 4214 "y.tab.c" /* yacc.c:1652 */
4217
+ #line 4218 "y.tab.c"
4214
4218
  break;
4215
4219
 
4216
4220
  case 173:
4217
- #line 928 "itex2MML.y" /* yacc.c:1652 */
4221
+ #line 928 "itex2MML.y"
4218
4222
  {
4219
4223
  yyval = itex2MML_copy3("<mpadded width=\"0px\" lspace=\"-100%width\">", yyvsp[0], "</mpadded>");
4220
4224
  itex2MML_free_string(yyvsp[0]);
4221
4225
  }
4222
- #line 4223 "y.tab.c" /* yacc.c:1652 */
4226
+ #line 4227 "y.tab.c"
4223
4227
  break;
4224
4228
 
4225
4229
  case 174:
4226
- #line 933 "itex2MML.y" /* yacc.c:1652 */
4230
+ #line 933 "itex2MML.y"
4227
4231
  {
4228
4232
  yyval = itex2MML_copy3("<mpadded width=\"0px\" lspace=\"-50%width\">", yyvsp[0], "</mpadded>");
4229
4233
  itex2MML_free_string(yyvsp[0]);
4230
4234
  }
4231
- #line 4232 "y.tab.c" /* yacc.c:1652 */
4235
+ #line 4236 "y.tab.c"
4232
4236
  break;
4233
4237
 
4234
4238
  case 175:
4235
- #line 938 "itex2MML.y" /* yacc.c:1652 */
4239
+ #line 938 "itex2MML.y"
4236
4240
  {
4237
4241
  yyval = itex2MML_copy3("<mtext>", yyvsp[0], "</mtext>");
4238
4242
  itex2MML_free_string(yyvsp[0]);
4239
4243
  }
4240
- #line 4241 "y.tab.c" /* yacc.c:1652 */
4244
+ #line 4245 "y.tab.c"
4241
4245
  break;
4242
4246
 
4243
4247
  case 176:
4244
- #line 943 "itex2MML.y" /* yacc.c:1652 */
4248
+ #line 943 "itex2MML.y"
4245
4249
  {
4246
4250
  yyval = itex2MML_copy3("<mstyle displaystyle=\"true\">", yyvsp[0], "</mstyle>");
4247
4251
  itex2MML_free_string(yyvsp[0]);
4248
4252
  }
4249
- #line 4250 "y.tab.c" /* yacc.c:1652 */
4253
+ #line 4254 "y.tab.c"
4250
4254
  break;
4251
4255
 
4252
4256
  case 177:
4253
- #line 948 "itex2MML.y" /* yacc.c:1652 */
4257
+ #line 948 "itex2MML.y"
4254
4258
  {
4255
4259
  yyval = itex2MML_copy3("<mstyle displaystyle=\"false\">", yyvsp[0], "</mstyle>");
4256
4260
  itex2MML_free_string(yyvsp[0]);
4257
4261
  }
4258
- #line 4259 "y.tab.c" /* yacc.c:1652 */
4262
+ #line 4263 "y.tab.c"
4259
4263
  break;
4260
4264
 
4261
4265
  case 178:
4262
- #line 953 "itex2MML.y" /* yacc.c:1652 */
4266
+ #line 953 "itex2MML.y"
4263
4267
  {
4264
4268
  yyval = itex2MML_copy3("<mstyle scriptlevel=\"0\">", yyvsp[0], "</mstyle>");
4265
4269
  itex2MML_free_string(yyvsp[0]);
4266
4270
  }
4267
- #line 4268 "y.tab.c" /* yacc.c:1652 */
4271
+ #line 4272 "y.tab.c"
4268
4272
  break;
4269
4273
 
4270
4274
  case 179:
4271
- #line 958 "itex2MML.y" /* yacc.c:1652 */
4275
+ #line 958 "itex2MML.y"
4272
4276
  {
4273
4277
  yyval = itex2MML_copy3("<mstyle scriptlevel=\"1\">", yyvsp[0], "</mstyle>");
4274
4278
  itex2MML_free_string(yyvsp[0]);
4275
4279
  }
4276
- #line 4277 "y.tab.c" /* yacc.c:1652 */
4280
+ #line 4281 "y.tab.c"
4277
4281
  break;
4278
4282
 
4279
4283
  case 180:
4280
- #line 963 "itex2MML.y" /* yacc.c:1652 */
4284
+ #line 963 "itex2MML.y"
4281
4285
  {
4282
4286
  yyval = itex2MML_copy3("<mstyle scriptlevel=\"2\">", yyvsp[0], "</mstyle>");
4283
4287
  itex2MML_free_string(yyvsp[0]);
4284
4288
  }
4285
- #line 4286 "y.tab.c" /* yacc.c:1652 */
4289
+ #line 4290 "y.tab.c"
4286
4290
  break;
4287
4291
 
4288
4292
  case 181:
4289
- #line 968 "itex2MML.y" /* yacc.c:1652 */
4293
+ #line 968 "itex2MML.y"
4290
4294
  {
4291
4295
  yyval = itex2MML_copy3("<mstyle mathvariant=\"italic\">", yyvsp[0], "</mstyle>");
4292
4296
  itex2MML_free_string(yyvsp[0]);
4293
4297
  }
4294
- #line 4295 "y.tab.c" /* yacc.c:1652 */
4298
+ #line 4299 "y.tab.c"
4295
4299
  break;
4296
4300
 
4297
4301
  case 182:
4298
- #line 973 "itex2MML.y" /* yacc.c:1652 */
4302
+ #line 973 "itex2MML.y"
4299
4303
  {
4300
4304
  yyval = itex2MML_copy3("<mstyle mathvariant=\"sans-serif\">", yyvsp[0], "</mstyle>");
4301
4305
  itex2MML_free_string(yyvsp[0]);
4302
4306
  }
4303
- #line 4304 "y.tab.c" /* yacc.c:1652 */
4307
+ #line 4308 "y.tab.c"
4304
4308
  break;
4305
4309
 
4306
4310
  case 183:
4307
- #line 978 "itex2MML.y" /* yacc.c:1652 */
4311
+ #line 978 "itex2MML.y"
4308
4312
  {
4309
4313
  yyval = itex2MML_copy3("<mstyle mathvariant=\"monospace\">", yyvsp[0], "</mstyle>");
4310
4314
  itex2MML_free_string(yyvsp[0]);
4311
4315
  }
4312
- #line 4313 "y.tab.c" /* yacc.c:1652 */
4316
+ #line 4317 "y.tab.c"
4313
4317
  break;
4314
4318
 
4315
4319
  case 184:
4316
- #line 983 "itex2MML.y" /* yacc.c:1652 */
4320
+ #line 983 "itex2MML.y"
4317
4321
  {
4318
4322
  yyval = itex2MML_copy3("<menclose notation=\"updiagonalstrike\">", yyvsp[0], "</menclose>");
4319
4323
  itex2MML_free_string(yyvsp[0]);
4320
4324
  }
4321
- #line 4322 "y.tab.c" /* yacc.c:1652 */
4325
+ #line 4326 "y.tab.c"
4322
4326
  break;
4323
4327
 
4324
4328
  case 185:
4325
- #line 988 "itex2MML.y" /* yacc.c:1652 */
4329
+ #line 988 "itex2MML.y"
4326
4330
  {
4327
4331
  yyval = itex2MML_copy3("<menclose notation=\"box\">", yyvsp[0], "</menclose>");
4328
4332
  itex2MML_free_string(yyvsp[0]);
4329
4333
  }
4330
- #line 4331 "y.tab.c" /* yacc.c:1652 */
4334
+ #line 4335 "y.tab.c"
4331
4335
  break;
4332
4336
 
4333
4337
  case 186:
4334
- #line 993 "itex2MML.y" /* yacc.c:1652 */
4338
+ #line 993 "itex2MML.y"
4335
4339
  {
4336
4340
  yyval = itex2MML_copy3("<mstyle mathvariant=\"bold\">", yyvsp[0], "</mstyle>");
4337
4341
  itex2MML_free_string(yyvsp[0]);
4338
4342
  }
4339
- #line 4340 "y.tab.c" /* yacc.c:1652 */
4343
+ #line 4344 "y.tab.c"
4340
4344
  break;
4341
4345
 
4342
4346
  case 187:
4343
- #line 998 "itex2MML.y" /* yacc.c:1652 */
4347
+ #line 998 "itex2MML.y"
4344
4348
  {
4345
4349
  yyval = itex2MML_copy3("<mi mathvariant=\"normal\">", yyvsp[-1], "</mi>");
4346
4350
  itex2MML_free_string(yyvsp[-1]);
4347
4351
  }
4348
- #line 4349 "y.tab.c" /* yacc.c:1652 */
4352
+ #line 4353 "y.tab.c"
4349
4353
  break;
4350
4354
 
4351
4355
  case 188:
4352
- #line 1003 "itex2MML.y" /* yacc.c:1652 */
4356
+ #line 1003 "itex2MML.y"
4353
4357
  {
4354
4358
  yyval = itex2MML_copy_string(yyvsp[0]);
4355
4359
  itex2MML_free_string(yyvsp[0]);
4356
4360
  }
4357
- #line 4358 "y.tab.c" /* yacc.c:1652 */
4361
+ #line 4362 "y.tab.c"
4358
4362
  break;
4359
4363
 
4360
4364
  case 189:
4361
- #line 1007 "itex2MML.y" /* yacc.c:1652 */
4365
+ #line 1007 "itex2MML.y"
4362
4366
  {
4363
4367
  yyval = itex2MML_copy2(yyvsp[-1], yyvsp[0]);
4364
4368
  itex2MML_free_string(yyvsp[-1]);
4365
4369
  itex2MML_free_string(yyvsp[0]);
4366
4370
  }
4367
- #line 4368 "y.tab.c" /* yacc.c:1652 */
4371
+ #line 4372 "y.tab.c"
4368
4372
  break;
4369
4373
 
4370
4374
  case 190:
4371
- #line 1013 "itex2MML.y" /* yacc.c:1652 */
4375
+ #line 1013 "itex2MML.y"
4372
4376
  {
4373
4377
  yyval = itex2MML_copy3("<mi>", yyvsp[-1], "</mi>");
4374
4378
  itex2MML_free_string(yyvsp[-1]);
4375
4379
  }
4376
- #line 4377 "y.tab.c" /* yacc.c:1652 */
4380
+ #line 4381 "y.tab.c"
4377
4381
  break;
4378
4382
 
4379
4383
  case 191:
4380
- #line 1018 "itex2MML.y" /* yacc.c:1652 */
4384
+ #line 1018 "itex2MML.y"
4381
4385
  {
4382
4386
  yyval = itex2MML_copy_string(yyvsp[0]);
4383
4387
  itex2MML_free_string(yyvsp[0]);
4384
4388
  }
4385
- #line 4386 "y.tab.c" /* yacc.c:1652 */
4389
+ #line 4390 "y.tab.c"
4386
4390
  break;
4387
4391
 
4388
4392
  case 192:
4389
- #line 1022 "itex2MML.y" /* yacc.c:1652 */
4393
+ #line 1022 "itex2MML.y"
4390
4394
  {
4391
4395
  yyval = itex2MML_copy2(yyvsp[-1], yyvsp[0]);
4392
4396
  itex2MML_free_string(yyvsp[-1]);
4393
4397
  itex2MML_free_string(yyvsp[0]);
4394
4398
  }
4395
- #line 4396 "y.tab.c" /* yacc.c:1652 */
4399
+ #line 4400 "y.tab.c"
4396
4400
  break;
4397
4401
 
4398
4402
  case 193:
4399
- #line 1028 "itex2MML.y" /* yacc.c:1652 */
4403
+ #line 1028 "itex2MML.y"
4400
4404
  {
4401
4405
  yyval = itex2MML_copy3("&", yyvsp[0], "opf;");
4402
4406
  itex2MML_free_string(yyvsp[0]);
4403
4407
  }
4404
- #line 4405 "y.tab.c" /* yacc.c:1652 */
4408
+ #line 4409 "y.tab.c"
4405
4409
  break;
4406
4410
 
4407
4411
  case 194:
4408
- #line 1032 "itex2MML.y" /* yacc.c:1652 */
4412
+ #line 1032 "itex2MML.y"
4409
4413
  {
4410
4414
  yyval = itex2MML_copy3("&", yyvsp[0], "opf;");
4411
4415
  itex2MML_free_string(yyvsp[0]);
4412
4416
  }
4413
- #line 4414 "y.tab.c" /* yacc.c:1652 */
4417
+ #line 4418 "y.tab.c"
4414
4418
  break;
4415
4419
 
4416
4420
  case 195:
4417
- #line 1036 "itex2MML.y" /* yacc.c:1652 */
4421
+ #line 1036 "itex2MML.y"
4418
4422
  {
4419
4423
  /* Blackboard digits 0-9 correspond to Unicode characters 0x1D7D8-0x1D7E1 */
4420
4424
  char * end = yyvsp[0] + 1;
@@ -4422,167 +4426,167 @@ yyreduce:
4422
4426
  yyval = itex2MML_character_reference(code);
4423
4427
  itex2MML_free_string(yyvsp[0]);
4424
4428
  }
4425
- #line 4426 "y.tab.c" /* yacc.c:1652 */
4429
+ #line 4430 "y.tab.c"
4426
4430
  break;
4427
4431
 
4428
4432
  case 196:
4429
- #line 1044 "itex2MML.y" /* yacc.c:1652 */
4433
+ #line 1044 "itex2MML.y"
4430
4434
  {
4431
4435
  yyval = itex2MML_copy3("<mi>", yyvsp[-1], "</mi>");
4432
4436
  itex2MML_free_string(yyvsp[-1]);
4433
4437
  }
4434
- #line 4435 "y.tab.c" /* yacc.c:1652 */
4438
+ #line 4439 "y.tab.c"
4435
4439
  break;
4436
4440
 
4437
4441
  case 197:
4438
- #line 1049 "itex2MML.y" /* yacc.c:1652 */
4442
+ #line 1049 "itex2MML.y"
4439
4443
  {
4440
4444
  yyval = itex2MML_copy_string(yyvsp[0]);
4441
4445
  itex2MML_free_string(yyvsp[0]);
4442
4446
  }
4443
- #line 4444 "y.tab.c" /* yacc.c:1652 */
4447
+ #line 4448 "y.tab.c"
4444
4448
  break;
4445
4449
 
4446
4450
  case 198:
4447
- #line 1053 "itex2MML.y" /* yacc.c:1652 */
4451
+ #line 1053 "itex2MML.y"
4448
4452
  {
4449
4453
  yyval = itex2MML_copy2(yyvsp[-1], yyvsp[0]);
4450
4454
  itex2MML_free_string(yyvsp[-1]);
4451
4455
  itex2MML_free_string(yyvsp[0]);
4452
4456
  }
4453
- #line 4454 "y.tab.c" /* yacc.c:1652 */
4457
+ #line 4458 "y.tab.c"
4454
4458
  break;
4455
4459
 
4456
4460
  case 199:
4457
- #line 1059 "itex2MML.y" /* yacc.c:1652 */
4461
+ #line 1059 "itex2MML.y"
4458
4462
  {
4459
4463
  yyval = itex2MML_copy3("&", yyvsp[0], "fr;");
4460
4464
  itex2MML_free_string(yyvsp[0]);
4461
4465
  }
4462
- #line 4463 "y.tab.c" /* yacc.c:1652 */
4466
+ #line 4467 "y.tab.c"
4463
4467
  break;
4464
4468
 
4465
4469
  case 200:
4466
- #line 1064 "itex2MML.y" /* yacc.c:1652 */
4470
+ #line 1064 "itex2MML.y"
4467
4471
  {
4468
4472
  yyval = itex2MML_copy3("<mi>", yyvsp[-1], "</mi>");
4469
4473
  itex2MML_free_string(yyvsp[-1]);
4470
4474
  }
4471
- #line 4472 "y.tab.c" /* yacc.c:1652 */
4475
+ #line 4476 "y.tab.c"
4472
4476
  break;
4473
4477
 
4474
4478
  case 201:
4475
- #line 1069 "itex2MML.y" /* yacc.c:1652 */
4479
+ #line 1069 "itex2MML.y"
4476
4480
  {
4477
4481
  yyval = itex2MML_copy3("<mi class='mathscript'>", yyvsp[-1], "</mi>");
4478
4482
  itex2MML_free_string(yyvsp[-1]);
4479
4483
  }
4480
- #line 4481 "y.tab.c" /* yacc.c:1652 */
4484
+ #line 4485 "y.tab.c"
4481
4485
  break;
4482
4486
 
4483
4487
  case 202:
4484
- #line 1074 "itex2MML.y" /* yacc.c:1652 */
4488
+ #line 1074 "itex2MML.y"
4485
4489
  {
4486
4490
  yyval = itex2MML_copy_string(yyvsp[0]);
4487
4491
  itex2MML_free_string(yyvsp[0]);
4488
4492
  }
4489
- #line 4490 "y.tab.c" /* yacc.c:1652 */
4493
+ #line 4494 "y.tab.c"
4490
4494
  break;
4491
4495
 
4492
4496
  case 203:
4493
- #line 1078 "itex2MML.y" /* yacc.c:1652 */
4497
+ #line 1078 "itex2MML.y"
4494
4498
  {
4495
4499
  yyval = itex2MML_copy2(yyvsp[-1], yyvsp[0]);
4496
4500
  itex2MML_free_string(yyvsp[-1]);
4497
4501
  itex2MML_free_string(yyvsp[0]);
4498
4502
  }
4499
- #line 4500 "y.tab.c" /* yacc.c:1652 */
4503
+ #line 4504 "y.tab.c"
4500
4504
  break;
4501
4505
 
4502
4506
  case 204:
4503
- #line 1084 "itex2MML.y" /* yacc.c:1652 */
4507
+ #line 1084 "itex2MML.y"
4504
4508
  {
4505
4509
  yyval = itex2MML_copy3("&", yyvsp[0], "scr;");
4506
4510
  itex2MML_free_string(yyvsp[0]);
4507
4511
  }
4508
- #line 4509 "y.tab.c" /* yacc.c:1652 */
4512
+ #line 4513 "y.tab.c"
4509
4513
  break;
4510
4514
 
4511
4515
  case 205:
4512
- #line 1089 "itex2MML.y" /* yacc.c:1652 */
4516
+ #line 1089 "itex2MML.y"
4513
4517
  {
4514
4518
  yyval = itex2MML_copy_string("<mspace width=\"0.16667em\"/>");
4515
4519
  }
4516
- #line 4517 "y.tab.c" /* yacc.c:1652 */
4520
+ #line 4521 "y.tab.c"
4517
4521
  break;
4518
4522
 
4519
4523
  case 206:
4520
- #line 1093 "itex2MML.y" /* yacc.c:1652 */
4524
+ #line 1093 "itex2MML.y"
4521
4525
  {
4522
4526
  yyval = itex2MML_copy_string("<mspace width=\"0.22222em\"/>");
4523
4527
  }
4524
- #line 4525 "y.tab.c" /* yacc.c:1652 */
4528
+ #line 4529 "y.tab.c"
4525
4529
  break;
4526
4530
 
4527
4531
  case 207:
4528
- #line 1097 "itex2MML.y" /* yacc.c:1652 */
4532
+ #line 1097 "itex2MML.y"
4529
4533
  {
4530
4534
  yyval = itex2MML_copy_string("<mspace width=\"0.27778em\"/>");
4531
4535
  }
4532
- #line 4533 "y.tab.c" /* yacc.c:1652 */
4536
+ #line 4537 "y.tab.c"
4533
4537
  break;
4534
4538
 
4535
4539
  case 208:
4536
- #line 1101 "itex2MML.y" /* yacc.c:1652 */
4540
+ #line 1101 "itex2MML.y"
4537
4541
  {
4538
4542
  yyval = itex2MML_copy_string("<mspace width=\"1em\"/>");
4539
4543
  }
4540
- #line 4541 "y.tab.c" /* yacc.c:1652 */
4544
+ #line 4545 "y.tab.c"
4541
4545
  break;
4542
4546
 
4543
4547
  case 209:
4544
- #line 1105 "itex2MML.y" /* yacc.c:1652 */
4548
+ #line 1105 "itex2MML.y"
4545
4549
  {
4546
4550
  yyval = itex2MML_copy_string("<mspace width=\"2em\"/>");
4547
4551
  }
4548
- #line 4549 "y.tab.c" /* yacc.c:1652 */
4552
+ #line 4553 "y.tab.c"
4549
4553
  break;
4550
4554
 
4551
4555
  case 210:
4552
- #line 1109 "itex2MML.y" /* yacc.c:1652 */
4556
+ #line 1109 "itex2MML.y"
4553
4557
  {
4554
4558
  yyval = itex2MML_copy_string("<mspace width=\"-0.16667em\"/>");
4555
4559
  }
4556
- #line 4557 "y.tab.c" /* yacc.c:1652 */
4560
+ #line 4561 "y.tab.c"
4557
4561
  break;
4558
4562
 
4559
4563
  case 211:
4560
- #line 1113 "itex2MML.y" /* yacc.c:1652 */
4564
+ #line 1113 "itex2MML.y"
4561
4565
  {
4562
4566
  yyval = itex2MML_copy_string("<mspace width=\"-0.22222em\"/>");
4563
4567
  }
4564
- #line 4565 "y.tab.c" /* yacc.c:1652 */
4568
+ #line 4569 "y.tab.c"
4565
4569
  break;
4566
4570
 
4567
4571
  case 212:
4568
- #line 1117 "itex2MML.y" /* yacc.c:1652 */
4572
+ #line 1117 "itex2MML.y"
4569
4573
  {
4570
4574
  yyval = itex2MML_copy_string("<mspace width=\"-0.27778em\"/>");
4571
4575
  }
4572
- #line 4573 "y.tab.c" /* yacc.c:1652 */
4576
+ #line 4577 "y.tab.c"
4573
4577
  break;
4574
4578
 
4575
4579
  case 213:
4576
- #line 1121 "itex2MML.y" /* yacc.c:1652 */
4580
+ #line 1121 "itex2MML.y"
4577
4581
  {
4578
4582
  yyval = itex2MML_copy3("<mphantom>", yyvsp[0], "</mphantom>");
4579
4583
  itex2MML_free_string(yyvsp[0]);
4580
4584
  }
4581
- #line 4582 "y.tab.c" /* yacc.c:1652 */
4585
+ #line 4586 "y.tab.c"
4582
4586
  break;
4583
4587
 
4584
4588
  case 214:
4585
- #line 1126 "itex2MML.y" /* yacc.c:1652 */
4589
+ #line 1126 "itex2MML.y"
4586
4590
  {
4587
4591
  char * s1 = itex2MML_copy3("<mrow href=\"", yyvsp[-1], "\" xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:type=\"simple\" xlink:href=\"");
4588
4592
  char * s2 = itex2MML_copy3(s1, yyvsp[-1], "\">");
@@ -4592,11 +4596,11 @@ yyreduce:
4592
4596
  itex2MML_free_string(yyvsp[-1]);
4593
4597
  itex2MML_free_string(yyvsp[0]);
4594
4598
  }
4595
- #line 4596 "y.tab.c" /* yacc.c:1652 */
4599
+ #line 4600 "y.tab.c"
4596
4600
  break;
4597
4601
 
4598
4602
  case 215:
4599
- #line 1136 "itex2MML.y" /* yacc.c:1652 */
4603
+ #line 1136 "itex2MML.y"
4600
4604
  {
4601
4605
  char * s1 = itex2MML_copy3("<mmultiscripts>", yyvsp[-3], yyvsp[-1]);
4602
4606
  yyval = itex2MML_copy2(s1, "</mmultiscripts>");
@@ -4604,11 +4608,11 @@ yyreduce:
4604
4608
  itex2MML_free_string(yyvsp[-3]);
4605
4609
  itex2MML_free_string(yyvsp[-1]);
4606
4610
  }
4607
- #line 4608 "y.tab.c" /* yacc.c:1652 */
4611
+ #line 4612 "y.tab.c"
4608
4612
  break;
4609
4613
 
4610
4614
  case 216:
4611
- #line 1143 "itex2MML.y" /* yacc.c:1652 */
4615
+ #line 1143 "itex2MML.y"
4612
4616
  {
4613
4617
  char * s1 = itex2MML_copy3("<mmultiscripts>", yyvsp[-1], yyvsp[0]);
4614
4618
  yyval = itex2MML_copy2(s1, "</mmultiscripts>");
@@ -4616,11 +4620,11 @@ yyreduce:
4616
4620
  itex2MML_free_string(yyvsp[-1]);
4617
4621
  itex2MML_free_string(yyvsp[0]);
4618
4622
  }
4619
- #line 4620 "y.tab.c" /* yacc.c:1652 */
4623
+ #line 4624 "y.tab.c"
4620
4624
  break;
4621
4625
 
4622
4626
  case 217:
4623
- #line 1151 "itex2MML.y" /* yacc.c:1652 */
4627
+ #line 1151 "itex2MML.y"
4624
4628
  {
4625
4629
  char * s1 = itex2MML_copy3("<mmultiscripts>", yyvsp[-3], yyvsp[-1]);
4626
4630
  char * s2 = itex2MML_copy3("<mprescripts/>", yyvsp[-5], "</mmultiscripts>");
@@ -4631,11 +4635,11 @@ yyreduce:
4631
4635
  itex2MML_free_string(yyvsp[-3]);
4632
4636
  itex2MML_free_string(yyvsp[-1]);
4633
4637
  }
4634
- #line 4635 "y.tab.c" /* yacc.c:1652 */
4638
+ #line 4639 "y.tab.c"
4635
4639
  break;
4636
4640
 
4637
4641
  case 218:
4638
- #line 1161 "itex2MML.y" /* yacc.c:1652 */
4642
+ #line 1161 "itex2MML.y"
4639
4643
  {
4640
4644
  char * s1 = itex2MML_copy2("<mmultiscripts>", yyvsp[-1]);
4641
4645
  char * s2 = itex2MML_copy3("<mprescripts/>", yyvsp[-3], "</mmultiscripts>");
@@ -4645,11 +4649,11 @@ yyreduce:
4645
4649
  itex2MML_free_string(yyvsp[-3]);
4646
4650
  itex2MML_free_string(yyvsp[-1]);
4647
4651
  }
4648
- #line 4649 "y.tab.c" /* yacc.c:1652 */
4652
+ #line 4653 "y.tab.c"
4649
4653
  break;
4650
4654
 
4651
4655
  case 219:
4652
- #line 1170 "itex2MML.y" /* yacc.c:1652 */
4656
+ #line 1170 "itex2MML.y"
4653
4657
  {
4654
4658
  char * s1 = itex2MML_copy3("<mmultiscripts>", yyvsp[-3], yyvsp[-1]);
4655
4659
  yyval = itex2MML_copy2(s1, "</mmultiscripts>");
@@ -4657,67 +4661,67 @@ yyreduce:
4657
4661
  itex2MML_free_string(yyvsp[-3]);
4658
4662
  itex2MML_free_string(yyvsp[-1]);
4659
4663
  }
4660
- #line 4661 "y.tab.c" /* yacc.c:1652 */
4664
+ #line 4665 "y.tab.c"
4661
4665
  break;
4662
4666
 
4663
4667
  case 220:
4664
- #line 1178 "itex2MML.y" /* yacc.c:1652 */
4668
+ #line 1178 "itex2MML.y"
4665
4669
  {
4666
4670
  yyval = itex2MML_copy_string(yyvsp[0]);
4667
4671
  itex2MML_free_string(yyvsp[0]);
4668
4672
  }
4669
- #line 4670 "y.tab.c" /* yacc.c:1652 */
4673
+ #line 4674 "y.tab.c"
4670
4674
  break;
4671
4675
 
4672
4676
  case 221:
4673
- #line 1182 "itex2MML.y" /* yacc.c:1652 */
4677
+ #line 1182 "itex2MML.y"
4674
4678
  {
4675
4679
  yyval = itex2MML_copy3(yyvsp[-1], " ", yyvsp[0]);
4676
4680
  itex2MML_free_string(yyvsp[-1]);
4677
4681
  itex2MML_free_string(yyvsp[0]);
4678
4682
  }
4679
- #line 4680 "y.tab.c" /* yacc.c:1652 */
4683
+ #line 4684 "y.tab.c"
4680
4684
  break;
4681
4685
 
4682
4686
  case 222:
4683
- #line 1188 "itex2MML.y" /* yacc.c:1652 */
4687
+ #line 1188 "itex2MML.y"
4684
4688
  {
4685
4689
  yyval = itex2MML_copy3(yyvsp[-2], " ", yyvsp[0]);
4686
4690
  itex2MML_free_string(yyvsp[-2]);
4687
4691
  itex2MML_free_string(yyvsp[0]);
4688
4692
  }
4689
- #line 4690 "y.tab.c" /* yacc.c:1652 */
4693
+ #line 4694 "y.tab.c"
4690
4694
  break;
4691
4695
 
4692
4696
  case 223:
4693
- #line 1193 "itex2MML.y" /* yacc.c:1652 */
4697
+ #line 1193 "itex2MML.y"
4694
4698
  {
4695
4699
  yyval = itex2MML_copy2(yyvsp[0], " <none/>");
4696
4700
  itex2MML_free_string(yyvsp[0]);
4697
4701
  }
4698
- #line 4699 "y.tab.c" /* yacc.c:1652 */
4702
+ #line 4703 "y.tab.c"
4699
4703
  break;
4700
4704
 
4701
4705
  case 224:
4702
- #line 1197 "itex2MML.y" /* yacc.c:1652 */
4706
+ #line 1197 "itex2MML.y"
4703
4707
  {
4704
4708
  yyval = itex2MML_copy2("<none/> ", yyvsp[0]);
4705
4709
  itex2MML_free_string(yyvsp[0]);
4706
4710
  }
4707
- #line 4708 "y.tab.c" /* yacc.c:1652 */
4711
+ #line 4712 "y.tab.c"
4708
4712
  break;
4709
4713
 
4710
4714
  case 225:
4711
- #line 1201 "itex2MML.y" /* yacc.c:1652 */
4715
+ #line 1201 "itex2MML.y"
4712
4716
  {
4713
4717
  yyval = itex2MML_copy2("<none/> ", yyvsp[0]);
4714
4718
  itex2MML_free_string(yyvsp[0]);
4715
4719
  }
4716
- #line 4717 "y.tab.c" /* yacc.c:1652 */
4720
+ #line 4721 "y.tab.c"
4717
4721
  break;
4718
4722
 
4719
4723
  case 226:
4720
- #line 1206 "itex2MML.y" /* yacc.c:1652 */
4724
+ #line 1206 "itex2MML.y"
4721
4725
  {
4722
4726
  char * s1 = itex2MML_copy3("<mfrac>", yyvsp[-1], yyvsp[0]);
4723
4727
  yyval = itex2MML_copy2(s1, "</mfrac>");
@@ -4725,11 +4729,11 @@ yyreduce:
4725
4729
  itex2MML_free_string(yyvsp[-1]);
4726
4730
  itex2MML_free_string(yyvsp[0]);
4727
4731
  }
4728
- #line 4729 "y.tab.c" /* yacc.c:1652 */
4732
+ #line 4733 "y.tab.c"
4729
4733
  break;
4730
4734
 
4731
4735
  case 227:
4732
- #line 1213 "itex2MML.y" /* yacc.c:1652 */
4736
+ #line 1213 "itex2MML.y"
4733
4737
  {
4734
4738
  char * s1 = itex2MML_copy3("<mstyle displaystyle=\"false\"><mfrac>", yyvsp[-1], yyvsp[0]);
4735
4739
  yyval = itex2MML_copy2(s1, "</mfrac></mstyle>");
@@ -4737,20 +4741,20 @@ yyreduce:
4737
4741
  itex2MML_free_string(yyvsp[-1]);
4738
4742
  itex2MML_free_string(yyvsp[0]);
4739
4743
  }
4740
- #line 4741 "y.tab.c" /* yacc.c:1652 */
4744
+ #line 4745 "y.tab.c"
4741
4745
  break;
4742
4746
 
4743
4747
  case 228:
4744
- #line 1221 "itex2MML.y" /* yacc.c:1652 */
4748
+ #line 1221 "itex2MML.y"
4745
4749
  {
4746
4750
  yyval = itex2MML_copy3( "<mrow><mo lspace=\"0.22222em\">(</mo><mo rspace=\"0.16667em\">mod</mo>", yyvsp[0], "<mo rspace=\"0.22222em\">)</mo></mrow>");
4747
4751
  itex2MML_free_string(yyvsp[0]);
4748
4752
  }
4749
- #line 4750 "y.tab.c" /* yacc.c:1652 */
4753
+ #line 4754 "y.tab.c"
4750
4754
  break;
4751
4755
 
4752
4756
  case 229:
4753
- #line 1226 "itex2MML.y" /* yacc.c:1652 */
4757
+ #line 1226 "itex2MML.y"
4754
4758
  {
4755
4759
  char * s1 = itex2MML_copy3("<mfrac><mrow>", yyvsp[-3], "</mrow><mrow>");
4756
4760
  yyval = itex2MML_copy3(s1, yyvsp[-1], "</mrow></mfrac>");
@@ -4758,11 +4762,11 @@ yyreduce:
4758
4762
  itex2MML_free_string(yyvsp[-3]);
4759
4763
  itex2MML_free_string(yyvsp[-1]);
4760
4764
  }
4761
- #line 4762 "y.tab.c" /* yacc.c:1652 */
4765
+ #line 4766 "y.tab.c"
4762
4766
  break;
4763
4767
 
4764
4768
  case 230:
4765
- #line 1233 "itex2MML.y" /* yacc.c:1652 */
4769
+ #line 1233 "itex2MML.y"
4766
4770
  {
4767
4771
  char * s1 = itex2MML_copy3("<mrow>", yyvsp[-4], "<mfrac><mrow>");
4768
4772
  char * s2 = itex2MML_copy3(yyvsp[-3], "</mrow><mrow>", yyvsp[-1]);
@@ -4776,11 +4780,11 @@ yyreduce:
4776
4780
  itex2MML_free_string(yyvsp[-1]);
4777
4781
  itex2MML_free_string(yyvsp[0]);
4778
4782
  }
4779
- #line 4780 "y.tab.c" /* yacc.c:1652 */
4783
+ #line 4784 "y.tab.c"
4780
4784
  break;
4781
4785
 
4782
4786
  case 231:
4783
- #line 1247 "itex2MML.y" /* yacc.c:1652 */
4787
+ #line 1247 "itex2MML.y"
4784
4788
  {
4785
4789
  char * s1 = itex2MML_copy3("<mfrac linethickness=\"0px\"><mrow>", yyvsp[-3], "</mrow><mrow>");
4786
4790
  yyval = itex2MML_copy3(s1, yyvsp[-1], "</mrow></mfrac>");
@@ -4788,11 +4792,11 @@ yyreduce:
4788
4792
  itex2MML_free_string(yyvsp[-3]);
4789
4793
  itex2MML_free_string(yyvsp[-1]);
4790
4794
  }
4791
- #line 4792 "y.tab.c" /* yacc.c:1652 */
4795
+ #line 4796 "y.tab.c"
4792
4796
  break;
4793
4797
 
4794
4798
  case 232:
4795
- #line 1254 "itex2MML.y" /* yacc.c:1652 */
4799
+ #line 1254 "itex2MML.y"
4796
4800
  {
4797
4801
  char * s1 = itex2MML_copy3("<mrow>", yyvsp[-4], "<mfrac linethickness=\"0px\"><mrow>");
4798
4802
  char * s2 = itex2MML_copy3(yyvsp[-3], "</mrow><mrow>", yyvsp[-1]);
@@ -4806,11 +4810,11 @@ yyreduce:
4806
4810
  itex2MML_free_string(yyvsp[-1]);
4807
4811
  itex2MML_free_string(yyvsp[0]);
4808
4812
  }
4809
- #line 4810 "y.tab.c" /* yacc.c:1652 */
4813
+ #line 4814 "y.tab.c"
4810
4814
  break;
4811
4815
 
4812
4816
  case 233:
4813
- #line 1268 "itex2MML.y" /* yacc.c:1652 */
4817
+ #line 1268 "itex2MML.y"
4814
4818
  {
4815
4819
  char * s1 = itex2MML_copy3("<mrow><mo>(</mo><mfrac linethickness=\"0px\">", yyvsp[-1], yyvsp[0]);
4816
4820
  yyval = itex2MML_copy2(s1, "</mfrac><mo>)</mo></mrow>");
@@ -4818,11 +4822,11 @@ yyreduce:
4818
4822
  itex2MML_free_string(yyvsp[-1]);
4819
4823
  itex2MML_free_string(yyvsp[0]);
4820
4824
  }
4821
- #line 4822 "y.tab.c" /* yacc.c:1652 */
4825
+ #line 4826 "y.tab.c"
4822
4826
  break;
4823
4827
 
4824
4828
  case 234:
4825
- #line 1275 "itex2MML.y" /* yacc.c:1652 */
4829
+ #line 1275 "itex2MML.y"
4826
4830
  {
4827
4831
  char * s1 = itex2MML_copy3("<mrow><mo>(</mo><mstyle displaystyle=\"false\"><mfrac linethickness=\"0px\">", yyvsp[-1], yyvsp[0]);
4828
4832
  yyval = itex2MML_copy2(s1, "</mfrac></mstyle><mo>)</mo></mrow>");
@@ -4830,218 +4834,218 @@ yyreduce:
4830
4834
  itex2MML_free_string(yyvsp[-1]);
4831
4835
  itex2MML_free_string(yyvsp[0]);
4832
4836
  }
4833
- #line 4834 "y.tab.c" /* yacc.c:1652 */
4837
+ #line 4838 "y.tab.c"
4834
4838
  break;
4835
4839
 
4836
4840
  case 235:
4837
- #line 1283 "itex2MML.y" /* yacc.c:1652 */
4841
+ #line 1283 "itex2MML.y"
4838
4842
  {
4839
4843
  yyval = itex2MML_copy3("<munder>", yyvsp[0], "<mo>&UnderBrace;</mo></munder>");
4840
4844
  itex2MML_free_string(yyvsp[0]);
4841
4845
  }
4842
- #line 4843 "y.tab.c" /* yacc.c:1652 */
4846
+ #line 4847 "y.tab.c"
4843
4847
  break;
4844
4848
 
4845
4849
  case 236:
4846
- #line 1288 "itex2MML.y" /* yacc.c:1652 */
4850
+ #line 1288 "itex2MML.y"
4847
4851
  {
4848
4852
  yyval = itex2MML_copy3("<munder>", yyvsp[0], "<mo>&#x00332;</mo></munder>");
4849
4853
  itex2MML_free_string(yyvsp[0]);
4850
4854
  }
4851
- #line 4852 "y.tab.c" /* yacc.c:1652 */
4855
+ #line 4856 "y.tab.c"
4852
4856
  break;
4853
4857
 
4854
4858
  case 237:
4855
- #line 1293 "itex2MML.y" /* yacc.c:1652 */
4859
+ #line 1293 "itex2MML.y"
4856
4860
  {
4857
4861
  yyval = itex2MML_copy3("<mover>", yyvsp[0], "<mo>&OverBrace;</mo></mover>");
4858
4862
  itex2MML_free_string(yyvsp[0]);
4859
4863
  }
4860
- #line 4861 "y.tab.c" /* yacc.c:1652 */
4864
+ #line 4865 "y.tab.c"
4861
4865
  break;
4862
4866
 
4863
4867
  case 238:
4864
- #line 1298 "itex2MML.y" /* yacc.c:1652 */
4868
+ #line 1298 "itex2MML.y"
4865
4869
  {
4866
4870
  yyval = itex2MML_copy3("<mover>", yyvsp[0], "<mo stretchy=\"false\">&#x000AF;</mo></mover>");
4867
4871
  itex2MML_free_string(yyvsp[0]);
4868
4872
  }
4869
- #line 4870 "y.tab.c" /* yacc.c:1652 */
4873
+ #line 4874 "y.tab.c"
4870
4874
  break;
4871
4875
 
4872
4876
  case 239:
4873
- #line 1302 "itex2MML.y" /* yacc.c:1652 */
4877
+ #line 1302 "itex2MML.y"
4874
4878
  {
4875
4879
  yyval = itex2MML_copy3("<mover>", yyvsp[0], "<mo>&#x000AF;</mo></mover>");
4876
4880
  itex2MML_free_string(yyvsp[0]);
4877
4881
  }
4878
- #line 4879 "y.tab.c" /* yacc.c:1652 */
4882
+ #line 4883 "y.tab.c"
4879
4883
  break;
4880
4884
 
4881
4885
  case 240:
4882
- #line 1307 "itex2MML.y" /* yacc.c:1652 */
4886
+ #line 1307 "itex2MML.y"
4883
4887
  {
4884
4888
  yyval = itex2MML_copy3("<mover>", yyvsp[0], "<mo stretchy=\"false\">&rightarrow;</mo></mover>");
4885
4889
  itex2MML_free_string(yyvsp[0]);
4886
4890
  }
4887
- #line 4888 "y.tab.c" /* yacc.c:1652 */
4891
+ #line 4892 "y.tab.c"
4888
4892
  break;
4889
4893
 
4890
4894
  case 241:
4891
- #line 1311 "itex2MML.y" /* yacc.c:1652 */
4895
+ #line 1311 "itex2MML.y"
4892
4896
  {
4893
4897
  yyval = itex2MML_copy3("<mover>", yyvsp[0], "<mo>&rightarrow;</mo></mover>");
4894
4898
  itex2MML_free_string(yyvsp[0]);
4895
4899
  }
4896
- #line 4897 "y.tab.c" /* yacc.c:1652 */
4900
+ #line 4901 "y.tab.c"
4897
4901
  break;
4898
4902
 
4899
4903
  case 242:
4900
- #line 1316 "itex2MML.y" /* yacc.c:1652 */
4904
+ #line 1316 "itex2MML.y"
4901
4905
  {
4902
4906
  yyval = itex2MML_copy3("<mover>", yyvsp[0], "<mo>&leftarrow;</mo></mover>");
4903
4907
  itex2MML_free_string(yyvsp[0]);
4904
4908
  }
4905
- #line 4906 "y.tab.c" /* yacc.c:1652 */
4909
+ #line 4910 "y.tab.c"
4906
4910
  break;
4907
4911
 
4908
4912
  case 243:
4909
- #line 1320 "itex2MML.y" /* yacc.c:1652 */
4913
+ #line 1320 "itex2MML.y"
4910
4914
  {
4911
4915
  yyval = itex2MML_copy3("<mover>", yyvsp[0], "<mo>&leftrightarrow;</mo></mover>");
4912
4916
  itex2MML_free_string(yyvsp[0]);
4913
4917
  }
4914
- #line 4915 "y.tab.c" /* yacc.c:1652 */
4918
+ #line 4919 "y.tab.c"
4915
4919
  break;
4916
4920
 
4917
4921
  case 244:
4918
- #line 1324 "itex2MML.y" /* yacc.c:1652 */
4922
+ #line 1324 "itex2MML.y"
4919
4923
  {
4920
4924
  yyval = itex2MML_copy3("<munder>", yyvsp[0], "<mo>&rightarrow;</mo></munder>");
4921
4925
  itex2MML_free_string(yyvsp[0]);
4922
4926
  }
4923
- #line 4924 "y.tab.c" /* yacc.c:1652 */
4927
+ #line 4928 "y.tab.c"
4924
4928
  break;
4925
4929
 
4926
4930
  case 245:
4927
- #line 1328 "itex2MML.y" /* yacc.c:1652 */
4931
+ #line 1328 "itex2MML.y"
4928
4932
  {
4929
4933
  yyval = itex2MML_copy3("<munder>", yyvsp[0], "<mo>&leftarrow;</mo></munder>");
4930
4934
  itex2MML_free_string(yyvsp[0]);
4931
4935
  }
4932
- #line 4933 "y.tab.c" /* yacc.c:1652 */
4936
+ #line 4937 "y.tab.c"
4933
4937
  break;
4934
4938
 
4935
4939
  case 246:
4936
- #line 1332 "itex2MML.y" /* yacc.c:1652 */
4940
+ #line 1332 "itex2MML.y"
4937
4941
  {
4938
4942
  yyval = itex2MML_copy3("<munder>", yyvsp[0], "<mo>&leftrightarrow;</mo></munder>");
4939
4943
  itex2MML_free_string(yyvsp[0]);
4940
4944
  }
4941
- #line 4942 "y.tab.c" /* yacc.c:1652 */
4945
+ #line 4946 "y.tab.c"
4942
4946
  break;
4943
4947
 
4944
4948
  case 247:
4945
- #line 1337 "itex2MML.y" /* yacc.c:1652 */
4949
+ #line 1337 "itex2MML.y"
4946
4950
  {
4947
4951
  yyval = itex2MML_copy3("<mover>", yyvsp[0], "<mo>&dot;</mo></mover>");
4948
4952
  itex2MML_free_string(yyvsp[0]);
4949
4953
  }
4950
- #line 4951 "y.tab.c" /* yacc.c:1652 */
4954
+ #line 4955 "y.tab.c"
4951
4955
  break;
4952
4956
 
4953
4957
  case 248:
4954
- #line 1342 "itex2MML.y" /* yacc.c:1652 */
4958
+ #line 1342 "itex2MML.y"
4955
4959
  {
4956
4960
  yyval = itex2MML_copy3("<mover>", yyvsp[0], "<mo>&Dot;</mo></mover>");
4957
4961
  itex2MML_free_string(yyvsp[0]);
4958
4962
  }
4959
- #line 4960 "y.tab.c" /* yacc.c:1652 */
4963
+ #line 4964 "y.tab.c"
4960
4964
  break;
4961
4965
 
4962
4966
  case 249:
4963
- #line 1347 "itex2MML.y" /* yacc.c:1652 */
4967
+ #line 1347 "itex2MML.y"
4964
4968
  {
4965
4969
  yyval = itex2MML_copy3("<mover>", yyvsp[0], "<mo>&tdot;</mo></mover>");
4966
4970
  itex2MML_free_string(yyvsp[0]);
4967
4971
  }
4968
- #line 4969 "y.tab.c" /* yacc.c:1652 */
4972
+ #line 4973 "y.tab.c"
4969
4973
  break;
4970
4974
 
4971
4975
  case 250:
4972
- #line 1352 "itex2MML.y" /* yacc.c:1652 */
4976
+ #line 1352 "itex2MML.y"
4973
4977
  {
4974
4978
  yyval = itex2MML_copy3("<mover>", yyvsp[0], "<mo>&DotDot;</mo></mover>");
4975
4979
  itex2MML_free_string(yyvsp[0]);
4976
4980
  }
4977
- #line 4978 "y.tab.c" /* yacc.c:1652 */
4981
+ #line 4982 "y.tab.c"
4978
4982
  break;
4979
4983
 
4980
4984
  case 251:
4981
- #line 1357 "itex2MML.y" /* yacc.c:1652 */
4985
+ #line 1357 "itex2MML.y"
4982
4986
  {
4983
4987
  yyval = itex2MML_copy3("<mover>", yyvsp[0], "<mo stretchy=\"false\">&tilde;</mo></mover>");
4984
4988
  itex2MML_free_string(yyvsp[0]);
4985
4989
  }
4986
- #line 4987 "y.tab.c" /* yacc.c:1652 */
4990
+ #line 4991 "y.tab.c"
4987
4991
  break;
4988
4992
 
4989
4993
  case 252:
4990
- #line 1361 "itex2MML.y" /* yacc.c:1652 */
4994
+ #line 1361 "itex2MML.y"
4991
4995
  {
4992
4996
  yyval = itex2MML_copy3("<mover>", yyvsp[0], "<mo>&tilde;</mo></mover>");
4993
4997
  itex2MML_free_string(yyvsp[0]);
4994
4998
  }
4995
- #line 4996 "y.tab.c" /* yacc.c:1652 */
4999
+ #line 5000 "y.tab.c"
4996
5000
  break;
4997
5001
 
4998
5002
  case 253:
4999
- #line 1366 "itex2MML.y" /* yacc.c:1652 */
5003
+ #line 1366 "itex2MML.y"
5000
5004
  {
5001
5005
  yyval = itex2MML_copy3("<mover>", yyvsp[0], "<mo stretchy=\"false\">&#x2c7;</mo></mover>");
5002
5006
  itex2MML_free_string(yyvsp[0]);
5003
5007
  }
5004
- #line 5005 "y.tab.c" /* yacc.c:1652 */
5008
+ #line 5009 "y.tab.c"
5005
5009
  break;
5006
5010
 
5007
5011
  case 254:
5008
- #line 1370 "itex2MML.y" /* yacc.c:1652 */
5012
+ #line 1370 "itex2MML.y"
5009
5013
  {
5010
5014
  yyval = itex2MML_copy3("<mover>", yyvsp[0], "<mo>&#x2c7;</mo></mover>");
5011
5015
  itex2MML_free_string(yyvsp[0]);
5012
5016
  }
5013
- #line 5014 "y.tab.c" /* yacc.c:1652 */
5017
+ #line 5018 "y.tab.c"
5014
5018
  break;
5015
5019
 
5016
5020
  case 255:
5017
- #line 1375 "itex2MML.y" /* yacc.c:1652 */
5021
+ #line 1375 "itex2MML.y"
5018
5022
  {
5019
5023
  yyval = itex2MML_copy3("<mover>", yyvsp[0], "<mo stretchy=\"false\">&#x5E;</mo></mover>");
5020
5024
  itex2MML_free_string(yyvsp[0]);
5021
5025
  }
5022
- #line 5023 "y.tab.c" /* yacc.c:1652 */
5026
+ #line 5027 "y.tab.c"
5023
5027
  break;
5024
5028
 
5025
5029
  case 256:
5026
- #line 1379 "itex2MML.y" /* yacc.c:1652 */
5030
+ #line 1379 "itex2MML.y"
5027
5031
  {
5028
5032
  yyval = itex2MML_copy3("<mover>", yyvsp[0], "<mo>&#x5E;</mo></mover>");
5029
5033
  itex2MML_free_string(yyvsp[0]);
5030
5034
  }
5031
- #line 5032 "y.tab.c" /* yacc.c:1652 */
5035
+ #line 5036 "y.tab.c"
5032
5036
  break;
5033
5037
 
5034
5038
  case 257:
5035
- #line 1384 "itex2MML.y" /* yacc.c:1652 */
5039
+ #line 1384 "itex2MML.y"
5036
5040
  {
5037
5041
  yyval = itex2MML_copy3("<msqrt>", yyvsp[0], "</msqrt>");
5038
5042
  itex2MML_free_string(yyvsp[0]);
5039
5043
  }
5040
- #line 5041 "y.tab.c" /* yacc.c:1652 */
5044
+ #line 5045 "y.tab.c"
5041
5045
  break;
5042
5046
 
5043
5047
  case 258:
5044
- #line 1389 "itex2MML.y" /* yacc.c:1652 */
5048
+ #line 1389 "itex2MML.y"
5045
5049
  {
5046
5050
  char * s1 = itex2MML_copy3("<mroot>", yyvsp[0], yyvsp[-2]);
5047
5051
  yyval = itex2MML_copy2(s1, "</mroot>");
@@ -5049,11 +5053,11 @@ yyreduce:
5049
5053
  itex2MML_free_string(yyvsp[-2]);
5050
5054
  itex2MML_free_string(yyvsp[0]);
5051
5055
  }
5052
- #line 5053 "y.tab.c" /* yacc.c:1652 */
5056
+ #line 5057 "y.tab.c"
5053
5057
  break;
5054
5058
 
5055
5059
  case 259:
5056
- #line 1396 "itex2MML.y" /* yacc.c:1652 */
5060
+ #line 1396 "itex2MML.y"
5057
5061
  {
5058
5062
  char * s1 = itex2MML_copy3("<mroot>", yyvsp[0], yyvsp[-1]);
5059
5063
  yyval = itex2MML_copy2(s1, "</mroot>");
@@ -5061,11 +5065,11 @@ yyreduce:
5061
5065
  itex2MML_free_string(yyvsp[-1]);
5062
5066
  itex2MML_free_string(yyvsp[0]);
5063
5067
  }
5064
- #line 5065 "y.tab.c" /* yacc.c:1652 */
5068
+ #line 5069 "y.tab.c"
5065
5069
  break;
5066
5070
 
5067
5071
  case 260:
5068
- #line 1404 "itex2MML.y" /* yacc.c:1652 */
5072
+ #line 1404 "itex2MML.y"
5069
5073
  {
5070
5074
  char * s1 = itex2MML_copy3("<mpadded voffset='", yyvsp[-3], "' height='");
5071
5075
  char * s2 = itex2MML_copy3(s1, yyvsp[-2], "' depth='");
@@ -5079,11 +5083,11 @@ yyreduce:
5079
5083
  itex2MML_free_string(yyvsp[-1]);
5080
5084
  itex2MML_free_string(yyvsp[0]);
5081
5085
  }
5082
- #line 5083 "y.tab.c" /* yacc.c:1652 */
5086
+ #line 5087 "y.tab.c"
5083
5087
  break;
5084
5088
 
5085
5089
  case 261:
5086
- #line 1417 "itex2MML.y" /* yacc.c:1652 */
5090
+ #line 1417 "itex2MML.y"
5087
5091
  {
5088
5092
  char * s1 = itex2MML_copy3("<mpadded voffset='-", yyvsp[-3], "' height='");
5089
5093
  char * s2 = itex2MML_copy3(s1, yyvsp[-2], "' depth='");
@@ -5097,11 +5101,11 @@ yyreduce:
5097
5101
  itex2MML_free_string(yyvsp[-1]);
5098
5102
  itex2MML_free_string(yyvsp[0]);
5099
5103
  }
5100
- #line 5101 "y.tab.c" /* yacc.c:1652 */
5104
+ #line 5105 "y.tab.c"
5101
5105
  break;
5102
5106
 
5103
5107
  case 262:
5104
- #line 1430 "itex2MML.y" /* yacc.c:1652 */
5108
+ #line 1430 "itex2MML.y"
5105
5109
  {
5106
5110
  char * s1 = itex2MML_copy3("<mpadded voffset='", yyvsp[-2], "' height='");
5107
5111
  char * s2 = itex2MML_copy3(s1, yyvsp[-1], "' depth='depth'>");
@@ -5112,11 +5116,11 @@ yyreduce:
5112
5116
  itex2MML_free_string(yyvsp[-1]);
5113
5117
  itex2MML_free_string(yyvsp[0]);
5114
5118
  }
5115
- #line 5116 "y.tab.c" /* yacc.c:1652 */
5119
+ #line 5120 "y.tab.c"
5116
5120
  break;
5117
5121
 
5118
5122
  case 263:
5119
- #line 1440 "itex2MML.y" /* yacc.c:1652 */
5123
+ #line 1440 "itex2MML.y"
5120
5124
  {
5121
5125
  char * s1 = itex2MML_copy3("<mpadded voffset='-", yyvsp[-2], "' height='");
5122
5126
  char * s2 = itex2MML_copy3(s1, yyvsp[-1], "' depth='+");
@@ -5129,11 +5133,11 @@ yyreduce:
5129
5133
  itex2MML_free_string(yyvsp[-1]);
5130
5134
  itex2MML_free_string(yyvsp[0]);
5131
5135
  }
5132
- #line 5133 "y.tab.c" /* yacc.c:1652 */
5136
+ #line 5137 "y.tab.c"
5133
5137
  break;
5134
5138
 
5135
5139
  case 264:
5136
- #line 1452 "itex2MML.y" /* yacc.c:1652 */
5140
+ #line 1452 "itex2MML.y"
5137
5141
  {
5138
5142
  char * s1 = itex2MML_copy3("<mpadded voffset='", yyvsp[-1], "' height='+");
5139
5143
  char * s2 = itex2MML_copy3(s1, yyvsp[-1], "' depth='depth'>");
@@ -5143,11 +5147,11 @@ yyreduce:
5143
5147
  itex2MML_free_string(yyvsp[-1]);
5144
5148
  itex2MML_free_string(yyvsp[0]);
5145
5149
  }
5146
- #line 5147 "y.tab.c" /* yacc.c:1652 */
5150
+ #line 5151 "y.tab.c"
5147
5151
  break;
5148
5152
 
5149
5153
  case 265:
5150
- #line 1461 "itex2MML.y" /* yacc.c:1652 */
5154
+ #line 1461 "itex2MML.y"
5151
5155
  {
5152
5156
  char * s1 = itex2MML_copy3("<mpadded voffset='-", yyvsp[-1], "' height='0pt' depth='+");
5153
5157
  char * s2 = itex2MML_copy3(s1, yyvsp[-1], "'>");
@@ -5157,11 +5161,11 @@ yyreduce:
5157
5161
  itex2MML_free_string(yyvsp[-1]);
5158
5162
  itex2MML_free_string(yyvsp[0]);
5159
5163
  }
5160
- #line 5161 "y.tab.c" /* yacc.c:1652 */
5164
+ #line 5165 "y.tab.c"
5161
5165
  break;
5162
5166
 
5163
5167
  case 266:
5164
- #line 1471 "itex2MML.y" /* yacc.c:1652 */
5168
+ #line 1471 "itex2MML.y"
5165
5169
  {
5166
5170
  char * s1 = itex2MML_copy3("<munder><mo>", yyvsp[-4], "</mo><mrow>");
5167
5171
  yyval = itex2MML_copy3(s1, yyvsp[-2], "</mrow></munder>");
@@ -5169,11 +5173,11 @@ yyreduce:
5169
5173
  itex2MML_free_string(yyvsp[-4]);
5170
5174
  itex2MML_free_string(yyvsp[-2]);
5171
5175
  }
5172
- #line 5173 "y.tab.c" /* yacc.c:1652 */
5176
+ #line 5177 "y.tab.c"
5173
5177
  break;
5174
5178
 
5175
5179
  case 267:
5176
- #line 1478 "itex2MML.y" /* yacc.c:1652 */
5180
+ #line 1478 "itex2MML.y"
5177
5181
  {
5178
5182
  char * s1 = itex2MML_copy3("<munder>", yyvsp[0], yyvsp[-1]);
5179
5183
  yyval = itex2MML_copy2(s1, "</munder>");
@@ -5181,11 +5185,11 @@ yyreduce:
5181
5185
  itex2MML_free_string(yyvsp[-1]);
5182
5186
  itex2MML_free_string(yyvsp[0]);
5183
5187
  }
5184
- #line 5185 "y.tab.c" /* yacc.c:1652 */
5188
+ #line 5189 "y.tab.c"
5185
5189
  break;
5186
5190
 
5187
5191
  case 268:
5188
- #line 1486 "itex2MML.y" /* yacc.c:1652 */
5192
+ #line 1486 "itex2MML.y"
5189
5193
  {
5190
5194
  char * s1 = itex2MML_copy3("<mover><mo>", yyvsp[-1], "</mo>");
5191
5195
  yyval = itex2MML_copy3(s1, yyvsp[0], "</mover>");
@@ -5193,11 +5197,11 @@ yyreduce:
5193
5197
  itex2MML_free_string(yyvsp[-1]);
5194
5198
  itex2MML_free_string(yyvsp[0]);
5195
5199
  }
5196
- #line 5197 "y.tab.c" /* yacc.c:1652 */
5200
+ #line 5201 "y.tab.c"
5197
5201
  break;
5198
5202
 
5199
5203
  case 269:
5200
- #line 1493 "itex2MML.y" /* yacc.c:1652 */
5204
+ #line 1493 "itex2MML.y"
5201
5205
  {
5202
5206
  char * s1 = itex2MML_copy3("<mover>", yyvsp[0], yyvsp[-1]);
5203
5207
  yyval = itex2MML_copy2(s1, "</mover>");
@@ -5205,11 +5209,11 @@ yyreduce:
5205
5209
  itex2MML_free_string(yyvsp[-1]);
5206
5210
  itex2MML_free_string(yyvsp[0]);
5207
5211
  }
5208
- #line 5209 "y.tab.c" /* yacc.c:1652 */
5212
+ #line 5213 "y.tab.c"
5209
5213
  break;
5210
5214
 
5211
5215
  case 270:
5212
- #line 1501 "itex2MML.y" /* yacc.c:1652 */
5216
+ #line 1501 "itex2MML.y"
5213
5217
  {
5214
5218
  char * s1 = itex2MML_copy3("<munderover><mo>", yyvsp[-4], "</mo><mrow>");
5215
5219
  char * s2 = itex2MML_copy3(s1, yyvsp[-2], "</mrow>");
@@ -5220,11 +5224,11 @@ yyreduce:
5220
5224
  itex2MML_free_string(yyvsp[-2]);
5221
5225
  itex2MML_free_string(yyvsp[0]);
5222
5226
  }
5223
- #line 5224 "y.tab.c" /* yacc.c:1652 */
5227
+ #line 5228 "y.tab.c"
5224
5228
  break;
5225
5229
 
5226
5230
  case 271:
5227
- #line 1511 "itex2MML.y" /* yacc.c:1652 */
5231
+ #line 1511 "itex2MML.y"
5228
5232
  {
5229
5233
  char * s1 = itex2MML_copy3("<munderover>", yyvsp[0], yyvsp[-2]);
5230
5234
  yyval = itex2MML_copy3(s1, yyvsp[-1], "</munderover>");
@@ -5233,109 +5237,109 @@ yyreduce:
5233
5237
  itex2MML_free_string(yyvsp[-1]);
5234
5238
  itex2MML_free_string(yyvsp[0]);
5235
5239
  }
5236
- #line 5237 "y.tab.c" /* yacc.c:1652 */
5240
+ #line 5241 "y.tab.c"
5237
5241
  break;
5238
5242
 
5239
5243
  case 272:
5240
- #line 1520 "itex2MML.y" /* yacc.c:1652 */
5244
+ #line 1520 "itex2MML.y"
5241
5245
  {
5242
5246
  yyval = itex2MML_copy_string("<mrow/>");
5243
5247
  }
5244
- #line 5245 "y.tab.c" /* yacc.c:1652 */
5248
+ #line 5249 "y.tab.c"
5245
5249
  break;
5246
5250
 
5247
5251
  case 273:
5248
- #line 1524 "itex2MML.y" /* yacc.c:1652 */
5252
+ #line 1524 "itex2MML.y"
5249
5253
  {
5250
5254
  yyval = itex2MML_copy3("<mrow><mtable displaystyle=\"false\" rowspacing=\"0.5ex\">", yyvsp[-2], "</mtable></mrow>");
5251
5255
  itex2MML_free_string(yyvsp[-2]);
5252
5256
  }
5253
- #line 5254 "y.tab.c" /* yacc.c:1652 */
5257
+ #line 5258 "y.tab.c"
5254
5258
  break;
5255
5259
 
5256
5260
  case 274:
5257
- #line 1528 "itex2MML.y" /* yacc.c:1652 */
5261
+ #line 1528 "itex2MML.y"
5258
5262
  {
5259
5263
  yyval = itex2MML_copy3("<mrow><mtable displaystyle=\"true\" rowspacing=\"1.0ex\">", yyvsp[-2], "</mtable></mrow>");
5260
5264
  itex2MML_free_string(yyvsp[-2]);
5261
5265
  }
5262
- #line 5263 "y.tab.c" /* yacc.c:1652 */
5266
+ #line 5267 "y.tab.c"
5263
5267
  break;
5264
5268
 
5265
5269
  case 275:
5266
- #line 1532 "itex2MML.y" /* yacc.c:1652 */
5270
+ #line 1532 "itex2MML.y"
5267
5271
  {
5268
5272
  yyval = itex2MML_copy3("<mrow><mo>(</mo><mrow><mtable displaystyle=\"false\" rowspacing=\"0.5ex\">", yyvsp[-2], "</mtable></mrow><mo>)</mo></mrow>");
5269
5273
  itex2MML_free_string(yyvsp[-2]);
5270
5274
  }
5271
- #line 5272 "y.tab.c" /* yacc.c:1652 */
5275
+ #line 5276 "y.tab.c"
5272
5276
  break;
5273
5277
 
5274
5278
  case 276:
5275
- #line 1536 "itex2MML.y" /* yacc.c:1652 */
5279
+ #line 1536 "itex2MML.y"
5276
5280
  {
5277
5281
  yyval = itex2MML_copy3("<mrow><mo>[</mo><mrow><mtable displaystyle=\"false\" rowspacing=\"0.5ex\">", yyvsp[-2], "</mtable></mrow><mo>]</mo></mrow>");
5278
5282
  itex2MML_free_string(yyvsp[-2]);
5279
5283
  }
5280
- #line 5281 "y.tab.c" /* yacc.c:1652 */
5284
+ #line 5285 "y.tab.c"
5281
5285
  break;
5282
5286
 
5283
5287
  case 277:
5284
- #line 1540 "itex2MML.y" /* yacc.c:1652 */
5288
+ #line 1540 "itex2MML.y"
5285
5289
  {
5286
5290
  yyval = itex2MML_copy3("<mrow><mo>&VerticalBar;</mo><mrow><mtable displaystyle=\"false\" rowspacing=\"0.5ex\">", yyvsp[-2], "</mtable></mrow><mo>&VerticalBar;</mo></mrow>");
5287
5291
  itex2MML_free_string(yyvsp[-2]);
5288
5292
  }
5289
- #line 5290 "y.tab.c" /* yacc.c:1652 */
5293
+ #line 5294 "y.tab.c"
5290
5294
  break;
5291
5295
 
5292
5296
  case 278:
5293
- #line 1544 "itex2MML.y" /* yacc.c:1652 */
5297
+ #line 1544 "itex2MML.y"
5294
5298
  {
5295
5299
  yyval = itex2MML_copy3("<mrow><mo>{</mo><mrow><mtable displaystyle=\"false\" rowspacing=\"0.5ex\">", yyvsp[-2], "</mtable></mrow><mo>}</mo></mrow>");
5296
5300
  itex2MML_free_string(yyvsp[-2]);
5297
5301
  }
5298
- #line 5299 "y.tab.c" /* yacc.c:1652 */
5302
+ #line 5303 "y.tab.c"
5299
5303
  break;
5300
5304
 
5301
5305
  case 279:
5302
- #line 1548 "itex2MML.y" /* yacc.c:1652 */
5306
+ #line 1548 "itex2MML.y"
5303
5307
  {
5304
5308
  yyval = itex2MML_copy3("<mrow><mo>&DoubleVerticalBar;</mo><mrow><mtable displaystyle=\"false\" rowspacing=\"0.5ex\">", yyvsp[-2], "</mtable></mrow><mo>&DoubleVerticalBar;</mo></mrow>");
5305
5309
  itex2MML_free_string(yyvsp[-2]);
5306
5310
  }
5307
- #line 5308 "y.tab.c" /* yacc.c:1652 */
5311
+ #line 5312 "y.tab.c"
5308
5312
  break;
5309
5313
 
5310
5314
  case 280:
5311
- #line 1552 "itex2MML.y" /* yacc.c:1652 */
5315
+ #line 1552 "itex2MML.y"
5312
5316
  {
5313
5317
  yyval = itex2MML_copy3("<mstyle scriptlevel=\"2\"><mrow><mtable displaystyle=\"false\" rowspacing=\"0.5ex\">", yyvsp[-2], "</mtable></mrow></mstyle>");
5314
5318
  itex2MML_free_string(yyvsp[-2]);
5315
5319
  }
5316
- #line 5317 "y.tab.c" /* yacc.c:1652 */
5320
+ #line 5321 "y.tab.c"
5317
5321
  break;
5318
5322
 
5319
5323
  case 281:
5320
- #line 1556 "itex2MML.y" /* yacc.c:1652 */
5324
+ #line 1556 "itex2MML.y"
5321
5325
  {
5322
5326
  yyval = itex2MML_copy3("<mrow><mo>{</mo><mrow><mtable displaystyle=\"false\" columnalign=\"left left\">", yyvsp[-2], "</mtable></mrow></mrow>");
5323
5327
  itex2MML_free_string(yyvsp[-2]);
5324
5328
  }
5325
- #line 5326 "y.tab.c" /* yacc.c:1652 */
5329
+ #line 5330 "y.tab.c"
5326
5330
  break;
5327
5331
 
5328
5332
  case 282:
5329
- #line 1560 "itex2MML.y" /* yacc.c:1652 */
5333
+ #line 1560 "itex2MML.y"
5330
5334
  {
5331
5335
  yyval = itex2MML_copy3("<mrow><mtable displaystyle=\"true\" columnalign=\"right left right left right left right left right left\" columnspacing=\"0em\">", yyvsp[-2], "</mtable></mrow>");
5332
5336
  itex2MML_free_string(yyvsp[-2]);
5333
5337
  }
5334
- #line 5335 "y.tab.c" /* yacc.c:1652 */
5338
+ #line 5339 "y.tab.c"
5335
5339
  break;
5336
5340
 
5337
5341
  case 283:
5338
- #line 1564 "itex2MML.y" /* yacc.c:1652 */
5342
+ #line 1564 "itex2MML.y"
5339
5343
  {
5340
5344
  char * s1 = itex2MML_copy3("<mtable displaystyle=\"false\" rowspacing=\"0.5ex\" align=\"", yyvsp[-6], "\" columnalign=\"");
5341
5345
  char * s2 = itex2MML_copy3(s1, yyvsp[-4], "\">");
@@ -5346,11 +5350,11 @@ yyreduce:
5346
5350
  itex2MML_free_string(yyvsp[-4]);
5347
5351
  itex2MML_free_string(yyvsp[-2]);
5348
5352
  }
5349
- #line 5350 "y.tab.c" /* yacc.c:1652 */
5353
+ #line 5354 "y.tab.c"
5350
5354
  break;
5351
5355
 
5352
5356
  case 284:
5353
- #line 1574 "itex2MML.y" /* yacc.c:1652 */
5357
+ #line 1574 "itex2MML.y"
5354
5358
  {
5355
5359
  char * s1 = itex2MML_copy3("<mtable displaystyle=\"false\" rowspacing=\"0.5ex\" columnalign=\"", yyvsp[-4], "\">");
5356
5360
  yyval = itex2MML_copy3(s1, yyvsp[-2], "</mtable>");
@@ -5358,65 +5362,65 @@ yyreduce:
5358
5362
  itex2MML_free_string(yyvsp[-4]);
5359
5363
  itex2MML_free_string(yyvsp[-2]);
5360
5364
  }
5361
- #line 5362 "y.tab.c" /* yacc.c:1652 */
5365
+ #line 5366 "y.tab.c"
5362
5366
  break;
5363
5367
 
5364
5368
  case 285:
5365
- #line 1581 "itex2MML.y" /* yacc.c:1652 */
5369
+ #line 1581 "itex2MML.y"
5366
5370
  {
5367
5371
  yyval = itex2MML_copy3("<semantics><annotation-xml encoding=\"SVG1.1\">", yyvsp[-1], "</annotation-xml></semantics>");
5368
5372
  itex2MML_free_string(yyvsp[-1]);
5369
5373
  }
5370
- #line 5371 "y.tab.c" /* yacc.c:1652 */
5374
+ #line 5375 "y.tab.c"
5371
5375
  break;
5372
5376
 
5373
5377
  case 286:
5374
- #line 1585 "itex2MML.y" /* yacc.c:1652 */
5378
+ #line 1585 "itex2MML.y"
5375
5379
  {
5376
5380
  yyval = itex2MML_copy_string(" ");
5377
5381
  }
5378
- #line 5379 "y.tab.c" /* yacc.c:1652 */
5382
+ #line 5383 "y.tab.c"
5379
5383
  break;
5380
5384
 
5381
5385
  case 287:
5382
- #line 1589 "itex2MML.y" /* yacc.c:1652 */
5386
+ #line 1589 "itex2MML.y"
5383
5387
  {
5384
5388
  yyval = itex2MML_copy3(yyvsp[-1], " ", yyvsp[0]);
5385
5389
  itex2MML_free_string(yyvsp[-1]);
5386
5390
  itex2MML_free_string(yyvsp[0]);
5387
5391
  }
5388
- #line 5389 "y.tab.c" /* yacc.c:1652 */
5392
+ #line 5393 "y.tab.c"
5389
5393
  break;
5390
5394
 
5391
5395
  case 288:
5392
- #line 1594 "itex2MML.y" /* yacc.c:1652 */
5396
+ #line 1594 "itex2MML.y"
5393
5397
  {
5394
5398
  yyval = itex2MML_copy_string(yyvsp[0]);
5395
5399
  itex2MML_free_string(yyvsp[0]);
5396
5400
  }
5397
- #line 5398 "y.tab.c" /* yacc.c:1652 */
5401
+ #line 5402 "y.tab.c"
5398
5402
  break;
5399
5403
 
5400
5404
  case 289:
5401
- #line 1599 "itex2MML.y" /* yacc.c:1652 */
5405
+ #line 1599 "itex2MML.y"
5402
5406
  {
5403
5407
  yyval = itex2MML_copy3("<mrow><mtable columnalign=\"center\" rowspacing=\"0.5ex\">", yyvsp[-1], "</mtable></mrow>");
5404
5408
  itex2MML_free_string(yyvsp[-1]);
5405
5409
  }
5406
- #line 5407 "y.tab.c" /* yacc.c:1652 */
5410
+ #line 5411 "y.tab.c"
5407
5411
  break;
5408
5412
 
5409
5413
  case 290:
5410
- #line 1604 "itex2MML.y" /* yacc.c:1652 */
5414
+ #line 1604 "itex2MML.y"
5411
5415
  {
5412
5416
  yyval = itex2MML_copy3("<mrow><mtable>", yyvsp[-1], "</mtable></mrow>");
5413
5417
  itex2MML_free_string(yyvsp[-1]);
5414
5418
  }
5415
- #line 5416 "y.tab.c" /* yacc.c:1652 */
5419
+ #line 5420 "y.tab.c"
5416
5420
  break;
5417
5421
 
5418
5422
  case 291:
5419
- #line 1608 "itex2MML.y" /* yacc.c:1652 */
5423
+ #line 1608 "itex2MML.y"
5420
5424
  {
5421
5425
  char * s1 = itex2MML_copy3("<mrow><mtable ", yyvsp[-3], ">");
5422
5426
  yyval = itex2MML_copy3(s1, yyvsp[-1], "</mtable></mrow>");
@@ -5424,268 +5428,268 @@ yyreduce:
5424
5428
  itex2MML_free_string(yyvsp[-3]);
5425
5429
  itex2MML_free_string(yyvsp[-1]);
5426
5430
  }
5427
- #line 5428 "y.tab.c" /* yacc.c:1652 */
5431
+ #line 5432 "y.tab.c"
5428
5432
  break;
5429
5433
 
5430
5434
  case 292:
5431
- #line 1616 "itex2MML.y" /* yacc.c:1652 */
5435
+ #line 1616 "itex2MML.y"
5432
5436
  {
5433
5437
  yyval = itex2MML_copy_string(yyvsp[0]);
5434
5438
  itex2MML_free_string(yyvsp[0]);
5435
5439
  }
5436
- #line 5437 "y.tab.c" /* yacc.c:1652 */
5440
+ #line 5441 "y.tab.c"
5437
5441
  break;
5438
5442
 
5439
5443
  case 293:
5440
- #line 1620 "itex2MML.y" /* yacc.c:1652 */
5444
+ #line 1620 "itex2MML.y"
5441
5445
  {
5442
5446
  yyval = itex2MML_copy3(yyvsp[-1], " ", yyvsp[0]);
5443
5447
  itex2MML_free_string(yyvsp[-1]);
5444
5448
  itex2MML_free_string(yyvsp[0]);
5445
5449
  }
5446
- #line 5447 "y.tab.c" /* yacc.c:1652 */
5450
+ #line 5451 "y.tab.c"
5447
5451
  break;
5448
5452
 
5449
5453
  case 294:
5450
- #line 1626 "itex2MML.y" /* yacc.c:1652 */
5454
+ #line 1626 "itex2MML.y"
5451
5455
  {
5452
5456
  yyval = itex2MML_copy_string(yyvsp[0]);
5453
5457
  itex2MML_free_string(yyvsp[0]);
5454
5458
  }
5455
- #line 5456 "y.tab.c" /* yacc.c:1652 */
5459
+ #line 5460 "y.tab.c"
5456
5460
  break;
5457
5461
 
5458
5462
  case 295:
5459
- #line 1630 "itex2MML.y" /* yacc.c:1652 */
5463
+ #line 1630 "itex2MML.y"
5460
5464
  {
5461
5465
  yyval = itex2MML_copy_string(yyvsp[0]);
5462
5466
  itex2MML_free_string(yyvsp[0]);
5463
5467
  }
5464
- #line 5465 "y.tab.c" /* yacc.c:1652 */
5468
+ #line 5469 "y.tab.c"
5465
5469
  break;
5466
5470
 
5467
5471
  case 296:
5468
- #line 1634 "itex2MML.y" /* yacc.c:1652 */
5472
+ #line 1634 "itex2MML.y"
5469
5473
  {
5470
5474
  yyval = itex2MML_copy_string(yyvsp[0]);
5471
5475
  itex2MML_free_string(yyvsp[0]);
5472
5476
  }
5473
- #line 5474 "y.tab.c" /* yacc.c:1652 */
5477
+ #line 5478 "y.tab.c"
5474
5478
  break;
5475
5479
 
5476
5480
  case 297:
5477
- #line 1638 "itex2MML.y" /* yacc.c:1652 */
5481
+ #line 1638 "itex2MML.y"
5478
5482
  {
5479
5483
  yyval = itex2MML_copy_string(yyvsp[0]);
5480
5484
  itex2MML_free_string(yyvsp[0]);
5481
5485
  }
5482
- #line 5483 "y.tab.c" /* yacc.c:1652 */
5486
+ #line 5487 "y.tab.c"
5483
5487
  break;
5484
5488
 
5485
5489
  case 298:
5486
- #line 1642 "itex2MML.y" /* yacc.c:1652 */
5490
+ #line 1642 "itex2MML.y"
5487
5491
  {
5488
5492
  yyval = itex2MML_copy_string(yyvsp[0]);
5489
5493
  itex2MML_free_string(yyvsp[0]);
5490
5494
  }
5491
- #line 5492 "y.tab.c" /* yacc.c:1652 */
5495
+ #line 5496 "y.tab.c"
5492
5496
  break;
5493
5497
 
5494
5498
  case 299:
5495
- #line 1646 "itex2MML.y" /* yacc.c:1652 */
5499
+ #line 1646 "itex2MML.y"
5496
5500
  {
5497
5501
  yyval = itex2MML_copy_string(yyvsp[0]);
5498
5502
  itex2MML_free_string(yyvsp[0]);
5499
5503
  }
5500
- #line 5501 "y.tab.c" /* yacc.c:1652 */
5504
+ #line 5505 "y.tab.c"
5501
5505
  break;
5502
5506
 
5503
5507
  case 300:
5504
- #line 1650 "itex2MML.y" /* yacc.c:1652 */
5508
+ #line 1650 "itex2MML.y"
5505
5509
  {
5506
5510
  yyval = itex2MML_copy_string(yyvsp[0]);
5507
5511
  itex2MML_free_string(yyvsp[0]);
5508
5512
  }
5509
- #line 5510 "y.tab.c" /* yacc.c:1652 */
5513
+ #line 5514 "y.tab.c"
5510
5514
  break;
5511
5515
 
5512
5516
  case 301:
5513
- #line 1654 "itex2MML.y" /* yacc.c:1652 */
5517
+ #line 1654 "itex2MML.y"
5514
5518
  {
5515
5519
  yyval = itex2MML_copy_string(yyvsp[0]);
5516
5520
  itex2MML_free_string(yyvsp[0]);
5517
5521
  }
5518
- #line 5519 "y.tab.c" /* yacc.c:1652 */
5522
+ #line 5523 "y.tab.c"
5519
5523
  break;
5520
5524
 
5521
5525
  case 302:
5522
- #line 1658 "itex2MML.y" /* yacc.c:1652 */
5526
+ #line 1658 "itex2MML.y"
5523
5527
  {
5524
5528
  yyval = itex2MML_copy_string(yyvsp[0]);
5525
5529
  itex2MML_free_string(yyvsp[0]);
5526
5530
  }
5527
- #line 5528 "y.tab.c" /* yacc.c:1652 */
5531
+ #line 5532 "y.tab.c"
5528
5532
  break;
5529
5533
 
5530
5534
  case 303:
5531
- #line 1662 "itex2MML.y" /* yacc.c:1652 */
5535
+ #line 1662 "itex2MML.y"
5532
5536
  {
5533
5537
  yyval = itex2MML_copy_string(yyvsp[0]);
5534
5538
  itex2MML_free_string(yyvsp[0]);
5535
5539
  }
5536
- #line 5537 "y.tab.c" /* yacc.c:1652 */
5540
+ #line 5541 "y.tab.c"
5537
5541
  break;
5538
5542
 
5539
5543
  case 304:
5540
- #line 1667 "itex2MML.y" /* yacc.c:1652 */
5544
+ #line 1667 "itex2MML.y"
5541
5545
  {
5542
5546
  yyval = itex2MML_copy2("columnalign=", yyvsp[0]);
5543
5547
  itex2MML_free_string(yyvsp[0]);
5544
5548
  }
5545
- #line 5546 "y.tab.c" /* yacc.c:1652 */
5549
+ #line 5550 "y.tab.c"
5546
5550
  break;
5547
5551
 
5548
5552
  case 305:
5549
- #line 1672 "itex2MML.y" /* yacc.c:1652 */
5553
+ #line 1672 "itex2MML.y"
5550
5554
  {
5551
5555
  yyval = itex2MML_copy2("columnalign=", yyvsp[0]);
5552
5556
  itex2MML_free_string(yyvsp[0]);
5553
5557
  }
5554
- #line 5555 "y.tab.c" /* yacc.c:1652 */
5558
+ #line 5559 "y.tab.c"
5555
5559
  break;
5556
5560
 
5557
5561
  case 306:
5558
- #line 1677 "itex2MML.y" /* yacc.c:1652 */
5562
+ #line 1677 "itex2MML.y"
5559
5563
  {
5560
5564
  yyval = itex2MML_copy2("rowalign=", yyvsp[0]);
5561
5565
  itex2MML_free_string(yyvsp[0]);
5562
5566
  }
5563
- #line 5564 "y.tab.c" /* yacc.c:1652 */
5567
+ #line 5568 "y.tab.c"
5564
5568
  break;
5565
5569
 
5566
5570
  case 307:
5567
- #line 1682 "itex2MML.y" /* yacc.c:1652 */
5571
+ #line 1682 "itex2MML.y"
5568
5572
  {
5569
5573
  yyval = itex2MML_copy2("align=", yyvsp[0]);
5570
5574
  itex2MML_free_string(yyvsp[0]);
5571
5575
  }
5572
- #line 5573 "y.tab.c" /* yacc.c:1652 */
5576
+ #line 5577 "y.tab.c"
5573
5577
  break;
5574
5578
 
5575
5579
  case 308:
5576
- #line 1687 "itex2MML.y" /* yacc.c:1652 */
5580
+ #line 1687 "itex2MML.y"
5577
5581
  {
5578
5582
  yyval = itex2MML_copy2("equalrows=", yyvsp[0]);
5579
5583
  itex2MML_free_string(yyvsp[0]);
5580
5584
  }
5581
- #line 5582 "y.tab.c" /* yacc.c:1652 */
5585
+ #line 5586 "y.tab.c"
5582
5586
  break;
5583
5587
 
5584
5588
  case 309:
5585
- #line 1692 "itex2MML.y" /* yacc.c:1652 */
5589
+ #line 1692 "itex2MML.y"
5586
5590
  {
5587
5591
  yyval = itex2MML_copy2("equalcolumns=", yyvsp[0]);
5588
5592
  itex2MML_free_string(yyvsp[0]);
5589
5593
  }
5590
- #line 5591 "y.tab.c" /* yacc.c:1652 */
5594
+ #line 5595 "y.tab.c"
5591
5595
  break;
5592
5596
 
5593
5597
  case 310:
5594
- #line 1697 "itex2MML.y" /* yacc.c:1652 */
5598
+ #line 1697 "itex2MML.y"
5595
5599
  {
5596
5600
  yyval = itex2MML_copy2("rowlines=", yyvsp[0]);
5597
5601
  itex2MML_free_string(yyvsp[0]);
5598
5602
  }
5599
- #line 5600 "y.tab.c" /* yacc.c:1652 */
5603
+ #line 5604 "y.tab.c"
5600
5604
  break;
5601
5605
 
5602
5606
  case 311:
5603
- #line 1702 "itex2MML.y" /* yacc.c:1652 */
5607
+ #line 1702 "itex2MML.y"
5604
5608
  {
5605
5609
  yyval = itex2MML_copy2("columnlines=", yyvsp[0]);
5606
5610
  itex2MML_free_string(yyvsp[0]);
5607
5611
  }
5608
- #line 5609 "y.tab.c" /* yacc.c:1652 */
5612
+ #line 5613 "y.tab.c"
5609
5613
  break;
5610
5614
 
5611
5615
  case 312:
5612
- #line 1707 "itex2MML.y" /* yacc.c:1652 */
5616
+ #line 1707 "itex2MML.y"
5613
5617
  {
5614
5618
  yyval = itex2MML_copy2("frame=", yyvsp[0]);
5615
5619
  itex2MML_free_string(yyvsp[0]);
5616
5620
  }
5617
- #line 5618 "y.tab.c" /* yacc.c:1652 */
5621
+ #line 5622 "y.tab.c"
5618
5622
  break;
5619
5623
 
5620
5624
  case 313:
5621
- #line 1712 "itex2MML.y" /* yacc.c:1652 */
5625
+ #line 1712 "itex2MML.y"
5622
5626
  {
5623
5627
  char * s1 = itex2MML_copy3("rowspacing=", yyvsp[0], " columnspacing=");
5624
5628
  yyval = itex2MML_copy2(s1, yyvsp[0]);
5625
5629
  itex2MML_free_string(s1);
5626
5630
  itex2MML_free_string(yyvsp[0]);
5627
5631
  }
5628
- #line 5629 "y.tab.c" /* yacc.c:1652 */
5632
+ #line 5633 "y.tab.c"
5629
5633
  break;
5630
5634
 
5631
5635
  case 314:
5632
- #line 1719 "itex2MML.y" /* yacc.c:1652 */
5636
+ #line 1719 "itex2MML.y"
5633
5637
  {
5634
5638
  yyval = itex2MML_copy_string(yyvsp[0]);
5635
5639
  itex2MML_free_string(yyvsp[0]);
5636
5640
  }
5637
- #line 5638 "y.tab.c" /* yacc.c:1652 */
5641
+ #line 5642 "y.tab.c"
5638
5642
  break;
5639
5643
 
5640
5644
  case 315:
5641
- #line 1723 "itex2MML.y" /* yacc.c:1652 */
5645
+ #line 1723 "itex2MML.y"
5642
5646
  {
5643
5647
  yyval = itex2MML_copy3(yyvsp[-2], " ", yyvsp[0]);
5644
5648
  itex2MML_free_string(yyvsp[-2]);
5645
5649
  itex2MML_free_string(yyvsp[0]);
5646
5650
  }
5647
- #line 5648 "y.tab.c" /* yacc.c:1652 */
5651
+ #line 5652 "y.tab.c"
5648
5652
  break;
5649
5653
 
5650
5654
  case 316:
5651
- #line 1729 "itex2MML.y" /* yacc.c:1652 */
5655
+ #line 1729 "itex2MML.y"
5652
5656
  {
5653
5657
  yyval = itex2MML_copy3("<mtr>", yyvsp[0], "</mtr>");
5654
5658
  itex2MML_free_string(yyvsp[0]);
5655
5659
  }
5656
- #line 5657 "y.tab.c" /* yacc.c:1652 */
5660
+ #line 5661 "y.tab.c"
5657
5661
  break;
5658
5662
 
5659
5663
  case 317:
5660
- #line 1733 "itex2MML.y" /* yacc.c:1652 */
5664
+ #line 1733 "itex2MML.y"
5661
5665
  {
5662
5666
  yyval = itex2MML_copy_string(yyvsp[0]);
5663
5667
  itex2MML_free_string(yyvsp[0]);
5664
5668
  }
5665
- #line 5666 "y.tab.c" /* yacc.c:1652 */
5669
+ #line 5670 "y.tab.c"
5666
5670
  break;
5667
5671
 
5668
5672
  case 318:
5669
- #line 1738 "itex2MML.y" /* yacc.c:1652 */
5673
+ #line 1738 "itex2MML.y"
5670
5674
  {
5671
5675
  yyval = itex2MML_copy_string(yyvsp[0]);
5672
5676
  itex2MML_free_string(yyvsp[0]);
5673
5677
  }
5674
- #line 5675 "y.tab.c" /* yacc.c:1652 */
5678
+ #line 5679 "y.tab.c"
5675
5679
  break;
5676
5680
 
5677
5681
  case 319:
5678
- #line 1742 "itex2MML.y" /* yacc.c:1652 */
5682
+ #line 1742 "itex2MML.y"
5679
5683
  {
5680
5684
  yyval = itex2MML_copy3(yyvsp[-2], " ", yyvsp[0]);
5681
5685
  itex2MML_free_string(yyvsp[-2]);
5682
5686
  itex2MML_free_string(yyvsp[0]);
5683
5687
  }
5684
- #line 5685 "y.tab.c" /* yacc.c:1652 */
5688
+ #line 5689 "y.tab.c"
5685
5689
  break;
5686
5690
 
5687
5691
  case 320:
5688
- #line 1748 "itex2MML.y" /* yacc.c:1652 */
5692
+ #line 1748 "itex2MML.y"
5689
5693
  {
5690
5694
  char * s1 = itex2MML_copy3("<mtr ", yyvsp[-2], ">");
5691
5695
  yyval = itex2MML_copy3(s1, yyvsp[0], "</mtr>");
@@ -5693,65 +5697,65 @@ yyreduce:
5693
5697
  itex2MML_free_string(yyvsp[-2]);
5694
5698
  itex2MML_free_string(yyvsp[0]);
5695
5699
  }
5696
- #line 5697 "y.tab.c" /* yacc.c:1652 */
5700
+ #line 5701 "y.tab.c"
5697
5701
  break;
5698
5702
 
5699
5703
  case 321:
5700
- #line 1756 "itex2MML.y" /* yacc.c:1652 */
5704
+ #line 1756 "itex2MML.y"
5701
5705
  {
5702
5706
  yyval = itex2MML_copy_string(yyvsp[0]);
5703
5707
  itex2MML_free_string(yyvsp[0]);
5704
5708
  }
5705
- #line 5706 "y.tab.c" /* yacc.c:1652 */
5709
+ #line 5710 "y.tab.c"
5706
5710
  break;
5707
5711
 
5708
5712
  case 322:
5709
- #line 1760 "itex2MML.y" /* yacc.c:1652 */
5713
+ #line 1760 "itex2MML.y"
5710
5714
  {
5711
5715
  yyval = itex2MML_copy3(yyvsp[-1], " ", yyvsp[0]);
5712
5716
  itex2MML_free_string(yyvsp[-1]);
5713
5717
  itex2MML_free_string(yyvsp[0]);
5714
5718
  }
5715
- #line 5716 "y.tab.c" /* yacc.c:1652 */
5719
+ #line 5720 "y.tab.c"
5716
5720
  break;
5717
5721
 
5718
5722
  case 323:
5719
- #line 1766 "itex2MML.y" /* yacc.c:1652 */
5723
+ #line 1766 "itex2MML.y"
5720
5724
  {
5721
5725
  yyval = itex2MML_copy_string(yyvsp[0]);
5722
5726
  itex2MML_free_string(yyvsp[0]);
5723
5727
  }
5724
- #line 5725 "y.tab.c" /* yacc.c:1652 */
5728
+ #line 5729 "y.tab.c"
5725
5729
  break;
5726
5730
 
5727
5731
  case 324:
5728
- #line 1770 "itex2MML.y" /* yacc.c:1652 */
5732
+ #line 1770 "itex2MML.y"
5729
5733
  {
5730
5734
  yyval = itex2MML_copy_string(yyvsp[0]);
5731
5735
  itex2MML_free_string(yyvsp[0]);
5732
5736
  }
5733
- #line 5734 "y.tab.c" /* yacc.c:1652 */
5737
+ #line 5738 "y.tab.c"
5734
5738
  break;
5735
5739
 
5736
5740
  case 325:
5737
- #line 1775 "itex2MML.y" /* yacc.c:1652 */
5741
+ #line 1775 "itex2MML.y"
5738
5742
  {
5739
5743
  yyval = itex2MML_copy_string("<mtd/>");
5740
5744
  }
5741
- #line 5742 "y.tab.c" /* yacc.c:1652 */
5745
+ #line 5746 "y.tab.c"
5742
5746
  break;
5743
5747
 
5744
5748
  case 326:
5745
- #line 1778 "itex2MML.y" /* yacc.c:1652 */
5749
+ #line 1778 "itex2MML.y"
5746
5750
  {
5747
5751
  yyval = itex2MML_copy3("<mtd>", yyvsp[0], "</mtd>");
5748
5752
  itex2MML_free_string(yyvsp[0]);
5749
5753
  }
5750
- #line 5751 "y.tab.c" /* yacc.c:1652 */
5754
+ #line 5755 "y.tab.c"
5751
5755
  break;
5752
5756
 
5753
5757
  case 327:
5754
- #line 1782 "itex2MML.y" /* yacc.c:1652 */
5758
+ #line 1782 "itex2MML.y"
5755
5759
  {
5756
5760
  char * s1 = itex2MML_copy3("<mtd ", yyvsp[-2], ">");
5757
5761
  yyval = itex2MML_copy3(s1, yyvsp[0], "</mtd>");
@@ -5759,84 +5763,85 @@ yyreduce:
5759
5763
  itex2MML_free_string(yyvsp[-2]);
5760
5764
  itex2MML_free_string(yyvsp[0]);
5761
5765
  }
5762
- #line 5763 "y.tab.c" /* yacc.c:1652 */
5766
+ #line 5767 "y.tab.c"
5763
5767
  break;
5764
5768
 
5765
5769
  case 328:
5766
- #line 1790 "itex2MML.y" /* yacc.c:1652 */
5770
+ #line 1790 "itex2MML.y"
5767
5771
  {
5768
5772
  yyval = itex2MML_copy_string(yyvsp[0]);
5769
5773
  itex2MML_free_string(yyvsp[0]);
5770
5774
  }
5771
- #line 5772 "y.tab.c" /* yacc.c:1652 */
5775
+ #line 5776 "y.tab.c"
5772
5776
  break;
5773
5777
 
5774
5778
  case 329:
5775
- #line 1794 "itex2MML.y" /* yacc.c:1652 */
5779
+ #line 1794 "itex2MML.y"
5776
5780
  {
5777
5781
  yyval = itex2MML_copy3(yyvsp[-1], " ", yyvsp[0]);
5778
5782
  itex2MML_free_string(yyvsp[-1]);
5779
5783
  itex2MML_free_string(yyvsp[0]);
5780
5784
  }
5781
- #line 5782 "y.tab.c" /* yacc.c:1652 */
5785
+ #line 5786 "y.tab.c"
5782
5786
  break;
5783
5787
 
5784
5788
  case 330:
5785
- #line 1800 "itex2MML.y" /* yacc.c:1652 */
5789
+ #line 1800 "itex2MML.y"
5786
5790
  {
5787
5791
  yyval = itex2MML_copy_string(yyvsp[0]);
5788
5792
  itex2MML_free_string(yyvsp[0]);
5789
5793
  }
5790
- #line 5791 "y.tab.c" /* yacc.c:1652 */
5794
+ #line 5795 "y.tab.c"
5791
5795
  break;
5792
5796
 
5793
5797
  case 331:
5794
- #line 1804 "itex2MML.y" /* yacc.c:1652 */
5798
+ #line 1804 "itex2MML.y"
5795
5799
  {
5796
5800
  yyval = itex2MML_copy_string(yyvsp[0]);
5797
5801
  itex2MML_free_string(yyvsp[0]);
5798
5802
  }
5799
- #line 5800 "y.tab.c" /* yacc.c:1652 */
5803
+ #line 5804 "y.tab.c"
5800
5804
  break;
5801
5805
 
5802
5806
  case 332:
5803
- #line 1808 "itex2MML.y" /* yacc.c:1652 */
5807
+ #line 1808 "itex2MML.y"
5804
5808
  {
5805
5809
  yyval = itex2MML_copy_string(yyvsp[0]);
5806
5810
  itex2MML_free_string(yyvsp[0]);
5807
5811
  }
5808
- #line 5809 "y.tab.c" /* yacc.c:1652 */
5812
+ #line 5813 "y.tab.c"
5809
5813
  break;
5810
5814
 
5811
5815
  case 333:
5812
- #line 1812 "itex2MML.y" /* yacc.c:1652 */
5816
+ #line 1812 "itex2MML.y"
5813
5817
  {
5814
5818
  yyval = itex2MML_copy_string(yyvsp[0]);
5815
5819
  itex2MML_free_string(yyvsp[0]);
5816
5820
  }
5817
- #line 5818 "y.tab.c" /* yacc.c:1652 */
5821
+ #line 5822 "y.tab.c"
5818
5822
  break;
5819
5823
 
5820
5824
  case 334:
5821
- #line 1817 "itex2MML.y" /* yacc.c:1652 */
5825
+ #line 1817 "itex2MML.y"
5822
5826
  {
5823
5827
  yyval = itex2MML_copy2("rowspan=", yyvsp[0]);
5824
5828
  itex2MML_free_string(yyvsp[0]);
5825
5829
  }
5826
- #line 5827 "y.tab.c" /* yacc.c:1652 */
5830
+ #line 5831 "y.tab.c"
5827
5831
  break;
5828
5832
 
5829
5833
  case 335:
5830
- #line 1822 "itex2MML.y" /* yacc.c:1652 */
5834
+ #line 1822 "itex2MML.y"
5831
5835
  {
5832
5836
  yyval = itex2MML_copy2("columnspan=", yyvsp[0]);
5833
5837
  itex2MML_free_string(yyvsp[0]);
5834
5838
  }
5835
- #line 5836 "y.tab.c" /* yacc.c:1652 */
5839
+ #line 5840 "y.tab.c"
5836
5840
  break;
5837
5841
 
5838
5842
 
5839
- #line 5840 "y.tab.c" /* yacc.c:1652 */
5843
+ #line 5844 "y.tab.c"
5844
+
5840
5845
  default: break;
5841
5846
  }
5842
5847
  /* User semantic actions sometimes alter yychar, and that requires
@@ -6067,7 +6072,7 @@ yyreturn:
6067
6072
  #endif
6068
6073
  return yyresult;
6069
6074
  }
6070
- #line 1827 "itex2MML.y" /* yacc.c:1918 */
6075
+ #line 1827 "itex2MML.y"
6071
6076
 
6072
6077
 
6073
6078
  char * itex2MML_parse (const char * buffer, size_t length)