itextomml 1.5.8 → 1.6.0

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