itextomml 1.6.0 → 1.6.1
Sign up to get free protection for your applications and to get access to all the features.
- checksums.yaml +4 -4
- data/ext/itex2MML.h +3 -3
- data/ext/lex.yy.c +3624 -3300
- data/ext/y.tab.c +523 -518
- data/ext/y.tab.h +1 -1
- metadata +3 -3
data/ext/y.tab.c
CHANGED
@@ -1,4 +1,4 @@
|
|
1
|
-
/* A Bison parser, made by GNU Bison 3.
|
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.
|
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"
|
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"
|
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
|
-
/*
|
374
|
-
|
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
|
-
|
3234
|
-
#line 287 "itex2MML.y"
|
3237
|
+
case 2:
|
3238
|
+
#line 287 "itex2MML.y"
|
3235
3239
|
{/* all processing done in body*/}
|
3236
|
-
#line
|
3240
|
+
#line 3241 "y.tab.c"
|
3237
3241
|
break;
|
3238
3242
|
|
3239
3243
|
case 3:
|
3240
|
-
#line 290 "itex2MML.y"
|
3244
|
+
#line 290 "itex2MML.y"
|
3241
3245
|
{/* nothing - do nothing*/}
|
3242
|
-
#line
|
3246
|
+
#line 3247 "y.tab.c"
|
3243
3247
|
break;
|
3244
3248
|
|
3245
3249
|
case 4:
|
3246
|
-
#line 291 "itex2MML.y"
|
3250
|
+
#line 291 "itex2MML.y"
|
3247
3251
|
{/* proc done in body*/}
|
3248
|
-
#line
|
3252
|
+
#line 3253 "y.tab.c"
|
3249
3253
|
break;
|
3250
3254
|
|
3251
3255
|
case 5:
|
3252
|
-
#line 292 "itex2MML.y"
|
3256
|
+
#line 292 "itex2MML.y"
|
3253
3257
|
{/* all proc. in body*/}
|
3254
|
-
#line
|
3258
|
+
#line 3259 "y.tab.c"
|
3255
3259
|
break;
|
3256
3260
|
|
3257
3261
|
case 6:
|
3258
|
-
#line 293 "itex2MML.y"
|
3262
|
+
#line 293 "itex2MML.y"
|
3259
3263
|
{/* all proc. in body*/}
|
3260
|
-
#line
|
3264
|
+
#line 3265 "y.tab.c"
|
3261
3265
|
break;
|
3262
3266
|
|
3263
3267
|
case 7:
|
3264
|
-
#line 294 "itex2MML.y"
|
3268
|
+
#line 294 "itex2MML.y"
|
3265
3269
|
{/* all proc. in body*/}
|
3266
|
-
#line
|
3270
|
+
#line 3271 "y.tab.c"
|
3267
3271
|
break;
|
3268
3272
|
|
3269
3273
|
case 8:
|
3270
|
-
#line 296 "itex2MML.y"
|
3274
|
+
#line 296 "itex2MML.y"
|
3271
3275
|
{printf("%s", yyvsp[0]);}
|
3272
|
-
#line
|
3276
|
+
#line 3277 "y.tab.c"
|
3273
3277
|
break;
|
3274
3278
|
|
3275
3279
|
case 9:
|
3276
|
-
#line 298 "itex2MML.y"
|
3280
|
+
#line 298 "itex2MML.y"
|
3277
3281
|
{/* empty math group - ignore*/}
|
3278
|
-
#line
|
3282
|
+
#line 3283 "y.tab.c"
|
3279
3283
|
break;
|
3280
3284
|
|
3281
3285
|
case 10:
|
3282
|
-
#line 299 "itex2MML.y"
|
3286
|
+
#line 299 "itex2MML.y"
|
3283
3287
|
{/* ditto */}
|
3284
|
-
#line
|
3288
|
+
#line 3289 "y.tab.c"
|
3285
3289
|
break;
|
3286
3290
|
|
3287
3291
|
case 11:
|
3288
|
-
#line 300 "itex2MML.y"
|
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
|
3309
|
+
#line 3310 "y.tab.c"
|
3306
3310
|
break;
|
3307
3311
|
|
3308
3312
|
case 12:
|
3309
|
-
#line 316 "itex2MML.y"
|
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
|
3330
|
+
#line 3331 "y.tab.c"
|
3327
3331
|
break;
|
3328
3332
|
|
3329
3333
|
case 13:
|
3330
|
-
#line 333 "itex2MML.y"
|
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
|
3339
|
+
#line 3340 "y.tab.c"
|
3336
3340
|
break;
|
3337
3341
|
|
3338
3342
|
case 14:
|
3339
|
-
#line 337 "itex2MML.y"
|
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
|
3349
|
+
#line 3350 "y.tab.c"
|
3346
3350
|
break;
|
3347
3351
|
|
3348
3352
|
case 15:
|
3349
|
-
#line 343 "itex2MML.y"
|
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
|
3373
|
+
#line 3374 "y.tab.c"
|
3370
3374
|
break;
|
3371
3375
|
|
3372
3376
|
case 16:
|
3373
|
-
#line 362 "itex2MML.y"
|
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
|
3392
|
+
#line 3393 "y.tab.c"
|
3389
3393
|
break;
|
3390
3394
|
|
3391
3395
|
case 17:
|
3392
|
-
#line 376 "itex2MML.y"
|
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
|
3416
|
+
#line 3417 "y.tab.c"
|
3413
3417
|
break;
|
3414
3418
|
|
3415
3419
|
case 18:
|
3416
|
-
#line 395 "itex2MML.y"
|
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
|
3435
|
+
#line 3436 "y.tab.c"
|
3432
3436
|
break;
|
3433
3437
|
|
3434
3438
|
case 19:
|
3435
|
-
#line 409 "itex2MML.y"
|
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
|
3459
|
+
#line 3460 "y.tab.c"
|
3456
3460
|
break;
|
3457
3461
|
|
3458
3462
|
case 20:
|
3459
|
-
#line 428 "itex2MML.y"
|
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
|
3478
|
+
#line 3479 "y.tab.c"
|
3475
3479
|
break;
|
3476
3480
|
|
3477
3481
|
case 21:
|
3478
|
-
#line 442 "itex2MML.y"
|
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
|
3502
|
+
#line 3503 "y.tab.c"
|
3499
3503
|
break;
|
3500
3504
|
|
3501
3505
|
case 22:
|
3502
|
-
#line 461 "itex2MML.y"
|
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
|
3521
|
+
#line 3522 "y.tab.c"
|
3518
3522
|
break;
|
3519
3523
|
|
3520
3524
|
case 23:
|
3521
|
-
#line 475 "itex2MML.y"
|
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
|
3536
|
+
#line 3537 "y.tab.c"
|
3533
3537
|
break;
|
3534
3538
|
|
3535
3539
|
case 24:
|
3536
|
-
#line 485 "itex2MML.y"
|
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
|
3551
|
+
#line 3552 "y.tab.c"
|
3548
3552
|
break;
|
3549
3553
|
|
3550
3554
|
case 25:
|
3551
|
-
#line 495 "itex2MML.y"
|
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
|
3563
|
+
#line 3564 "y.tab.c"
|
3560
3564
|
break;
|
3561
3565
|
|
3562
3566
|
case 26:
|
3563
|
-
#line 502 "itex2MML.y"
|
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
|
3575
|
+
#line 3576 "y.tab.c"
|
3572
3576
|
break;
|
3573
3577
|
|
3574
3578
|
case 27:
|
3575
|
-
#line 509 "itex2MML.y"
|
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
|
3584
|
+
#line 3585 "y.tab.c"
|
3581
3585
|
break;
|
3582
3586
|
|
3583
3587
|
case 28:
|
3584
|
-
#line 513 "itex2MML.y"
|
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
|
3593
|
+
#line 3594 "y.tab.c"
|
3590
3594
|
break;
|
3591
3595
|
|
3592
3596
|
case 29:
|
3593
|
-
#line 517 "itex2MML.y"
|
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
|
3602
|
+
#line 3603 "y.tab.c"
|
3599
3603
|
break;
|
3600
3604
|
|
3601
3605
|
case 34:
|
3602
|
-
#line 526 "itex2MML.y"
|
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
|
3611
|
+
#line 3612 "y.tab.c"
|
3608
3612
|
break;
|
3609
3613
|
|
3610
3614
|
case 35:
|
3611
|
-
#line 530 "itex2MML.y"
|
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
|
3620
|
+
#line 3621 "y.tab.c"
|
3617
3621
|
break;
|
3618
3622
|
|
3619
3623
|
case 105:
|
3620
|
-
#line 603 "itex2MML.y"
|
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
|
3629
|
+
#line 3630 "y.tab.c"
|
3626
3630
|
break;
|
3627
3631
|
|
3628
3632
|
case 106:
|
3629
|
-
#line 607 "itex2MML.y"
|
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
|
3638
|
+
#line 3639 "y.tab.c"
|
3635
3639
|
break;
|
3636
3640
|
|
3637
3641
|
case 107:
|
3638
|
-
#line 611 "itex2MML.y"
|
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
|
3651
|
+
#line 3652 "y.tab.c"
|
3648
3652
|
break;
|
3649
3653
|
|
3650
3654
|
case 112:
|
3651
|
-
#line 624 "itex2MML.y"
|
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
|
3661
|
+
#line 3662 "y.tab.c"
|
3658
3662
|
break;
|
3659
3663
|
|
3660
3664
|
case 113:
|
3661
|
-
#line 629 "itex2MML.y"
|
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
|
3671
|
+
#line 3672 "y.tab.c"
|
3668
3672
|
break;
|
3669
3673
|
|
3670
3674
|
case 114:
|
3671
|
-
#line 634 "itex2MML.y"
|
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
|
3681
|
+
#line 3682 "y.tab.c"
|
3678
3682
|
break;
|
3679
3683
|
|
3680
3684
|
case 115:
|
3681
|
-
#line 640 "itex2MML.y"
|
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
|
3690
|
+
#line 3691 "y.tab.c"
|
3687
3691
|
break;
|
3688
3692
|
|
3689
3693
|
case 116:
|
3690
|
-
#line 644 "itex2MML.y"
|
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
|
3699
|
+
#line 3700 "y.tab.c"
|
3696
3700
|
break;
|
3697
3701
|
|
3698
3702
|
case 117:
|
3699
|
-
#line 648 "itex2MML.y"
|
3703
|
+
#line 648 "itex2MML.y"
|
3700
3704
|
{
|
3701
3705
|
yyval = itex2MML_copy_string("");
|
3702
3706
|
itex2MML_free_string(yyvsp[0]);
|
3703
3707
|
}
|
3704
|
-
#line
|
3708
|
+
#line 3709 "y.tab.c"
|
3705
3709
|
break;
|
3706
3710
|
|
3707
3711
|
case 118:
|
3708
|
-
#line 653 "itex2MML.y"
|
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
|
3718
|
+
#line 3719 "y.tab.c"
|
3715
3719
|
break;
|
3716
3720
|
|
3717
3721
|
case 119:
|
3718
|
-
#line 658 "itex2MML.y"
|
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
|
3727
|
+
#line 3728 "y.tab.c"
|
3724
3728
|
break;
|
3725
3729
|
|
3726
3730
|
case 120:
|
3727
|
-
#line 662 "itex2MML.y"
|
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
|
3736
|
+
#line 3737 "y.tab.c"
|
3733
3737
|
break;
|
3734
3738
|
|
3735
3739
|
case 121:
|
3736
|
-
#line 666 "itex2MML.y"
|
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
|
3746
|
+
#line 3747 "y.tab.c"
|
3743
3747
|
break;
|
3744
3748
|
|
3745
3749
|
case 122:
|
3746
|
-
#line 671 "itex2MML.y"
|
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
|
3755
|
+
#line 3756 "y.tab.c"
|
3752
3756
|
break;
|
3753
3757
|
|
3754
3758
|
case 123:
|
3755
|
-
#line 675 "itex2MML.y"
|
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
|
3764
|
+
#line 3765 "y.tab.c"
|
3761
3765
|
break;
|
3762
3766
|
|
3763
3767
|
case 124:
|
3764
|
-
#line 679 "itex2MML.y"
|
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
|
3774
|
+
#line 3775 "y.tab.c"
|
3771
3775
|
break;
|
3772
3776
|
|
3773
3777
|
case 125:
|
3774
|
-
#line 684 "itex2MML.y"
|
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
|
3783
|
+
#line 3784 "y.tab.c"
|
3780
3784
|
break;
|
3781
3785
|
|
3782
3786
|
case 126:
|
3783
|
-
#line 688 "itex2MML.y"
|
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
|
3792
|
+
#line 3793 "y.tab.c"
|
3789
3793
|
break;
|
3790
3794
|
|
3791
3795
|
case 127:
|
3792
|
-
#line 692 "itex2MML.y"
|
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
|
3802
|
+
#line 3803 "y.tab.c"
|
3799
3803
|
break;
|
3800
3804
|
|
3801
3805
|
case 128:
|
3802
|
-
#line 697 "itex2MML.y"
|
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
|
3811
|
+
#line 3812 "y.tab.c"
|
3808
3812
|
break;
|
3809
3813
|
|
3810
3814
|
case 129:
|
3811
|
-
#line 701 "itex2MML.y"
|
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
|
3820
|
+
#line 3821 "y.tab.c"
|
3817
3821
|
break;
|
3818
3822
|
|
3819
3823
|
case 130:
|
3820
|
-
#line 705 "itex2MML.y"
|
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
|
3830
|
+
#line 3831 "y.tab.c"
|
3827
3831
|
break;
|
3828
3832
|
|
3829
3833
|
case 131:
|
3830
|
-
#line 710 "itex2MML.y"
|
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
|
3840
|
+
#line 3841 "y.tab.c"
|
3837
3841
|
break;
|
3838
3842
|
|
3839
3843
|
case 132:
|
3840
|
-
#line 715 "itex2MML.y"
|
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
|
3850
|
+
#line 3851 "y.tab.c"
|
3847
3851
|
break;
|
3848
3852
|
|
3849
3853
|
case 133:
|
3850
|
-
#line 720 "itex2MML.y"
|
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
|
3860
|
+
#line 3861 "y.tab.c"
|
3857
3861
|
break;
|
3858
3862
|
|
3859
3863
|
case 134:
|
3860
|
-
#line 725 "itex2MML.y"
|
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
|
3870
|
+
#line 3871 "y.tab.c"
|
3867
3871
|
break;
|
3868
3872
|
|
3869
3873
|
case 135:
|
3870
|
-
#line 730 "itex2MML.y"
|
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
|
3880
|
+
#line 3881 "y.tab.c"
|
3877
3881
|
break;
|
3878
3882
|
|
3879
3883
|
case 136:
|
3880
|
-
#line 735 "itex2MML.y"
|
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
|
3890
|
+
#line 3891 "y.tab.c"
|
3887
3891
|
break;
|
3888
3892
|
|
3889
3893
|
case 137:
|
3890
|
-
#line 740 "itex2MML.y"
|
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
|
3900
|
+
#line 3901 "y.tab.c"
|
3897
3901
|
break;
|
3898
3902
|
|
3899
3903
|
case 138:
|
3900
|
-
#line 746 "itex2MML.y"
|
3904
|
+
#line 746 "itex2MML.y"
|
3901
3905
|
{
|
3902
3906
|
yyval = itex2MML_copy_string("<merror><mtext>Unknown character</mtext></merror>");
|
3903
3907
|
}
|
3904
|
-
#line
|
3908
|
+
#line 3909 "y.tab.c"
|
3905
3909
|
break;
|
3906
3910
|
|
3907
3911
|
case 139:
|
3908
|
-
#line 750 "itex2MML.y"
|
3912
|
+
#line 750 "itex2MML.y"
|
3909
3913
|
{
|
3910
3914
|
yyval = itex2MML_copy_string("<mo lspace=\"0.11111em\" rspace=\"0em\">−</mo>");
|
3911
3915
|
}
|
3912
|
-
#line
|
3916
|
+
#line 3917 "y.tab.c"
|
3913
3917
|
break;
|
3914
3918
|
|
3915
3919
|
case 140:
|
3916
|
-
#line 754 "itex2MML.y"
|
3920
|
+
#line 754 "itex2MML.y"
|
3917
3921
|
{
|
3918
3922
|
yyval = itex2MML_copy_string("<mo lspace=\"0.11111em\" rspace=\"0em\">+</mo>");
|
3919
3923
|
}
|
3920
|
-
#line
|
3924
|
+
#line 3925 "y.tab.c"
|
3921
3925
|
break;
|
3922
3926
|
|
3923
3927
|
case 142:
|
3924
|
-
#line 760 "itex2MML.y"
|
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
|
3934
|
+
#line 3935 "y.tab.c"
|
3931
3935
|
break;
|
3932
3936
|
|
3933
3937
|
case 144:
|
3934
|
-
#line 767 "itex2MML.y"
|
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
|
3944
|
+
#line 3945 "y.tab.c"
|
3941
3945
|
break;
|
3942
3946
|
|
3943
3947
|
case 145:
|
3944
|
-
#line 773 "itex2MML.y"
|
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
|
3954
|
+
#line 3955 "y.tab.c"
|
3951
3955
|
break;
|
3952
3956
|
|
3953
3957
|
case 148:
|
3954
|
-
#line 781 "itex2MML.y"
|
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
|
3964
|
+
#line 3965 "y.tab.c"
|
3961
3965
|
break;
|
3962
3966
|
|
3963
3967
|
case 149:
|
3964
|
-
#line 786 "itex2MML.y"
|
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
|
3974
|
+
#line 3975 "y.tab.c"
|
3971
3975
|
break;
|
3972
3976
|
|
3973
3977
|
case 150:
|
3974
|
-
#line 791 "itex2MML.y"
|
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
|
3984
|
+
#line 3985 "y.tab.c"
|
3981
3985
|
break;
|
3982
3986
|
|
3983
3987
|
case 151:
|
3984
|
-
#line 796 "itex2MML.y"
|
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
|
3993
|
+
#line 3994 "y.tab.c"
|
3990
3994
|
break;
|
3991
3995
|
|
3992
3996
|
case 152:
|
3993
|
-
#line 800 "itex2MML.y"
|
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
|
4003
|
+
#line 4004 "y.tab.c"
|
4000
4004
|
break;
|
4001
4005
|
|
4002
4006
|
case 153:
|
4003
|
-
#line 805 "itex2MML.y"
|
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
|
4012
|
+
#line 4013 "y.tab.c"
|
4009
4013
|
break;
|
4010
4014
|
|
4011
4015
|
case 154:
|
4012
|
-
#line 809 "itex2MML.y"
|
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
|
4021
|
+
#line 4022 "y.tab.c"
|
4018
4022
|
break;
|
4019
4023
|
|
4020
4024
|
case 155:
|
4021
|
-
#line 813 "itex2MML.y"
|
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
|
4030
|
+
#line 4031 "y.tab.c"
|
4027
4031
|
break;
|
4028
4032
|
|
4029
4033
|
case 156:
|
4030
|
-
#line 817 "itex2MML.y"
|
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
|
4040
|
+
#line 4041 "y.tab.c"
|
4037
4041
|
break;
|
4038
4042
|
|
4039
4043
|
case 157:
|
4040
|
-
#line 822 "itex2MML.y"
|
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
|
4050
|
+
#line 4051 "y.tab.c"
|
4047
4051
|
break;
|
4048
4052
|
|
4049
4053
|
case 158:
|
4050
|
-
#line 827 "itex2MML.y"
|
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
|
4060
|
+
#line 4061 "y.tab.c"
|
4057
4061
|
break;
|
4058
4062
|
|
4059
4063
|
case 159:
|
4060
|
-
#line 832 "itex2MML.y"
|
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
|
4070
|
+
#line 4071 "y.tab.c"
|
4067
4071
|
break;
|
4068
4072
|
|
4069
4073
|
case 160:
|
4070
|
-
#line 837 "itex2MML.y"
|
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
|
4080
|
+
#line 4081 "y.tab.c"
|
4077
4081
|
break;
|
4078
4082
|
|
4079
4083
|
case 161:
|
4080
|
-
#line 842 "itex2MML.y"
|
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
|
4090
|
+
#line 4091 "y.tab.c"
|
4087
4091
|
break;
|
4088
4092
|
|
4089
4093
|
case 162:
|
4090
|
-
#line 847 "itex2MML.y"
|
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
|
4100
|
+
#line 4101 "y.tab.c"
|
4097
4101
|
break;
|
4098
4102
|
|
4099
4103
|
case 163:
|
4100
|
-
#line 853 "itex2MML.y"
|
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
|
4115
|
+
#line 4116 "y.tab.c"
|
4112
4116
|
break;
|
4113
4117
|
|
4114
4118
|
case 164:
|
4115
|
-
#line 864 "itex2MML.y"
|
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
|
4127
|
+
#line 4128 "y.tab.c"
|
4124
4128
|
break;
|
4125
4129
|
|
4126
4130
|
case 165:
|
4127
|
-
#line 872 "itex2MML.y"
|
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
|
4139
|
+
#line 4140 "y.tab.c"
|
4136
4140
|
break;
|
4137
4141
|
|
4138
4142
|
case 166:
|
4139
|
-
#line 880 "itex2MML.y"
|
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
|
4151
|
+
#line 4152 "y.tab.c"
|
4148
4152
|
break;
|
4149
4153
|
|
4150
4154
|
case 167:
|
4151
|
-
#line 887 "itex2MML.y"
|
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
|
4160
|
+
#line 4161 "y.tab.c"
|
4157
4161
|
break;
|
4158
4162
|
|
4159
4163
|
case 168:
|
4160
|
-
#line 892 "itex2MML.y"
|
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
|
4172
|
+
#line 4173 "y.tab.c"
|
4169
4173
|
break;
|
4170
4174
|
|
4171
4175
|
case 169:
|
4172
|
-
#line 900 "itex2MML.y"
|
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
|
4184
|
+
#line 4185 "y.tab.c"
|
4181
4185
|
break;
|
4182
4186
|
|
4183
4187
|
case 170:
|
4184
|
-
#line 908 "itex2MML.y"
|
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
|
4196
|
+
#line 4197 "y.tab.c"
|
4193
4197
|
break;
|
4194
4198
|
|
4195
4199
|
case 171:
|
4196
|
-
#line 915 "itex2MML.y"
|
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
|
4208
|
+
#line 4209 "y.tab.c"
|
4205
4209
|
break;
|
4206
4210
|
|
4207
4211
|
case 172:
|
4208
|
-
#line 923 "itex2MML.y"
|
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
|
4217
|
+
#line 4218 "y.tab.c"
|
4214
4218
|
break;
|
4215
4219
|
|
4216
4220
|
case 173:
|
4217
|
-
#line 928 "itex2MML.y"
|
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
|
4226
|
+
#line 4227 "y.tab.c"
|
4223
4227
|
break;
|
4224
4228
|
|
4225
4229
|
case 174:
|
4226
|
-
#line 933 "itex2MML.y"
|
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
|
4235
|
+
#line 4236 "y.tab.c"
|
4232
4236
|
break;
|
4233
4237
|
|
4234
4238
|
case 175:
|
4235
|
-
#line 938 "itex2MML.y"
|
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
|
4244
|
+
#line 4245 "y.tab.c"
|
4241
4245
|
break;
|
4242
4246
|
|
4243
4247
|
case 176:
|
4244
|
-
#line 943 "itex2MML.y"
|
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
|
4253
|
+
#line 4254 "y.tab.c"
|
4250
4254
|
break;
|
4251
4255
|
|
4252
4256
|
case 177:
|
4253
|
-
#line 948 "itex2MML.y"
|
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
|
4262
|
+
#line 4263 "y.tab.c"
|
4259
4263
|
break;
|
4260
4264
|
|
4261
4265
|
case 178:
|
4262
|
-
#line 953 "itex2MML.y"
|
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
|
4271
|
+
#line 4272 "y.tab.c"
|
4268
4272
|
break;
|
4269
4273
|
|
4270
4274
|
case 179:
|
4271
|
-
#line 958 "itex2MML.y"
|
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
|
4280
|
+
#line 4281 "y.tab.c"
|
4277
4281
|
break;
|
4278
4282
|
|
4279
4283
|
case 180:
|
4280
|
-
#line 963 "itex2MML.y"
|
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
|
4289
|
+
#line 4290 "y.tab.c"
|
4286
4290
|
break;
|
4287
4291
|
|
4288
4292
|
case 181:
|
4289
|
-
#line 968 "itex2MML.y"
|
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
|
4298
|
+
#line 4299 "y.tab.c"
|
4295
4299
|
break;
|
4296
4300
|
|
4297
4301
|
case 182:
|
4298
|
-
#line 973 "itex2MML.y"
|
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
|
4307
|
+
#line 4308 "y.tab.c"
|
4304
4308
|
break;
|
4305
4309
|
|
4306
4310
|
case 183:
|
4307
|
-
#line 978 "itex2MML.y"
|
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
|
4316
|
+
#line 4317 "y.tab.c"
|
4313
4317
|
break;
|
4314
4318
|
|
4315
4319
|
case 184:
|
4316
|
-
#line 983 "itex2MML.y"
|
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
|
4325
|
+
#line 4326 "y.tab.c"
|
4322
4326
|
break;
|
4323
4327
|
|
4324
4328
|
case 185:
|
4325
|
-
#line 988 "itex2MML.y"
|
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
|
4334
|
+
#line 4335 "y.tab.c"
|
4331
4335
|
break;
|
4332
4336
|
|
4333
4337
|
case 186:
|
4334
|
-
#line 993 "itex2MML.y"
|
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
|
4343
|
+
#line 4344 "y.tab.c"
|
4340
4344
|
break;
|
4341
4345
|
|
4342
4346
|
case 187:
|
4343
|
-
#line 998 "itex2MML.y"
|
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
|
4352
|
+
#line 4353 "y.tab.c"
|
4349
4353
|
break;
|
4350
4354
|
|
4351
4355
|
case 188:
|
4352
|
-
#line 1003 "itex2MML.y"
|
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
|
4361
|
+
#line 4362 "y.tab.c"
|
4358
4362
|
break;
|
4359
4363
|
|
4360
4364
|
case 189:
|
4361
|
-
#line 1007 "itex2MML.y"
|
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
|
4371
|
+
#line 4372 "y.tab.c"
|
4368
4372
|
break;
|
4369
4373
|
|
4370
4374
|
case 190:
|
4371
|
-
#line 1013 "itex2MML.y"
|
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
|
4380
|
+
#line 4381 "y.tab.c"
|
4377
4381
|
break;
|
4378
4382
|
|
4379
4383
|
case 191:
|
4380
|
-
#line 1018 "itex2MML.y"
|
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
|
4389
|
+
#line 4390 "y.tab.c"
|
4386
4390
|
break;
|
4387
4391
|
|
4388
4392
|
case 192:
|
4389
|
-
#line 1022 "itex2MML.y"
|
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
|
4399
|
+
#line 4400 "y.tab.c"
|
4396
4400
|
break;
|
4397
4401
|
|
4398
4402
|
case 193:
|
4399
|
-
#line 1028 "itex2MML.y"
|
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
|
4408
|
+
#line 4409 "y.tab.c"
|
4405
4409
|
break;
|
4406
4410
|
|
4407
4411
|
case 194:
|
4408
|
-
#line 1032 "itex2MML.y"
|
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
|
4417
|
+
#line 4418 "y.tab.c"
|
4414
4418
|
break;
|
4415
4419
|
|
4416
4420
|
case 195:
|
4417
|
-
#line 1036 "itex2MML.y"
|
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
|
4429
|
+
#line 4430 "y.tab.c"
|
4426
4430
|
break;
|
4427
4431
|
|
4428
4432
|
case 196:
|
4429
|
-
#line 1044 "itex2MML.y"
|
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
|
4438
|
+
#line 4439 "y.tab.c"
|
4435
4439
|
break;
|
4436
4440
|
|
4437
4441
|
case 197:
|
4438
|
-
#line 1049 "itex2MML.y"
|
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
|
4447
|
+
#line 4448 "y.tab.c"
|
4444
4448
|
break;
|
4445
4449
|
|
4446
4450
|
case 198:
|
4447
|
-
#line 1053 "itex2MML.y"
|
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
|
4457
|
+
#line 4458 "y.tab.c"
|
4454
4458
|
break;
|
4455
4459
|
|
4456
4460
|
case 199:
|
4457
|
-
#line 1059 "itex2MML.y"
|
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
|
4466
|
+
#line 4467 "y.tab.c"
|
4463
4467
|
break;
|
4464
4468
|
|
4465
4469
|
case 200:
|
4466
|
-
#line 1064 "itex2MML.y"
|
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
|
4475
|
+
#line 4476 "y.tab.c"
|
4472
4476
|
break;
|
4473
4477
|
|
4474
4478
|
case 201:
|
4475
|
-
#line 1069 "itex2MML.y"
|
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
|
4484
|
+
#line 4485 "y.tab.c"
|
4481
4485
|
break;
|
4482
4486
|
|
4483
4487
|
case 202:
|
4484
|
-
#line 1074 "itex2MML.y"
|
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
|
4493
|
+
#line 4494 "y.tab.c"
|
4490
4494
|
break;
|
4491
4495
|
|
4492
4496
|
case 203:
|
4493
|
-
#line 1078 "itex2MML.y"
|
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
|
4503
|
+
#line 4504 "y.tab.c"
|
4500
4504
|
break;
|
4501
4505
|
|
4502
4506
|
case 204:
|
4503
|
-
#line 1084 "itex2MML.y"
|
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
|
4512
|
+
#line 4513 "y.tab.c"
|
4509
4513
|
break;
|
4510
4514
|
|
4511
4515
|
case 205:
|
4512
|
-
#line 1089 "itex2MML.y"
|
4516
|
+
#line 1089 "itex2MML.y"
|
4513
4517
|
{
|
4514
4518
|
yyval = itex2MML_copy_string("<mspace width=\"0.16667em\"/>");
|
4515
4519
|
}
|
4516
|
-
#line
|
4520
|
+
#line 4521 "y.tab.c"
|
4517
4521
|
break;
|
4518
4522
|
|
4519
4523
|
case 206:
|
4520
|
-
#line 1093 "itex2MML.y"
|
4524
|
+
#line 1093 "itex2MML.y"
|
4521
4525
|
{
|
4522
4526
|
yyval = itex2MML_copy_string("<mspace width=\"0.22222em\"/>");
|
4523
4527
|
}
|
4524
|
-
#line
|
4528
|
+
#line 4529 "y.tab.c"
|
4525
4529
|
break;
|
4526
4530
|
|
4527
4531
|
case 207:
|
4528
|
-
#line 1097 "itex2MML.y"
|
4532
|
+
#line 1097 "itex2MML.y"
|
4529
4533
|
{
|
4530
4534
|
yyval = itex2MML_copy_string("<mspace width=\"0.27778em\"/>");
|
4531
4535
|
}
|
4532
|
-
#line
|
4536
|
+
#line 4537 "y.tab.c"
|
4533
4537
|
break;
|
4534
4538
|
|
4535
4539
|
case 208:
|
4536
|
-
#line 1101 "itex2MML.y"
|
4540
|
+
#line 1101 "itex2MML.y"
|
4537
4541
|
{
|
4538
4542
|
yyval = itex2MML_copy_string("<mspace width=\"1em\"/>");
|
4539
4543
|
}
|
4540
|
-
#line
|
4544
|
+
#line 4545 "y.tab.c"
|
4541
4545
|
break;
|
4542
4546
|
|
4543
4547
|
case 209:
|
4544
|
-
#line 1105 "itex2MML.y"
|
4548
|
+
#line 1105 "itex2MML.y"
|
4545
4549
|
{
|
4546
4550
|
yyval = itex2MML_copy_string("<mspace width=\"2em\"/>");
|
4547
4551
|
}
|
4548
|
-
#line
|
4552
|
+
#line 4553 "y.tab.c"
|
4549
4553
|
break;
|
4550
4554
|
|
4551
4555
|
case 210:
|
4552
|
-
#line 1109 "itex2MML.y"
|
4556
|
+
#line 1109 "itex2MML.y"
|
4553
4557
|
{
|
4554
4558
|
yyval = itex2MML_copy_string("<mspace width=\"-0.16667em\"/>");
|
4555
4559
|
}
|
4556
|
-
#line
|
4560
|
+
#line 4561 "y.tab.c"
|
4557
4561
|
break;
|
4558
4562
|
|
4559
4563
|
case 211:
|
4560
|
-
#line 1113 "itex2MML.y"
|
4564
|
+
#line 1113 "itex2MML.y"
|
4561
4565
|
{
|
4562
4566
|
yyval = itex2MML_copy_string("<mspace width=\"-0.22222em\"/>");
|
4563
4567
|
}
|
4564
|
-
#line
|
4568
|
+
#line 4569 "y.tab.c"
|
4565
4569
|
break;
|
4566
4570
|
|
4567
4571
|
case 212:
|
4568
|
-
#line 1117 "itex2MML.y"
|
4572
|
+
#line 1117 "itex2MML.y"
|
4569
4573
|
{
|
4570
4574
|
yyval = itex2MML_copy_string("<mspace width=\"-0.27778em\"/>");
|
4571
4575
|
}
|
4572
|
-
#line
|
4576
|
+
#line 4577 "y.tab.c"
|
4573
4577
|
break;
|
4574
4578
|
|
4575
4579
|
case 213:
|
4576
|
-
#line 1121 "itex2MML.y"
|
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
|
4585
|
+
#line 4586 "y.tab.c"
|
4582
4586
|
break;
|
4583
4587
|
|
4584
4588
|
case 214:
|
4585
|
-
#line 1126 "itex2MML.y"
|
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
|
4599
|
+
#line 4600 "y.tab.c"
|
4596
4600
|
break;
|
4597
4601
|
|
4598
4602
|
case 215:
|
4599
|
-
#line 1136 "itex2MML.y"
|
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
|
4611
|
+
#line 4612 "y.tab.c"
|
4608
4612
|
break;
|
4609
4613
|
|
4610
4614
|
case 216:
|
4611
|
-
#line 1143 "itex2MML.y"
|
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
|
4623
|
+
#line 4624 "y.tab.c"
|
4620
4624
|
break;
|
4621
4625
|
|
4622
4626
|
case 217:
|
4623
|
-
#line 1151 "itex2MML.y"
|
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
|
4638
|
+
#line 4639 "y.tab.c"
|
4635
4639
|
break;
|
4636
4640
|
|
4637
4641
|
case 218:
|
4638
|
-
#line 1161 "itex2MML.y"
|
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
|
4652
|
+
#line 4653 "y.tab.c"
|
4649
4653
|
break;
|
4650
4654
|
|
4651
4655
|
case 219:
|
4652
|
-
#line 1170 "itex2MML.y"
|
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
|
4664
|
+
#line 4665 "y.tab.c"
|
4661
4665
|
break;
|
4662
4666
|
|
4663
4667
|
case 220:
|
4664
|
-
#line 1178 "itex2MML.y"
|
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
|
4673
|
+
#line 4674 "y.tab.c"
|
4670
4674
|
break;
|
4671
4675
|
|
4672
4676
|
case 221:
|
4673
|
-
#line 1182 "itex2MML.y"
|
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
|
4683
|
+
#line 4684 "y.tab.c"
|
4680
4684
|
break;
|
4681
4685
|
|
4682
4686
|
case 222:
|
4683
|
-
#line 1188 "itex2MML.y"
|
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
|
4693
|
+
#line 4694 "y.tab.c"
|
4690
4694
|
break;
|
4691
4695
|
|
4692
4696
|
case 223:
|
4693
|
-
#line 1193 "itex2MML.y"
|
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
|
4702
|
+
#line 4703 "y.tab.c"
|
4699
4703
|
break;
|
4700
4704
|
|
4701
4705
|
case 224:
|
4702
|
-
#line 1197 "itex2MML.y"
|
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
|
4711
|
+
#line 4712 "y.tab.c"
|
4708
4712
|
break;
|
4709
4713
|
|
4710
4714
|
case 225:
|
4711
|
-
#line 1201 "itex2MML.y"
|
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
|
4720
|
+
#line 4721 "y.tab.c"
|
4717
4721
|
break;
|
4718
4722
|
|
4719
4723
|
case 226:
|
4720
|
-
#line 1206 "itex2MML.y"
|
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
|
4732
|
+
#line 4733 "y.tab.c"
|
4729
4733
|
break;
|
4730
4734
|
|
4731
4735
|
case 227:
|
4732
|
-
#line 1213 "itex2MML.y"
|
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
|
4744
|
+
#line 4745 "y.tab.c"
|
4741
4745
|
break;
|
4742
4746
|
|
4743
4747
|
case 228:
|
4744
|
-
#line 1221 "itex2MML.y"
|
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
|
4753
|
+
#line 4754 "y.tab.c"
|
4750
4754
|
break;
|
4751
4755
|
|
4752
4756
|
case 229:
|
4753
|
-
#line 1226 "itex2MML.y"
|
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
|
4765
|
+
#line 4766 "y.tab.c"
|
4762
4766
|
break;
|
4763
4767
|
|
4764
4768
|
case 230:
|
4765
|
-
#line 1233 "itex2MML.y"
|
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
|
4783
|
+
#line 4784 "y.tab.c"
|
4780
4784
|
break;
|
4781
4785
|
|
4782
4786
|
case 231:
|
4783
|
-
#line 1247 "itex2MML.y"
|
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
|
4795
|
+
#line 4796 "y.tab.c"
|
4792
4796
|
break;
|
4793
4797
|
|
4794
4798
|
case 232:
|
4795
|
-
#line 1254 "itex2MML.y"
|
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
|
4813
|
+
#line 4814 "y.tab.c"
|
4810
4814
|
break;
|
4811
4815
|
|
4812
4816
|
case 233:
|
4813
|
-
#line 1268 "itex2MML.y"
|
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
|
4825
|
+
#line 4826 "y.tab.c"
|
4822
4826
|
break;
|
4823
4827
|
|
4824
4828
|
case 234:
|
4825
|
-
#line 1275 "itex2MML.y"
|
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
|
4837
|
+
#line 4838 "y.tab.c"
|
4834
4838
|
break;
|
4835
4839
|
|
4836
4840
|
case 235:
|
4837
|
-
#line 1283 "itex2MML.y"
|
4841
|
+
#line 1283 "itex2MML.y"
|
4838
4842
|
{
|
4839
4843
|
yyval = itex2MML_copy3("<munder>", yyvsp[0], "<mo>⏟</mo></munder>");
|
4840
4844
|
itex2MML_free_string(yyvsp[0]);
|
4841
4845
|
}
|
4842
|
-
#line
|
4846
|
+
#line 4847 "y.tab.c"
|
4843
4847
|
break;
|
4844
4848
|
|
4845
4849
|
case 236:
|
4846
|
-
#line 1288 "itex2MML.y"
|
4850
|
+
#line 1288 "itex2MML.y"
|
4847
4851
|
{
|
4848
4852
|
yyval = itex2MML_copy3("<munder>", yyvsp[0], "<mo>̲</mo></munder>");
|
4849
4853
|
itex2MML_free_string(yyvsp[0]);
|
4850
4854
|
}
|
4851
|
-
#line
|
4855
|
+
#line 4856 "y.tab.c"
|
4852
4856
|
break;
|
4853
4857
|
|
4854
4858
|
case 237:
|
4855
|
-
#line 1293 "itex2MML.y"
|
4859
|
+
#line 1293 "itex2MML.y"
|
4856
4860
|
{
|
4857
4861
|
yyval = itex2MML_copy3("<mover>", yyvsp[0], "<mo>⏞</mo></mover>");
|
4858
4862
|
itex2MML_free_string(yyvsp[0]);
|
4859
4863
|
}
|
4860
|
-
#line
|
4864
|
+
#line 4865 "y.tab.c"
|
4861
4865
|
break;
|
4862
4866
|
|
4863
4867
|
case 238:
|
4864
|
-
#line 1298 "itex2MML.y"
|
4868
|
+
#line 1298 "itex2MML.y"
|
4865
4869
|
{
|
4866
4870
|
yyval = itex2MML_copy3("<mover>", yyvsp[0], "<mo stretchy=\"false\">¯</mo></mover>");
|
4867
4871
|
itex2MML_free_string(yyvsp[0]);
|
4868
4872
|
}
|
4869
|
-
#line
|
4873
|
+
#line 4874 "y.tab.c"
|
4870
4874
|
break;
|
4871
4875
|
|
4872
4876
|
case 239:
|
4873
|
-
#line 1302 "itex2MML.y"
|
4877
|
+
#line 1302 "itex2MML.y"
|
4874
4878
|
{
|
4875
4879
|
yyval = itex2MML_copy3("<mover>", yyvsp[0], "<mo>¯</mo></mover>");
|
4876
4880
|
itex2MML_free_string(yyvsp[0]);
|
4877
4881
|
}
|
4878
|
-
#line
|
4882
|
+
#line 4883 "y.tab.c"
|
4879
4883
|
break;
|
4880
4884
|
|
4881
4885
|
case 240:
|
4882
|
-
#line 1307 "itex2MML.y"
|
4886
|
+
#line 1307 "itex2MML.y"
|
4883
4887
|
{
|
4884
4888
|
yyval = itex2MML_copy3("<mover>", yyvsp[0], "<mo stretchy=\"false\">→</mo></mover>");
|
4885
4889
|
itex2MML_free_string(yyvsp[0]);
|
4886
4890
|
}
|
4887
|
-
#line
|
4891
|
+
#line 4892 "y.tab.c"
|
4888
4892
|
break;
|
4889
4893
|
|
4890
4894
|
case 241:
|
4891
|
-
#line 1311 "itex2MML.y"
|
4895
|
+
#line 1311 "itex2MML.y"
|
4892
4896
|
{
|
4893
4897
|
yyval = itex2MML_copy3("<mover>", yyvsp[0], "<mo>→</mo></mover>");
|
4894
4898
|
itex2MML_free_string(yyvsp[0]);
|
4895
4899
|
}
|
4896
|
-
#line
|
4900
|
+
#line 4901 "y.tab.c"
|
4897
4901
|
break;
|
4898
4902
|
|
4899
4903
|
case 242:
|
4900
|
-
#line 1316 "itex2MML.y"
|
4904
|
+
#line 1316 "itex2MML.y"
|
4901
4905
|
{
|
4902
4906
|
yyval = itex2MML_copy3("<mover>", yyvsp[0], "<mo>←</mo></mover>");
|
4903
4907
|
itex2MML_free_string(yyvsp[0]);
|
4904
4908
|
}
|
4905
|
-
#line
|
4909
|
+
#line 4910 "y.tab.c"
|
4906
4910
|
break;
|
4907
4911
|
|
4908
4912
|
case 243:
|
4909
|
-
#line 1320 "itex2MML.y"
|
4913
|
+
#line 1320 "itex2MML.y"
|
4910
4914
|
{
|
4911
4915
|
yyval = itex2MML_copy3("<mover>", yyvsp[0], "<mo>↔</mo></mover>");
|
4912
4916
|
itex2MML_free_string(yyvsp[0]);
|
4913
4917
|
}
|
4914
|
-
#line
|
4918
|
+
#line 4919 "y.tab.c"
|
4915
4919
|
break;
|
4916
4920
|
|
4917
4921
|
case 244:
|
4918
|
-
#line 1324 "itex2MML.y"
|
4922
|
+
#line 1324 "itex2MML.y"
|
4919
4923
|
{
|
4920
4924
|
yyval = itex2MML_copy3("<munder>", yyvsp[0], "<mo>→</mo></munder>");
|
4921
4925
|
itex2MML_free_string(yyvsp[0]);
|
4922
4926
|
}
|
4923
|
-
#line
|
4927
|
+
#line 4928 "y.tab.c"
|
4924
4928
|
break;
|
4925
4929
|
|
4926
4930
|
case 245:
|
4927
|
-
#line 1328 "itex2MML.y"
|
4931
|
+
#line 1328 "itex2MML.y"
|
4928
4932
|
{
|
4929
4933
|
yyval = itex2MML_copy3("<munder>", yyvsp[0], "<mo>←</mo></munder>");
|
4930
4934
|
itex2MML_free_string(yyvsp[0]);
|
4931
4935
|
}
|
4932
|
-
#line
|
4936
|
+
#line 4937 "y.tab.c"
|
4933
4937
|
break;
|
4934
4938
|
|
4935
4939
|
case 246:
|
4936
|
-
#line 1332 "itex2MML.y"
|
4940
|
+
#line 1332 "itex2MML.y"
|
4937
4941
|
{
|
4938
4942
|
yyval = itex2MML_copy3("<munder>", yyvsp[0], "<mo>↔</mo></munder>");
|
4939
4943
|
itex2MML_free_string(yyvsp[0]);
|
4940
4944
|
}
|
4941
|
-
#line
|
4945
|
+
#line 4946 "y.tab.c"
|
4942
4946
|
break;
|
4943
4947
|
|
4944
4948
|
case 247:
|
4945
|
-
#line 1337 "itex2MML.y"
|
4949
|
+
#line 1337 "itex2MML.y"
|
4946
4950
|
{
|
4947
4951
|
yyval = itex2MML_copy3("<mover>", yyvsp[0], "<mo>˙</mo></mover>");
|
4948
4952
|
itex2MML_free_string(yyvsp[0]);
|
4949
4953
|
}
|
4950
|
-
#line
|
4954
|
+
#line 4955 "y.tab.c"
|
4951
4955
|
break;
|
4952
4956
|
|
4953
4957
|
case 248:
|
4954
|
-
#line 1342 "itex2MML.y"
|
4958
|
+
#line 1342 "itex2MML.y"
|
4955
4959
|
{
|
4956
4960
|
yyval = itex2MML_copy3("<mover>", yyvsp[0], "<mo>¨</mo></mover>");
|
4957
4961
|
itex2MML_free_string(yyvsp[0]);
|
4958
4962
|
}
|
4959
|
-
#line
|
4963
|
+
#line 4964 "y.tab.c"
|
4960
4964
|
break;
|
4961
4965
|
|
4962
4966
|
case 249:
|
4963
|
-
#line 1347 "itex2MML.y"
|
4967
|
+
#line 1347 "itex2MML.y"
|
4964
4968
|
{
|
4965
4969
|
yyval = itex2MML_copy3("<mover>", yyvsp[0], "<mo>⃛</mo></mover>");
|
4966
4970
|
itex2MML_free_string(yyvsp[0]);
|
4967
4971
|
}
|
4968
|
-
#line
|
4972
|
+
#line 4973 "y.tab.c"
|
4969
4973
|
break;
|
4970
4974
|
|
4971
4975
|
case 250:
|
4972
|
-
#line 1352 "itex2MML.y"
|
4976
|
+
#line 1352 "itex2MML.y"
|
4973
4977
|
{
|
4974
4978
|
yyval = itex2MML_copy3("<mover>", yyvsp[0], "<mo>⃜</mo></mover>");
|
4975
4979
|
itex2MML_free_string(yyvsp[0]);
|
4976
4980
|
}
|
4977
|
-
#line
|
4981
|
+
#line 4982 "y.tab.c"
|
4978
4982
|
break;
|
4979
4983
|
|
4980
4984
|
case 251:
|
4981
|
-
#line 1357 "itex2MML.y"
|
4985
|
+
#line 1357 "itex2MML.y"
|
4982
4986
|
{
|
4983
4987
|
yyval = itex2MML_copy3("<mover>", yyvsp[0], "<mo stretchy=\"false\">˜</mo></mover>");
|
4984
4988
|
itex2MML_free_string(yyvsp[0]);
|
4985
4989
|
}
|
4986
|
-
#line
|
4990
|
+
#line 4991 "y.tab.c"
|
4987
4991
|
break;
|
4988
4992
|
|
4989
4993
|
case 252:
|
4990
|
-
#line 1361 "itex2MML.y"
|
4994
|
+
#line 1361 "itex2MML.y"
|
4991
4995
|
{
|
4992
4996
|
yyval = itex2MML_copy3("<mover>", yyvsp[0], "<mo>˜</mo></mover>");
|
4993
4997
|
itex2MML_free_string(yyvsp[0]);
|
4994
4998
|
}
|
4995
|
-
#line
|
4999
|
+
#line 5000 "y.tab.c"
|
4996
5000
|
break;
|
4997
5001
|
|
4998
5002
|
case 253:
|
4999
|
-
#line 1366 "itex2MML.y"
|
5003
|
+
#line 1366 "itex2MML.y"
|
5000
5004
|
{
|
5001
5005
|
yyval = itex2MML_copy3("<mover>", yyvsp[0], "<mo stretchy=\"false\">ˇ</mo></mover>");
|
5002
5006
|
itex2MML_free_string(yyvsp[0]);
|
5003
5007
|
}
|
5004
|
-
#line
|
5008
|
+
#line 5009 "y.tab.c"
|
5005
5009
|
break;
|
5006
5010
|
|
5007
5011
|
case 254:
|
5008
|
-
#line 1370 "itex2MML.y"
|
5012
|
+
#line 1370 "itex2MML.y"
|
5009
5013
|
{
|
5010
5014
|
yyval = itex2MML_copy3("<mover>", yyvsp[0], "<mo>ˇ</mo></mover>");
|
5011
5015
|
itex2MML_free_string(yyvsp[0]);
|
5012
5016
|
}
|
5013
|
-
#line
|
5017
|
+
#line 5018 "y.tab.c"
|
5014
5018
|
break;
|
5015
5019
|
|
5016
5020
|
case 255:
|
5017
|
-
#line 1375 "itex2MML.y"
|
5021
|
+
#line 1375 "itex2MML.y"
|
5018
5022
|
{
|
5019
5023
|
yyval = itex2MML_copy3("<mover>", yyvsp[0], "<mo stretchy=\"false\">^</mo></mover>");
|
5020
5024
|
itex2MML_free_string(yyvsp[0]);
|
5021
5025
|
}
|
5022
|
-
#line
|
5026
|
+
#line 5027 "y.tab.c"
|
5023
5027
|
break;
|
5024
5028
|
|
5025
5029
|
case 256:
|
5026
|
-
#line 1379 "itex2MML.y"
|
5030
|
+
#line 1379 "itex2MML.y"
|
5027
5031
|
{
|
5028
5032
|
yyval = itex2MML_copy3("<mover>", yyvsp[0], "<mo>^</mo></mover>");
|
5029
5033
|
itex2MML_free_string(yyvsp[0]);
|
5030
5034
|
}
|
5031
|
-
#line
|
5035
|
+
#line 5036 "y.tab.c"
|
5032
5036
|
break;
|
5033
5037
|
|
5034
5038
|
case 257:
|
5035
|
-
#line 1384 "itex2MML.y"
|
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
|
5044
|
+
#line 5045 "y.tab.c"
|
5041
5045
|
break;
|
5042
5046
|
|
5043
5047
|
case 258:
|
5044
|
-
#line 1389 "itex2MML.y"
|
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
|
5056
|
+
#line 5057 "y.tab.c"
|
5053
5057
|
break;
|
5054
5058
|
|
5055
5059
|
case 259:
|
5056
|
-
#line 1396 "itex2MML.y"
|
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
|
5068
|
+
#line 5069 "y.tab.c"
|
5065
5069
|
break;
|
5066
5070
|
|
5067
5071
|
case 260:
|
5068
|
-
#line 1404 "itex2MML.y"
|
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
|
5086
|
+
#line 5087 "y.tab.c"
|
5083
5087
|
break;
|
5084
5088
|
|
5085
5089
|
case 261:
|
5086
|
-
#line 1417 "itex2MML.y"
|
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
|
5104
|
+
#line 5105 "y.tab.c"
|
5101
5105
|
break;
|
5102
5106
|
|
5103
5107
|
case 262:
|
5104
|
-
#line 1430 "itex2MML.y"
|
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
|
5119
|
+
#line 5120 "y.tab.c"
|
5116
5120
|
break;
|
5117
5121
|
|
5118
5122
|
case 263:
|
5119
|
-
#line 1440 "itex2MML.y"
|
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
|
5136
|
+
#line 5137 "y.tab.c"
|
5133
5137
|
break;
|
5134
5138
|
|
5135
5139
|
case 264:
|
5136
|
-
#line 1452 "itex2MML.y"
|
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
|
5150
|
+
#line 5151 "y.tab.c"
|
5147
5151
|
break;
|
5148
5152
|
|
5149
5153
|
case 265:
|
5150
|
-
#line 1461 "itex2MML.y"
|
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
|
5164
|
+
#line 5165 "y.tab.c"
|
5161
5165
|
break;
|
5162
5166
|
|
5163
5167
|
case 266:
|
5164
|
-
#line 1471 "itex2MML.y"
|
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
|
5176
|
+
#line 5177 "y.tab.c"
|
5173
5177
|
break;
|
5174
5178
|
|
5175
5179
|
case 267:
|
5176
|
-
#line 1478 "itex2MML.y"
|
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
|
5188
|
+
#line 5189 "y.tab.c"
|
5185
5189
|
break;
|
5186
5190
|
|
5187
5191
|
case 268:
|
5188
|
-
#line 1486 "itex2MML.y"
|
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
|
5200
|
+
#line 5201 "y.tab.c"
|
5197
5201
|
break;
|
5198
5202
|
|
5199
5203
|
case 269:
|
5200
|
-
#line 1493 "itex2MML.y"
|
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
|
5212
|
+
#line 5213 "y.tab.c"
|
5209
5213
|
break;
|
5210
5214
|
|
5211
5215
|
case 270:
|
5212
|
-
#line 1501 "itex2MML.y"
|
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
|
5227
|
+
#line 5228 "y.tab.c"
|
5224
5228
|
break;
|
5225
5229
|
|
5226
5230
|
case 271:
|
5227
|
-
#line 1511 "itex2MML.y"
|
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
|
5240
|
+
#line 5241 "y.tab.c"
|
5237
5241
|
break;
|
5238
5242
|
|
5239
5243
|
case 272:
|
5240
|
-
#line 1520 "itex2MML.y"
|
5244
|
+
#line 1520 "itex2MML.y"
|
5241
5245
|
{
|
5242
5246
|
yyval = itex2MML_copy_string("<mrow/>");
|
5243
5247
|
}
|
5244
|
-
#line
|
5248
|
+
#line 5249 "y.tab.c"
|
5245
5249
|
break;
|
5246
5250
|
|
5247
5251
|
case 273:
|
5248
|
-
#line 1524 "itex2MML.y"
|
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
|
5257
|
+
#line 5258 "y.tab.c"
|
5254
5258
|
break;
|
5255
5259
|
|
5256
5260
|
case 274:
|
5257
|
-
#line 1528 "itex2MML.y"
|
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
|
5266
|
+
#line 5267 "y.tab.c"
|
5263
5267
|
break;
|
5264
5268
|
|
5265
5269
|
case 275:
|
5266
|
-
#line 1532 "itex2MML.y"
|
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
|
5275
|
+
#line 5276 "y.tab.c"
|
5272
5276
|
break;
|
5273
5277
|
|
5274
5278
|
case 276:
|
5275
|
-
#line 1536 "itex2MML.y"
|
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
|
5284
|
+
#line 5285 "y.tab.c"
|
5281
5285
|
break;
|
5282
5286
|
|
5283
5287
|
case 277:
|
5284
|
-
#line 1540 "itex2MML.y"
|
5288
|
+
#line 1540 "itex2MML.y"
|
5285
5289
|
{
|
5286
5290
|
yyval = itex2MML_copy3("<mrow><mo>∣</mo><mrow><mtable displaystyle=\"false\" rowspacing=\"0.5ex\">", yyvsp[-2], "</mtable></mrow><mo>∣</mo></mrow>");
|
5287
5291
|
itex2MML_free_string(yyvsp[-2]);
|
5288
5292
|
}
|
5289
|
-
#line
|
5293
|
+
#line 5294 "y.tab.c"
|
5290
5294
|
break;
|
5291
5295
|
|
5292
5296
|
case 278:
|
5293
|
-
#line 1544 "itex2MML.y"
|
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
|
5302
|
+
#line 5303 "y.tab.c"
|
5299
5303
|
break;
|
5300
5304
|
|
5301
5305
|
case 279:
|
5302
|
-
#line 1548 "itex2MML.y"
|
5306
|
+
#line 1548 "itex2MML.y"
|
5303
5307
|
{
|
5304
5308
|
yyval = itex2MML_copy3("<mrow><mo>∥</mo><mrow><mtable displaystyle=\"false\" rowspacing=\"0.5ex\">", yyvsp[-2], "</mtable></mrow><mo>∥</mo></mrow>");
|
5305
5309
|
itex2MML_free_string(yyvsp[-2]);
|
5306
5310
|
}
|
5307
|
-
#line
|
5311
|
+
#line 5312 "y.tab.c"
|
5308
5312
|
break;
|
5309
5313
|
|
5310
5314
|
case 280:
|
5311
|
-
#line 1552 "itex2MML.y"
|
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
|
5320
|
+
#line 5321 "y.tab.c"
|
5317
5321
|
break;
|
5318
5322
|
|
5319
5323
|
case 281:
|
5320
|
-
#line 1556 "itex2MML.y"
|
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
|
5329
|
+
#line 5330 "y.tab.c"
|
5326
5330
|
break;
|
5327
5331
|
|
5328
5332
|
case 282:
|
5329
|
-
#line 1560 "itex2MML.y"
|
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
|
5338
|
+
#line 5339 "y.tab.c"
|
5335
5339
|
break;
|
5336
5340
|
|
5337
5341
|
case 283:
|
5338
|
-
#line 1564 "itex2MML.y"
|
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
|
5353
|
+
#line 5354 "y.tab.c"
|
5350
5354
|
break;
|
5351
5355
|
|
5352
5356
|
case 284:
|
5353
|
-
#line 1574 "itex2MML.y"
|
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
|
5365
|
+
#line 5366 "y.tab.c"
|
5362
5366
|
break;
|
5363
5367
|
|
5364
5368
|
case 285:
|
5365
|
-
#line 1581 "itex2MML.y"
|
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
|
5374
|
+
#line 5375 "y.tab.c"
|
5371
5375
|
break;
|
5372
5376
|
|
5373
5377
|
case 286:
|
5374
|
-
#line 1585 "itex2MML.y"
|
5378
|
+
#line 1585 "itex2MML.y"
|
5375
5379
|
{
|
5376
5380
|
yyval = itex2MML_copy_string(" ");
|
5377
5381
|
}
|
5378
|
-
#line
|
5382
|
+
#line 5383 "y.tab.c"
|
5379
5383
|
break;
|
5380
5384
|
|
5381
5385
|
case 287:
|
5382
|
-
#line 1589 "itex2MML.y"
|
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
|
5392
|
+
#line 5393 "y.tab.c"
|
5389
5393
|
break;
|
5390
5394
|
|
5391
5395
|
case 288:
|
5392
|
-
#line 1594 "itex2MML.y"
|
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
|
5401
|
+
#line 5402 "y.tab.c"
|
5398
5402
|
break;
|
5399
5403
|
|
5400
5404
|
case 289:
|
5401
|
-
#line 1599 "itex2MML.y"
|
5405
|
+
#line 1599 "itex2MML.y"
|
5402
5406
|
{
|
5403
5407
|
yyval = itex2MML_copy3("<mrow><mtable columnalign=\"center\" rowspacing=\"0.5ex\">", yyvsp[-1], "</mtable></mrow>");
|