itextomml 1.4.11 → 1.5.0

Sign up to get free protection for your applications and to get access to all the features.
Files changed (5) hide show
  1. data/ext/itex2MML.h +3 -3
  2. data/ext/itex2MML_ruby.c +14 -25
  3. data/ext/lex.yy.c +824 -804
  4. data/ext/y.tab.c +275 -269
  5. metadata +5 -5
data/ext/itex2MML.h CHANGED
@@ -1,11 +1,11 @@
1
- /* itex2MML 1.4.11
2
- * itex2MML.h last modified 9/3/2013
1
+ /* itex2MML 1.5.0
2
+ * itex2MML.h last modified 12/8/2013
3
3
  */
4
4
 
5
5
  #ifndef ITEX2MML_H
6
6
  #define ITEX2MML_H
7
7
 
8
- #define ITEX2MML_VERSION "1.4.11"
8
+ #define ITEX2MML_VERSION "1.5.0"
9
9
 
10
10
  #ifdef __cplusplus
11
11
  extern "C" {
data/ext/itex2MML_ruby.c CHANGED
@@ -1,6 +1,6 @@
1
1
  /* ----------------------------------------------------------------------------
2
2
  * This file was automatically generated by SWIG (http://www.swig.org).
3
- * Version 2.0.9
3
+ * Version 2.0.10
4
4
  *
5
5
  * This file is not intended to be easily readable and contains a number of
6
6
  * coding conventions designed to improve portability and efficiency. Do not make
@@ -398,7 +398,7 @@ SWIGINTERNINLINE int SWIG_CheckState(int r) {
398
398
  return SWIG_IsOK(r) ? SWIG_CastRank(r) + 1 : 0;
399
399
  }
400
400
  #else /* no cast-rank mode */
401
- # define SWIG_AddCast
401
+ # define SWIG_AddCast(r) (r)
402
402
  # define SWIG_CheckState(r) (SWIG_IsOK(r) ? 1 : 0)
403
403
  #endif
404
404
 
@@ -462,18 +462,18 @@ SWIG_TypeNameComp(const char *f1, const char *l1,
462
462
 
463
463
  /*
464
464
  Check type equivalence in a name list like <name1>|<name2>|...
465
- Return 0 if not equal, 1 if equal
465
+ Return 0 if equal, -1 if nb < tb, 1 if nb > tb
466
466
  */
467
467
  SWIGRUNTIME int
468
- SWIG_TypeEquiv(const char *nb, const char *tb) {
469
- int equiv = 0;
468
+ SWIG_TypeCmp(const char *nb, const char *tb) {
469
+ int equiv = 1;
470
470
  const char* te = tb + strlen(tb);
471
471
  const char* ne = nb;
472
- while (!equiv && *ne) {
472
+ while (equiv != 0 && *ne) {
473
473
  for (nb = ne; *ne; ++ne) {
474
474
  if (*ne == '|') break;
475
475
  }
476
- equiv = (SWIG_TypeNameComp(nb, ne, tb, te) == 0) ? 1 : 0;
476
+ equiv = SWIG_TypeNameComp(nb, ne, tb, te);
477
477
  if (*ne) ++ne;
478
478
  }
479
479
  return equiv;
@@ -481,24 +481,13 @@ SWIG_TypeEquiv(const char *nb, const char *tb) {
481
481
 
482
482
  /*
483
483
  Check type equivalence in a name list like <name1>|<name2>|...
484
- Return 0 if equal, -1 if nb < tb, 1 if nb > tb
484
+ Return 0 if not equal, 1 if equal
485
485
  */
486
486
  SWIGRUNTIME int
487
- SWIG_TypeCompare(const char *nb, const char *tb) {
488
- int equiv = 0;
489
- const char* te = tb + strlen(tb);
490
- const char* ne = nb;
491
- while (!equiv && *ne) {
492
- for (nb = ne; *ne; ++ne) {
493
- if (*ne == '|') break;
494
- }
495
- equiv = (SWIG_TypeNameComp(nb, ne, tb, te) == 0) ? 1 : 0;
496
- if (*ne) ++ne;
497
- }
498
- return equiv;
487
+ SWIG_TypeEquiv(const char *nb, const char *tb) {
488
+ return SWIG_TypeCmp(nb, tb) == 0 ? 1 : 0;
499
489
  }
500
490
 
501
-
502
491
  /*
503
492
  Check the typename
504
493
  */
@@ -1750,7 +1739,7 @@ SWIG_Ruby_SetModule(swig_module_info *pointer)
1750
1739
  SWIGINTERN
1751
1740
  int SWIG_Ruby_isCallable( VALUE proc )
1752
1741
  {
1753
- if ( rb_respond_to( proc, swig_call_id ) == Qtrue )
1742
+ if ( rb_respond_to( proc, swig_call_id ) )
1754
1743
  return 1;
1755
1744
  return 0;
1756
1745
  }
@@ -1763,7 +1752,7 @@ int SWIG_Ruby_isCallable( VALUE proc )
1763
1752
  SWIGINTERN
1764
1753
  int SWIG_Ruby_arity( VALUE proc, int minimal )
1765
1754
  {
1766
- if ( rb_respond_to( proc, swig_arity_id ) == Qtrue )
1755
+ if ( rb_respond_to( proc, swig_arity_id ) )
1767
1756
  {
1768
1757
  VALUE num = rb_funcall( proc, swig_arity_id, 0 );
1769
1758
  int arity = NUM2INT(num);
@@ -1806,7 +1795,7 @@ static VALUE mItex2MML;
1806
1795
  #define SWIG_RUBY_THREAD_END_BLOCK
1807
1796
 
1808
1797
 
1809
- #define SWIGVERSION 0x020009
1798
+ #define SWIGVERSION 0x020010
1810
1799
  #define SWIG_VERSION SWIGVERSION
1811
1800
 
1812
1801
 
@@ -1875,7 +1864,7 @@ SWIG_ruby_failed(void)
1875
1864
  }
1876
1865
 
1877
1866
 
1878
- /*@SWIG:/sw/share/swig/2.0.9/ruby/rubyprimtypes.swg,19,%ruby_aux_method@*/
1867
+ /*@SWIG:/sw/share/swig/2.0.10/ruby/rubyprimtypes.swg,19,%ruby_aux_method@*/
1879
1868
  SWIGINTERN VALUE SWIG_AUX_NUM2ULONG(VALUE *args)
1880
1869
  {
1881
1870
  VALUE obj = args[0];
data/ext/lex.yy.c CHANGED
@@ -2370,8 +2370,8 @@ static int yy_more_len = 0;
2370
2370
  #define YY_RESTORE_YY_MORE_OFFSET
2371
2371
  char *itex2MML_yytext;
2372
2372
  #line 1 "itex2MML.l"
2373
- /* itex2MML 1.4.11
2374
- * itex2MML.l last modified 9/3/2013
2373
+ /* itex2MML 1.5.0
2374
+ * itex2MML.l last modified 12/8/2013
2375
2375
  */
2376
2376
  #line 6 "itex2MML.l"
2377
2377
 
@@ -2398,10 +2398,15 @@ int itex2MML_inoptarg[itex2MML_optarg_depth];
2398
2398
  int itex2MML_optarg_ind = 0;
2399
2399
  int itex2MML_env_start = 0;
2400
2400
 
2401
+ #define YY_USER_ACTION itex2MML_capture_eqn_src();
2402
+ # define itex2MML_eqn_bufsize 131072
2403
+ char itex2MML_eqn_src[itex2MML_eqn_bufsize];
2404
+ char * itex2MML_eqn_end = itex2MML_eqn_src;
2405
+
2401
2406
  int itex2MML_rowposn = 0;
2402
2407
  int itex2MML_displaymode = 0;
2403
2408
 
2404
- #line 2405 "lex.yy.c"
2409
+ #line 2410 "lex.yy.c"
2405
2410
 
2406
2411
  #define INITIAL 0
2407
2412
  #define MATH 1
@@ -2603,13 +2608,13 @@ YY_DECL
2603
2608
  register char *yy_cp, *yy_bp;
2604
2609
  register int yy_act;
2605
2610
 
2606
- #line 36 "itex2MML.l"
2611
+ #line 41 "itex2MML.l"
2607
2612
 
2608
2613
  if (itex2MML_rowposn==1) itex2MML_rowposn=0;
2609
2614
  if (itex2MML_rowposn==2) itex2MML_rowposn=1;
2610
2615
 
2611
2616
 
2612
- #line 2613 "lex.yy.c"
2617
+ #line 2618 "lex.yy.c"
2613
2618
 
2614
2619
  if ( !(yy_init) )
2615
2620
  {
@@ -2700,956 +2705,956 @@ do_action: /* This label is used only to access EOF actions. */
2700
2705
 
2701
2706
  case 1:
2702
2707
  YY_RULE_SETUP
2703
- #line 41 "itex2MML.l"
2708
+ #line 46 "itex2MML.l"
2704
2709
  BEGIN(MATH); itex2MML_inoptarg[0] = 0; itex2MML_rowposn=2; if (itex2MML_yyleng==2) { itex2MML_displaymode=1; return STARTDMATH;}; itex2MML_displaymode=0; return STARTMATH;
2705
2710
  YY_BREAK
2706
2711
  case 2:
2707
2712
  YY_RULE_SETUP
2708
- #line 42 "itex2MML.l"
2713
+ #line 47 "itex2MML.l"
2709
2714
  BEGIN(MATH); itex2MML_inoptarg[0] = 0; itex2MML_rowposn=2; itex2MML_displaymode=1; return STARTDMATH;
2710
2715
  YY_BREAK
2711
2716
  case 3:
2712
2717
  YY_RULE_SETUP
2713
- #line 43 "itex2MML.l"
2718
+ #line 48 "itex2MML.l"
2714
2719
  return 0;
2715
2720
  YY_BREAK
2716
2721
  case 4:
2717
2722
  /* rule 4 can match eol */
2718
2723
  YY_RULE_SETUP
2719
- #line 44 "itex2MML.l"
2724
+ #line 49 "itex2MML.l"
2720
2725
  {itex2MML_lineno++; yylval=itex2MML_copy_string(itex2MML_yytext); return CHAR;}
2721
2726
  YY_BREAK
2722
2727
  case 5:
2723
2728
  YY_RULE_SETUP
2724
- #line 45 "itex2MML.l"
2729
+ #line 50 "itex2MML.l"
2725
2730
  {yylval=itex2MML_copy_string(itex2MML_yytext); return CHAR;}
2726
2731
  YY_BREAK
2727
2732
 
2728
2733
  case 6:
2729
- #line 53 "itex2MML.l"
2734
+ #line 58 "itex2MML.l"
2730
2735
  case 7:
2731
2736
  YY_RULE_SETUP
2732
- #line 53 "itex2MML.l"
2733
- {BEGIN(INITIAL); return ENDMATH;}
2737
+ #line 58 "itex2MML.l"
2738
+ {itex2MML_eqn_src[itex2MML_eqn_end-itex2MML_eqn_src-itex2MML_yyleng]=0; itex2MML_eqn_end=itex2MML_eqn_src; yylval=itex2MML_copy_escaped(itex2MML_eqn_src); BEGIN(INITIAL); return ENDMATH;}
2734
2739
  YY_BREAK
2735
2740
  case 8:
2736
2741
  YY_RULE_SETUP
2737
- #line 56 "itex2MML.l"
2742
+ #line 61 "itex2MML.l"
2738
2743
  return SUP;
2739
2744
  YY_BREAK
2740
2745
  case 9:
2741
2746
  YY_RULE_SETUP
2742
- #line 57 "itex2MML.l"
2747
+ #line 62 "itex2MML.l"
2743
2748
  return SUB;
2744
2749
  YY_BREAK
2745
2750
  case 10:
2746
2751
  /* rule 10 can match eol */
2747
2752
  YY_RULE_SETUP
2748
- #line 58 "itex2MML.l"
2753
+ #line 63 "itex2MML.l"
2749
2754
  return EMPTYMROW;
2750
2755
  YY_BREAK
2751
2756
  case 11:
2752
2757
  YY_RULE_SETUP
2753
- #line 59 "itex2MML.l"
2758
+ #line 64 "itex2MML.l"
2754
2759
  {itex2MML_rowposn = 2; if(itex2MML_inoptarg[itex2MML_optarg_ind] != 0) itex2MML_inoptarg[itex2MML_optarg_ind]++; return MROWOPEN;}
2755
2760
  YY_BREAK
2756
2761
  case 12:
2757
2762
  YY_RULE_SETUP
2758
- #line 60 "itex2MML.l"
2763
+ #line 65 "itex2MML.l"
2759
2764
  {if(itex2MML_inoptarg[itex2MML_optarg_ind] != 0) itex2MML_inoptarg[itex2MML_optarg_ind]--; return MROWCLOSE;}
2760
2765
  YY_BREAK
2761
2766
  case 13:
2762
2767
  YY_RULE_SETUP
2763
- #line 62 "itex2MML.l"
2768
+ #line 67 "itex2MML.l"
2764
2769
  itex2MML_rowposn=2; return LEFT;
2765
2770
  YY_BREAK
2766
2771
  case 14:
2767
2772
  YY_RULE_SETUP
2768
- #line 63 "itex2MML.l"
2773
+ #line 68 "itex2MML.l"
2769
2774
  return RIGHT;
2770
2775
  YY_BREAK
2771
2776
  case 15:
2772
- #line 66 "itex2MML.l"
2777
+ #line 71 "itex2MML.l"
2773
2778
  case 16:
2774
2779
  YY_RULE_SETUP
2775
- #line 66 "itex2MML.l"
2780
+ #line 71 "itex2MML.l"
2776
2781
  {return BIG;}
2777
2782
  YY_BREAK
2778
2783
  case 17:
2779
- #line 68 "itex2MML.l"
2784
+ #line 73 "itex2MML.l"
2780
2785
  case 18:
2781
2786
  YY_RULE_SETUP
2782
- #line 68 "itex2MML.l"
2787
+ #line 73 "itex2MML.l"
2783
2788
  {return BBIG;}
2784
2789
  YY_BREAK
2785
2790
  case 19:
2786
- #line 70 "itex2MML.l"
2791
+ #line 75 "itex2MML.l"
2787
2792
  case 20:
2788
2793
  YY_RULE_SETUP
2789
- #line 70 "itex2MML.l"
2794
+ #line 75 "itex2MML.l"
2790
2795
  {return BIGG;}
2791
2796
  YY_BREAK
2792
2797
  case 21:
2793
- #line 72 "itex2MML.l"
2798
+ #line 77 "itex2MML.l"
2794
2799
  case 22:
2795
2800
  YY_RULE_SETUP
2796
- #line 72 "itex2MML.l"
2801
+ #line 77 "itex2MML.l"
2797
2802
  {return BBIGG;}
2798
2803
  YY_BREAK
2799
2804
  case 23:
2800
2805
  YY_RULE_SETUP
2801
- #line 74 "itex2MML.l"
2806
+ #line 79 "itex2MML.l"
2802
2807
  {return BIGL;}
2803
2808
  YY_BREAK
2804
2809
  case 24:
2805
2810
  YY_RULE_SETUP
2806
- #line 75 "itex2MML.l"
2811
+ #line 80 "itex2MML.l"
2807
2812
  {return BBIGL;}
2808
2813
  YY_BREAK
2809
2814
  case 25:
2810
2815
  YY_RULE_SETUP
2811
- #line 76 "itex2MML.l"
2816
+ #line 81 "itex2MML.l"
2812
2817
  {return BIGGL;}
2813
2818
  YY_BREAK
2814
2819
  case 26:
2815
2820
  YY_RULE_SETUP
2816
- #line 77 "itex2MML.l"
2821
+ #line 82 "itex2MML.l"
2817
2822
  {return BBIGGL;}
2818
2823
  YY_BREAK
2819
2824
  case 27:
2820
2825
  YY_RULE_SETUP
2821
- #line 79 "itex2MML.l"
2826
+ #line 84 "itex2MML.l"
2822
2827
  {return RLAP;}
2823
2828
  YY_BREAK
2824
2829
  case 28:
2825
2830
  YY_RULE_SETUP
2826
- #line 80 "itex2MML.l"
2831
+ #line 85 "itex2MML.l"
2827
2832
  {return LLAP;}
2828
2833
  YY_BREAK
2829
2834
  case 29:
2830
2835
  YY_RULE_SETUP
2831
- #line 81 "itex2MML.l"
2836
+ #line 86 "itex2MML.l"
2832
2837
  {return CLAP;}
2833
2838
  YY_BREAK
2834
2839
  case 30:
2835
- #line 83 "itex2MML.l"
2840
+ #line 88 "itex2MML.l"
2836
2841
  case 31:
2837
- #line 84 "itex2MML.l"
2842
+ #line 89 "itex2MML.l"
2838
2843
  case 32:
2839
- #line 85 "itex2MML.l"
2844
+ #line 90 "itex2MML.l"
2840
2845
  case 33:
2841
2846
  YY_RULE_SETUP
2842
- #line 85 "itex2MML.l"
2847
+ #line 90 "itex2MML.l"
2843
2848
  {/* Ignore */ ;}
2844
2849
  YY_BREAK
2845
2850
  case 34:
2846
- #line 89 "itex2MML.l"
2851
+ #line 94 "itex2MML.l"
2847
2852
  case 35:
2848
2853
  YY_RULE_SETUP
2849
- #line 89 "itex2MML.l"
2854
+ #line 94 "itex2MML.l"
2850
2855
  {itex2MML_rowposn=2; return COLSEP;}
2851
2856
  YY_BREAK
2852
2857
  case 36:
2853
2858
  YY_RULE_SETUP
2854
- #line 91 "itex2MML.l"
2859
+ #line 96 "itex2MML.l"
2855
2860
  {yylval=itex2MML_copy_string("&amp;"); return MI;}
2856
2861
  YY_BREAK
2857
2862
  case 37:
2858
2863
  YY_RULE_SETUP
2859
- #line 93 "itex2MML.l"
2864
+ #line 98 "itex2MML.l"
2860
2865
  {yylval=itex2MML_copy_string("$"); return MI;}
2861
2866
  YY_BREAK
2862
2867
  case 38:
2863
2868
  YY_RULE_SETUP
2864
- #line 94 "itex2MML.l"
2869
+ #line 99 "itex2MML.l"
2865
2870
  {yylval=itex2MML_copy_string("%"); return MI;}
2866
2871
  YY_BREAK
2867
2872
  case 39:
2868
2873
  YY_RULE_SETUP
2869
- #line 96 "itex2MML.l"
2874
+ #line 101 "itex2MML.l"
2870
2875
  itex2MML_rowposn=2; return ROWSEP;
2871
2876
  YY_BREAK
2872
2877
  case 40:
2873
2878
  YY_RULE_SETUP
2874
- #line 98 "itex2MML.l"
2879
+ #line 103 "itex2MML.l"
2875
2880
  {yylval=itex2MML_copy_string(itex2MML_yytext); return MI;}
2876
2881
  YY_BREAK
2877
2882
  case 41:
2878
- #line 101 "itex2MML.l"
2883
+ #line 106 "itex2MML.l"
2879
2884
  case 42:
2880
- #line 102 "itex2MML.l"
2885
+ #line 107 "itex2MML.l"
2881
2886
  case 43:
2882
2887
  YY_RULE_SETUP
2883
- #line 102 "itex2MML.l"
2888
+ #line 107 "itex2MML.l"
2884
2889
  {yylval=itex2MML_copy_string(itex2MML_yytext); return MN;}
2885
2890
  YY_BREAK
2886
2891
  case 44:
2887
- #line 104 "itex2MML.l"
2892
+ #line 109 "itex2MML.l"
2888
2893
  case 45:
2889
2894
  YY_RULE_SETUP
2890
- #line 104 "itex2MML.l"
2895
+ #line 109 "itex2MML.l"
2891
2896
  {yylval=itex2MML_copy_string("&infin;"); return MN;}
2892
2897
  YY_BREAK
2893
2898
  case 46:
2894
- #line 107 "itex2MML.l"
2899
+ #line 112 "itex2MML.l"
2895
2900
  case 47:
2896
2901
  YY_RULE_SETUP
2897
- #line 107 "itex2MML.l"
2902
+ #line 112 "itex2MML.l"
2898
2903
  {yylval=itex2MML_copy_string(itex2MML_yytext); return LEFTDELIM;}
2899
2904
  YY_BREAK
2900
2905
  case 48:
2901
2906
  YY_RULE_SETUP
2902
- #line 109 "itex2MML.l"
2907
+ #line 114 "itex2MML.l"
2903
2908
  {yylval=itex2MML_copy_string(itex2MML_yytext); return RIGHTDELIM;}
2904
2909
  YY_BREAK
2905
2910
  case 49:
2906
2911
  YY_RULE_SETUP
2907
- #line 110 "itex2MML.l"
2912
+ #line 115 "itex2MML.l"
2908
2913
  {if(itex2MML_inoptarg[itex2MML_optarg_ind]==1 && itex2MML_optarg_ind > 0) {itex2MML_inoptarg[itex2MML_optarg_ind]=0; itex2MML_optarg_ind--; return OPTARGCLOSE;} else {yylval=itex2MML_copy_string(itex2MML_yytext); return RIGHTDELIM;}}
2909
2914
  YY_BREAK
2910
2915
  case 50:
2911
- #line 113 "itex2MML.l"
2916
+ #line 118 "itex2MML.l"
2912
2917
  case 51:
2913
2918
  YY_RULE_SETUP
2914
- #line 113 "itex2MML.l"
2919
+ #line 118 "itex2MML.l"
2915
2920
  {yylval=itex2MML_copy_string("{"); return LEFTDELIM;}
2916
2921
  YY_BREAK
2917
2922
  case 52:
2918
- #line 115 "itex2MML.l"
2923
+ #line 120 "itex2MML.l"
2919
2924
  case 53:
2920
2925
  YY_RULE_SETUP
2921
- #line 115 "itex2MML.l"
2926
+ #line 120 "itex2MML.l"
2922
2927
  {yylval=itex2MML_copy_string("}"); return RIGHTDELIM;}
2923
2928
  YY_BREAK
2924
2929
  case 54:
2925
- #line 118 "itex2MML.l"
2930
+ #line 123 "itex2MML.l"
2926
2931
  case 55:
2927
2932
  YY_RULE_SETUP
2928
- #line 118 "itex2MML.l"
2933
+ #line 123 "itex2MML.l"
2929
2934
  {yylval=itex2MML_copy_string("&VerticalBar;"); return OTHERDELIM;}
2930
2935
  YY_BREAK
2931
2936
  case 56:
2932
- #line 120 "itex2MML.l"
2937
+ #line 125 "itex2MML.l"
2933
2938
  case 57:
2934
2939
  YY_RULE_SETUP
2935
- #line 120 "itex2MML.l"
2940
+ #line 125 "itex2MML.l"
2936
2941
  {yylval=itex2MML_copy_string("&DoubleVerticalBar;"); return OTHERDELIM;}
2937
2942
  YY_BREAK
2938
2943
  case 58:
2939
2944
  YY_RULE_SETUP
2940
- #line 122 "itex2MML.l"
2945
+ #line 127 "itex2MML.l"
2941
2946
  {yylval=itex2MML_copy_string("&setminus;"); return MO;}
2942
2947
  YY_BREAK
2943
2948
  case 59:
2944
2949
  YY_RULE_SETUP
2945
- #line 123 "itex2MML.l"
2950
+ #line 128 "itex2MML.l"
2946
2951
  {yylval=itex2MML_copy_string("&bsol;"); return MO;}
2947
2952
  YY_BREAK
2948
2953
  case 60:
2949
2954
  YY_RULE_SETUP
2950
- #line 124 "itex2MML.l"
2955
+ #line 129 "itex2MML.l"
2951
2956
  {yylval=itex2MML_copy_string("&#xFE68;"); return MOF;}
2952
2957
  YY_BREAK
2953
2958
  case 61:
2954
2959
  YY_RULE_SETUP
2955
- #line 126 "itex2MML.l"
2960
+ #line 131 "itex2MML.l"
2956
2961
  {yylval=itex2MML_copy_string("&parsl;"); return MO;}
2957
2962
  YY_BREAK
2958
2963
  case 62:
2959
- #line 129 "itex2MML.l"
2964
+ #line 134 "itex2MML.l"
2960
2965
  case 63:
2961
- #line 130 "itex2MML.l"
2966
+ #line 135 "itex2MML.l"
2962
2967
  case 64:
2963
- #line 131 "itex2MML.l"
2968
+ #line 136 "itex2MML.l"
2964
2969
  case 65:
2965
- #line 132 "itex2MML.l"
2970
+ #line 137 "itex2MML.l"
2966
2971
  case 66:
2967
2972
  YY_RULE_SETUP
2968
- #line 132 "itex2MML.l"
2973
+ #line 137 "itex2MML.l"
2969
2974
  {yylval=itex2MML_copy2(itex2MML_yytext, ";"); if (yylval != itex2MML_empty_string) yylval[0]='&'; return LEFTDELIM;}
2970
2975
  YY_BREAK
2971
2976
  case 67:
2972
2977
  YY_RULE_SETUP
2973
- #line 133 "itex2MML.l"
2978
+ #line 138 "itex2MML.l"
2974
2979
  {yylval=itex2MML_copy_string("&Lang;"); return LEFTDELIM;}
2975
2980
  YY_BREAK
2976
2981
  case 68:
2977
- #line 136 "itex2MML.l"
2982
+ #line 141 "itex2MML.l"
2978
2983
  case 69:
2979
- #line 137 "itex2MML.l"
2984
+ #line 142 "itex2MML.l"
2980
2985
  case 70:
2981
- #line 138 "itex2MML.l"
2986
+ #line 143 "itex2MML.l"
2982
2987
  case 71:
2983
- #line 139 "itex2MML.l"
2988
+ #line 144 "itex2MML.l"
2984
2989
  case 72:
2985
2990
  YY_RULE_SETUP
2986
- #line 139 "itex2MML.l"
2991
+ #line 144 "itex2MML.l"
2987
2992
  {yylval=itex2MML_copy2(itex2MML_yytext, ";"); if (yylval != itex2MML_empty_string) yylval[0]='&'; return RIGHTDELIM;}
2988
2993
  YY_BREAK
2989
2994
  case 73:
2990
2995
  YY_RULE_SETUP
2991
- #line 140 "itex2MML.l"
2996
+ #line 145 "itex2MML.l"
2992
2997
  {yylval=itex2MML_copy_string("&Rang;"); return RIGHTDELIM;}
2993
2998
  YY_BREAK
2994
2999
  case 74:
2995
3000
  YY_RULE_SETUP
2996
- #line 142 "itex2MML.l"
3001
+ #line 147 "itex2MML.l"
2997
3002
  {yylval=itex2MML_copy_string(itex2MML_yytext); return OTHERDELIM;}
2998
3003
  YY_BREAK
2999
3004
  case 75:
3000
- #line 145 "itex2MML.l"
3005
+ #line 150 "itex2MML.l"
3001
3006
  case 76:
3002
- #line 146 "itex2MML.l"
3007
+ #line 151 "itex2MML.l"
3003
3008
  case 77:
3004
3009
  YY_RULE_SETUP
3005
- #line 146 "itex2MML.l"
3010
+ #line 151 "itex2MML.l"
3006
3011
  {yylval=itex2MML_copy2(itex2MML_yytext, ";"); if (yylval != itex2MML_empty_string) yylval[0]='&'; return OTHERDELIM;}
3007
3012
  YY_BREAK
3008
3013
  case 78:
3009
3014
  YY_RULE_SETUP
3010
- #line 148 "itex2MML.l"
3015
+ #line 153 "itex2MML.l"
3011
3016
  {yylval=itex2MML_copy_string(itex2MML_yytext); return PERIODDELIM;}
3012
3017
  YY_BREAK
3013
3018
  case 79:
3014
3019
  YY_RULE_SETUP
3015
- #line 150 "itex2MML.l"
3020
+ #line 155 "itex2MML.l"
3016
3021
  {if (itex2MML_rowposn==1) return UNARYMINUS; else {yylval=itex2MML_copy_string("&minus;"); return MO;}}
3017
3022
  YY_BREAK
3018
3023
  case 80:
3019
3024
  YY_RULE_SETUP
3020
- #line 152 "itex2MML.l"
3025
+ #line 157 "itex2MML.l"
3021
3026
  {if (itex2MML_rowposn==1) return UNARYPLUS; else {yylval=itex2MML_copy_string("+"); return MO;}}
3022
3027
  YY_BREAK
3023
3028
  case 81:
3024
3029
  YY_RULE_SETUP
3025
- #line 154 "itex2MML.l"
3030
+ #line 159 "itex2MML.l"
3026
3031
  {yylval=itex2MML_copy_string("#"); return MOL;}
3027
3032
  YY_BREAK
3028
3033
  case 82:
3029
- #line 157 "itex2MML.l"
3034
+ #line 162 "itex2MML.l"
3030
3035
  case 83:
3031
- #line 158 "itex2MML.l"
3036
+ #line 163 "itex2MML.l"
3032
3037
  case 84:
3033
- #line 159 "itex2MML.l"
3038
+ #line 164 "itex2MML.l"
3034
3039
  case 85:
3035
- #line 160 "itex2MML.l"
3040
+ #line 165 "itex2MML.l"
3036
3041
  case 86:
3037
- #line 161 "itex2MML.l"
3042
+ #line 166 "itex2MML.l"
3038
3043
  case 87:
3039
- #line 162 "itex2MML.l"
3044
+ #line 167 "itex2MML.l"
3040
3045
  case 88:
3041
- #line 163 "itex2MML.l"
3046
+ #line 168 "itex2MML.l"
3042
3047
  case 89:
3043
- #line 164 "itex2MML.l"
3048
+ #line 169 "itex2MML.l"
3044
3049
  case 90:
3045
- #line 165 "itex2MML.l"
3050
+ #line 170 "itex2MML.l"
3046
3051
  case 91:
3047
3052
  YY_RULE_SETUP
3048
- #line 165 "itex2MML.l"
3053
+ #line 170 "itex2MML.l"
3049
3054
  {yylval=itex2MML_copy_string(itex2MML_yytext); return MOL;}
3050
3055
  YY_BREAK
3051
3056
  case 92:
3052
3057
  YY_RULE_SETUP
3053
- #line 167 "itex2MML.l"
3058
+ #line 172 "itex2MML.l"
3054
3059
  {yylval=itex2MML_copy_string("&prime;"); return MOLL;}
3055
3060
  YY_BREAK
3056
3061
  case 93:
3057
3062
  YY_RULE_SETUP
3058
- #line 168 "itex2MML.l"
3063
+ #line 173 "itex2MML.l"
3059
3064
  {yylval=itex2MML_copy_string("&prime;"); return MOL;}
3060
3065
  YY_BREAK
3061
3066
  case 94:
3062
3067
  YY_RULE_SETUP
3063
- #line 169 "itex2MML.l"
3068
+ #line 174 "itex2MML.l"
3064
3069
  {yylval=itex2MML_copy_string("&Prime;"); return MOL;}
3065
3070
  YY_BREAK
3066
3071
  case 95:
3067
3072
  YY_RULE_SETUP
3068
- #line 170 "itex2MML.l"
3073
+ #line 175 "itex2MML.l"
3069
3074
  {yylval=itex2MML_copy_string("&#8244;"); return MOL;}
3070
3075
  YY_BREAK
3071
3076
  case 96:
3072
3077
  YY_RULE_SETUP
3073
- #line 171 "itex2MML.l"
3078
+ #line 176 "itex2MML.l"
3074
3079
  {yylval=itex2MML_copy_string("&#8279;"); return MOL;}
3075
3080
  YY_BREAK
3076
3081
  case 97:
3077
- #line 174 "itex2MML.l"
3082
+ #line 179 "itex2MML.l"
3078
3083
  case 98:
3079
- #line 175 "itex2MML.l"
3084
+ #line 180 "itex2MML.l"
3080
3085
  case 99:
3081
- #line 176 "itex2MML.l"
3086
+ #line 181 "itex2MML.l"
3082
3087
  case 100:
3083
- #line 177 "itex2MML.l"
3088
+ #line 182 "itex2MML.l"
3084
3089
  case 101:
3085
- #line 178 "itex2MML.l"
3090
+ #line 183 "itex2MML.l"
3086
3091
  case 102:
3087
- #line 179 "itex2MML.l"
3092
+ #line 184 "itex2MML.l"
3088
3093
  case 103:
3089
- #line 180 "itex2MML.l"
3094
+ #line 185 "itex2MML.l"
3090
3095
  case 104:
3091
- #line 181 "itex2MML.l"
3096
+ #line 186 "itex2MML.l"
3092
3097
  case 105:
3093
- #line 182 "itex2MML.l"
3098
+ #line 187 "itex2MML.l"
3094
3099
  case 106:
3095
- #line 183 "itex2MML.l"
3100
+ #line 188 "itex2MML.l"
3096
3101
  case 107:
3097
- #line 184 "itex2MML.l"
3102
+ #line 189 "itex2MML.l"
3098
3103
  case 108:
3099
- #line 185 "itex2MML.l"
3104
+ #line 190 "itex2MML.l"
3100
3105
  case 109:
3101
- #line 186 "itex2MML.l"
3106
+ #line 191 "itex2MML.l"
3102
3107
  case 110:
3103
- #line 187 "itex2MML.l"
3108
+ #line 192 "itex2MML.l"
3104
3109
  case 111:
3105
- #line 188 "itex2MML.l"
3110
+ #line 193 "itex2MML.l"
3106
3111
  case 112:
3107
- #line 189 "itex2MML.l"
3112
+ #line 194 "itex2MML.l"
3108
3113
  case 113:
3109
- #line 190 "itex2MML.l"
3114
+ #line 195 "itex2MML.l"
3110
3115
  case 114:
3111
- #line 191 "itex2MML.l"
3116
+ #line 196 "itex2MML.l"
3112
3117
  case 115:
3113
- #line 192 "itex2MML.l"
3118
+ #line 197 "itex2MML.l"
3114
3119
  case 116:
3115
- #line 193 "itex2MML.l"
3120
+ #line 198 "itex2MML.l"
3116
3121
  case 117:
3117
- #line 194 "itex2MML.l"
3122
+ #line 199 "itex2MML.l"
3118
3123
  case 118:
3119
- #line 195 "itex2MML.l"
3124
+ #line 200 "itex2MML.l"
3120
3125
  case 119:
3121
- #line 196 "itex2MML.l"
3126
+ #line 201 "itex2MML.l"
3122
3127
  case 120:
3123
- #line 197 "itex2MML.l"
3128
+ #line 202 "itex2MML.l"
3124
3129
  case 121:
3125
- #line 198 "itex2MML.l"
3130
+ #line 203 "itex2MML.l"
3126
3131
  case 122:
3127
- #line 199 "itex2MML.l"
3132
+ #line 204 "itex2MML.l"
3128
3133
  case 123:
3129
3134
  YY_RULE_SETUP
3130
- #line 199 "itex2MML.l"
3135
+ #line 204 "itex2MML.l"
3131
3136
  {yylval=itex2MML_copy2(itex2MML_yytext, ";"); if (yylval != itex2MML_empty_string) yylval[0]='&'; return MI;}
3132
3137
  YY_BREAK
3133
3138
  case 124:
3134
3139
  YY_RULE_SETUP
3135
- #line 201 "itex2MML.l"
3140
+ #line 206 "itex2MML.l"
3136
3141
  {yylval=itex2MML_copy_string("&#x03B5;"); return MI;}
3137
3142
  YY_BREAK
3138
3143
  case 125:
3139
3144
  YY_RULE_SETUP
3140
- #line 202 "itex2MML.l"
3145
+ #line 207 "itex2MML.l"
3141
3146
  {yylval=itex2MML_copy_string("&#x03D5;"); return MI;}
3142
3147
  YY_BREAK
3143
3148
  case 126:
3144
3149
  YY_RULE_SETUP
3145
- #line 203 "itex2MML.l"
3150
+ #line 208 "itex2MML.l"
3146
3151
  {yylval=itex2MML_copy_string("&#x03C6;"); return MI;}
3147
3152
  YY_BREAK
3148
3153
  case 127:
3149
- #line 206 "itex2MML.l"
3154
+ #line 211 "itex2MML.l"
3150
3155
  case 128:
3151
- #line 207 "itex2MML.l"
3156
+ #line 212 "itex2MML.l"
3152
3157
  case 129:
3153
- #line 208 "itex2MML.l"
3158
+ #line 213 "itex2MML.l"
3154
3159
  case 130:
3155
- #line 209 "itex2MML.l"
3160
+ #line 214 "itex2MML.l"
3156
3161
  case 131:
3157
- #line 210 "itex2MML.l"
3162
+ #line 215 "itex2MML.l"
3158
3163
  case 132:
3159
- #line 211 "itex2MML.l"
3164
+ #line 216 "itex2MML.l"
3160
3165
  case 133:
3161
- #line 212 "itex2MML.l"
3166
+ #line 217 "itex2MML.l"
3162
3167
  case 134:
3163
- #line 213 "itex2MML.l"
3168
+ #line 218 "itex2MML.l"
3164
3169
  case 135:
3165
- #line 214 "itex2MML.l"
3170
+ #line 219 "itex2MML.l"
3166
3171
  case 136:
3167
- #line 215 "itex2MML.l"
3172
+ #line 220 "itex2MML.l"
3168
3173
  case 137:
3169
- #line 216 "itex2MML.l"
3174
+ #line 221 "itex2MML.l"
3170
3175
  case 138:
3171
- #line 217 "itex2MML.l"
3176
+ #line 222 "itex2MML.l"
3172
3177
  case 139:
3173
- #line 218 "itex2MML.l"
3178
+ #line 223 "itex2MML.l"
3174
3179
  case 140:
3175
- #line 219 "itex2MML.l"
3180
+ #line 224 "itex2MML.l"
3176
3181
  case 141:
3177
- #line 220 "itex2MML.l"
3182
+ #line 225 "itex2MML.l"
3178
3183
  case 142:
3179
- #line 221 "itex2MML.l"
3184
+ #line 226 "itex2MML.l"
3180
3185
  case 143:
3181
- #line 222 "itex2MML.l"
3186
+ #line 227 "itex2MML.l"
3182
3187
  case 144:
3183
- #line 223 "itex2MML.l"
3188
+ #line 228 "itex2MML.l"
3184
3189
  case 145:
3185
- #line 224 "itex2MML.l"
3190
+ #line 229 "itex2MML.l"
3186
3191
  case 146:
3187
- #line 225 "itex2MML.l"
3192
+ #line 230 "itex2MML.l"
3188
3193
  case 147:
3189
- #line 226 "itex2MML.l"
3194
+ #line 231 "itex2MML.l"
3190
3195
  case 148:
3191
3196
  YY_RULE_SETUP
3192
- #line 226 "itex2MML.l"
3197
+ #line 231 "itex2MML.l"
3193
3198
  {yylval=itex2MML_copy_string(itex2MML_yytext+1); return MI;}
3194
3199
  YY_BREAK
3195
3200
  case 149:
3196
- #line 229 "itex2MML.l"
3201
+ #line 234 "itex2MML.l"
3197
3202
  case 150:
3198
- #line 230 "itex2MML.l"
3203
+ #line 235 "itex2MML.l"
3199
3204
  case 151:
3200
- #line 231 "itex2MML.l"
3205
+ #line 236 "itex2MML.l"
3201
3206
  case 152:
3202
- #line 232 "itex2MML.l"
3207
+ #line 237 "itex2MML.l"
3203
3208
  case 153:
3204
- #line 233 "itex2MML.l"
3209
+ #line 238 "itex2MML.l"
3205
3210
  case 154:
3206
- #line 234 "itex2MML.l"
3211
+ #line 239 "itex2MML.l"
3207
3212
  case 155:
3208
- #line 235 "itex2MML.l"
3213
+ #line 240 "itex2MML.l"
3209
3214
  case 156:
3210
- #line 236 "itex2MML.l"
3215
+ #line 241 "itex2MML.l"
3211
3216
  case 157:
3212
- #line 237 "itex2MML.l"
3217
+ #line 242 "itex2MML.l"
3213
3218
  case 158:
3214
3219
  YY_RULE_SETUP
3215
- #line 237 "itex2MML.l"
3220
+ #line 242 "itex2MML.l"
3216
3221
  {yylval=itex2MML_copy_string(itex2MML_yytext+1); return MIB;}
3217
3222
  YY_BREAK
3218
3223
  case 159:
3219
3224
  YY_RULE_SETUP
3220
- #line 239 "itex2MML.l"
3225
+ #line 244 "itex2MML.l"
3221
3226
  {yylval=itex2MML_copy_string("&oscr;"); return MI;}
3222
3227
  YY_BREAK
3223
3228
  case 160:
3224
3229
  YY_RULE_SETUP
3225
- #line 241 "itex2MML.l"
3230
+ #line 246 "itex2MML.l"
3226
3231
  {yylval=itex2MML_copy_string("&epsi;"); return MI;}
3227
3232
  YY_BREAK
3228
3233
  case 161:
3229
3234
  YY_RULE_SETUP
3230
- #line 243 "itex2MML.l"
3235
+ #line 248 "itex2MML.l"
3231
3236
  {yylval=itex2MML_copy_string("&sdot;"); return MO;}
3232
3237
  YY_BREAK
3233
3238
  case 162:
3234
- #line 246 "itex2MML.l"
3239
+ #line 251 "itex2MML.l"
3235
3240
  case 163:
3236
- #line 247 "itex2MML.l"
3241
+ #line 252 "itex2MML.l"
3237
3242
  case 164:
3238
- #line 248 "itex2MML.l"
3243
+ #line 253 "itex2MML.l"
3239
3244
  case 165:
3240
- #line 249 "itex2MML.l"
3245
+ #line 254 "itex2MML.l"
3241
3246
  case 166:
3242
- #line 250 "itex2MML.l"
3247
+ #line 255 "itex2MML.l"
3243
3248
  case 167:
3244
- #line 251 "itex2MML.l"
3249
+ #line 256 "itex2MML.l"
3245
3250
  case 168:
3246
- #line 252 "itex2MML.l"
3251
+ #line 257 "itex2MML.l"
3247
3252
  case 169:
3248
- #line 253 "itex2MML.l"
3253
+ #line 258 "itex2MML.l"
3249
3254
  case 170:
3250
- #line 254 "itex2MML.l"
3255
+ #line 259 "itex2MML.l"
3251
3256
  case 171:
3252
- #line 255 "itex2MML.l"
3257
+ #line 260 "itex2MML.l"
3253
3258
  case 172:
3254
- #line 256 "itex2MML.l"
3259
+ #line 261 "itex2MML.l"
3255
3260
  case 173:
3256
- #line 257 "itex2MML.l"
3261
+ #line 262 "itex2MML.l"
3257
3262
  case 174:
3258
- #line 258 "itex2MML.l"
3263
+ #line 263 "itex2MML.l"
3259
3264
  case 175:
3260
- #line 259 "itex2MML.l"
3265
+ #line 264 "itex2MML.l"
3261
3266
  case 176:
3262
- #line 260 "itex2MML.l"
3267
+ #line 265 "itex2MML.l"
3263
3268
  case 177:
3264
- #line 261 "itex2MML.l"
3269
+ #line 266 "itex2MML.l"
3265
3270
  case 178:
3266
- #line 262 "itex2MML.l"
3271
+ #line 267 "itex2MML.l"
3267
3272
  case 179:
3268
- #line 263 "itex2MML.l"
3273
+ #line 268 "itex2MML.l"
3269
3274
  case 180:
3270
- #line 264 "itex2MML.l"
3275
+ #line 269 "itex2MML.l"
3271
3276
  case 181:
3272
- #line 265 "itex2MML.l"
3277
+ #line 270 "itex2MML.l"
3273
3278
  case 182:
3274
- #line 266 "itex2MML.l"
3279
+ #line 271 "itex2MML.l"
3275
3280
  case 183:
3276
3281
  YY_RULE_SETUP
3277
- #line 266 "itex2MML.l"
3282
+ #line 271 "itex2MML.l"
3278
3283
  {yylval=itex2MML_copy2(itex2MML_yytext, ";"); if (yylval != itex2MML_empty_string) yylval[0]='&'; return MI;}
3279
3284
  YY_BREAK
3280
3285
  case 184:
3281
- #line 269 "itex2MML.l"
3286
+ #line 274 "itex2MML.l"
3282
3287
  case 185:
3283
3288
  YY_RULE_SETUP
3284
- #line 269 "itex2MML.l"
3289
+ #line 274 "itex2MML.l"
3285
3290
  {yylval=itex2MML_copy_string("&Upsi;"); return MI;}
3286
3291
  YY_BREAK
3287
3292
  case 186:
3288
- #line 272 "itex2MML.l"
3293
+ #line 277 "itex2MML.l"
3289
3294
  case 187:
3290
3295
  YY_RULE_SETUP
3291
- #line 272 "itex2MML.l"
3296
+ #line 277 "itex2MML.l"
3292
3297
  {yylval=itex2MML_copy_string("&iff;"); return MOL;}
3293
3298
  YY_BREAK
3294
3299
  case 188:
3295
3300
  YY_RULE_SETUP
3296
- #line 274 "itex2MML.l"
3301
+ #line 279 "itex2MML.l"
3297
3302
  {yylval=itex2MML_copy_string("&Leftrightarrow;"); return MOL;}
3298
3303
  YY_BREAK
3299
3304
  case 189:
3300
- #line 277 "itex2MML.l"
3305
+ #line 282 "itex2MML.l"
3301
3306
  case 190:
3302
3307
  YY_RULE_SETUP
3303
- #line 277 "itex2MML.l"
3308
+ #line 282 "itex2MML.l"
3304
3309
  {yylval=itex2MML_copy_string("&Leftarrow;"); return MOL;}
3305
3310
  YY_BREAK
3306
3311
  case 191:
3307
- #line 280 "itex2MML.l"
3312
+ #line 285 "itex2MML.l"
3308
3313
  case 192:
3309
3314
  YY_RULE_SETUP
3310
- #line 280 "itex2MML.l"
3315
+ #line 285 "itex2MML.l"
3311
3316
  {yylval=itex2MML_copy_string("&Rightarrow;"); return MOL;}
3312
3317
  YY_BREAK
3313
3318
  case 193:
3314
3319
  YY_RULE_SETUP
3315
- #line 282 "itex2MML.l"
3320
+ #line 287 "itex2MML.l"
3316
3321
  {yylval=itex2MML_copy_string("&hookleftarrow;"); return MOL;}
3317
3322
  YY_BREAK
3318
3323
  case 194:
3319
- #line 285 "itex2MML.l"
3324
+ #line 290 "itex2MML.l"
3320
3325
  case 195:
3321
3326
  YY_RULE_SETUP
3322
- #line 285 "itex2MML.l"
3327
+ #line 290 "itex2MML.l"
3323
3328
  {yylval=itex2MML_copy_string("&hookrightarrow;"); return MOL;}
3324
3329
  YY_BREAK
3325
3330
  case 196:
3326
3331
  YY_RULE_SETUP
3327
- #line 287 "itex2MML.l"
3332
+ #line 292 "itex2MML.l"
3328
3333
  {yylval=itex2MML_copy_string("&longleftarrow;"); return MOL;}
3329
3334
  YY_BREAK
3330
3335
  case 197:
3331
3336
  YY_RULE_SETUP
3332
- #line 289 "itex2MML.l"
3337
+ #line 294 "itex2MML.l"
3333
3338
  {yylval=itex2MML_copy_string("&longrightarrow;"); return MOL;}
3334
3339
  YY_BREAK
3335
3340
  case 198:
3336
3341
  YY_RULE_SETUP
3337
- #line 291 "itex2MML.l"
3342
+ #line 296 "itex2MML.l"
3338
3343
  {yylval=itex2MML_copy_string("&leftarrow;"); return MOL;}
3339
3344
  YY_BREAK
3340
3345
  case 199:
3341
- #line 294 "itex2MML.l"
3346
+ #line 299 "itex2MML.l"
3342
3347
  case 200:
3343
3348
  YY_RULE_SETUP
3344
- #line 294 "itex2MML.l"
3349
+ #line 299 "itex2MML.l"
3345
3350
  {yylval=itex2MML_copy_string("&rightarrow;"); return MOL;}
3346
3351
  YY_BREAK
3347
3352
  case 201:
3348
3353
  YY_RULE_SETUP
3349
- #line 296 "itex2MML.l"
3354
+ #line 301 "itex2MML.l"
3350
3355
  {yylval=itex2MML_copy_string("&leftrightarrow;"); return MOL;}
3351
3356
  YY_BREAK
3352
3357
  case 202:
3353
- #line 299 "itex2MML.l"
3358
+ #line 304 "itex2MML.l"
3354
3359
  case 203:
3355
3360
  YY_RULE_SETUP
3356
- #line 299 "itex2MML.l"
3361
+ #line 304 "itex2MML.l"
3357
3362
  {yylval=itex2MML_copy_string("&map;"); return MOL;}
3358
3363
  YY_BREAK
3359
3364
  case 204:
3360
- #line 302 "itex2MML.l"
3365
+ #line 307 "itex2MML.l"
3361
3366
  case 205:
3362
3367
  YY_RULE_SETUP
3363
- #line 302 "itex2MML.l"
3368
+ #line 307 "itex2MML.l"
3364
3369
  {yylval=itex2MML_copy_string("&nearr;"); return MOL;}
3365
3370
  YY_BREAK
3366
3371
  case 206:
3367
- #line 305 "itex2MML.l"
3372
+ #line 310 "itex2MML.l"
3368
3373
  case 207:
3369
3374
  YY_RULE_SETUP
3370
- #line 305 "itex2MML.l"
3375
+ #line 310 "itex2MML.l"
3371
3376
  {yylval=itex2MML_copy_string("&nwarr;"); return MOL;}
3372
3377
  YY_BREAK
3373
3378
  case 208:
3374
- #line 308 "itex2MML.l"
3379
+ #line 313 "itex2MML.l"
3375
3380
  case 209:
3376
3381
  YY_RULE_SETUP
3377
- #line 308 "itex2MML.l"
3382
+ #line 313 "itex2MML.l"
3378
3383
  {yylval=itex2MML_copy_string("&searr;"); return MOL;}
3379
3384
  YY_BREAK
3380
3385
  case 210:
3381
- #line 311 "itex2MML.l"
3386
+ #line 316 "itex2MML.l"
3382
3387
  case 211:
3383
3388
  YY_RULE_SETUP
3384
- #line 311 "itex2MML.l"
3389
+ #line 316 "itex2MML.l"
3385
3390
  {yylval=itex2MML_copy_string("&swarr;"); return MOL;}
3386
3391
  YY_BREAK
3387
3392
  case 212:
3388
- #line 314 "itex2MML.l"
3393
+ #line 319 "itex2MML.l"
3389
3394
  case 213:
3390
3395
  YY_RULE_SETUP
3391
- #line 314 "itex2MML.l"
3396
+ #line 319 "itex2MML.l"
3392
3397
  {yylval=itex2MML_copy_string("&neArr;"); return MOL;}
3393
3398
  YY_BREAK
3394
3399
  case 214:
3395
- #line 317 "itex2MML.l"
3400
+ #line 322 "itex2MML.l"
3396
3401
  case 215:
3397
3402
  YY_RULE_SETUP
3398
- #line 317 "itex2MML.l"
3403
+ #line 322 "itex2MML.l"
3399
3404
  {yylval=itex2MML_copy_string("&nwArr;"); return MOL;}
3400
3405
  YY_BREAK
3401
3406
  case 216:
3402
- #line 320 "itex2MML.l"
3407
+ #line 325 "itex2MML.l"
3403
3408
  case 217:
3404
3409
  YY_RULE_SETUP
3405
- #line 320 "itex2MML.l"
3410
+ #line 325 "itex2MML.l"
3406
3411
  {yylval=itex2MML_copy_string("&seArr;"); return MOL;}
3407
3412
  YY_BREAK
3408
3413
  case 218:
3409
- #line 323 "itex2MML.l"
3414
+ #line 328 "itex2MML.l"
3410
3415
  case 219:
3411
3416
  YY_RULE_SETUP
3412
- #line 323 "itex2MML.l"
3417
+ #line 328 "itex2MML.l"
3413
3418
  {yylval=itex2MML_copy_string("&swArr;"); return MOL;}
3414
3419
  YY_BREAK
3415
3420
  case 220:
3416
3421
  YY_RULE_SETUP
3417
- #line 325 "itex2MML.l"
3422
+ #line 330 "itex2MML.l"
3418
3423
  {yylval=itex2MML_copy_string("&darr;"); return MOL;}
3419
3424
  YY_BREAK
3420
3425
  case 221:
3421
3426
  YY_RULE_SETUP
3422
- #line 327 "itex2MML.l"
3427
+ #line 332 "itex2MML.l"
3423
3428
  {yylval=itex2MML_copy_string("&dArr;"); return MOL;}
3424
3429
  YY_BREAK
3425
3430
  case 222:
3426
3431
  YY_RULE_SETUP
3427
- #line 329 "itex2MML.l"
3432
+ #line 334 "itex2MML.l"
3428
3433
  {yylval=itex2MML_copy_string("&uarr;"); return MOL;}
3429
3434
  YY_BREAK
3430
3435
  case 223:
3431
3436
  YY_RULE_SETUP
3432
- #line 331 "itex2MML.l"
3437
+ #line 336 "itex2MML.l"
3433
3438
  {yylval=itex2MML_copy_string("&uArr;"); return MOL;}
3434
3439
  YY_BREAK
3435
3440
  case 224:
3436
- #line 334 "itex2MML.l"
3441
+ #line 339 "itex2MML.l"
3437
3442
  case 225:
3438
- #line 335 "itex2MML.l"
3443
+ #line 340 "itex2MML.l"
3439
3444
  case 226:
3440
3445
  YY_RULE_SETUP
3441
- #line 335 "itex2MML.l"
3446
+ #line 340 "itex2MML.l"
3442
3447
  {yylval=itex2MML_copy_string("&updownarrow;"); return MOL;}
3443
3448
  YY_BREAK
3444
3449
  case 227:
3445
3450
  YY_RULE_SETUP
3446
- #line 337 "itex2MML.l"
3451
+ #line 342 "itex2MML.l"
3447
3452
  {yylval=itex2MML_copy_string("&Updownarrow;"); return MOL;}
3448
3453
  YY_BREAK
3449
3454
  case 228:
3450
3455
  YY_RULE_SETUP
3451
- #line 339 "itex2MML.l"
3456
+ #line 344 "itex2MML.l"
3452
3457
  {yylval=itex2MML_copy_string("&#x21DC;"); return MOL;}
3453
3458
  YY_BREAK
3454
3459
  case 229:
3455
3460
  YY_RULE_SETUP
3456
- #line 340 "itex2MML.l"
3461
+ #line 345 "itex2MML.l"
3457
3462
  {yylval=itex2MML_copy_string("&zigrarr;"); return MOL;}
3458
3463
  YY_BREAK
3459
3464
  case 230:
3460
3465
  YY_RULE_SETUP
3461
- #line 341 "itex2MML.l"
3466
+ #line 346 "itex2MML.l"
3462
3467
  {yylval=itex2MML_copy_string("&#x290E;"); return MOL;}
3463
3468
  YY_BREAK
3464
3469
  case 231:
3465
3470
  YY_RULE_SETUP
3466
- #line 342 "itex2MML.l"
3471
+ #line 347 "itex2MML.l"
3467
3472
  {yylval=itex2MML_copy_string("&#x290F;"); return MOL;}
3468
3473
  YY_BREAK
3469
3474
  case 232:
3470
3475
  YY_RULE_SETUP
3471
- #line 343 "itex2MML.l"
3476
+ #line 348 "itex2MML.l"
3472
3477
  {yylval=itex2MML_copy_string("&#x293B;"); return MOL;}
3473
3478
  YY_BREAK
3474
3479
  case 233:
3475
3480
  YY_RULE_SETUP
3476
- #line 344 "itex2MML.l"
3481
+ #line 349 "itex2MML.l"
3477
3482
  {yylval=itex2MML_copy_string("&#x27F2;"); return MOL;}
3478
3483
  YY_BREAK
3479
3484
  case 234:
3480
3485
  YY_RULE_SETUP
3481
- #line 345 "itex2MML.l"
3486
+ #line 350 "itex2MML.l"
3482
3487
  {yylval=itex2MML_copy_string("&#x27F3;"); return MOL;}
3483
3488
  YY_BREAK
3484
3489
  case 235:
3485
- #line 347 "itex2MML.l"
3490
+ #line 352 "itex2MML.l"
3486
3491
  case 236:
3487
- #line 348 "itex2MML.l"
3492
+ #line 353 "itex2MML.l"
3488
3493
  case 237:
3489
- #line 349 "itex2MML.l"
3494
+ #line 354 "itex2MML.l"
3490
3495
  case 238:
3491
- #line 350 "itex2MML.l"
3496
+ #line 355 "itex2MML.l"
3492
3497
  case 239:
3493
- #line 351 "itex2MML.l"
3498
+ #line 356 "itex2MML.l"
3494
3499
  case 240:
3495
- #line 352 "itex2MML.l"
3500
+ #line 357 "itex2MML.l"
3496
3501
  case 241:
3497
- #line 353 "itex2MML.l"
3502
+ #line 358 "itex2MML.l"
3498
3503
  case 242:
3499
- #line 354 "itex2MML.l"
3504
+ #line 359 "itex2MML.l"
3500
3505
  case 243:
3501
- #line 355 "itex2MML.l"
3506
+ #line 360 "itex2MML.l"
3502
3507
  case 244:
3503
- #line 356 "itex2MML.l"
3508
+ #line 361 "itex2MML.l"
3504
3509
  case 245:
3505
- #line 357 "itex2MML.l"
3510
+ #line 362 "itex2MML.l"
3506
3511
  case 246:
3507
- #line 358 "itex2MML.l"
3512
+ #line 363 "itex2MML.l"
3508
3513
  case 247:
3509
- #line 359 "itex2MML.l"
3514
+ #line 364 "itex2MML.l"
3510
3515
  case 248:
3511
- #line 360 "itex2MML.l"
3516
+ #line 365 "itex2MML.l"
3512
3517
  case 249:
3513
- #line 361 "itex2MML.l"
3518
+ #line 366 "itex2MML.l"
3514
3519
  case 250:
3515
- #line 362 "itex2MML.l"
3520
+ #line 367 "itex2MML.l"
3516
3521
  case 251:
3517
- #line 363 "itex2MML.l"
3522
+ #line 368 "itex2MML.l"
3518
3523
  case 252:
3519
- #line 364 "itex2MML.l"
3524
+ #line 369 "itex2MML.l"
3520
3525
  case 253:
3521
- #line 365 "itex2MML.l"
3526
+ #line 370 "itex2MML.l"
3522
3527
  case 254:
3523
- #line 366 "itex2MML.l"
3528
+ #line 371 "itex2MML.l"
3524
3529
  case 255:
3525
- #line 367 "itex2MML.l"
3530
+ #line 372 "itex2MML.l"
3526
3531
  case 256:
3527
- #line 368 "itex2MML.l"
3532
+ #line 373 "itex2MML.l"
3528
3533
  case 257:
3529
- #line 369 "itex2MML.l"
3534
+ #line 374 "itex2MML.l"
3530
3535
  case 258:
3531
- #line 370 "itex2MML.l"
3536
+ #line 375 "itex2MML.l"
3532
3537
  case 259:
3533
- #line 371 "itex2MML.l"
3538
+ #line 376 "itex2MML.l"
3534
3539
  case 260:
3535
- #line 372 "itex2MML.l"
3540
+ #line 377 "itex2MML.l"
3536
3541
  case 261:
3537
- #line 373 "itex2MML.l"
3542
+ #line 378 "itex2MML.l"
3538
3543
  case 262:
3539
- #line 374 "itex2MML.l"
3544
+ #line 379 "itex2MML.l"
3540
3545
  case 263:
3541
- #line 375 "itex2MML.l"
3546
+ #line 380 "itex2MML.l"
3542
3547
  case 264:
3543
- #line 376 "itex2MML.l"
3548
+ #line 381 "itex2MML.l"
3544
3549
  case 265:
3545
- #line 377 "itex2MML.l"
3550
+ #line 382 "itex2MML.l"
3546
3551
  case 266:
3547
- #line 378 "itex2MML.l"
3552
+ #line 383 "itex2MML.l"
3548
3553
  case 267:
3549
- #line 379 "itex2MML.l"
3554
+ #line 384 "itex2MML.l"
3550
3555
  case 268:
3551
- #line 380 "itex2MML.l"
3556
+ #line 385 "itex2MML.l"
3552
3557
  case 269:
3553
- #line 381 "itex2MML.l"
3558
+ #line 386 "itex2MML.l"
3554
3559
  case 270:
3555
- #line 382 "itex2MML.l"
3560
+ #line 387 "itex2MML.l"
3556
3561
  case 271:
3557
3562
  YY_RULE_SETUP
3558
- #line 382 "itex2MML.l"
3563
+ #line 387 "itex2MML.l"
3559
3564
  {yylval=itex2MML_copy2(itex2MML_yytext, ";"); if (yylval != itex2MML_empty_string) yylval[0]='&'; return MOL;}
3560
3565
  YY_BREAK
3561
3566
  case 272:
3562
- #line 385 "itex2MML.l"
3567
+ #line 390 "itex2MML.l"
3563
3568
  case 273:
3564
- #line 386 "itex2MML.l"
3569
+ #line 391 "itex2MML.l"
3565
3570
  case 274:
3566
- #line 387 "itex2MML.l"
3571
+ #line 392 "itex2MML.l"
3567
3572
  case 275:
3568
- #line 388 "itex2MML.l"
3573
+ #line 393 "itex2MML.l"
3569
3574
  case 276:
3570
- #line 389 "itex2MML.l"
3575
+ #line 394 "itex2MML.l"
3571
3576
  case 277:
3572
- #line 390 "itex2MML.l"
3577
+ #line 395 "itex2MML.l"
3573
3578
  case 278:
3574
- #line 391 "itex2MML.l"
3579
+ #line 396 "itex2MML.l"
3575
3580
  case 279:
3576
- #line 392 "itex2MML.l"
3581
+ #line 397 "itex2MML.l"
3577
3582
  case 280:
3578
- #line 393 "itex2MML.l"
3583
+ #line 398 "itex2MML.l"
3579
3584
  case 281:
3580
- #line 394 "itex2MML.l"
3585
+ #line 399 "itex2MML.l"
3581
3586
  case 282:
3582
3587
  YY_RULE_SETUP
3583
- #line 394 "itex2MML.l"
3588
+ #line 399 "itex2MML.l"
3584
3589
  {BEGIN(OPTARG); char * s1 = itex2MML_copy_string(itex2MML_yytext+2); yylval = itex2MML_copy3("&", s1, ";"); itex2MML_free_string(s1); return XARROW;}
3585
3590
  YY_BREAK
3586
3591
  case 283:
3587
- #line 397 "itex2MML.l"
3592
+ #line 402 "itex2MML.l"
3588
3593
  case 284:
3589
3594
  YY_RULE_SETUP
3590
- #line 397 "itex2MML.l"
3595
+ #line 402 "itex2MML.l"
3591
3596
  {yylval=itex2MML_copy_string("&hellip;"); return MI;}
3592
3597
  YY_BREAK
3593
3598
  case 285:
3594
3599
  YY_RULE_SETUP
3595
- #line 398 "itex2MML.l"
3600
+ #line 403 "itex2MML.l"
3596
3601
  {yylval=itex2MML_copy_string("&ctdot;"); return MI;}
3597
3602
  YY_BREAK
3598
3603
  case 286:
3599
3604
  YY_RULE_SETUP
3600
- #line 399 "itex2MML.l"
3605
+ #line 404 "itex2MML.l"
3601
3606
  {yylval=itex2MML_copy_string("&dtdot;"); return MI;}
3602
3607
  YY_BREAK
3603
3608
  case 287:
3604
3609
  YY_RULE_SETUP
3605
- #line 400 "itex2MML.l"
3610
+ #line 405 "itex2MML.l"
3606
3611
  {yylval=itex2MML_copy_string("&utdot;"); return MI;}
3607
3612
  YY_BREAK
3608
3613
  case 288:
3609
3614
  YY_RULE_SETUP
3610
- #line 401 "itex2MML.l"
3615
+ #line 406 "itex2MML.l"
3611
3616
  {yylval=itex2MML_copy_string("&vellip;"); return MI;}
3612
3617
  YY_BREAK
3613
3618
  case 289:
3614
3619
  YY_RULE_SETUP
3615
- #line 402 "itex2MML.l"
3620
+ #line 407 "itex2MML.l"
3616
3621
  {yylval=itex2MML_copy_string("&colon;"); return MOR;}
3617
3622
  YY_BREAK
3618
3623
  case 290:
3619
- #line 405 "itex2MML.l"
3624
+ #line 410 "itex2MML.l"
3620
3625
  case 291:
3621
- #line 406 "itex2MML.l"
3626
+ #line 411 "itex2MML.l"
3622
3627
  case 292:
3623
3628
  YY_RULE_SETUP
3624
- #line 406 "itex2MML.l"
3629
+ #line 411 "itex2MML.l"
3625
3630
  {yylval=itex2MML_copy_string("&cup;"); return MOL;}
3626
3631
  YY_BREAK
3627
3632
  case 293:
3628
- #line 409 "itex2MML.l"
3633
+ #line 414 "itex2MML.l"
3629
3634
  case 294:
3630
- #line 410 "itex2MML.l"
3635
+ #line 415 "itex2MML.l"
3631
3636
  case 295:
3632
3637
  YY_RULE_SETUP
3633
- #line 410 "itex2MML.l"
3638
+ #line 415 "itex2MML.l"
3634
3639
  {yylval=itex2MML_copy_string("&Union;"); return MOB;}
3635
3640
  YY_BREAK
3636
3641
  case 296:
3637
- #line 413 "itex2MML.l"
3642
+ #line 418 "itex2MML.l"
3638
3643
  case 297:
3639
3644
  YY_RULE_SETUP
3640
- #line 413 "itex2MML.l"
3645
+ #line 418 "itex2MML.l"
3641
3646
  {yylval=itex2MML_copy_string("&cap;"); return MOL;}
3642
3647
  YY_BREAK
3643
3648
  case 298:
3644
- #line 416 "itex2MML.l"
3649
+ #line 421 "itex2MML.l"
3645
3650
  case 299:
3646
3651
  YY_RULE_SETUP
3647
- #line 416 "itex2MML.l"
3652
+ #line 421 "itex2MML.l"
3648
3653
  {yylval=itex2MML_copy_string("&Intersection;"); return MOB;}
3649
3654
  YY_BREAK
3650
3655
  case 300:
3651
3656
  YY_RULE_SETUP
3652
- #line 418 "itex2MML.l"
3657
+ #line 423 "itex2MML.l"
3653
3658
  {yylval=itex2MML_copy_string("&Element;"); return MOL;}
3654
3659
  YY_BREAK
3655
3660
  /* For some reason, Firefox does not put in the right spacing around some of these operators
@@ -3657,1360 +3662,1360 @@ YY_RULE_SETUP
3657
3662
  */
3658
3663
  case 301:
3659
3664
  YY_RULE_SETUP
3660
- #line 423 "itex2MML.l"
3665
+ #line 428 "itex2MML.l"
3661
3666
  {yylval=itex2MML_copy_string("&colone;"); return MOL;}
3662
3667
  YY_BREAK
3663
3668
  case 302:
3664
3669
  YY_RULE_SETUP
3665
- #line 424 "itex2MML.l"
3670
+ #line 429 "itex2MML.l"
3666
3671
  {yylval=itex2MML_copy_string("&Colone;"); return MOS;}
3667
3672
  YY_BREAK
3668
3673
  case 303:
3669
3674
  YY_RULE_SETUP
3670
- #line 425 "itex2MML.l"
3675
+ #line 430 "itex2MML.l"
3671
3676
  {yylval=itex2MML_copy_string("&#x2236;&#x2212;"); return MOS;}
3672
3677
  YY_BREAK
3673
3678
  case 304:
3674
3679
  YY_RULE_SETUP
3675
- #line 426 "itex2MML.l"
3680
+ #line 431 "itex2MML.l"
3676
3681
  {yylval=itex2MML_copy_string("&#x2237;&#x2212;"); return MOS;}
3677
3682
  YY_BREAK
3678
3683
  case 305:
3679
3684
  YY_RULE_SETUP
3680
- #line 427 "itex2MML.l"
3685
+ #line 432 "itex2MML.l"
3681
3686
  {yylval=itex2MML_copy_string("&ecolon;"); return MOS;}
3682
3687
  YY_BREAK
3683
3688
  case 306:
3684
3689
  YY_RULE_SETUP
3685
- #line 428 "itex2MML.l"
3690
+ #line 433 "itex2MML.l"
3686
3691
  {yylval=itex2MML_copy_string("&#x003d;&#x2237;"); return MOS;}
3687
3692
  YY_BREAK
3688
3693
  case 307:
3689
3694
  YY_RULE_SETUP
3690
- #line 429 "itex2MML.l"
3695
+ #line 434 "itex2MML.l"
3691
3696
  {yylval=itex2MML_copy_string("&#x2239;"); return MOS;}
3692
3697
  YY_BREAK
3693
3698
  case 308:
3694
3699
  YY_RULE_SETUP
3695
- #line 430 "itex2MML.l"
3700
+ #line 435 "itex2MML.l"
3696
3701
  {yylval=itex2MML_copy_string("&#x2212;&#x2237;"); return MOS;}
3697
3702
  YY_BREAK
3698
3703
  case 309:
3699
3704
  YY_RULE_SETUP
3700
- #line 431 "itex2MML.l"
3705
+ #line 436 "itex2MML.l"
3701
3706
  {yylval=itex2MML_copy_string("&#x2236;&#x2248;"); return MOS;}
3702
3707
  YY_BREAK
3703
3708
  case 310:
3704
3709
  YY_RULE_SETUP
3705
- #line 432 "itex2MML.l"
3710
+ #line 437 "itex2MML.l"
3706
3711
  {yylval=itex2MML_copy_string("&#x2237;&#x2248;"); return MOS;}
3707
3712
  YY_BREAK
3708
3713
  case 311:
3709
3714
  YY_RULE_SETUP
3710
- #line 433 "itex2MML.l"
3715
+ #line 438 "itex2MML.l"
3711
3716
  {yylval=itex2MML_copy_string("&#x2236;&#x223C;"); return MOS;}
3712
3717
  YY_BREAK
3713
3718
  case 312:
3714
3719
  YY_RULE_SETUP
3715
- #line 434 "itex2MML.l"
3720
+ #line 439 "itex2MML.l"
3716
3721
  {yylval=itex2MML_copy_string("&#x2237;&#x223C;"); return MOS;}
3717
3722
  YY_BREAK
3718
3723
  case 313:
3719
3724
  YY_RULE_SETUP
3720
- #line 435 "itex2MML.l"
3725
+ #line 440 "itex2MML.l"
3721
3726
  {yylval=itex2MML_copy_string("&Colon;"); return MOL;}
3722
3727
  YY_BREAK
3723
3728
  case 314:
3724
- #line 438 "itex2MML.l"
3729
+ #line 443 "itex2MML.l"
3725
3730
  case 315:
3726
- #line 439 "itex2MML.l"
3731
+ #line 444 "itex2MML.l"
3727
3732
  case 316:
3728
- #line 440 "itex2MML.l"
3733
+ #line 445 "itex2MML.l"
3729
3734
  case 317:
3730
- #line 441 "itex2MML.l"
3735
+ #line 446 "itex2MML.l"
3731
3736
  case 318:
3732
- #line 442 "itex2MML.l"
3737
+ #line 447 "itex2MML.l"
3733
3738
  case 319:
3734
- #line 443 "itex2MML.l"
3739
+ #line 448 "itex2MML.l"
3735
3740
  case 320:
3736
- #line 444 "itex2MML.l"
3741
+ #line 449 "itex2MML.l"
3737
3742
  case 321:
3738
- #line 445 "itex2MML.l"
3743
+ #line 450 "itex2MML.l"
3739
3744
  case 322:
3740
- #line 446 "itex2MML.l"
3745
+ #line 451 "itex2MML.l"
3741
3746
  case 323:
3742
- #line 447 "itex2MML.l"
3747
+ #line 452 "itex2MML.l"
3743
3748
  case 324:
3744
- #line 448 "itex2MML.l"
3749
+ #line 453 "itex2MML.l"
3745
3750
  case 325:
3746
- #line 449 "itex2MML.l"
3751
+ #line 454 "itex2MML.l"
3747
3752
  case 326:
3748
- #line 450 "itex2MML.l"
3753
+ #line 455 "itex2MML.l"
3749
3754
  case 327:
3750
- #line 451 "itex2MML.l"
3755
+ #line 456 "itex2MML.l"
3751
3756
  case 328:
3752
- #line 452 "itex2MML.l"
3757
+ #line 457 "itex2MML.l"
3753
3758
  case 329:
3754
- #line 453 "itex2MML.l"
3759
+ #line 458 "itex2MML.l"
3755
3760
  case 330:
3756
- #line 454 "itex2MML.l"
3761
+ #line 459 "itex2MML.l"
3757
3762
  case 331:
3758
- #line 455 "itex2MML.l"
3763
+ #line 460 "itex2MML.l"
3759
3764
  case 332:
3760
- #line 456 "itex2MML.l"
3765
+ #line 461 "itex2MML.l"
3761
3766
  case 333:
3762
- #line 457 "itex2MML.l"
3767
+ #line 462 "itex2MML.l"
3763
3768
  case 334:
3764
- #line 458 "itex2MML.l"
3769
+ #line 463 "itex2MML.l"
3765
3770
  case 335:
3766
- #line 459 "itex2MML.l"
3771
+ #line 464 "itex2MML.l"
3767
3772
  case 336:
3768
- #line 460 "itex2MML.l"
3773
+ #line 465 "itex2MML.l"
3769
3774
  case 337:
3770
- #line 461 "itex2MML.l"
3775
+ #line 466 "itex2MML.l"
3771
3776
  case 338:
3772
- #line 462 "itex2MML.l"
3777
+ #line 467 "itex2MML.l"
3773
3778
  case 339:
3774
- #line 463 "itex2MML.l"
3779
+ #line 468 "itex2MML.l"
3775
3780
  case 340:
3776
- #line 464 "itex2MML.l"
3781
+ #line 469 "itex2MML.l"
3777
3782
  case 341:
3778
- #line 465 "itex2MML.l"
3783
+ #line 470 "itex2MML.l"
3779
3784
  case 342:
3780
- #line 466 "itex2MML.l"
3785
+ #line 471 "itex2MML.l"
3781
3786
  case 343:
3782
- #line 467 "itex2MML.l"
3787
+ #line 472 "itex2MML.l"
3783
3788
  case 344:
3784
- #line 468 "itex2MML.l"
3789
+ #line 473 "itex2MML.l"
3785
3790
  case 345:
3786
- #line 469 "itex2MML.l"
3791
+ #line 474 "itex2MML.l"
3787
3792
  case 346:
3788
- #line 470 "itex2MML.l"
3793
+ #line 475 "itex2MML.l"
3789
3794
  case 347:
3790
- #line 471 "itex2MML.l"
3795
+ #line 476 "itex2MML.l"
3791
3796
  case 348:
3792
- #line 472 "itex2MML.l"
3797
+ #line 477 "itex2MML.l"
3793
3798
  case 349:
3794
- #line 473 "itex2MML.l"
3799
+ #line 478 "itex2MML.l"
3795
3800
  case 350:
3796
- #line 474 "itex2MML.l"
3801
+ #line 479 "itex2MML.l"
3797
3802
  case 351:
3798
- #line 475 "itex2MML.l"
3803
+ #line 480 "itex2MML.l"
3799
3804
  case 352:
3800
- #line 476 "itex2MML.l"
3805
+ #line 481 "itex2MML.l"
3801
3806
  case 353:
3802
- #line 477 "itex2MML.l"
3807
+ #line 482 "itex2MML.l"
3803
3808
  case 354:
3804
- #line 478 "itex2MML.l"
3809
+ #line 483 "itex2MML.l"
3805
3810
  case 355:
3806
- #line 479 "itex2MML.l"
3811
+ #line 484 "itex2MML.l"
3807
3812
  case 356:
3808
- #line 480 "itex2MML.l"
3813
+ #line 485 "itex2MML.l"
3809
3814
  case 357:
3810
- #line 481 "itex2MML.l"
3815
+ #line 486 "itex2MML.l"
3811
3816
  case 358:
3812
- #line 482 "itex2MML.l"
3817
+ #line 487 "itex2MML.l"
3813
3818
  case 359:
3814
- #line 483 "itex2MML.l"
3819
+ #line 488 "itex2MML.l"
3815
3820
  case 360:
3816
- #line 484 "itex2MML.l"
3821
+ #line 489 "itex2MML.l"
3817
3822
  case 361:
3818
- #line 485 "itex2MML.l"
3823
+ #line 490 "itex2MML.l"
3819
3824
  case 362:
3820
- #line 486 "itex2MML.l"
3825
+ #line 491 "itex2MML.l"
3821
3826
  case 363:
3822
- #line 487 "itex2MML.l"
3827
+ #line 492 "itex2MML.l"
3823
3828
  case 364:
3824
- #line 488 "itex2MML.l"
3829
+ #line 493 "itex2MML.l"
3825
3830
  case 365:
3826
- #line 489 "itex2MML.l"
3831
+ #line 494 "itex2MML.l"
3827
3832
  case 366:
3828
- #line 490 "itex2MML.l"
3833
+ #line 495 "itex2MML.l"
3829
3834
  case 367:
3830
- #line 491 "itex2MML.l"
3835
+ #line 496 "itex2MML.l"
3831
3836
  case 368:
3832
- #line 492 "itex2MML.l"
3837
+ #line 497 "itex2MML.l"
3833
3838
  case 369:
3834
- #line 493 "itex2MML.l"
3839
+ #line 498 "itex2MML.l"
3835
3840
  case 370:
3836
- #line 494 "itex2MML.l"
3841
+ #line 499 "itex2MML.l"
3837
3842
  case 371:
3838
- #line 495 "itex2MML.l"
3843
+ #line 500 "itex2MML.l"
3839
3844
  case 372:
3840
- #line 496 "itex2MML.l"
3845
+ #line 501 "itex2MML.l"
3841
3846
  case 373:
3842
- #line 497 "itex2MML.l"
3847
+ #line 502 "itex2MML.l"
3843
3848
  case 374:
3844
- #line 498 "itex2MML.l"
3849
+ #line 503 "itex2MML.l"
3845
3850
  case 375:
3846
- #line 499 "itex2MML.l"
3851
+ #line 504 "itex2MML.l"
3847
3852
  case 376:
3848
- #line 500 "itex2MML.l"
3853
+ #line 505 "itex2MML.l"
3849
3854
  case 377:
3850
- #line 501 "itex2MML.l"
3855
+ #line 506 "itex2MML.l"
3851
3856
  case 378:
3852
- #line 502 "itex2MML.l"
3857
+ #line 507 "itex2MML.l"
3853
3858
  case 379:
3854
- #line 503 "itex2MML.l"
3859
+ #line 508 "itex2MML.l"
3855
3860
  case 380:
3856
- #line 504 "itex2MML.l"
3861
+ #line 509 "itex2MML.l"
3857
3862
  case 381:
3858
- #line 505 "itex2MML.l"
3863
+ #line 510 "itex2MML.l"
3859
3864
  case 382:
3860
- #line 506 "itex2MML.l"
3865
+ #line 511 "itex2MML.l"
3861
3866
  case 383:
3862
- #line 507 "itex2MML.l"
3867
+ #line 512 "itex2MML.l"
3863
3868
  case 384:
3864
- #line 508 "itex2MML.l"
3869
+ #line 513 "itex2MML.l"
3865
3870
  case 385:
3866
- #line 509 "itex2MML.l"
3871
+ #line 514 "itex2MML.l"
3867
3872
  case 386:
3868
- #line 510 "itex2MML.l"
3873
+ #line 515 "itex2MML.l"
3869
3874
  case 387:
3870
- #line 511 "itex2MML.l"
3875
+ #line 516 "itex2MML.l"
3871
3876
  case 388:
3872
- #line 512 "itex2MML.l"
3877
+ #line 517 "itex2MML.l"
3873
3878
  case 389:
3874
- #line 513 "itex2MML.l"
3879
+ #line 518 "itex2MML.l"
3875
3880
  case 390:
3876
- #line 514 "itex2MML.l"
3881
+ #line 519 "itex2MML.l"
3877
3882
  case 391:
3878
- #line 515 "itex2MML.l"
3883
+ #line 520 "itex2MML.l"
3879
3884
  case 392:
3880
- #line 516 "itex2MML.l"
3885
+ #line 521 "itex2MML.l"
3881
3886
  case 393:
3882
- #line 517 "itex2MML.l"
3887
+ #line 522 "itex2MML.l"
3883
3888
  case 394:
3884
- #line 518 "itex2MML.l"
3889
+ #line 523 "itex2MML.l"
3885
3890
  case 395:
3886
- #line 519 "itex2MML.l"
3891
+ #line 524 "itex2MML.l"
3887
3892
  case 396:
3888
- #line 520 "itex2MML.l"
3893
+ #line 525 "itex2MML.l"
3889
3894
  case 397:
3890
- #line 521 "itex2MML.l"
3895
+ #line 526 "itex2MML.l"
3891
3896
  case 398:
3892
- #line 522 "itex2MML.l"
3897
+ #line 527 "itex2MML.l"
3893
3898
  case 399:
3894
- #line 523 "itex2MML.l"
3899
+ #line 528 "itex2MML.l"
3895
3900
  case 400:
3896
- #line 524 "itex2MML.l"
3901
+ #line 529 "itex2MML.l"
3897
3902
  case 401:
3898
- #line 525 "itex2MML.l"
3903
+ #line 530 "itex2MML.l"
3899
3904
  case 402:
3900
- #line 526 "itex2MML.l"
3905
+ #line 531 "itex2MML.l"
3901
3906
  case 403:
3902
- #line 527 "itex2MML.l"
3907
+ #line 532 "itex2MML.l"
3903
3908
  case 404:
3904
- #line 528 "itex2MML.l"
3909
+ #line 533 "itex2MML.l"
3905
3910
  case 405:
3906
- #line 529 "itex2MML.l"
3911
+ #line 534 "itex2MML.l"
3907
3912
  case 406:
3908
- #line 530 "itex2MML.l"
3913
+ #line 535 "itex2MML.l"
3909
3914
  case 407:
3910
- #line 531 "itex2MML.l"
3915
+ #line 536 "itex2MML.l"
3911
3916
  case 408:
3912
- #line 532 "itex2MML.l"
3917
+ #line 537 "itex2MML.l"
3913
3918
  case 409:
3914
- #line 533 "itex2MML.l"
3919
+ #line 538 "itex2MML.l"
3915
3920
  case 410:
3916
- #line 534 "itex2MML.l"
3921
+ #line 539 "itex2MML.l"
3917
3922
  case 411:
3918
- #line 535 "itex2MML.l"
3923
+ #line 540 "itex2MML.l"
3919
3924
  case 412:
3920
- #line 536 "itex2MML.l"
3925
+ #line 541 "itex2MML.l"
3921
3926
  case 413:
3922
- #line 537 "itex2MML.l"
3927
+ #line 542 "itex2MML.l"
3923
3928
  case 414:
3924
- #line 538 "itex2MML.l"
3929
+ #line 543 "itex2MML.l"
3925
3930
  case 415:
3926
- #line 539 "itex2MML.l"
3931
+ #line 544 "itex2MML.l"
3927
3932
  case 416:
3928
- #line 540 "itex2MML.l"
3933
+ #line 545 "itex2MML.l"
3929
3934
  case 417:
3930
- #line 541 "itex2MML.l"
3935
+ #line 546 "itex2MML.l"
3931
3936
  case 418:
3932
- #line 542 "itex2MML.l"
3937
+ #line 547 "itex2MML.l"
3933
3938
  case 419:
3934
- #line 543 "itex2MML.l"
3939
+ #line 548 "itex2MML.l"
3935
3940
  case 420:
3936
- #line 544 "itex2MML.l"
3941
+ #line 549 "itex2MML.l"
3937
3942
  case 421:
3938
- #line 545 "itex2MML.l"
3943
+ #line 550 "itex2MML.l"
3939
3944
  case 422:
3940
- #line 546 "itex2MML.l"
3945
+ #line 551 "itex2MML.l"
3941
3946
  case 423:
3942
- #line 547 "itex2MML.l"
3947
+ #line 552 "itex2MML.l"
3943
3948
  case 424:
3944
- #line 548 "itex2MML.l"
3949
+ #line 553 "itex2MML.l"
3945
3950
  case 425:
3946
- #line 549 "itex2MML.l"
3951
+ #line 554 "itex2MML.l"
3947
3952
  case 426:
3948
- #line 550 "itex2MML.l"
3953
+ #line 555 "itex2MML.l"
3949
3954
  case 427:
3950
- #line 551 "itex2MML.l"
3955
+ #line 556 "itex2MML.l"
3951
3956
  case 428:
3952
- #line 552 "itex2MML.l"
3957
+ #line 557 "itex2MML.l"
3953
3958
  case 429:
3954
- #line 553 "itex2MML.l"
3959
+ #line 558 "itex2MML.l"
3955
3960
  case 430:
3956
- #line 554 "itex2MML.l"
3961
+ #line 559 "itex2MML.l"
3957
3962
  case 431:
3958
- #line 555 "itex2MML.l"
3963
+ #line 560 "itex2MML.l"
3959
3964
  case 432:
3960
- #line 556 "itex2MML.l"
3965
+ #line 561 "itex2MML.l"
3961
3966
  case 433:
3962
- #line 557 "itex2MML.l"
3967
+ #line 562 "itex2MML.l"
3963
3968
  case 434:
3964
- #line 558 "itex2MML.l"
3969
+ #line 563 "itex2MML.l"
3965
3970
  case 435:
3966
- #line 559 "itex2MML.l"
3971
+ #line 564 "itex2MML.l"
3967
3972
  case 436:
3968
- #line 560 "itex2MML.l"
3973
+ #line 565 "itex2MML.l"
3969
3974
  case 437:
3970
- #line 561 "itex2MML.l"
3975
+ #line 566 "itex2MML.l"
3971
3976
  case 438:
3972
- #line 562 "itex2MML.l"
3977
+ #line 567 "itex2MML.l"
3973
3978
  case 439:
3974
- #line 563 "itex2MML.l"
3979
+ #line 568 "itex2MML.l"
3975
3980
  case 440:
3976
- #line 564 "itex2MML.l"
3981
+ #line 569 "itex2MML.l"
3977
3982
  case 441:
3978
- #line 565 "itex2MML.l"
3983
+ #line 570 "itex2MML.l"
3979
3984
  case 442:
3980
- #line 566 "itex2MML.l"
3985
+ #line 571 "itex2MML.l"
3981
3986
  case 443:
3982
- #line 567 "itex2MML.l"
3987
+ #line 572 "itex2MML.l"
3983
3988
  case 444:
3984
- #line 568 "itex2MML.l"
3989
+ #line 573 "itex2MML.l"
3985
3990
  case 445:
3986
- #line 569 "itex2MML.l"
3991
+ #line 574 "itex2MML.l"
3987
3992
  case 446:
3988
- #line 570 "itex2MML.l"
3993
+ #line 575 "itex2MML.l"
3989
3994
  case 447:
3990
- #line 571 "itex2MML.l"
3995
+ #line 576 "itex2MML.l"
3991
3996
  case 448:
3992
- #line 572 "itex2MML.l"
3997
+ #line 577 "itex2MML.l"
3993
3998
  case 449:
3994
- #line 573 "itex2MML.l"
3999
+ #line 578 "itex2MML.l"
3995
4000
  case 450:
3996
- #line 574 "itex2MML.l"
4001
+ #line 579 "itex2MML.l"
3997
4002
  case 451:
3998
- #line 575 "itex2MML.l"
4003
+ #line 580 "itex2MML.l"
3999
4004
  case 452:
4000
- #line 576 "itex2MML.l"
4005
+ #line 581 "itex2MML.l"
4001
4006
  case 453:
4002
- #line 577 "itex2MML.l"
4007
+ #line 582 "itex2MML.l"
4003
4008
  case 454:
4004
- #line 578 "itex2MML.l"
4009
+ #line 583 "itex2MML.l"
4005
4010
  case 455:
4006
- #line 579 "itex2MML.l"
4011
+ #line 584 "itex2MML.l"
4007
4012
  case 456:
4008
- #line 580 "itex2MML.l"
4013
+ #line 585 "itex2MML.l"
4009
4014
  case 457:
4010
- #line 581 "itex2MML.l"
4015
+ #line 586 "itex2MML.l"
4011
4016
  case 458:
4012
- #line 582 "itex2MML.l"
4017
+ #line 587 "itex2MML.l"
4013
4018
  case 459:
4014
- #line 583 "itex2MML.l"
4019
+ #line 588 "itex2MML.l"
4015
4020
  case 460:
4016
- #line 584 "itex2MML.l"
4021
+ #line 589 "itex2MML.l"
4017
4022
  case 461:
4018
- #line 585 "itex2MML.l"
4023
+ #line 590 "itex2MML.l"
4019
4024
  case 462:
4020
- #line 586 "itex2MML.l"
4025
+ #line 591 "itex2MML.l"
4021
4026
  case 463:
4022
- #line 587 "itex2MML.l"
4027
+ #line 592 "itex2MML.l"
4023
4028
  case 464:
4024
- #line 588 "itex2MML.l"
4029
+ #line 593 "itex2MML.l"
4025
4030
  case 465:
4026
- #line 589 "itex2MML.l"
4031
+ #line 594 "itex2MML.l"
4027
4032
  case 466:
4028
- #line 590 "itex2MML.l"
4033
+ #line 595 "itex2MML.l"
4029
4034
  case 467:
4030
- #line 591 "itex2MML.l"
4035
+ #line 596 "itex2MML.l"
4031
4036
  case 468:
4032
- #line 592 "itex2MML.l"
4037
+ #line 597 "itex2MML.l"
4033
4038
  case 469:
4034
- #line 593 "itex2MML.l"
4039
+ #line 598 "itex2MML.l"
4035
4040
  case 470:
4036
- #line 594 "itex2MML.l"
4041
+ #line 599 "itex2MML.l"
4037
4042
  case 471:
4038
- #line 595 "itex2MML.l"
4043
+ #line 600 "itex2MML.l"
4039
4044
  case 472:
4040
- #line 596 "itex2MML.l"
4045
+ #line 601 "itex2MML.l"
4041
4046
  case 473:
4042
- #line 597 "itex2MML.l"
4047
+ #line 602 "itex2MML.l"
4043
4048
  case 474:
4044
- #line 598 "itex2MML.l"
4049
+ #line 603 "itex2MML.l"
4045
4050
  case 475:
4046
- #line 599 "itex2MML.l"
4051
+ #line 604 "itex2MML.l"
4047
4052
  case 476:
4048
- #line 600 "itex2MML.l"
4053
+ #line 605 "itex2MML.l"
4049
4054
  case 477:
4050
- #line 601 "itex2MML.l"
4055
+ #line 606 "itex2MML.l"
4051
4056
  case 478:
4052
- #line 602 "itex2MML.l"
4057
+ #line 607 "itex2MML.l"
4053
4058
  case 479:
4054
- #line 603 "itex2MML.l"
4059
+ #line 608 "itex2MML.l"
4055
4060
  case 480:
4056
- #line 604 "itex2MML.l"
4061
+ #line 609 "itex2MML.l"
4057
4062
  case 481:
4058
- #line 605 "itex2MML.l"
4063
+ #line 610 "itex2MML.l"
4059
4064
  case 482:
4060
- #line 606 "itex2MML.l"
4065
+ #line 611 "itex2MML.l"
4061
4066
  case 483:
4062
- #line 607 "itex2MML.l"
4067
+ #line 612 "itex2MML.l"
4063
4068
  case 484:
4064
- #line 608 "itex2MML.l"
4069
+ #line 613 "itex2MML.l"
4065
4070
  case 485:
4066
- #line 609 "itex2MML.l"
4071
+ #line 614 "itex2MML.l"
4067
4072
  case 486:
4068
- #line 610 "itex2MML.l"
4073
+ #line 615 "itex2MML.l"
4069
4074
  case 487:
4070
- #line 611 "itex2MML.l"
4075
+ #line 616 "itex2MML.l"
4071
4076
  case 488:
4072
- #line 612 "itex2MML.l"
4077
+ #line 617 "itex2MML.l"
4073
4078
  case 489:
4074
- #line 613 "itex2MML.l"
4079
+ #line 618 "itex2MML.l"
4075
4080
  case 490:
4076
- #line 614 "itex2MML.l"
4081
+ #line 619 "itex2MML.l"
4077
4082
  case 491:
4078
- #line 615 "itex2MML.l"
4083
+ #line 620 "itex2MML.l"
4079
4084
  case 492:
4080
- #line 616 "itex2MML.l"
4085
+ #line 621 "itex2MML.l"
4081
4086
  case 493:
4082
- #line 617 "itex2MML.l"
4087
+ #line 622 "itex2MML.l"
4083
4088
  case 494:
4084
- #line 618 "itex2MML.l"
4089
+ #line 623 "itex2MML.l"
4085
4090
  case 495:
4086
- #line 619 "itex2MML.l"
4091
+ #line 624 "itex2MML.l"
4087
4092
  case 496:
4088
- #line 620 "itex2MML.l"
4093
+ #line 625 "itex2MML.l"
4089
4094
  case 497:
4090
- #line 621 "itex2MML.l"
4095
+ #line 626 "itex2MML.l"
4091
4096
  case 498:
4092
- #line 622 "itex2MML.l"
4097
+ #line 627 "itex2MML.l"
4093
4098
  case 499:
4094
- #line 623 "itex2MML.l"
4099
+ #line 628 "itex2MML.l"
4095
4100
  case 500:
4096
- #line 624 "itex2MML.l"
4101
+ #line 629 "itex2MML.l"
4097
4102
  case 501:
4098
- #line 625 "itex2MML.l"
4103
+ #line 630 "itex2MML.l"
4099
4104
  case 502:
4100
- #line 626 "itex2MML.l"
4105
+ #line 631 "itex2MML.l"
4101
4106
  case 503:
4102
- #line 627 "itex2MML.l"
4107
+ #line 632 "itex2MML.l"
4103
4108
  case 504:
4104
- #line 628 "itex2MML.l"
4109
+ #line 633 "itex2MML.l"
4105
4110
  case 505:
4106
- #line 629 "itex2MML.l"
4111
+ #line 634 "itex2MML.l"
4107
4112
  case 506:
4108
- #line 630 "itex2MML.l"
4113
+ #line 635 "itex2MML.l"
4109
4114
  case 507:
4110
- #line 631 "itex2MML.l"
4115
+ #line 636 "itex2MML.l"
4111
4116
  case 508:
4112
- #line 632 "itex2MML.l"
4117
+ #line 637 "itex2MML.l"
4113
4118
  case 509:
4114
- #line 633 "itex2MML.l"
4119
+ #line 638 "itex2MML.l"
4115
4120
  case 510:
4116
- #line 634 "itex2MML.l"
4121
+ #line 639 "itex2MML.l"
4117
4122
  case 511:
4118
- #line 635 "itex2MML.l"
4123
+ #line 640 "itex2MML.l"
4119
4124
  case 512:
4120
- #line 636 "itex2MML.l"
4125
+ #line 641 "itex2MML.l"
4121
4126
  case 513:
4122
- #line 637 "itex2MML.l"
4127
+ #line 642 "itex2MML.l"
4123
4128
  case 514:
4124
- #line 638 "itex2MML.l"
4129
+ #line 643 "itex2MML.l"
4125
4130
  case 515:
4126
- #line 639 "itex2MML.l"
4131
+ #line 644 "itex2MML.l"
4127
4132
  case 516:
4128
- #line 640 "itex2MML.l"
4133
+ #line 645 "itex2MML.l"
4129
4134
  case 517:
4130
- #line 641 "itex2MML.l"
4135
+ #line 646 "itex2MML.l"
4131
4136
  case 518:
4132
- #line 642 "itex2MML.l"
4137
+ #line 647 "itex2MML.l"
4133
4138
  case 519:
4134
- #line 643 "itex2MML.l"
4139
+ #line 648 "itex2MML.l"
4135
4140
  case 520:
4136
- #line 644 "itex2MML.l"
4141
+ #line 649 "itex2MML.l"
4137
4142
  case 521:
4138
- #line 645 "itex2MML.l"
4143
+ #line 650 "itex2MML.l"
4139
4144
  case 522:
4140
- #line 646 "itex2MML.l"
4145
+ #line 651 "itex2MML.l"
4141
4146
  case 523:
4142
- #line 647 "itex2MML.l"
4147
+ #line 652 "itex2MML.l"
4143
4148
  case 524:
4144
4149
  YY_RULE_SETUP
4145
- #line 647 "itex2MML.l"
4150
+ #line 652 "itex2MML.l"
4146
4151
  {yylval=itex2MML_copy2(itex2MML_yytext, ";"); if (yylval != itex2MML_empty_string) yylval[0]='&'; return MOL;}
4147
4152
  YY_BREAK
4148
4153
  case 525:
4149
- #line 650 "itex2MML.l"
4154
+ #line 655 "itex2MML.l"
4150
4155
  case 526:
4151
- #line 651 "itex2MML.l"
4156
+ #line 656 "itex2MML.l"
4152
4157
  case 527:
4153
- #line 652 "itex2MML.l"
4158
+ #line 657 "itex2MML.l"
4154
4159
  case 528:
4155
- #line 653 "itex2MML.l"
4160
+ #line 658 "itex2MML.l"
4156
4161
  case 529:
4157
- #line 654 "itex2MML.l"
4162
+ #line 659 "itex2MML.l"
4158
4163
  case 530:
4159
- #line 655 "itex2MML.l"
4164
+ #line 660 "itex2MML.l"
4160
4165
  case 531:
4161
- #line 656 "itex2MML.l"
4166
+ #line 661 "itex2MML.l"
4162
4167
  case 532:
4163
- #line 657 "itex2MML.l"
4168
+ #line 662 "itex2MML.l"
4164
4169
  case 533:
4165
- #line 658 "itex2MML.l"
4170
+ #line 663 "itex2MML.l"
4166
4171
  case 534:
4167
4172
  YY_RULE_SETUP
4168
- #line 658 "itex2MML.l"
4173
+ #line 663 "itex2MML.l"
4169
4174
  {yylval=itex2MML_copy2(itex2MML_yytext, ";"); if (yylval != itex2MML_empty_string) yylval[0]='&'; return MI;}
4170
4175
  YY_BREAK
4171
4176
  case 535:
4172
- #line 661 "itex2MML.l"
4177
+ #line 666 "itex2MML.l"
4173
4178
  case 536:
4174
4179
  YY_RULE_SETUP
4175
- #line 661 "itex2MML.l"
4180
+ #line 666 "itex2MML.l"
4176
4181
  {yylval=itex2MML_copy_string("&Vbar;"); return MOL;}
4177
4182
  YY_BREAK
4178
4183
  case 537:
4179
4184
  YY_RULE_SETUP
4180
- #line 662 "itex2MML.l"
4185
+ #line 667 "itex2MML.l"
4181
4186
  {yylval=itex2MML_copy_string("&sdotb;"); return MOL;}
4182
4187
  YY_BREAK
4183
4188
  case 538:
4184
- #line 664 "itex2MML.l"
4189
+ #line 669 "itex2MML.l"
4185
4190
  case 539:
4186
4191
  YY_RULE_SETUP
4187
- #line 664 "itex2MML.l"
4192
+ #line 669 "itex2MML.l"
4188
4193
  {yylval=itex2MML_copy_string("&square;"); return MOL;}
4189
4194
  YY_BREAK
4190
4195
  case 540:
4191
- #line 666 "itex2MML.l"
4196
+ #line 671 "itex2MML.l"
4192
4197
  case 541:
4193
4198
  YY_RULE_SETUP
4194
- #line 666 "itex2MML.l"
4199
+ #line 671 "itex2MML.l"
4195
4200
  {yylval=itex2MML_copy_string("&emptyv;"); return MI;}
4196
4201
  YY_BREAK
4197
4202
  case 542:
4198
4203
  YY_RULE_SETUP
4199
- #line 667 "itex2MML.l"
4204
+ #line 672 "itex2MML.l"
4200
4205
  {yylval=itex2MML_copy_string("&Exists;"); return MOL;}
4201
4206
  YY_BREAK
4202
4207
  case 543:
4203
4208
  YY_RULE_SETUP
4204
- #line 668 "itex2MML.l"
4209
+ #line 673 "itex2MML.l"
4205
4210
  {yylval=itex2MML_copy_string("&SmallCircle;"); return MOL;}
4206
4211
  YY_BREAK
4207
4212
  case 544:
4208
4213
  YY_RULE_SETUP
4209
- #line 669 "itex2MML.l"
4214
+ #line 674 "itex2MML.l"
4210
4215
  {yylval=itex2MML_copy_string("&RightTriangle;"); return MOL;}
4211
4216
  YY_BREAK
4212
4217
  case 545:
4213
4218
  YY_RULE_SETUP
4214
- #line 670 "itex2MML.l"
4219
+ #line 675 "itex2MML.l"
4215
4220
  {yylval=itex2MML_copy_string("&LeftTriangle;"); return MOL;}
4216
4221
  YY_BREAK
4217
4222
  case 546:
4218
4223
  YY_RULE_SETUP
4219
- #line 671 "itex2MML.l"
4224
+ #line 676 "itex2MML.l"
4220
4225
  {yylval=itex2MML_copy_string("&Ll;"); return MOL;}
4221
4226
  YY_BREAK
4222
4227
  case 547:
4223
4228
  YY_RULE_SETUP
4224
- #line 672 "itex2MML.l"
4229
+ #line 677 "itex2MML.l"
4225
4230
  {yylval=itex2MML_copy_string("&RightTriangleEqual;"); return MOL;}
4226
4231
  YY_BREAK
4227
4232
  case 548:
4228
4233
  YY_RULE_SETUP
4229
- #line 673 "itex2MML.l"
4234
+ #line 678 "itex2MML.l"
4230
4235
  {yylval=itex2MML_copy_string("&LeftTriangleEqual;"); return MOL;}
4231
4236
  YY_BREAK
4232
4237
  case 549:
4233
- #line 675 "itex2MML.l"
4238
+ #line 680 "itex2MML.l"
4234
4239
  case 550:
4235
4240
  YY_RULE_SETUP
4236
- #line 675 "itex2MML.l"
4241
+ #line 680 "itex2MML.l"
4237
4242
  {yylval=itex2MML_copy_string("&Del;"); return MOL;}
4238
4243
  YY_BREAK
4239
4244
  case 551:
4240
4245
  YY_RULE_SETUP
4241
- #line 676 "itex2MML.l"
4246
+ #line 681 "itex2MML.l"
4242
4247
  {yylval=itex2MML_copy_string("&angsph;"); return MOL;}
4243
4248
  YY_BREAK
4244
4249
  case 552:
4245
4250
  YY_RULE_SETUP
4246
- #line 678 "itex2MML.l"
4251
+ #line 683 "itex2MML.l"
4247
4252
  {yylval=itex2MML_copy_string("&#x2661;"); return MOL;}
4248
4253
  YY_BREAK
4249
4254
  case 553:
4250
4255
  YY_RULE_SETUP
4251
- #line 679 "itex2MML.l"
4256
+ #line 684 "itex2MML.l"
4252
4257
  {yylval=itex2MML_copy_string("&#x2662;"); return MOL;}
4253
4258
  YY_BREAK
4254
4259
  case 554:
4255
4260
  YY_RULE_SETUP
4256
- #line 681 "itex2MML.l"
4261
+ #line 686 "itex2MML.l"
4257
4262
  {yylval=itex2MML_copy_string("&PartialD;"); return MOL;}
4258
4263
  YY_BREAK
4259
4264
  case 555:
4260
4265
  YY_RULE_SETUP
4261
- #line 683 "itex2MML.l"
4266
+ #line 688 "itex2MML.l"
4262
4267
  {yylval=itex2MML_copy_string("&squf;"); return MO;}
4263
4268
  YY_BREAK
4264
4269
  case 556:
4265
4270
  YY_RULE_SETUP
4266
- #line 685 "itex2MML.l"
4271
+ #line 690 "itex2MML.l"
4267
4272
  {yylval=itex2MML_copy_string("mod"); return MOS;}
4268
4273
  YY_BREAK
4269
4274
  case 557:
4270
4275
  YY_RULE_SETUP
4271
- #line 686 "itex2MML.l"
4276
+ #line 691 "itex2MML.l"
4272
4277
  {return PMOD;}
4273
4278
  YY_BREAK
4274
4279
  case 558:
4275
4280
  YY_RULE_SETUP
4276
- #line 688 "itex2MML.l"
4281
+ #line 693 "itex2MML.l"
4277
4282
  {yylval=itex2MML_copy_string("&perp;"); return MOL;}
4278
4283
  YY_BREAK
4279
4284
  case 559:
4280
4285
  YY_RULE_SETUP
4281
- #line 690 "itex2MML.l"
4286
+ #line 695 "itex2MML.l"
4282
4287
  {yylval=itex2MML_copy_string("&not;"); return MOL;}
4283
4288
  YY_BREAK
4284
4289
  case 560:
4285
- #line 693 "itex2MML.l"
4290
+ #line 698 "itex2MML.l"
4286
4291
  case 561:
4287
4292
  YY_RULE_SETUP
4288
- #line 693 "itex2MML.l"
4293
+ #line 698 "itex2MML.l"
4289
4294
  {yylval=itex2MML_copy_string("&ne;"); return MOL;}
4290
4295
  YY_BREAK
4291
4296
  case 562:
4292
- #line 696 "itex2MML.l"
4297
+ #line 701 "itex2MML.l"
4293
4298
  case 563:
4294
4299
  YY_RULE_SETUP
4295
- #line 696 "itex2MML.l"
4300
+ #line 701 "itex2MML.l"
4296
4301
  {yylval=itex2MML_copy_string("&VerticalBar;"); return MOS;}
4297
4302
  YY_BREAK
4298
4303
  case 564:
4299
- #line 699 "itex2MML.l"
4304
+ #line 704 "itex2MML.l"
4300
4305
  case 565:
4301
4306
  YY_RULE_SETUP
4302
- #line 699 "itex2MML.l"
4307
+ #line 704 "itex2MML.l"
4303
4308
  {yylval=itex2MML_copy_string("&Integral;"); return MOL;}
4304
4309
  YY_BREAK
4305
4310
  case 566:
4306
- #line 702 "itex2MML.l"
4311
+ #line 707 "itex2MML.l"
4307
4312
  case 567:
4308
4313
  YY_RULE_SETUP
4309
- #line 702 "itex2MML.l"
4314
+ #line 707 "itex2MML.l"
4310
4315
  {yylval=itex2MML_copy_string("&Int;"); return MOL;}
4311
4316
  YY_BREAK
4312
4317
  case 568:
4313
- #line 705 "itex2MML.l"
4318
+ #line 710 "itex2MML.l"
4314
4319
  case 569:
4315
4320
  YY_RULE_SETUP
4316
- #line 705 "itex2MML.l"
4321
+ #line 710 "itex2MML.l"
4317
4322
  {yylval=itex2MML_copy_string("&tint;"); return MOL;}
4318
4323
  YY_BREAK
4319
4324
  case 570:
4320
- #line 708 "itex2MML.l"
4325
+ #line 713 "itex2MML.l"
4321
4326
  case 571:
4322
4327
  YY_RULE_SETUP
4323
- #line 708 "itex2MML.l"
4328
+ #line 713 "itex2MML.l"
4324
4329
  {yylval=itex2MML_copy_string("&qint;"); return MOL;}
4325
4330
  YY_BREAK
4326
4331
  case 572:
4327
- #line 711 "itex2MML.l"
4332
+ #line 716 "itex2MML.l"
4328
4333
  case 573:
4329
- #line 712 "itex2MML.l"
4334
+ #line 717 "itex2MML.l"
4330
4335
  case 574:
4331
4336
  YY_RULE_SETUP
4332
- #line 712 "itex2MML.l"
4337
+ #line 717 "itex2MML.l"
4333
4338
  {yylval=itex2MML_copy_string("&conint;"); return MOL;}
4334
4339
  YY_BREAK
4335
4340
  case 575:
4336
4341
  YY_RULE_SETUP
4337
- #line 714 "itex2MML.l"
4342
+ #line 719 "itex2MML.l"
4338
4343
  {yylval=itex2MML_copy_string("&times;"); return MOL;}
4339
4344
  YY_BREAK
4340
4345
  case 576:
4341
4346
  YY_RULE_SETUP
4342
- #line 715 "itex2MML.l"
4347
+ #line 720 "itex2MML.l"
4343
4348
  {yylval=itex2MML_copy_string("&sstarf;"); return MOL;}
4344
4349
  YY_BREAK
4345
4350
  case 577:
4346
- #line 717 "itex2MML.l"
4351
+ #line 722 "itex2MML.l"
4347
4352
  case 578:
4348
4353
  YY_RULE_SETUP
4349
- #line 717 "itex2MML.l"
4354
+ #line 722 "itex2MML.l"
4350
4355
  {yylval=itex2MML_copy_string("&odash;"); return MOL;}
4351
4356
  YY_BREAK
4352
4357
  case 579:
4353
4358
  YY_RULE_SETUP
4354
- #line 719 "itex2MML.l"
4359
+ #line 724 "itex2MML.l"
4355
4360
  {yylval=itex2MML_copy_string("&intcal;"); return MOL;}
4356
4361
  YY_BREAK
4357
4362
  case 580:
4358
4363
  YY_RULE_SETUP
4359
- #line 720 "itex2MML.l"
4364
+ #line 725 "itex2MML.l"
4360
4365
  {yylval=itex2MML_copy_string("&sfrown;"); return MOL;}
4361
4366
  YY_BREAK
4362
4367
  case 581:
4363
4368
  YY_RULE_SETUP
4364
- #line 721 "itex2MML.l"
4369
+ #line 726 "itex2MML.l"
4365
4370
  {yylval=itex2MML_copy_string("&ssmile;"); return MOL;}
4366
4371
  YY_BREAK
4367
4372
  case 582:
4368
- #line 724 "itex2MML.l"
4373
+ #line 729 "itex2MML.l"
4369
4374
  case 583:
4370
4375
  YY_RULE_SETUP
4371
- #line 724 "itex2MML.l"
4376
+ #line 729 "itex2MML.l"
4372
4377
  {yylval=itex2MML_copy_string("&boxminus;"); return MOL;}
4373
4378
  YY_BREAK
4374
4379
  case 584:
4375
- #line 726 "itex2MML.l"
4380
+ #line 731 "itex2MML.l"
4376
4381
  case 585:
4377
4382
  YY_RULE_SETUP
4378
- #line 726 "itex2MML.l"
4383
+ #line 731 "itex2MML.l"
4379
4384
  {yylval=itex2MML_copy_string("&boxplus;"); return MOL;}
4380
4385
  YY_BREAK
4381
4386
  case 586:
4382
- #line 728 "itex2MML.l"
4387
+ #line 733 "itex2MML.l"
4383
4388
  case 587:
4384
4389
  YY_RULE_SETUP
4385
- #line 728 "itex2MML.l"
4390
+ #line 733 "itex2MML.l"
4386
4391
  {yylval=itex2MML_copy_string("&boxtimes;"); return MOL;}
4387
4392
  YY_BREAK
4388
4393
  case 588:
4389
4394
  YY_RULE_SETUP
4390
- #line 730 "itex2MML.l"
4395
+ #line 735 "itex2MML.l"
4391
4396
  {yylval=itex2MML_copy_string("&Sum;"); return MOB;}
4392
4397
  YY_BREAK
4393
4398
  case 589:
4394
- #line 733 "itex2MML.l"
4399
+ #line 738 "itex2MML.l"
4395
4400
  case 590:
4396
4401
  YY_RULE_SETUP
4397
- #line 733 "itex2MML.l"
4402
+ #line 738 "itex2MML.l"
4398
4403
  {yylval=itex2MML_copy_string("&prod;"); return MOB;}
4399
4404
  YY_BREAK
4400
4405
  case 591:
4401
- #line 736 "itex2MML.l"
4406
+ #line 741 "itex2MML.l"
4402
4407
  case 592:
4403
4408
  YY_RULE_SETUP
4404
- #line 736 "itex2MML.l"
4409
+ #line 741 "itex2MML.l"
4405
4410
  {yylval=itex2MML_copy_string("&coprod;"); return MOB;}
4406
4411
  YY_BREAK
4407
4412
  case 593:
4408
4413
  YY_RULE_SETUP
4409
- #line 738 "itex2MML.l"
4414
+ #line 743 "itex2MML.l"
4410
4415
  {yylval=itex2MML_copy_string("&otimes;"); return MOL;}
4411
4416
  YY_BREAK
4412
4417
  case 594:
4413
4418
  YY_RULE_SETUP
4414
- #line 739 "itex2MML.l"
4419
+ #line 744 "itex2MML.l"
4415
4420
  {yylval=itex2MML_copy_string("&Otimes;"); return MOL;}
4416
4421
  YY_BREAK
4417
4422
  case 595:
4418
4423
  YY_RULE_SETUP
4419
- #line 740 "itex2MML.l"
4424
+ #line 745 "itex2MML.l"
4420
4425
  {yylval=itex2MML_copy_string("&bigotimes;"); return MOL;}
4421
4426
  YY_BREAK
4422
4427
  case 596:
4423
4428
  YY_RULE_SETUP
4424
- #line 742 "itex2MML.l"
4429
+ #line 747 "itex2MML.l"
4425
4430
  {yylval=itex2MML_copy_string("&ominus;"); return MOL;}
4426
4431
  YY_BREAK
4427
4432
  case 597:
4428
4433
  YY_RULE_SETUP
4429
- #line 743 "itex2MML.l"
4434
+ #line 748 "itex2MML.l"
4430
4435
  {yylval=itex2MML_copy_string("&osol;"); return MOL;}
4431
4436
  YY_BREAK
4432
4437
  case 598:
4433
4438
  YY_RULE_SETUP
4434
- #line 745 "itex2MML.l"
4439
+ #line 750 "itex2MML.l"
4435
4440
  {yylval=itex2MML_copy_string("&oplus;"); return MOL;}
4436
4441
  YY_BREAK
4437
4442
  case 599:
4438
- #line 747 "itex2MML.l"
4443
+ #line 752 "itex2MML.l"
4439
4444
  case 600:
4440
4445
  YY_RULE_SETUP
4441
- #line 747 "itex2MML.l"
4446
+ #line 752 "itex2MML.l"
4442
4447
  {yylval=itex2MML_copy_string("&bigoplus;"); return MOB;}
4443
4448
  YY_BREAK
4444
4449
  case 601:
4445
4450
  YY_RULE_SETUP
4446
- #line 749 "itex2MML.l"
4451
+ #line 754 "itex2MML.l"
4447
4452
  {yylval=itex2MML_copy_string("&bigodot;"); return MOB;}
4448
4453
  YY_BREAK
4449
4454
  case 602:
4450
4455
  YY_RULE_SETUP
4451
- #line 750 "itex2MML.l"
4456
+ #line 755 "itex2MML.l"
4452
4457
  {yylval=itex2MML_copy_string("&bigsqcup;"); return MOB;}
4453
4458
  YY_BREAK
4454
4459
  case 603:
4455
4460
  YY_RULE_SETUP
4456
- #line 751 "itex2MML.l"
4461
+ #line 756 "itex2MML.l"
4457
4462
  {yylval=itex2MML_copy_string("&#x2A05;"); return MOB;}
4458
4463
  YY_BREAK
4459
4464
  case 604:
4460
4465
  YY_RULE_SETUP
4461
- #line 752 "itex2MML.l"
4466
+ #line 757 "itex2MML.l"
4462
4467
  {yylval=itex2MML_copy_string("&#x2AFC;"); return MOB;}
4463
4468
  YY_BREAK
4464
4469
  case 605:
4465
4470
  YY_RULE_SETUP
4466
- #line 753 "itex2MML.l"
4471
+ #line 758 "itex2MML.l"
4467
4472
  {yylval=itex2MML_copy_string("&biguplus;"); return MOB;}
4468
4473
  YY_BREAK
4469
4474
  case 606:
4470
4475
  YY_RULE_SETUP
4471
- #line 755 "itex2MML.l"
4476
+ #line 760 "itex2MML.l"
4472
4477
  {yylval=itex2MML_copy_string("&wedge;"); return MOL;}
4473
4478
  YY_BREAK
4474
4479
  case 607:
4475
- #line 757 "itex2MML.l"
4480
+ #line 762 "itex2MML.l"
4476
4481
  case 608:
4477
4482
  YY_RULE_SETUP
4478
- #line 757 "itex2MML.l"
4483
+ #line 762 "itex2MML.l"
4479
4484
  {yylval=itex2MML_copy_string("&xwedge;"); return MOB;}
4480
4485
  YY_BREAK
4481
4486
  case 609:
4482
- #line 760 "itex2MML.l"
4487
+ #line 765 "itex2MML.l"
4483
4488
  case 610:
4484
4489
  YY_RULE_SETUP
4485
- #line 760 "itex2MML.l"
4490
+ #line 765 "itex2MML.l"
4486
4491
  {yylval=itex2MML_copy_string("&bigvee;"); return MOB;}
4487
4492
  YY_BREAK
4488
4493
  case 611:
4489
- #line 763 "itex2MML.l"
4494
+ #line 768 "itex2MML.l"
4490
4495
  case 612:
4491
4496
  YY_RULE_SETUP
4492
- #line 763 "itex2MML.l"
4497
+ #line 768 "itex2MML.l"
4493
4498
  {yylval=itex2MML_copy_string("&#8523;"); return MOL;}
4494
4499
  YY_BREAK
4495
4500
  case 613:
4496
4501
  YY_RULE_SETUP
4497
- #line 765 "itex2MML.l"
4502
+ #line 770 "itex2MML.l"
4498
4503
  {return FRAC;}
4499
4504
  YY_BREAK
4500
4505
  case 614:
4501
4506
  YY_RULE_SETUP
4502
- #line 766 "itex2MML.l"
4507
+ #line 771 "itex2MML.l"
4503
4508
  {return TFRAC;}
4504
4509
  YY_BREAK
4505
4510
  case 615:
4506
4511
  YY_RULE_SETUP
4507
- #line 768 "itex2MML.l"
4512
+ #line 773 "itex2MML.l"
4508
4513
  {return BINOM;}
4509
4514
  YY_BREAK
4510
4515
  case 616:
4511
4516
  YY_RULE_SETUP
4512
- #line 769 "itex2MML.l"
4517
+ #line 774 "itex2MML.l"
4513
4518
  {return TBINOM;}
4514
4519
  YY_BREAK
4515
4520
  case 617:
4516
4521
  YY_RULE_SETUP
4517
- #line 771 "itex2MML.l"
4522
+ #line 776 "itex2MML.l"
4518
4523
  {return TENSOR;}
4519
4524
  YY_BREAK
4520
4525
  case 618:
4521
4526
  YY_RULE_SETUP
4522
- #line 773 "itex2MML.l"
4527
+ #line 778 "itex2MML.l"
4523
4528
  {return MULTI;}
4524
4529
  YY_BREAK
4525
4530
  case 619:
4526
4531
  YY_RULE_SETUP
4527
- #line 775 "itex2MML.l"
4532
+ #line 780 "itex2MML.l"
4528
4533
  {return OVERBRACE;}
4529
4534
  YY_BREAK
4530
4535
  case 620:
4531
4536
  YY_RULE_SETUP
4532
- #line 777 "itex2MML.l"
4537
+ #line 782 "itex2MML.l"
4533
4538
  {return UNDERBRACE;}
4534
4539
  YY_BREAK
4535
4540
  case 621:
4536
4541
  YY_RULE_SETUP
4537
- #line 779 "itex2MML.l"
4542
+ #line 784 "itex2MML.l"
4538
4543
  {return UNDERLINE;}
4539
4544
  YY_BREAK
4540
4545
  case 622:
4541
4546
  YY_RULE_SETUP
4542
- #line 781 "itex2MML.l"
4547
+ #line 786 "itex2MML.l"
4543
4548
  {return BAR;}
4544
4549
  YY_BREAK
4545
4550
  case 623:
4546
- #line 783 "itex2MML.l"
4551
+ #line 788 "itex2MML.l"
4547
4552
  case 624:
4548
- #line 784 "itex2MML.l"
4553
+ #line 789 "itex2MML.l"
4549
4554
  case 625:
4550
4555
  YY_RULE_SETUP
4551
- #line 784 "itex2MML.l"
4556
+ #line 789 "itex2MML.l"
4552
4557
  {return WIDEBAR;}
4553
4558
  YY_BREAK
4554
4559
  case 626:
4555
4560
  YY_RULE_SETUP
4556
- #line 786 "itex2MML.l"
4561
+ #line 791 "itex2MML.l"
4557
4562
  {return VEC;}
4558
4563
  YY_BREAK
4559
4564
  case 627:
4560
4565
  YY_RULE_SETUP
4561
- #line 787 "itex2MML.l"
4566
+ #line 792 "itex2MML.l"
4562
4567
  {return WIDEVEC;}
4563
4568
  YY_BREAK
4564
4569
  case 628:
4565
4570
  YY_RULE_SETUP
4566
- #line 789 "itex2MML.l"
4571
+ #line 794 "itex2MML.l"
4567
4572
  {return DOT;}
4568
4573
  YY_BREAK
4569
4574
  case 629:
4570
4575
  YY_RULE_SETUP
4571
- #line 790 "itex2MML.l"
4576
+ #line 795 "itex2MML.l"
4572
4577
  {return DDOT;}
4573
4578
  YY_BREAK
4574
4579
  case 630:
4575
4580
  YY_RULE_SETUP
4576
- #line 791 "itex2MML.l"
4581
+ #line 796 "itex2MML.l"
4577
4582
  {return DDDOT;}
4578
4583
  YY_BREAK
4579
4584
  case 631:
4580
4585
  YY_RULE_SETUP
4581
- #line 792 "itex2MML.l"
4586
+ #line 797 "itex2MML.l"
4582
4587
  {return DDDDOT;}
4583
4588
  YY_BREAK
4584
4589
  case 632:
4585
4590
  YY_RULE_SETUP
4586
- #line 794 "itex2MML.l"
4591
+ #line 799 "itex2MML.l"
4587
4592
  {return TILDE;}
4588
4593
  YY_BREAK
4589
4594
  case 633:
4590
4595
  YY_RULE_SETUP
4591
- #line 795 "itex2MML.l"
4596
+ #line 800 "itex2MML.l"
4592
4597
  {return WIDETILDE;}
4593
4598
  YY_BREAK
4594
4599
  case 634:
4595
4600
  YY_RULE_SETUP
4596
- #line 798 "itex2MML.l"
4601
+ #line 803 "itex2MML.l"
4597
4602
  {return CHECK;}
4598
4603
  YY_BREAK
4599
4604
  case 635:
4600
4605
  YY_RULE_SETUP
4601
- #line 799 "itex2MML.l"
4606
+ #line 804 "itex2MML.l"
4602
4607
  {return WIDECHECK;}
4603
4608
  YY_BREAK
4604
4609
  case 636:
4605
4610
  YY_RULE_SETUP
4606
- #line 802 "itex2MML.l"
4611
+ #line 807 "itex2MML.l"
4607
4612
  {return HAT;}
4608
4613
  YY_BREAK
4609
4614
  case 637:
4610
4615
  YY_RULE_SETUP
4611
- #line 803 "itex2MML.l"
4616
+ #line 808 "itex2MML.l"
4612
4617
  {return WIDEHAT;}
4613
4618
  YY_BREAK
4614
4619
  case 638:
4615
4620
  YY_RULE_SETUP
4616
- #line 805 "itex2MML.l"
4621
+ #line 810 "itex2MML.l"
4617
4622
  {return UNDER;}
4618
4623
  YY_BREAK
4619
4624
  case 639:
4620
- #line 808 "itex2MML.l"
4625
+ #line 813 "itex2MML.l"
4621
4626
  case 640:
4622
4627
  YY_RULE_SETUP
4623
- #line 808 "itex2MML.l"
4628
+ #line 813 "itex2MML.l"
4624
4629
  {return OVER;}
4625
4630
  YY_BREAK
4626
4631
  case 641:
4627
4632
  YY_RULE_SETUP
4628
- #line 810 "itex2MML.l"
4633
+ #line 815 "itex2MML.l"
4629
4634
  {return TEXOVER;}
4630
4635
  YY_BREAK
4631
4636
  case 642:
4632
4637
  YY_RULE_SETUP
4633
- #line 811 "itex2MML.l"
4638
+ #line 816 "itex2MML.l"
4634
4639
  {return TEXATOP;}
4635
4640
  YY_BREAK
4636
4641
  case 643:
4637
4642
  YY_RULE_SETUP
4638
- #line 813 "itex2MML.l"
4643
+ #line 818 "itex2MML.l"
4639
4644
  {return UNDEROVER;}
4640
4645
  YY_BREAK
4641
4646
  case 644:
4642
4647
  YY_RULE_SETUP
4643
- #line 815 "itex2MML.l"
4648
+ #line 820 "itex2MML.l"
4644
4649
  {BEGIN(OPTARG); return SQRT;}
4645
4650
  YY_BREAK
4646
4651
  case 645:
4647
4652
  YY_RULE_SETUP
4648
- #line 817 "itex2MML.l"
4653
+ #line 822 "itex2MML.l"
4649
4654
  {return ROOT;}
4650
4655
  YY_BREAK
4651
4656
  case 646:
4652
4657
  YY_RULE_SETUP
4653
- #line 819 "itex2MML.l"
4658
+ #line 824 "itex2MML.l"
4654
4659
  {BEGIN(INT1); return SPACE;}
4655
4660
  YY_BREAK
4656
4661
  case 647:
4657
4662
  YY_RULE_SETUP
4658
- #line 821 "itex2MML.l"
4663
+ #line 826 "itex2MML.l"
4659
4664
  {BEGIN(PLAINTEXT); return TEXTBOX;}
4660
4665
  YY_BREAK
4661
4666
  case 648:
4662
4667
  YY_RULE_SETUP
4663
- #line 823 "itex2MML.l"
4668
+ #line 828 "itex2MML.l"
4664
4669
  {BEGIN(PLAINTEXT); return STATLINE;}
4665
4670
  YY_BREAK
4666
4671
  case 649:
4667
4672
  YY_RULE_SETUP
4668
- #line 824 "itex2MML.l"
4673
+ #line 829 "itex2MML.l"
4669
4674
  {BEGIN(PLAINTEXT); return TOOLTIP;}
4670
4675
  YY_BREAK
4671
4676
  case 650:
4672
4677
  YY_RULE_SETUP
4673
- #line 826 "itex2MML.l"
4678
+ #line 831 "itex2MML.l"
4674
4679
  {return TOGGLE;}
4675
4680
  YY_BREAK
4676
4681
  case 651:
4677
4682
  YY_RULE_SETUP
4678
- #line 828 "itex2MML.l"
4683
+ #line 833 "itex2MML.l"
4679
4684
  {BEGIN(RAISEBOX1); return RAISEBOX;}
4680
4685
  YY_BREAK
4681
4686
  case 652:
4682
- #line 831 "itex2MML.l"
4687
+ #line 836 "itex2MML.l"
4683
4688
  case 653:
4684
4689
  YY_RULE_SETUP
4685
- #line 831 "itex2MML.l"
4690
+ #line 836 "itex2MML.l"
4686
4691
  {BEGIN(ATTRIBUTELIST); return FGHIGHLIGHT;}
4687
4692
  YY_BREAK
4688
4693
  case 654:
4689
- #line 834 "itex2MML.l"
4694
+ #line 839 "itex2MML.l"
4690
4695
  case 655:
4691
4696
  YY_RULE_SETUP
4692
- #line 834 "itex2MML.l"
4697
+ #line 839 "itex2MML.l"
4693
4698
  {BEGIN(ATTRIBUTELIST); return BGHIGHLIGHT;}
4694
4699
  YY_BREAK
4695
4700
  case 656:
4696
4701
  YY_RULE_SETUP
4697
- #line 836 "itex2MML.l"
4702
+ #line 841 "itex2MML.l"
4698
4703
  {BEGIN(ATTRIBUTELIST); return COLOR;}
4699
4704
  YY_BREAK
4700
4705
  case 657:
4701
4706
  YY_RULE_SETUP
4702
- #line 837 "itex2MML.l"
4707
+ #line 842 "itex2MML.l"
4703
4708
  {BEGIN(ATTRIBUTELIST); return BGCOLOR;}
4704
4709
  YY_BREAK
4705
4710
  case 658:
4706
4711
  YY_RULE_SETUP
4707
- #line 839 "itex2MML.l"
4712
+ #line 844 "itex2MML.l"
4708
4713
  {itex2MML_displaymode=1; itex2MML_rowposn=2; return DISPLAY;}
4709
4714
  YY_BREAK
4710
4715
  case 659:
4711
4716
  YY_RULE_SETUP
4712
- #line 841 "itex2MML.l"
4717
+ #line 846 "itex2MML.l"
4713
4718
  {itex2MML_displaymode=0; itex2MML_rowposn=2; return TEXTSTY;}
4714
4719
  YY_BREAK
4715
4720
  case 660:
4716
4721
  YY_RULE_SETUP
4717
- #line 843 "itex2MML.l"
4722
+ #line 848 "itex2MML.l"
4718
4723
  {return TEXTSIZE;}
4719
4724
  YY_BREAK
4720
4725
  case 661:
4721
4726
  YY_RULE_SETUP
4722
- #line 845 "itex2MML.l"
4727
+ #line 850 "itex2MML.l"
4723
4728
  {return SCSIZE;}
4724
4729
  YY_BREAK
4725
4730
  case 662:
4726
4731
  YY_RULE_SETUP
4727
- #line 847 "itex2MML.l"
4732
+ #line 852 "itex2MML.l"
4728
4733
  {return SCSCSIZE;}
4729
4734
  YY_BREAK
4730
4735
  case 663:
4731
4736
  YY_RULE_SETUP
4732
- #line 849 "itex2MML.l"
4737
+ #line 854 "itex2MML.l"
4733
4738
  {return ITALICS;}
4734
4739
  YY_BREAK
4735
4740
  case 664:
4736
- #line 852 "itex2MML.l"
4741
+ #line 857 "itex2MML.l"
4737
4742
  case 665:
4738
4743
  YY_RULE_SETUP
4739
- #line 852 "itex2MML.l"
4744
+ #line 857 "itex2MML.l"
4740
4745
  {return BOLD;}
4741
4746
  YY_BREAK
4742
4747
  case 666:
4743
4748
  YY_RULE_SETUP
4744
- #line 854 "itex2MML.l"
4749
+ #line 859 "itex2MML.l"
4745
4750
  {BEGIN(ROMAN); return RM;}
4746
4751
  YY_BREAK
4747
4752
  case 667:
4748
4753
  YY_RULE_SETUP
4749
- #line 856 "itex2MML.l"
4754
+ #line 861 "itex2MML.l"
4750
4755
  {BEGIN(BBOLD); return BB;}
4751
4756
  YY_BREAK
4752
4757
  case 668:
4753
- #line 859 "itex2MML.l"
4758
+ #line 864 "itex2MML.l"
4754
4759
  case 669:
4755
4760
  YY_RULE_SETUP
4756
- #line 859 "itex2MML.l"
4761
+ #line 864 "itex2MML.l"
4757
4762
  {BEGIN(FRAKTUR); return FRAK;}
4758
4763
  YY_BREAK
4759
4764
  case 670:
4760
4765
  YY_RULE_SETUP
4761
- #line 861 "itex2MML.l"
4766
+ #line 866 "itex2MML.l"
4762
4767
  {return SLASHED;}
4763
4768
  YY_BREAK
4764
4769
  case 671:
4765
4770
  YY_RULE_SETUP
4766
- #line 863 "itex2MML.l"
4771
+ #line 868 "itex2MML.l"
4767
4772
  {return BOXED;}
4768
4773
  YY_BREAK
4769
4774
  case 672:
4770
4775
  YY_RULE_SETUP
4771
- #line 865 "itex2MML.l"
4776
+ #line 870 "itex2MML.l"
4772
4777
  {BEGIN(CALLIGRAPHIC); return CAL;}
4773
4778
  YY_BREAK
4774
4779
  case 673:
4775
4780
  YY_RULE_SETUP
4776
- #line 867 "itex2MML.l"
4781
+ #line 872 "itex2MML.l"
4777
4782
  {itex2MML_env_start = 1; BEGIN(MATHENV); return BEGINENV;}
4778
4783
  YY_BREAK
4779
4784
  case 674:
4780
4785
  YY_RULE_SETUP
4781
- #line 868 "itex2MML.l"
4786
+ #line 873 "itex2MML.l"
4782
4787
  {BEGIN(MATHENV); return ENDENV;}
4783
4788
  YY_BREAK
4784
4789
  case 675:
4785
4790
  YY_RULE_SETUP
4786
- #line 870 "itex2MML.l"
4791
+ #line 875 "itex2MML.l"
4787
4792
  {return SUBSTACK;}
4788
4793
  YY_BREAK
4789
4794
  case 676:
4790
4795
  YY_RULE_SETUP
4791
- #line 872 "itex2MML.l"
4796
+ #line 877 "itex2MML.l"
4792
4797
  {return ARRAY;}
4793
4798
  YY_BREAK
4794
4799
  case 677:
4795
4800
  YY_RULE_SETUP
4796
- #line 874 "itex2MML.l"
4801
+ #line 879 "itex2MML.l"
4797
4802
  {return ARRAYOPTS;}
4798
4803
  YY_BREAK
4799
4804
  case 678:
4800
4805
  YY_RULE_SETUP
4801
- #line 876 "itex2MML.l"
4806
+ #line 881 "itex2MML.l"
4802
4807
  {BEGIN(ATTRIBUTELIST); return COLALIGN;}
4803
4808
  YY_BREAK
4804
4809
  case 679:
4805
4810
  YY_RULE_SETUP
4806
- #line 878 "itex2MML.l"
4811
+ #line 883 "itex2MML.l"
4807
4812
  {BEGIN(ATTRIBUTELIST); return COLLAYOUT;}
4808
4813
  YY_BREAK
4809
4814
  case 680:
4810
4815
  YY_RULE_SETUP
4811
- #line 880 "itex2MML.l"
4816
+ #line 885 "itex2MML.l"
4812
4817
  {BEGIN(ATTRIBUTELIST); return ROWALIGN;}
4813
4818
  YY_BREAK
4814
4819
  case 681:
4815
4820
  YY_RULE_SETUP
4816
- #line 882 "itex2MML.l"
4821
+ #line 887 "itex2MML.l"
4817
4822
  {BEGIN(ATTRIBUTELIST); return ALIGN;}
4818
4823
  YY_BREAK
4819
4824
  case 682:
4820
4825
  YY_RULE_SETUP
4821
- #line 884 "itex2MML.l"
4826
+ #line 889 "itex2MML.l"
4822
4827
  {BEGIN(ATTRIBUTELIST); return EQROWS;}
4823
4828
  YY_BREAK
4824
4829
  case 683:
4825
4830
  YY_RULE_SETUP
4826
- #line 886 "itex2MML.l"
4831
+ #line 891 "itex2MML.l"
4827
4832
  {BEGIN(ATTRIBUTELIST); return EQCOLS;}
4828
4833
  YY_BREAK
4829
4834
  case 684:
4830
4835
  YY_RULE_SETUP
4831
- #line 888 "itex2MML.l"
4836
+ #line 893 "itex2MML.l"
4832
4837
  {BEGIN(ATTRIBUTELIST); return ROWLINES;}
4833
4838
  YY_BREAK
4834
4839
  case 685:
4835
4840
  YY_RULE_SETUP
4836
- #line 890 "itex2MML.l"
4841
+ #line 895 "itex2MML.l"
4837
4842
  {BEGIN(ATTRIBUTELIST); return COLLINES;}
4838
4843
  YY_BREAK
4839
4844
  case 686:
4840
4845
  YY_RULE_SETUP
4841
- #line 892 "itex2MML.l"
4846
+ #line 897 "itex2MML.l"
4842
4847
  {BEGIN(ATTRIBUTELIST); return FRAME;}
4843
4848
  YY_BREAK
4844
4849
  case 687:
4845
4850
  YY_RULE_SETUP
4846
- #line 894 "itex2MML.l"
4851
+ #line 899 "itex2MML.l"
4847
4852
  {BEGIN(ATTRIBUTELIST); return PADDING;}
4848
4853
  YY_BREAK
4849
4854
  case 688:
4850
4855
  YY_RULE_SETUP
4851
- #line 896 "itex2MML.l"
4856
+ #line 901 "itex2MML.l"
4852
4857
  {return ROWOPTS;}
4853
4858
  YY_BREAK
4854
4859
  case 689:
4855
4860
  YY_RULE_SETUP
4856
- #line 898 "itex2MML.l"
4861
+ #line 903 "itex2MML.l"
4857
4862
  {return CELLOPTS;}
4858
4863
  YY_BREAK
4859
4864
  case 690:
4860
4865
  YY_RULE_SETUP
4861
- #line 900 "itex2MML.l"
4866
+ #line 905 "itex2MML.l"
4862
4867
  {BEGIN(ATTRIBUTELIST); return ROWSPAN;}
4863
4868
  YY_BREAK
4864
4869
  case 691:
4865
4870
  YY_RULE_SETUP
4866
- #line 902 "itex2MML.l"
4871
+ #line 907 "itex2MML.l"
4867
4872
  {BEGIN(ATTRIBUTELIST); return COLSPAN;}
4868
4873
  YY_BREAK
4869
4874
  case 692:
4870
- #line 906 "itex2MML.l"
4875
+ #line 911 "itex2MML.l"
4871
4876
  case 693:
4872
4877
  YY_RULE_SETUP
4873
- #line 906 "itex2MML.l"
4878
+ #line 911 "itex2MML.l"
4874
4879
  {return THINSPACE;}
4875
4880
  YY_BREAK
4876
4881
  case 694:
4877
- #line 909 "itex2MML.l"
4882
+ #line 914 "itex2MML.l"
4878
4883
  case 695:
4879
4884
  YY_RULE_SETUP
4880
- #line 909 "itex2MML.l"
4885
+ #line 914 "itex2MML.l"
4881
4886
  {return MEDSPACE;}
4882
4887
  YY_BREAK
4883
4888
  case 696:
4884
- #line 912 "itex2MML.l"
4889
+ #line 917 "itex2MML.l"
4885
4890
  case 697:
4886
4891
  YY_RULE_SETUP
4887
- #line 912 "itex2MML.l"
4892
+ #line 917 "itex2MML.l"
4888
4893
  {return THICKSPACE;}
4889
4894
  YY_BREAK
4890
4895
  case 698:
4891
4896
  YY_RULE_SETUP
4892
- #line 914 "itex2MML.l"
4897
+ #line 919 "itex2MML.l"
4893
4898
  {return QUAD;}
4894
4899
  YY_BREAK
4895
4900
  case 699:
4896
4901
  YY_RULE_SETUP
4897
- #line 915 "itex2MML.l"
4902
+ #line 920 "itex2MML.l"
4898
4903
  {return QQUAD;}
4899
4904
  YY_BREAK
4900
4905
  case 700:
4901
- #line 918 "itex2MML.l"
4906
+ #line 923 "itex2MML.l"
4902
4907
  case 701:
4903
4908
  YY_RULE_SETUP
4904
- #line 918 "itex2MML.l"
4909
+ #line 923 "itex2MML.l"
4905
4910
  {return NEGSPACE;}
4906
4911
  YY_BREAK
4907
4912
  case 702:
4908
4913
  YY_RULE_SETUP
4909
- #line 920 "itex2MML.l"
4914
+ #line 925 "itex2MML.l"
4910
4915
  {return PHANTOM;}
4911
4916
  YY_BREAK
4912
4917
  case 703:
4913
4918
  YY_RULE_SETUP
4914
- #line 922 "itex2MML.l"
4919
+ #line 927 "itex2MML.l"
4915
4920
  {BEGIN(PLAINTEXT); return HREF;}
4916
4921
  YY_BREAK
4917
4922
  case 704:
4918
4923
  YY_RULE_SETUP
4919
- #line 924 "itex2MML.l"
4924
+ #line 929 "itex2MML.l"
4920
4925
  {BEGIN(PLAINTEXT); return OPERATORNAME;}
4921
4926
  YY_BREAK
4922
4927
  case 705:
4923
4928
  YY_RULE_SETUP
4924
- #line 925 "itex2MML.l"
4929
+ #line 930 "itex2MML.l"
4925
4930
  {BEGIN(PLAINTEXT); return MATHOP;}
4926
4931
  YY_BREAK
4927
4932
  case 706:
4928
4933
  YY_RULE_SETUP
4929
- #line 926 "itex2MML.l"
4934
+ #line 931 "itex2MML.l"
4930
4935
  {BEGIN(PLAINTEXT); return MATHBIN;}
4931
4936
  YY_BREAK
4932
4937
  case 707:
4933
4938
  YY_RULE_SETUP
4934
- #line 927 "itex2MML.l"
4939
+ #line 932 "itex2MML.l"
4935
4940
  {BEGIN(PLAINTEXT); return MATHREL;}
4936
4941
  YY_BREAK
4937
4942
  case 708:
4938
4943
  YY_RULE_SETUP
4939
- #line 928 "itex2MML.l"
4944
+ #line 933 "itex2MML.l"
4940
4945
  {BEGIN(PLAINTEXT); return ITEXNUM;}
4941
4946
  YY_BREAK
4942
4947
  case 709:
4943
4948
  /* rule 709 can match eol */
4944
4949
  YY_RULE_SETUP
4945
- #line 930 "itex2MML.l"
4950
+ #line 935 "itex2MML.l"
4946
4951
  ;
4947
4952
  YY_BREAK
4948
4953
  case 710:
4949
4954
  YY_RULE_SETUP
4950
- #line 932 "itex2MML.l"
4955
+ #line 937 "itex2MML.l"
4951
4956
  {yylval=itex2MML_copy_string(itex2MML_yytext+1); return MOP;}
4952
4957
  YY_BREAK
4953
4958
  case 711:
4954
- #line 935 "itex2MML.l"
4959
+ #line 940 "itex2MML.l"
4955
4960
  case 712:
4956
- #line 936 "itex2MML.l"
4961
+ #line 941 "itex2MML.l"
4957
4962
  case 713:
4958
4963
  YY_RULE_SETUP
4959
- #line 936 "itex2MML.l"
4964
+ #line 941 "itex2MML.l"
4960
4965
  {yylval=itex2MML_copy_string(itex2MML_yytext); return MI;}
4961
4966
  YY_BREAK
4962
4967
  case 714:
4963
4968
  /* rule 714 can match eol */
4964
4969
  YY_RULE_SETUP
4965
- #line 938 "itex2MML.l"
4970
+ #line 943 "itex2MML.l"
4966
4971
  itex2MML_lineno++;
4967
4972
  YY_BREAK
4968
4973
  case 715:
4969
4974
  YY_RULE_SETUP
4970
- #line 939 "itex2MML.l"
4975
+ #line 944 "itex2MML.l"
4971
4976
  ;
4972
4977
  YY_BREAK
4973
4978
  case 716:
4974
4979
  YY_RULE_SETUP
4975
- #line 942 "itex2MML.l"
4980
+ #line 947 "itex2MML.l"
4976
4981
  {return UNKNOWNCHAR;}
4977
4982
  YY_BREAK
4978
4983
 
4979
4984
  case 717:
4980
4985
  /* rule 717 can match eol */
4981
4986
  YY_RULE_SETUP
4982
- #line 945 "itex2MML.l"
4987
+ #line 950 "itex2MML.l"
4983
4988
  {BEGIN(MATH); yylval=itex2MML_copy_string(itex2MML_yytext); if (yylval != itex2MML_empty_string) { yylval[0]='"'; yylval[itex2MML_yyleng-1]='"'; } return ATTRLIST;}
4984
4989
  YY_BREAK
4985
4990
 
4986
4991
  case 718:
4987
4992
  YY_RULE_SETUP
4988
- #line 948 "itex2MML.l"
4993
+ #line 953 "itex2MML.l"
4989
4994
  {if(itex2MML_optarg_ind < itex2MML_optarg_depth - 1 && itex2MML_inoptarg[itex2MML_optarg_ind] !=1 ){itex2MML_optarg_ind++; itex2MML_inoptarg[itex2MML_optarg_ind]=1;}; BEGIN(MATH); return OPTARGOPEN;}
4990
4995
  YY_BREAK
4991
4996
  case 719:
4992
4997
  /* rule 719 can match eol */
4993
4998
  YY_RULE_SETUP
4994
- #line 949 "itex2MML.l"
4999
+ #line 954 "itex2MML.l"
4995
5000
  ;
4996
5001
  YY_BREAK
4997
5002
  case 720:
4998
5003
  YY_RULE_SETUP
4999
- #line 950 "itex2MML.l"
5000
- {BEGIN(MATH); unput(itex2MML_yytext[0]);}
5004
+ #line 955 "itex2MML.l"
5005
+ {itex2MML_eqn_src[itex2MML_eqn_end-itex2MML_eqn_src]=0; --itex2MML_eqn_end; BEGIN(MATH); unput(itex2MML_yytext[0]);}
5001
5006
  YY_BREAK
5002
5007
 
5003
5008
 
5004
5009
  case 721:
5005
5010
  /* rule 721 can match eol */
5006
5011
  YY_RULE_SETUP
5007
- #line 954 "itex2MML.l"
5012
+ #line 959 "itex2MML.l"
5008
5013
  {BEGIN(RAISEBOX2); return NEG;}
5009
5014
  YY_BREAK
5010
5015
  case 722:
5011
5016
  /* rule 722 can match eol */
5012
5017
  YY_RULE_SETUP
5013
- #line 955 "itex2MML.l"
5018
+ #line 960 "itex2MML.l"
5014
5019
  {BEGIN(RAISEBOX2);}
5015
5020
  YY_BREAK
5016
5021
 
@@ -5018,7 +5023,7 @@ YY_RULE_SETUP
5018
5023
  case 723:
5019
5024
  /* rule 723 can match eol */
5020
5025
  YY_RULE_SETUP
5021
- #line 959 "itex2MML.l"
5026
+ #line 964 "itex2MML.l"
5022
5027
  {yylval=itex2MML_copy_string(itex2MML_yytext); if ((itex2MML_yyleng > 1) && (yylval != itex2MML_empty_string)) yylval[itex2MML_yyleng-1]='\0'; BEGIN(TEXTOPTARG1); return TEXTSTRING;}
5023
5028
  YY_BREAK
5024
5029
 
@@ -5026,290 +5031,290 @@ YY_RULE_SETUP
5026
5031
  case 724:
5027
5032
  /* rule 724 can match eol */
5028
5033
  YY_RULE_SETUP
5029
- #line 964 "itex2MML.l"
5034
+ #line 969 "itex2MML.l"
5030
5035
  {yylval=itex2MML_copy_string(itex2MML_yytext+1); if ((itex2MML_yyleng > 1) && (yylval != itex2MML_empty_string)) yylval[itex2MML_yyleng-2]='\0'; BEGIN(TEXTOPTARG); return TEXTSTRING;}
5031
5036
  YY_BREAK
5032
5037
  case 725:
5033
5038
  YY_RULE_SETUP
5034
- #line 965 "itex2MML.l"
5035
- {BEGIN(MATH); unput(itex2MML_yytext[0]);}
5039
+ #line 970 "itex2MML.l"
5040
+ {itex2MML_eqn_src[itex2MML_eqn_end-itex2MML_eqn_src]=0; --itex2MML_eqn_end; BEGIN(MATH); unput(itex2MML_yytext[0]);}
5036
5041
  YY_BREAK
5037
5042
 
5038
5043
 
5039
5044
  case 726:
5040
5045
  /* rule 726 can match eol */
5041
5046
  YY_RULE_SETUP
5042
- #line 969 "itex2MML.l"
5047
+ #line 974 "itex2MML.l"
5043
5048
  {yylval=itex2MML_copy_string(itex2MML_yytext+1); if ((itex2MML_yyleng > 1) && (yylval != itex2MML_empty_string)) yylval[itex2MML_yyleng-2]='\0'; BEGIN(MATH); return TEXTSTRING;}
5044
5049
  YY_BREAK
5045
5050
  case 727:
5046
5051
  YY_RULE_SETUP
5047
- #line 970 "itex2MML.l"
5048
- {BEGIN(MATH); unput(itex2MML_yytext[0]);}
5052
+ #line 975 "itex2MML.l"
5053
+ {itex2MML_eqn_src[itex2MML_eqn_end-itex2MML_eqn_src]=0; --itex2MML_eqn_end; BEGIN(MATH); unput(itex2MML_yytext[0]);}
5049
5054
  YY_BREAK
5050
5055
 
5051
5056
 
5052
5057
  case 728:
5053
5058
  YY_RULE_SETUP
5054
- #line 974 "itex2MML.l"
5059
+ #line 979 "itex2MML.l"
5055
5060
  {itex2MML_env_start = 0; BEGIN(MATH); return MATRIX;}
5056
5061
  YY_BREAK
5057
5062
  case 729:
5058
5063
  YY_RULE_SETUP
5059
- #line 975 "itex2MML.l"
5064
+ #line 980 "itex2MML.l"
5060
5065
  {itex2MML_env_start = 0; BEGIN(MATH); return PMATRIX;}
5061
5066
  YY_BREAK
5062
5067
  case 730:
5063
5068
  YY_RULE_SETUP
5064
- #line 976 "itex2MML.l"
5069
+ #line 981 "itex2MML.l"
5065
5070
  {itex2MML_env_start = 0; BEGIN(MATH); return BMATRIX;}
5066
5071
  YY_BREAK
5067
5072
  case 731:
5068
5073
  YY_RULE_SETUP
5069
- #line 977 "itex2MML.l"
5074
+ #line 982 "itex2MML.l"
5070
5075
  {itex2MML_env_start = 0; BEGIN(MATH); return BBMATRIX;}
5071
5076
  YY_BREAK
5072
5077
  case 732:
5073
5078
  YY_RULE_SETUP
5074
- #line 978 "itex2MML.l"
5079
+ #line 983 "itex2MML.l"
5075
5080
  {itex2MML_env_start = 0; BEGIN(MATH); return VMATRIX;}
5076
5081
  YY_BREAK
5077
5082
  case 733:
5078
5083
  YY_RULE_SETUP
5079
- #line 979 "itex2MML.l"
5084
+ #line 984 "itex2MML.l"
5080
5085
  {itex2MML_env_start = 0; BEGIN(MATH); return VVMATRIX;}
5081
5086
  YY_BREAK
5082
5087
  case 734:
5083
5088
  YY_RULE_SETUP
5084
- #line 980 "itex2MML.l"
5089
+ #line 985 "itex2MML.l"
5085
5090
  {itex2MML_env_start = 0; BEGIN(MATH); return SMALLMATRIX;}
5086
5091
  YY_BREAK
5087
5092
  case 735:
5088
5093
  YY_RULE_SETUP
5089
- #line 981 "itex2MML.l"
5094
+ #line 986 "itex2MML.l"
5090
5095
  {itex2MML_env_start = 0; BEGIN(MATH); return CASES;}
5091
5096
  YY_BREAK
5092
5097
  case 736:
5093
5098
  YY_RULE_SETUP
5094
- #line 982 "itex2MML.l"
5099
+ #line 987 "itex2MML.l"
5095
5100
  {itex2MML_env_start = 0; BEGIN(MATH); return ALIGNED;}
5096
5101
  YY_BREAK
5097
5102
  case 737:
5098
5103
  YY_RULE_SETUP
5099
- #line 983 "itex2MML.l"
5104
+ #line 988 "itex2MML.l"
5100
5105
  {itex2MML_env_start = 0; BEGIN(MATH); return GATHERED;}
5101
5106
  YY_BREAK
5102
5107
  case 738:
5103
5108
  YY_RULE_SETUP
5104
- #line 984 "itex2MML.l"
5109
+ #line 989 "itex2MML.l"
5105
5110
  {itex2MML_env_start = 0; BEGIN(MATH); return ALIGNED;}
5106
5111
  YY_BREAK
5107
5112
  case 739:
5108
5113
  YY_RULE_SETUP
5109
- #line 985 "itex2MML.l"
5114
+ #line 990 "itex2MML.l"
5110
5115
  {if (itex2MML_env_start == 1) BEGIN(ARRAYOPTIONS); else BEGIN(MATH); return ARRAY;}
5111
5116
  YY_BREAK
5112
5117
  case 740:
5113
5118
  YY_RULE_SETUP
5114
- #line 986 "itex2MML.l"
5119
+ #line 991 "itex2MML.l"
5115
5120
  {itex2MML_env_start = 0; BEGIN(SVGENV); return SVG;}
5116
5121
  YY_BREAK
5117
5122
 
5118
5123
 
5119
5124
  case 741:
5120
5125
  YY_RULE_SETUP
5121
- #line 990 "itex2MML.l"
5126
+ #line 995 "itex2MML.l"
5122
5127
  {yylval=itex2MML_copy_string("axis 1"); return ARRAYALIGN;}
5123
5128
  YY_BREAK
5124
5129
  case 742:
5125
5130
  YY_RULE_SETUP
5126
- #line 991 "itex2MML.l"
5131
+ #line 996 "itex2MML.l"
5127
5132
  {yylval=itex2MML_copy_string("center"); return ARRAYALIGN;}
5128
5133
  YY_BREAK
5129
5134
  case 743:
5130
5135
  YY_RULE_SETUP
5131
- #line 992 "itex2MML.l"
5136
+ #line 997 "itex2MML.l"
5132
5137
  {yylval=itex2MML_copy_string("axis -1"); return ARRAYALIGN;}
5133
5138
  YY_BREAK
5134
5139
  case 744:
5135
5140
  YY_RULE_SETUP
5136
- #line 993 "itex2MML.l"
5141
+ #line 998 "itex2MML.l"
5137
5142
  {BEGIN(COLOPTS); return ST;}
5138
5143
  YY_BREAK
5139
5144
  case 745:
5140
5145
  /* rule 745 can match eol */
5141
5146
  YY_RULE_SETUP
5142
- #line 994 "itex2MML.l"
5147
+ #line 999 "itex2MML.l"
5143
5148
  ;
5144
5149
  YY_BREAK
5145
5150
 
5146
5151
 
5147
5152
  case 746:
5148
5153
  YY_RULE_SETUP
5149
- #line 998 "itex2MML.l"
5154
+ #line 1003 "itex2MML.l"
5150
5155
  {itex2MML_env_start = 0; BEGIN(MATH); return END;}
5151
5156
  YY_BREAK
5152
5157
  case 747:
5153
5158
  YY_RULE_SETUP
5154
- #line 999 "itex2MML.l"
5159
+ #line 1004 "itex2MML.l"
5155
5160
  {yylval=itex2MML_copy_string("center"); return COLUMNALIGN;}
5156
5161
  YY_BREAK
5157
5162
  case 748:
5158
5163
  YY_RULE_SETUP
5159
- #line 1000 "itex2MML.l"
5164
+ #line 1005 "itex2MML.l"
5160
5165
  {yylval=itex2MML_copy_string("left"); return COLUMNALIGN;}
5161
5166
  YY_BREAK
5162
5167
  case 749:
5163
5168
  YY_RULE_SETUP
5164
- #line 1001 "itex2MML.l"
5169
+ #line 1006 "itex2MML.l"
5165
5170
  {yylval=itex2MML_copy_string("right"); return COLUMNALIGN;}
5166
5171
  YY_BREAK
5167
5172
  case 750:
5168
5173
  /* rule 750 can match eol */
5169
5174
  YY_RULE_SETUP
5170
- #line 1002 "itex2MML.l"
5175
+ #line 1007 "itex2MML.l"
5171
5176
  ;
5172
5177
  YY_BREAK
5173
5178
 
5174
5179
 
5175
5180
  case 751:
5176
5181
  YY_RULE_SETUP
5177
- #line 1006 "itex2MML.l"
5178
- {yylval=itex2MML_copy_string(itex2MML_yytext); yylval[itex2MML_yyleng-8]=0; BEGIN(SVGEND); return XMLSTRING;}
5182
+ #line 1011 "itex2MML.l"
5183
+ {itex2MML_do_capture_eqn(); yylval=itex2MML_copy_string(itex2MML_yytext); yylval[itex2MML_yyleng-8]=0; BEGIN(SVGEND); return XMLSTRING;}
5179
5184
  YY_BREAK
5180
5185
  case 752:
5181
5186
  /* rule 752 can match eol */
5182
5187
  YY_RULE_SETUP
5183
- #line 1007 "itex2MML.l"
5188
+ #line 1012 "itex2MML.l"
5184
5189
  {yymore();}
5185
5190
  YY_BREAK
5186
5191
 
5187
5192
 
5188
5193
  case 753:
5189
5194
  YY_RULE_SETUP
5190
- #line 1011 "itex2MML.l"
5195
+ #line 1016 "itex2MML.l"
5191
5196
  {BEGIN(MATH); return ENDSVG;}
5192
5197
  YY_BREAK
5193
5198
 
5194
5199
 
5195
5200
  case 754:
5196
5201
  YY_RULE_SETUP
5197
- #line 1015 "itex2MML.l"
5202
+ #line 1020 "itex2MML.l"
5198
5203
  {return ST;}
5199
5204
  YY_BREAK
5200
5205
  case 755:
5201
5206
  YY_RULE_SETUP
5202
- #line 1016 "itex2MML.l"
5207
+ #line 1021 "itex2MML.l"
5203
5208
  {BEGIN(MATH); return END;}
5204
5209
  YY_BREAK
5205
5210
  case 756:
5206
5211
  YY_RULE_SETUP
5207
- #line 1017 "itex2MML.l"
5212
+ #line 1022 "itex2MML.l"
5208
5213
  {yylval=itex2MML_copy_string(itex2MML_yytext); return RMCHAR;}
5209
5214
  YY_BREAK
5210
5215
  case 757:
5211
5216
  /* rule 757 can match eol */
5212
5217
  YY_RULE_SETUP
5213
- #line 1018 "itex2MML.l"
5218
+ #line 1023 "itex2MML.l"
5214
5219
  ;
5215
5220
  YY_BREAK
5216
5221
  case 758:
5217
5222
  YY_RULE_SETUP
5218
- #line 1019 "itex2MML.l"
5223
+ #line 1024 "itex2MML.l"
5219
5224
  {return itex2MML_yytext[0];}
5220
5225
  YY_BREAK
5221
5226
 
5222
5227
 
5223
5228
  case 759:
5224
5229
  YY_RULE_SETUP
5225
- #line 1023 "itex2MML.l"
5230
+ #line 1028 "itex2MML.l"
5226
5231
  {return ST;}
5227
5232
  YY_BREAK
5228
5233
  case 760:
5229
5234
  YY_RULE_SETUP
5230
- #line 1024 "itex2MML.l"
5235
+ #line 1029 "itex2MML.l"
5231
5236
  {BEGIN(MATH); return END;}
5232
5237
  YY_BREAK
5233
5238
  case 761:
5234
5239
  YY_RULE_SETUP
5235
- #line 1025 "itex2MML.l"
5240
+ #line 1030 "itex2MML.l"
5236
5241
  {yylval=itex2MML_copy_string(itex2MML_yytext); return BBLOWERCHAR;}
5237
5242
  YY_BREAK
5238
5243
  case 762:
5239
5244
  YY_RULE_SETUP
5240
- #line 1026 "itex2MML.l"
5245
+ #line 1031 "itex2MML.l"
5241
5246
  {yylval=itex2MML_copy_string(itex2MML_yytext); return BBUPPERCHAR;}
5242
5247
  YY_BREAK
5243
5248
  case 763:
5244
5249
  YY_RULE_SETUP
5245
- #line 1027 "itex2MML.l"
5250
+ #line 1032 "itex2MML.l"
5246
5251
  {yylval=itex2MML_copy_string(itex2MML_yytext); return BBDIGIT;}
5247
5252
  YY_BREAK
5248
5253
  case 764:
5249
5254
  /* rule 764 can match eol */
5250
5255
  YY_RULE_SETUP
5251
- #line 1028 "itex2MML.l"
5256
+ #line 1033 "itex2MML.l"
5252
5257
  ;
5253
5258
  YY_BREAK
5254
5259
  case 765:
5255
5260
  YY_RULE_SETUP
5256
- #line 1029 "itex2MML.l"
5261
+ #line 1034 "itex2MML.l"
5257
5262
  {return itex2MML_yytext[0];}
5258
5263
  YY_BREAK
5259
5264
 
5260
5265
 
5261
5266
  case 766:
5262
5267
  YY_RULE_SETUP
5263
- #line 1033 "itex2MML.l"
5268
+ #line 1038 "itex2MML.l"
5264
5269
  {return ST;}
5265
5270
  YY_BREAK
5266
5271
  case 767:
5267
5272
  YY_RULE_SETUP
5268
- #line 1034 "itex2MML.l"
5273
+ #line 1039 "itex2MML.l"
5269
5274
  {BEGIN(MATH); return END;}
5270
5275
  YY_BREAK
5271
5276
  case 768:
5272
5277
  YY_RULE_SETUP
5273
- #line 1035 "itex2MML.l"
5278
+ #line 1040 "itex2MML.l"
5274
5279
  {yylval=itex2MML_copy_string(itex2MML_yytext); return CALCHAR;}
5275
5280
  YY_BREAK
5276
5281
  case 769:
5277
5282
  /* rule 769 can match eol */
5278
5283
  YY_RULE_SETUP
5279
- #line 1036 "itex2MML.l"
5284
+ #line 1041 "itex2MML.l"
5280
5285
  ;
5281
5286
  YY_BREAK
5282
5287
  case 770:
5283
5288
  YY_RULE_SETUP
5284
- #line 1037 "itex2MML.l"
5289
+ #line 1042 "itex2MML.l"
5285
5290
  {return itex2MML_yytext[0];}
5286
5291
  YY_BREAK
5287
5292
 
5288
5293
 
5289
5294
  case 771:
5290
5295
  YY_RULE_SETUP
5291
- #line 1041 "itex2MML.l"
5296
+ #line 1046 "itex2MML.l"
5292
5297
  {return ST;}
5293
5298
  YY_BREAK
5294
5299
  case 772:
5295
5300
  YY_RULE_SETUP
5296
- #line 1042 "itex2MML.l"
5301
+ #line 1047 "itex2MML.l"
5297
5302
  {BEGIN(MATH); return END;}
5298
5303
  YY_BREAK
5299
5304
  case 773:
5300
5305
  YY_RULE_SETUP
5301
- #line 1043 "itex2MML.l"
5306
+ #line 1048 "itex2MML.l"
5302
5307
  {yylval=itex2MML_copy_string(itex2MML_yytext); return FRAKCHAR;}
5303
5308
  YY_BREAK
5304
5309
  case 774:
5305
5310
  /* rule 774 can match eol */
5306
5311
  YY_RULE_SETUP
5307
- #line 1044 "itex2MML.l"
5312
+ #line 1049 "itex2MML.l"
5308
5313
  ;
5309
5314
  YY_BREAK
5310
5315
  case 775:
5311
5316
  YY_RULE_SETUP
5312
- #line 1045 "itex2MML.l"
5317
+ #line 1050 "itex2MML.l"
5313
5318
  {return itex2MML_yytext[0];}
5314
5319
  YY_BREAK
5315
5320
 
@@ -5317,100 +5322,100 @@ YY_RULE_SETUP
5317
5322
  case 776:
5318
5323
  /* rule 776 can match eol */
5319
5324
  YY_RULE_SETUP
5320
- #line 1049 "itex2MML.l"
5325
+ #line 1054 "itex2MML.l"
5321
5326
  {yylval=itex2MML_copy_string(itex2MML_yytext+1); if ((itex2MML_yyleng > 1) && (yylval != itex2MML_empty_string)) yylval[itex2MML_yyleng-2]='\0'; BEGIN(MATH); return TEXTSTRING;}
5322
5327
  YY_BREAK
5323
5328
 
5324
5329
 
5325
5330
  case 777:
5326
5331
  YY_RULE_SETUP
5327
- #line 1053 "itex2MML.l"
5332
+ #line 1058 "itex2MML.l"
5328
5333
  {return ST;}
5329
5334
  YY_BREAK
5330
5335
  case 778:
5331
5336
  YY_RULE_SETUP
5332
- #line 1054 "itex2MML.l"
5337
+ #line 1059 "itex2MML.l"
5333
5338
  {BEGIN(INT2); return END;}
5334
5339
  YY_BREAK
5335
5340
  case 779:
5336
5341
  YY_RULE_SETUP
5337
- #line 1055 "itex2MML.l"
5342
+ #line 1060 "itex2MML.l"
5338
5343
  {yylval=itex2MML_copy_string_extra(itex2MML_yytext, 1); if (itex2MML_yyleng && (yylval != itex2MML_empty_string)) { yylval[itex2MML_yyleng]=yylval[itex2MML_yyleng-1]; yylval[itex2MML_yyleng-1]='.'; yylval[itex2MML_yyleng+1]='\0'; } return INTONE;}
5339
5344
  YY_BREAK
5340
5345
  case 780:
5341
5346
  /* rule 780 can match eol */
5342
5347
  YY_RULE_SETUP
5343
- #line 1056 "itex2MML.l"
5348
+ #line 1061 "itex2MML.l"
5344
5349
  ;
5345
5350
  YY_BREAK
5346
5351
  case 781:
5347
5352
  YY_RULE_SETUP
5348
- #line 1057 "itex2MML.l"
5353
+ #line 1062 "itex2MML.l"
5349
5354
  {return itex2MML_yytext[0];}
5350
5355
  YY_BREAK
5351
5356
 
5352
5357
 
5353
5358
  case 782:
5354
5359
  YY_RULE_SETUP
5355
- #line 1061 "itex2MML.l"
5360
+ #line 1066 "itex2MML.l"
5356
5361
  {return ST;}
5357
5362
  YY_BREAK
5358
5363
  case 783:
5359
5364
  YY_RULE_SETUP
5360
- #line 1062 "itex2MML.l"
5365
+ #line 1067 "itex2MML.l"
5361
5366
  {BEGIN(INT3); return END;}
5362
5367
  YY_BREAK
5363
5368
  case 784:
5364
5369
  YY_RULE_SETUP
5365
- #line 1063 "itex2MML.l"
5370
+ #line 1068 "itex2MML.l"
5366
5371
  {yylval=itex2MML_copy_string_extra(itex2MML_yytext, 1); if (itex2MML_yyleng && (yylval != itex2MML_empty_string)) { yylval[itex2MML_yyleng]=yylval[itex2MML_yyleng-1]; yylval[itex2MML_yyleng-1]='.'; yylval[itex2MML_yyleng+1]='\0'; } return INTTWO;}
5367
5372
  YY_BREAK
5368
5373
  case 785:
5369
5374
  /* rule 785 can match eol */
5370
5375
  YY_RULE_SETUP
5371
- #line 1064 "itex2MML.l"
5376
+ #line 1069 "itex2MML.l"
5372
5377
  ;
5373
5378
  YY_BREAK
5374
5379
  case 786:
5375
5380
  YY_RULE_SETUP
5376
- #line 1065 "itex2MML.l"
5381
+ #line 1070 "itex2MML.l"
5377
5382
  {return itex2MML_yytext[0];}
5378
5383
  YY_BREAK
5379
5384
 
5380
5385
 
5381
5386
  case 787:
5382
5387
  YY_RULE_SETUP
5383
- #line 1069 "itex2MML.l"
5388
+ #line 1074 "itex2MML.l"
5384
5389
  {return ST;}
5385
5390
  YY_BREAK
5386
5391
  case 788:
5387
5392
  YY_RULE_SETUP
5388
- #line 1070 "itex2MML.l"
5393
+ #line 1075 "itex2MML.l"
5389
5394
  {BEGIN(MATH); return END;}
5390
5395
  YY_BREAK
5391
5396
  case 789:
5392
5397
  YY_RULE_SETUP
5393
- #line 1071 "itex2MML.l"
5398
+ #line 1076 "itex2MML.l"
5394
5399
  {yylval=itex2MML_copy_string_extra(itex2MML_yytext, 1); if (itex2MML_yyleng && (yylval != itex2MML_empty_string)) { yylval[itex2MML_yyleng]=yylval[itex2MML_yyleng-1]; yylval[itex2MML_yyleng-1]='.'; yylval[itex2MML_yyleng+1]='\0'; } return INTTHREE;}
5395
5400
  YY_BREAK
5396
5401
  case 790:
5397
5402
  /* rule 790 can match eol */
5398
5403
  YY_RULE_SETUP
5399
- #line 1072 "itex2MML.l"
5404
+ #line 1077 "itex2MML.l"
5400
5405
  ;
5401
5406
  YY_BREAK
5402
5407
  case 791:
5403
5408
  YY_RULE_SETUP
5404
- #line 1073 "itex2MML.l"
5409
+ #line 1078 "itex2MML.l"
5405
5410
  {return itex2MML_yytext[0];}
5406
5411
  YY_BREAK
5407
5412
 
5408
5413
  case 792:
5409
5414
  YY_RULE_SETUP
5410
- #line 1078 "itex2MML.l"
5415
+ #line 1083 "itex2MML.l"
5411
5416
  ECHO;
5412
5417
  YY_BREAK
5413
- #line 5414 "lex.yy.c"
5418
+ #line 5419 "lex.yy.c"
5414
5419
  case YY_STATE_EOF(INITIAL):
5415
5420
  case YY_STATE_EOF(MATH):
5416
5421
  case YY_STATE_EOF(ATTRIBUTELIST):
@@ -6427,7 +6432,7 @@ void itex2MML_yyfree (void * ptr )
6427
6432
 
6428
6433
  #define YYTABLES_NAME "yytables"
6429
6434
 
6430
- #line 1078 "itex2MML.l"
6435
+ #line 1083 "itex2MML.l"
6431
6436
 
6432
6437
 
6433
6438
 
@@ -6447,6 +6452,21 @@ void itex2MML_setup (const char * buffer, unsigned long length)
6447
6452
  s_itex2MML_length = length;
6448
6453
  }
6449
6454
 
6455
+ int itex2MML_capture_eqn_src()
6456
+ {
6457
+ if (YY_START != INITIAL && YY_START != SVGENV)
6458
+ itex2MML_do_capture_eqn();
6459
+ }
6460
+
6461
+ int itex2MML_do_capture_eqn()
6462
+ {
6463
+ if (itex2MML_eqn_bufsize - (itex2MML_eqn_end-itex2MML_eqn_src+itex2MML_yyleng) > 1)
6464
+ {
6465
+ strcpy(itex2MML_eqn_end, itex2MML_yytext);
6466
+ itex2MML_eqn_end += itex2MML_yyleng;
6467
+ }
6468
+ }
6469
+
6450
6470
  static int s_itex2MML_read (char * buffer, int max_size)
6451
6471
  {
6452
6472
  int result = 0;