itextomml 1.4.11 → 1.5.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (5) hide show
  1. data/ext/itex2MML.h +3 -3
  2. data/ext/itex2MML_ruby.c +14 -25
  3. data/ext/lex.yy.c +824 -804
  4. data/ext/y.tab.c +275 -269
  5. metadata +5 -5
data/ext/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;