itextomml 1.5.2 → 1.5.3

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