itextomml 1.5.2 → 1.5.3

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (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
  {