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.
- checksums.yaml +4 -4
- data/ext/itex2MML.h +9 -9
- data/ext/itex2MML_ruby.c +148 -127
- data/ext/lex.yy.c +815 -812
- data/ext/y.tab.c +2243 -2217
- data/ext/y.tab.h +195 -188
- data/lib/itex_stringsupport.rb +8 -20
- data/lib/itextomml.rb +73 -0
- 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 = (
|
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.
|
2395
|
-
* itex2MML.l last modified
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
2758
|
+
#line 60 "itex2MML.l"
|
2756
2759
|
case 7:
|
2757
2760
|
YY_RULE_SETUP
|
2758
|
-
#line
|
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
|
2766
|
+
#line 63 "itex2MML.l"
|
2764
2767
|
return SUP;
|
2765
2768
|
YY_BREAK
|
2766
2769
|
case 9:
|
2767
2770
|
YY_RULE_SETUP
|
2768
|
-
#line
|
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
|
2777
|
+
#line 65 "itex2MML.l"
|
2775
2778
|
return EMPTYMROW;
|
2776
2779
|
YY_BREAK
|
2777
2780
|
case 11:
|
2778
2781
|
YY_RULE_SETUP
|
2779
|
-
#line
|
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
|
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
|
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
|
2797
|
+
#line 70 "itex2MML.l"
|
2795
2798
|
return RIGHT;
|
2796
2799
|
YY_BREAK
|
2797
2800
|
case 15:
|
2798
|
-
#line
|
2801
|
+
#line 73 "itex2MML.l"
|
2799
2802
|
case 16:
|
2800
2803
|
YY_RULE_SETUP
|
2801
|
-
#line
|
2804
|
+
#line 73 "itex2MML.l"
|
2802
2805
|
{return BIG;}
|
2803
2806
|
YY_BREAK
|
2804
2807
|
case 17:
|
2805
|
-
#line
|
2808
|
+
#line 75 "itex2MML.l"
|
2806
2809
|
case 18:
|
2807
2810
|
YY_RULE_SETUP
|
2808
|
-
#line
|
2811
|
+
#line 75 "itex2MML.l"
|
2809
2812
|
{return BBIG;}
|
2810
2813
|
YY_BREAK
|
2811
2814
|
case 19:
|
2812
|
-
#line
|
2815
|
+
#line 77 "itex2MML.l"
|
2813
2816
|
case 20:
|
2814
2817
|
YY_RULE_SETUP
|
2815
|
-
#line
|
2818
|
+
#line 77 "itex2MML.l"
|
2816
2819
|
{return BIGG;}
|
2817
2820
|
YY_BREAK
|
2818
2821
|
case 21:
|
2819
|
-
#line
|
2822
|
+
#line 79 "itex2MML.l"
|
2820
2823
|
case 22:
|
2821
2824
|
YY_RULE_SETUP
|
2822
|
-
#line
|
2825
|
+
#line 79 "itex2MML.l"
|
2823
2826
|
{return BBIGG;}
|
2824
2827
|
YY_BREAK
|
2825
2828
|
case 23:
|
2826
2829
|
YY_RULE_SETUP
|
2827
|
-
#line
|
2830
|
+
#line 81 "itex2MML.l"
|
2828
2831
|
{return BIGL;}
|
2829
2832
|
YY_BREAK
|
2830
2833
|
case 24:
|
2831
2834
|
YY_RULE_SETUP
|
2832
|
-
#line
|
2835
|
+
#line 82 "itex2MML.l"
|
2833
2836
|
{return BBIGL;}
|
2834
2837
|
YY_BREAK
|
2835
2838
|
case 25:
|
2836
2839
|
YY_RULE_SETUP
|
2837
|
-
#line
|
2840
|
+
#line 83 "itex2MML.l"
|
2838
2841
|
{return BIGGL;}
|
2839
2842
|
YY_BREAK
|
2840
2843
|
case 26:
|
2841
2844
|
YY_RULE_SETUP
|
2842
|
-
#line
|
2845
|
+
#line 84 "itex2MML.l"
|
2843
2846
|
{return BBIGGL;}
|
2844
2847
|
YY_BREAK
|
2845
2848
|
case 27:
|
2846
2849
|
YY_RULE_SETUP
|
2847
|
-
#line
|
2850
|
+
#line 86 "itex2MML.l"
|
2848
2851
|
{return RLAP;}
|
2849
2852
|
YY_BREAK
|
2850
2853
|
case 28:
|
2851
2854
|
YY_RULE_SETUP
|
2852
|
-
#line
|
2855
|
+
#line 87 "itex2MML.l"
|
2853
2856
|
{return LLAP;}
|
2854
2857
|
YY_BREAK
|
2855
2858
|
case 29:
|
2856
2859
|
YY_RULE_SETUP
|
2857
|
-
#line
|
2860
|
+
#line 88 "itex2MML.l"
|
2858
2861
|
{return CLAP;}
|
2859
2862
|
YY_BREAK
|
2860
2863
|
case 30:
|
2861
|
-
#line
|
2864
|
+
#line 90 "itex2MML.l"
|
2862
2865
|
case 31:
|
2863
|
-
#line
|
2866
|
+
#line 91 "itex2MML.l"
|
2864
2867
|
case 32:
|
2865
|
-
#line
|
2868
|
+
#line 92 "itex2MML.l"
|
2866
2869
|
case 33:
|
2867
2870
|
YY_RULE_SETUP
|
2868
|
-
#line
|
2871
|
+
#line 92 "itex2MML.l"
|
2869
2872
|
{/* Ignore */ ;}
|
2870
2873
|
YY_BREAK
|
2871
2874
|
case 34:
|
2872
|
-
#line
|
2875
|
+
#line 96 "itex2MML.l"
|
2873
2876
|
case 35:
|
2874
2877
|
YY_RULE_SETUP
|
2875
|
-
#line
|
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
|
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
|
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
|
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
|
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
|
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
|
2907
|
+
#line 108 "itex2MML.l"
|
2905
2908
|
case 42:
|
2906
|
-
#line
|
2909
|
+
#line 109 "itex2MML.l"
|
2907
2910
|
case 43:
|
2908
2911
|
YY_RULE_SETUP
|
2909
|
-
#line
|
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
|
2916
|
+
#line 111 "itex2MML.l"
|
2914
2917
|
case 45:
|
2915
2918
|
YY_RULE_SETUP
|
2916
|
-
#line
|
2919
|
+
#line 111 "itex2MML.l"
|
2917
2920
|
{yylval=itex2MML_copy_string("∞"); return MN;}
|
2918
2921
|
YY_BREAK
|
2919
2922
|
case 46:
|
2920
|
-
#line
|
2923
|
+
#line 114 "itex2MML.l"
|
2921
2924
|
case 47:
|
2922
2925
|
YY_RULE_SETUP
|
2923
|
-
#line
|
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
|
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
|
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
|
2940
|
+
#line 120 "itex2MML.l"
|
2938
2941
|
case 51:
|
2939
2942
|
YY_RULE_SETUP
|
2940
|
-
#line
|
2943
|
+
#line 120 "itex2MML.l"
|
2941
2944
|
{yylval=itex2MML_copy_string("{"); return LEFTDELIM;}
|
2942
2945
|
YY_BREAK
|
2943
2946
|
case 52:
|
2944
|
-
#line
|
2947
|
+
#line 122 "itex2MML.l"
|
2945
2948
|
case 53:
|
2946
2949
|
YY_RULE_SETUP
|
2947
|
-
#line
|
2950
|
+
#line 122 "itex2MML.l"
|
2948
2951
|
{yylval=itex2MML_copy_string("}"); return RIGHTDELIM;}
|
2949
2952
|
YY_BREAK
|
2950
2953
|
case 54:
|
2951
|
-
#line
|
2954
|
+
#line 125 "itex2MML.l"
|
2952
2955
|
case 55:
|
2953
2956
|
YY_RULE_SETUP
|
2954
|
-
#line
|
2957
|
+
#line 125 "itex2MML.l"
|
2955
2958
|
{yylval=itex2MML_copy_string("|"); return OTHERDELIM;}
|
2956
2959
|
YY_BREAK
|
2957
2960
|
case 56:
|
2958
|
-
#line
|
2961
|
+
#line 127 "itex2MML.l"
|
2959
2962
|
case 57:
|
2960
2963
|
YY_RULE_SETUP
|
2961
|
-
#line
|
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
|
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
|
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
|
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
|
2984
|
+
#line 133 "itex2MML.l"
|
2982
2985
|
{yylval=itex2MML_copy_string("⫽"); return MO;}
|
2983
2986
|
YY_BREAK
|
2984
2987
|
case 62:
|
2985
|
-
#line
|
2988
|
+
#line 136 "itex2MML.l"
|
2986
2989
|
case 63:
|
2987
|
-
#line
|
2990
|
+
#line 137 "itex2MML.l"
|
2988
2991
|
case 64:
|
2989
|
-
#line
|
2992
|
+
#line 138 "itex2MML.l"
|
2990
2993
|
case 65:
|
2991
|
-
#line
|
2994
|
+
#line 139 "itex2MML.l"
|
2992
2995
|
case 66:
|
2993
2996
|
YY_RULE_SETUP
|
2994
|
-
#line
|
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
|
3002
|
+
#line 140 "itex2MML.l"
|
3000
3003
|
{yylval=itex2MML_copy_string("⟪"); return LEFTDELIM;}
|
3001
3004
|
YY_BREAK
|
3002
3005
|
case 68:
|
3003
|
-
#line
|
3006
|
+
#line 143 "itex2MML.l"
|
3004
3007
|
case 69:
|
3005
|
-
#line
|
3008
|
+
#line 144 "itex2MML.l"
|
3006
3009
|
case 70:
|
3007
|
-
#line
|
3010
|
+
#line 145 "itex2MML.l"
|
3008
3011
|
case 71:
|
3009
|
-
#line
|
3012
|
+
#line 146 "itex2MML.l"
|
3010
3013
|
case 72:
|
3011
3014
|
YY_RULE_SETUP
|
3012
|
-
#line
|
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
|
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
|
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
|
3029
|
+
#line 152 "itex2MML.l"
|
3027
3030
|
case 76:
|
3028
|
-
#line
|
3031
|
+
#line 153 "itex2MML.l"
|
3029
3032
|
case 77:
|
3030
3033
|
YY_RULE_SETUP
|
3031
|
-
#line
|
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
|
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
|
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
|
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
|
3054
|
+
#line 161 "itex2MML.l"
|
3052
3055
|
{yylval=itex2MML_copy_string("#"); return MOL;}
|
3053
3056
|
YY_BREAK
|
3054
3057
|
case 82:
|
3055
|
-
#line
|
3058
|
+
#line 164 "itex2MML.l"
|
3056
3059
|
case 83:
|
3057
|
-
#line
|
3060
|
+
#line 165 "itex2MML.l"
|
3058
3061
|
case 84:
|
3059
|
-
#line
|
3062
|
+
#line 166 "itex2MML.l"
|
3060
3063
|
case 85:
|
3061
|
-
#line
|
3064
|
+
#line 167 "itex2MML.l"
|
3062
3065
|
case 86:
|
3063
|
-
#line
|
3066
|
+
#line 168 "itex2MML.l"
|
3064
3067
|
case 87:
|
3065
|
-
#line
|
3068
|
+
#line 169 "itex2MML.l"
|
3066
3069
|
case 88:
|
3067
|
-
#line
|
3070
|
+
#line 170 "itex2MML.l"
|
3068
3071
|
case 89:
|
3069
|
-
#line
|
3072
|
+
#line 171 "itex2MML.l"
|
3070
3073
|
case 90:
|
3071
|
-
#line
|
3074
|
+
#line 172 "itex2MML.l"
|
3072
3075
|
case 91:
|
3073
3076
|
YY_RULE_SETUP
|
3074
|
-
#line
|
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
|
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
|
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
|
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
|
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
|
3102
|
+
#line 178 "itex2MML.l"
|
3100
3103
|
{yylval=itex2MML_copy_string("⁗"); return MOL;}
|
3101
3104
|
YY_BREAK
|
3102
3105
|
case 97:
|
3103
|
-
#line
|
3106
|
+
#line 181 "itex2MML.l"
|
3104
3107
|
case 98:
|
3105
|
-
#line
|
3108
|
+
#line 182 "itex2MML.l"
|
3106
3109
|
case 99:
|
3107
|
-
#line
|
3110
|
+
#line 183 "itex2MML.l"
|
3108
3111
|
case 100:
|
3109
|
-
#line
|
3112
|
+
#line 184 "itex2MML.l"
|
3110
3113
|
case 101:
|
3111
|
-
#line
|
3114
|
+
#line 185 "itex2MML.l"
|
3112
3115
|
case 102:
|
3113
|
-
#line
|
3116
|
+
#line 186 "itex2MML.l"
|
3114
3117
|
case 103:
|
3115
|
-
#line
|
3118
|
+
#line 187 "itex2MML.l"
|
3116
3119
|
case 104:
|
3117
|
-
#line
|
3120
|
+
#line 188 "itex2MML.l"
|
3118
3121
|
case 105:
|
3119
|
-
#line
|
3122
|
+
#line 189 "itex2MML.l"
|
3120
3123
|
case 106:
|
3121
|
-
#line
|
3124
|
+
#line 190 "itex2MML.l"
|
3122
3125
|
case 107:
|
3123
|
-
#line
|
3126
|
+
#line 191 "itex2MML.l"
|
3124
3127
|
case 108:
|
3125
|
-
#line
|
3128
|
+
#line 192 "itex2MML.l"
|
3126
3129
|
case 109:
|
3127
|
-
#line
|
3130
|
+
#line 193 "itex2MML.l"
|
3128
3131
|
case 110:
|
3129
|
-
#line
|
3132
|
+
#line 194 "itex2MML.l"
|
3130
3133
|
case 111:
|
3131
|
-
#line
|
3134
|
+
#line 195 "itex2MML.l"
|
3132
3135
|
case 112:
|
3133
|
-
#line
|
3136
|
+
#line 196 "itex2MML.l"
|
3134
3137
|
case 113:
|
3135
|
-
#line
|
3138
|
+
#line 197 "itex2MML.l"
|
3136
3139
|
case 114:
|
3137
|
-
#line
|
3140
|
+
#line 198 "itex2MML.l"
|
3138
3141
|
case 115:
|
3139
|
-
#line
|
3142
|
+
#line 199 "itex2MML.l"
|
3140
3143
|
case 116:
|
3141
|
-
#line
|
3144
|
+
#line 200 "itex2MML.l"
|
3142
3145
|
case 117:
|
3143
|
-
#line
|
3146
|
+
#line 201 "itex2MML.l"
|
3144
3147
|
case 118:
|
3145
|
-
#line
|
3148
|
+
#line 202 "itex2MML.l"
|
3146
3149
|
case 119:
|
3147
|
-
#line
|
3150
|
+
#line 203 "itex2MML.l"
|
3148
3151
|
case 120:
|
3149
|
-
#line
|
3152
|
+
#line 204 "itex2MML.l"
|
3150
3153
|
case 121:
|
3151
|
-
#line
|
3154
|
+
#line 205 "itex2MML.l"
|
3152
3155
|
case 122:
|
3153
|
-
#line
|
3156
|
+
#line 206 "itex2MML.l"
|
3154
3157
|
case 123:
|
3155
3158
|
YY_RULE_SETUP
|
3156
|
-
#line
|
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
|
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
|
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
|
3174
|
+
#line 210 "itex2MML.l"
|
3172
3175
|
{yylval=itex2MML_copy_string("φ"); return MI;}
|
3173
3176
|
YY_BREAK
|
3174
3177
|
case 127:
|
3175
|
-
#line
|
3178
|
+
#line 213 "itex2MML.l"
|
3176
3179
|
case 128:
|
3177
|
-
#line
|
3180
|
+
#line 214 "itex2MML.l"
|
3178
3181
|
case 129:
|
3179
|
-
#line
|
3182
|
+
#line 215 "itex2MML.l"
|
3180
3183
|
case 130:
|
3181
|
-
#line
|
3184
|
+
#line 216 "itex2MML.l"
|
3182
3185
|
case 131:
|
3183
|
-
#line
|
3186
|
+
#line 217 "itex2MML.l"
|
3184
3187
|
case 132:
|
3185
|
-
#line
|
3188
|
+
#line 218 "itex2MML.l"
|
3186
3189
|
case 133:
|
3187
|
-
#line
|
3190
|
+
#line 219 "itex2MML.l"
|
3188
3191
|
case 134:
|
3189
|
-
#line
|
3192
|
+
#line 220 "itex2MML.l"
|
3190
3193
|
case 135:
|
3191
|
-
#line
|
3194
|
+
#line 221 "itex2MML.l"
|
3192
3195
|
case 136:
|
3193
|
-
#line
|
3196
|
+
#line 222 "itex2MML.l"
|
3194
3197
|
case 137:
|
3195
|
-
#line
|
3198
|
+
#line 223 "itex2MML.l"
|
3196
3199
|
case 138:
|
3197
|
-
#line
|
3200
|
+
#line 224 "itex2MML.l"
|
3198
3201
|
case 139:
|
3199
|
-
#line
|
3202
|
+
#line 225 "itex2MML.l"
|
3200
3203
|
case 140:
|
3201
|
-
#line
|
3204
|
+
#line 226 "itex2MML.l"
|
3202
3205
|
case 141:
|
3203
|
-
#line
|
3206
|
+
#line 227 "itex2MML.l"
|
3204
3207
|
case 142:
|
3205
|
-
#line
|
3208
|
+
#line 228 "itex2MML.l"
|
3206
3209
|
case 143:
|
3207
|
-
#line
|
3210
|
+
#line 229 "itex2MML.l"
|
3208
3211
|
case 144:
|
3209
|
-
#line
|
3212
|
+
#line 230 "itex2MML.l"
|
3210
3213
|
case 145:
|
3211
|
-
#line
|
3214
|
+
#line 231 "itex2MML.l"
|
3212
3215
|
case 146:
|
3213
|
-
#line
|
3216
|
+
#line 232 "itex2MML.l"
|
3214
3217
|
case 147:
|
3215
|
-
#line
|
3218
|
+
#line 233 "itex2MML.l"
|
3216
3219
|
case 148:
|
3217
3220
|
YY_RULE_SETUP
|
3218
|
-
#line
|
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
|
3225
|
+
#line 236 "itex2MML.l"
|
3223
3226
|
case 150:
|
3224
|
-
#line
|
3227
|
+
#line 237 "itex2MML.l"
|
3225
3228
|
case 151:
|
3226
|
-
#line
|
3229
|
+
#line 238 "itex2MML.l"
|
3227
3230
|
case 152:
|
3228
|
-
#line
|
3231
|
+
#line 239 "itex2MML.l"
|
3229
3232
|
case 153:
|
3230
|
-
#line
|
3233
|
+
#line 240 "itex2MML.l"
|
3231
3234
|
case 154:
|
3232
|
-
#line
|
3235
|
+
#line 241 "itex2MML.l"
|
3233
3236
|
case 155:
|
3234
|
-
#line
|
3237
|
+
#line 242 "itex2MML.l"
|
3235
3238
|
case 156:
|
3236
|
-
#line
|
3239
|
+
#line 243 "itex2MML.l"
|
3237
3240
|
case 157:
|
3238
|
-
#line
|
3241
|
+
#line 244 "itex2MML.l"
|
3239
3242
|
case 158:
|
3240
3243
|
YY_RULE_SETUP
|
3241
|
-
#line
|
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
|
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
|
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
|
3259
|
+
#line 250 "itex2MML.l"
|
3257
3260
|
{yylval=itex2MML_copy_string("⋅"); return MO;}
|
3258
3261
|
YY_BREAK
|
3259
3262
|
case 162:
|
3260
|
-
#line
|
3263
|
+
#line 253 "itex2MML.l"
|
3261
3264
|
case 163:
|
3262
|
-
#line
|
3265
|
+
#line 254 "itex2MML.l"
|
3263
3266
|
case 164:
|
3264
|
-
#line
|
3267
|
+
#line 255 "itex2MML.l"
|
3265
3268
|
case 165:
|
3266
|
-
#line
|
3269
|
+
#line 256 "itex2MML.l"
|
3267
3270
|
case 166:
|
3268
|
-
#line
|
3271
|
+
#line 257 "itex2MML.l"
|
3269
3272
|
case 167:
|
3270
|
-
#line
|
3273
|
+
#line 258 "itex2MML.l"
|
3271
3274
|
case 168:
|
3272
|
-
#line
|
3275
|
+
#line 259 "itex2MML.l"
|
3273
3276
|
case 169:
|
3274
|
-
#line
|
3277
|
+
#line 260 "itex2MML.l"
|
3275
3278
|
case 170:
|
3276
|
-
#line
|
3279
|
+
#line 261 "itex2MML.l"
|
3277
3280
|
case 171:
|
3278
|
-
#line
|
3281
|
+
#line 262 "itex2MML.l"
|
3279
3282
|
case 172:
|
3280
|
-
#line
|
3283
|
+
#line 263 "itex2MML.l"
|
3281
3284
|
case 173:
|
3282
|
-
#line
|
3285
|
+
#line 264 "itex2MML.l"
|
3283
3286
|
case 174:
|
3284
|
-
#line
|
3287
|
+
#line 265 "itex2MML.l"
|
3285
3288
|
case 175:
|
3286
|
-
#line
|
3289
|
+
#line 266 "itex2MML.l"
|
3287
3290
|
case 176:
|
3288
|
-
#line
|
3291
|
+
#line 267 "itex2MML.l"
|
3289
3292
|
case 177:
|
3290
|
-
#line
|
3293
|
+
#line 268 "itex2MML.l"
|
3291
3294
|
case 178:
|
3292
|
-
#line
|
3295
|
+
#line 269 "itex2MML.l"
|
3293
3296
|
case 179:
|
3294
|
-
#line
|
3297
|
+
#line 270 "itex2MML.l"
|
3295
3298
|
case 180:
|
3296
|
-
#line
|
3299
|
+
#line 271 "itex2MML.l"
|
3297
3300
|
case 181:
|
3298
|
-
#line
|
3301
|
+
#line 272 "itex2MML.l"
|
3299
3302
|
case 182:
|
3300
|
-
#line
|
3303
|
+
#line 273 "itex2MML.l"
|
3301
3304
|
case 183:
|
3302
3305
|
YY_RULE_SETUP
|
3303
|
-
#line
|
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
|
3310
|
+
#line 276 "itex2MML.l"
|
3308
3311
|
case 185:
|
3309
3312
|
YY_RULE_SETUP
|
3310
|
-
#line
|
3313
|
+
#line 276 "itex2MML.l"
|
3311
3314
|
{yylval=itex2MML_copy_string("ϒ"); return MI;}
|
3312
3315
|
YY_BREAK
|
3313
3316
|
case 186:
|
3314
|
-
#line
|
3317
|
+
#line 279 "itex2MML.l"
|
3315
3318
|
case 187:
|
3316
3319
|
YY_RULE_SETUP
|
3317
|
-
#line
|
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
|
3325
|
+
#line 281 "itex2MML.l"
|
3323
3326
|
{yylval=itex2MML_copy_string("⇔"); return MOL;}
|
3324
3327
|
YY_BREAK
|
3325
3328
|
case 189:
|
3326
|
-
#line
|
3329
|
+
#line 284 "itex2MML.l"
|
3327
3330
|
case 190:
|
3328
3331
|
YY_RULE_SETUP
|
3329
|
-
#line
|
3332
|
+
#line 284 "itex2MML.l"
|
3330
3333
|
{yylval=itex2MML_copy_string("⇐"); return MOL;}
|
3331
3334
|
YY_BREAK
|
3332
3335
|
case 191:
|
3333
|
-
#line
|
3336
|
+
#line 287 "itex2MML.l"
|
3334
3337
|
case 192:
|
3335
3338
|
YY_RULE_SETUP
|
3336
|
-
#line
|
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
|
3344
|
+
#line 289 "itex2MML.l"
|
3342
3345
|
{yylval=itex2MML_copy_string("↩"); return MOL;}
|
3343
3346
|
YY_BREAK
|
3344
3347
|
case 194:
|
3345
|
-
#line
|
3348
|
+
#line 292 "itex2MML.l"
|
3346
3349
|
case 195:
|
3347
3350
|
YY_RULE_SETUP
|
3348
|
-
#line
|
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
|
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
|
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
|
3366
|
+
#line 298 "itex2MML.l"
|
3364
3367
|
{yylval=itex2MML_copy_string("←"); return MOL;}
|
3365
3368
|
YY_BREAK
|
3366
3369
|
case 199:
|
3367
|
-
#line
|
3370
|
+
#line 301 "itex2MML.l"
|
3368
3371
|
case 200:
|
3369
3372
|
YY_RULE_SETUP
|
3370
|
-
#line
|
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
|
3378
|
+
#line 303 "itex2MML.l"
|
3376
3379
|
{yylval=itex2MML_copy_string("↔"); return MOL;}
|
3377
3380
|
YY_BREAK
|
3378
3381
|
case 202:
|
3379
|
-
#line
|
3382
|
+
#line 306 "itex2MML.l"
|
3380
3383
|
case 203:
|
3381
3384
|
YY_RULE_SETUP
|
3382
|
-
#line
|
3385
|
+
#line 306 "itex2MML.l"
|
3383
3386
|
{yylval=itex2MML_copy_string("↦"); return MOL;}
|
3384
3387
|
YY_BREAK
|
3385
3388
|
case 204:
|
3386
|
-
#line
|
3389
|
+
#line 309 "itex2MML.l"
|
3387
3390
|
case 205:
|
3388
3391
|
YY_RULE_SETUP
|
3389
|
-
#line
|
3392
|
+
#line 309 "itex2MML.l"
|
3390
3393
|
{yylval=itex2MML_copy_string("↗"); return MOL;}
|
3391
3394
|
YY_BREAK
|
3392
3395
|
case 206:
|
3393
|
-
#line
|
3396
|
+
#line 312 "itex2MML.l"
|
3394
3397
|
case 207:
|
3395
3398
|
YY_RULE_SETUP
|
3396
|
-
#line
|
3399
|
+
#line 312 "itex2MML.l"
|
3397
3400
|
{yylval=itex2MML_copy_string("↖"); return MOL;}
|
3398
3401
|
YY_BREAK
|
3399
3402
|
case 208:
|
3400
|
-
#line
|
3403
|
+
#line 315 "itex2MML.l"
|
3401
3404
|
case 209:
|
3402
3405
|
YY_RULE_SETUP
|
3403
|
-
#line
|
3406
|
+
#line 315 "itex2MML.l"
|
3404
3407
|
{yylval=itex2MML_copy_string("↘"); return MOL;}
|
3405
3408
|
YY_BREAK
|
3406
3409
|
case 210:
|
3407
|
-
#line
|
3410
|
+
#line 318 "itex2MML.l"
|
3408
3411
|
case 211:
|
3409
3412
|
YY_RULE_SETUP
|
3410
|
-
#line
|
3413
|
+
#line 318 "itex2MML.l"
|
3411
3414
|
{yylval=itex2MML_copy_string("↙"); return MOL;}
|
3412
3415
|
YY_BREAK
|
3413
3416
|
case 212:
|
3414
|
-
#line
|
3417
|
+
#line 321 "itex2MML.l"
|
3415
3418
|
case 213:
|
3416
3419
|
YY_RULE_SETUP
|
3417
|
-
#line
|
3420
|
+
#line 321 "itex2MML.l"
|
3418
3421
|
{yylval=itex2MML_copy_string("⇗"); return MOL;}
|
3419
3422
|
YY_BREAK
|
3420
3423
|
case 214:
|
3421
|
-
#line
|
3424
|
+
#line 324 "itex2MML.l"
|
3422
3425
|
case 215:
|
3423
3426
|
YY_RULE_SETUP
|
3424
|
-
#line
|
3427
|
+
#line 324 "itex2MML.l"
|
3425
3428
|
{yylval=itex2MML_copy_string("⇖"); return MOL;}
|
3426
3429
|
YY_BREAK
|
3427
3430
|
case 216:
|
3428
|
-
#line
|
3431
|
+
#line 327 "itex2MML.l"
|
3429
3432
|
case 217:
|
3430
3433
|
YY_RULE_SETUP
|
3431
|
-
#line
|
3434
|
+
#line 327 "itex2MML.l"
|
3432
3435
|
{yylval=itex2MML_copy_string("⇘"); return MOL;}
|
3433
3436
|
YY_BREAK
|
3434
3437
|
case 218:
|
3435
|
-
#line
|
3438
|
+
#line 330 "itex2MML.l"
|
3436
3439
|
case 219:
|
3437
3440
|
YY_RULE_SETUP
|
3438
|
-
#line
|
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
|
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
|
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
|
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
|
3461
|
+
#line 338 "itex2MML.l"
|
3459
3462
|
{yylval=itex2MML_copy_string("⇑"); return MOL;}
|
3460
3463
|
YY_BREAK
|
3461
3464
|
case 224:
|
3462
|
-
#line
|
3465
|
+
#line 341 "itex2MML.l"
|
3463
3466
|
case 225:
|
3464
|
-
#line
|
3467
|
+
#line 342 "itex2MML.l"
|
3465
3468
|
case 226:
|
3466
3469
|
YY_RULE_SETUP
|
3467
|
-
#line
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
3510
|
+
#line 352 "itex2MML.l"
|
3508
3511
|
{yylval=itex2MML_copy_string("⟳"); return MOL;}
|
3509
3512
|
YY_BREAK
|
3510
3513
|
case 235:
|
3511
|
-
#line
|
3514
|
+
#line 354 "itex2MML.l"
|
3512
3515
|
case 236:
|
3513
|
-
#line
|
3516
|
+
#line 355 "itex2MML.l"
|
3514
3517
|
case 237:
|
3515
|
-
#line
|
3518
|
+
#line 356 "itex2MML.l"
|
3516
3519
|
case 238:
|
3517
|
-
#line
|
3520
|
+
#line 357 "itex2MML.l"
|
3518
3521
|
case 239:
|
3519
|
-
#line
|
3522
|
+
#line 358 "itex2MML.l"
|
3520
3523
|
case 240:
|
3521
|
-
#line
|
3524
|
+
#line 359 "itex2MML.l"
|
3522
3525
|
case 241:
|
3523
|
-
#line
|
3526
|
+
#line 360 "itex2MML.l"
|
3524
3527
|
case 242:
|
3525
|
-
#line
|
3528
|
+
#line 361 "itex2MML.l"
|
3526
3529
|
case 243:
|
3527
|
-
#line
|
3530
|
+
#line 362 "itex2MML.l"
|
3528
3531
|
case 244:
|
3529
|
-
#line
|
3532
|
+
#line 363 "itex2MML.l"
|
3530
3533
|
case 245:
|
3531
|
-
#line
|
3534
|
+
#line 364 "itex2MML.l"
|
3532
3535
|
case 246:
|
3533
|
-
#line
|
3536
|
+
#line 365 "itex2MML.l"
|
3534
3537
|
case 247:
|
3535
|
-
#line
|
3538
|
+
#line 366 "itex2MML.l"
|
3536
3539
|
case 248:
|
3537
|
-
#line
|
3540
|
+
#line 367 "itex2MML.l"
|
3538
3541
|
case 249:
|
3539
|
-
#line
|
3542
|
+
#line 368 "itex2MML.l"
|
3540
3543
|
case 250:
|
3541
|
-
#line
|
3544
|
+
#line 369 "itex2MML.l"
|
3542
3545
|
case 251:
|
3543
|
-
#line
|
3546
|
+
#line 370 "itex2MML.l"
|
3544
3547
|
case 252:
|
3545
|
-
#line
|
3548
|
+
#line 371 "itex2MML.l"
|
3546
3549
|
case 253:
|
3547
|
-
#line
|
3550
|
+
#line 372 "itex2MML.l"
|
3548
3551
|
case 254:
|
3549
|
-
#line
|
3552
|
+
#line 373 "itex2MML.l"
|
3550
3553
|
case 255:
|
3551
|
-
#line
|
3554
|
+
#line 374 "itex2MML.l"
|
3552
3555
|
case 256:
|
3553
|
-
#line
|
3556
|
+
#line 375 "itex2MML.l"
|
3554
3557
|
case 257:
|
3555
|
-
#line
|
3558
|
+
#line 376 "itex2MML.l"
|
3556
3559
|
case 258:
|
3557
|
-
#line
|
3560
|
+
#line 377 "itex2MML.l"
|
3558
3561
|
case 259:
|
3559
|
-
#line
|
3562
|
+
#line 378 "itex2MML.l"
|
3560
3563
|
case 260:
|
3561
|
-
#line
|
3564
|
+
#line 379 "itex2MML.l"
|
3562
3565
|
case 261:
|
3563
|
-
#line
|
3566
|
+
#line 380 "itex2MML.l"
|
3564
3567
|
case 262:
|
3565
|
-
#line
|
3568
|
+
#line 381 "itex2MML.l"
|
3566
3569
|
case 263:
|
3567
|
-
#line
|
3570
|
+
#line 382 "itex2MML.l"
|
3568
3571
|
case 264:
|
3569
|
-
#line
|
3572
|
+
#line 383 "itex2MML.l"
|
3570
3573
|
case 265:
|
3571
|
-
#line
|
3574
|
+
#line 384 "itex2MML.l"
|
3572
3575
|
case 266:
|
3573
|
-
#line
|
3576
|
+
#line 385 "itex2MML.l"
|
3574
3577
|
case 267:
|
3575
|
-
#line
|
3578
|
+
#line 386 "itex2MML.l"
|
3576
3579
|
case 268:
|
3577
|
-
#line
|
3580
|
+
#line 387 "itex2MML.l"
|
3578
3581
|
case 269:
|
3579
|
-
#line
|
3582
|
+
#line 388 "itex2MML.l"
|
3580
3583
|
case 270:
|
3581
|
-
#line
|
3584
|
+
#line 389 "itex2MML.l"
|
3582
3585
|
case 271:
|
3583
3586
|
YY_RULE_SETUP
|
3584
|
-
#line
|
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
|
3591
|
+
#line 392 "itex2MML.l"
|
3589
3592
|
case 273:
|
3590
|
-
#line
|
3593
|
+
#line 393 "itex2MML.l"
|
3591
3594
|
case 274:
|
3592
|
-
#line
|
3595
|
+
#line 394 "itex2MML.l"
|
3593
3596
|
case 275:
|
3594
|
-
#line
|
3597
|
+
#line 395 "itex2MML.l"
|
3595
3598
|
case 276:
|
3596
|
-
#line
|
3599
|
+
#line 396 "itex2MML.l"
|
3597
3600
|
case 277:
|
3598
|
-
#line
|
3601
|
+
#line 397 "itex2MML.l"
|
3599
3602
|
case 278:
|
3600
|
-
#line
|
3603
|
+
#line 398 "itex2MML.l"
|
3601
3604
|
case 279:
|
3602
|
-
#line
|
3605
|
+
#line 399 "itex2MML.l"
|
3603
3606
|
case 280:
|
3604
|
-
#line
|
3607
|
+
#line 400 "itex2MML.l"
|
3605
3608
|
case 281:
|
3606
|
-
#line
|
3609
|
+
#line 401 "itex2MML.l"
|
3607
3610
|
case 282:
|
3608
3611
|
YY_RULE_SETUP
|
3609
|
-
#line
|
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
|
3616
|
+
#line 404 "itex2MML.l"
|
3614
3617
|
case 284:
|
3615
3618
|
YY_RULE_SETUP
|
3616
|
-
#line
|
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
|
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
|
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
|
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
|
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
|
3644
|
+
#line 409 "itex2MML.l"
|
3642
3645
|
{yylval=itex2MML_copy_string(":"); return MOR;}
|
3643
3646
|
YY_BREAK
|
3644
3647
|
case 290:
|
3645
|
-
#line
|
3648
|
+
#line 412 "itex2MML.l"
|
3646
3649
|
case 291:
|
3647
|
-
#line
|
3650
|
+
#line 413 "itex2MML.l"
|
3648
3651
|
case 292:
|
3649
3652
|
YY_RULE_SETUP
|
3650
|
-
#line
|
3653
|
+
#line 413 "itex2MML.l"
|
3651
3654
|
{yylval=itex2MML_copy_string("∪"); return MOL;}
|
3652
3655
|
YY_BREAK
|
3653
3656
|
case 293:
|
3654
|
-
#line
|
3657
|
+
#line 416 "itex2MML.l"
|
3655
3658
|
case 294:
|
3656
|
-
#line
|
3659
|
+
#line 417 "itex2MML.l"
|
3657
3660
|
case 295:
|
3658
3661
|
YY_RULE_SETUP
|
3659
|
-
#line
|
3662
|
+
#line 417 "itex2MML.l"
|
3660
3663
|
{yylval=itex2MML_copy_string("⋃"); return MOB;}
|
3661
3664
|
YY_BREAK
|
3662
3665
|
case 296:
|
3663
|
-
#line
|
3666
|
+
#line 420 "itex2MML.l"
|
3664
3667
|
case 297:
|
3665
3668
|
YY_RULE_SETUP
|
3666
|
-
#line
|
3669
|
+
#line 420 "itex2MML.l"
|
3667
3670
|
{yylval=itex2MML_copy_string("∩"); return MOL;}
|
3668
3671
|
YY_BREAK
|
3669
3672
|
case 298:
|
3670
|
-
#line
|
3673
|
+
#line 423 "itex2MML.l"
|
3671
3674
|
case 299:
|
3672
3675
|
YY_RULE_SETUP
|
3673
|
-
#line
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
3749
|
+
#line 442 "itex2MML.l"
|
3747
3750
|
{yylval=itex2MML_copy_string("∷"); return MOL;}
|
3748
3751
|
YY_BREAK
|
3749
3752
|
case 314:
|
3750
|
-
#line
|
3753
|
+
#line 445 "itex2MML.l"
|
3751
3754
|
case 315:
|
3752
|
-
#line
|
3755
|
+
#line 446 "itex2MML.l"
|
3753
3756
|
case 316:
|
3754
|
-
#line
|
3757
|
+
#line 447 "itex2MML.l"
|
3755
3758
|
case 317:
|
3756
|
-
#line
|
3759
|
+
#line 448 "itex2MML.l"
|
3757
3760
|
case 318:
|
3758
|
-
#line
|
3761
|
+
#line 449 "itex2MML.l"
|
3759
3762
|
case 319:
|
3760
|
-
#line
|
3763
|
+
#line 450 "itex2MML.l"
|
3761
3764
|
case 320:
|
3762
|
-
#line
|
3765
|
+
#line 451 "itex2MML.l"
|
3763
3766
|
case 321:
|
3764
|
-
#line
|
3767
|
+
#line 452 "itex2MML.l"
|
3765
3768
|
case 322:
|
3766
|
-
#line
|
3769
|
+
#line 453 "itex2MML.l"
|
3767
3770
|
case 323:
|
3768
|
-
#line
|
3771
|
+
#line 454 "itex2MML.l"
|
3769
3772
|
case 324:
|
3770
|
-
#line
|
3773
|
+
#line 455 "itex2MML.l"
|
3771
3774
|
case 325:
|
3772
|
-
#line
|
3775
|
+
#line 456 "itex2MML.l"
|
3773
3776
|
case 326:
|
3774
|
-
#line
|
3777
|
+
#line 457 "itex2MML.l"
|
3775
3778
|
case 327:
|
3776
|
-
#line
|
3779
|
+
#line 458 "itex2MML.l"
|
3777
3780
|
case 328:
|
3778
|
-
#line
|
3781
|
+
#line 459 "itex2MML.l"
|
3779
3782
|
case 329:
|
3780
|
-
#line
|
3783
|
+
#line 460 "itex2MML.l"
|
3781
3784
|
case 330:
|
3782
|
-
#line
|
3785
|
+
#line 461 "itex2MML.l"
|
3783
3786
|
case 331:
|
3784
|
-
#line
|
3787
|
+
#line 462 "itex2MML.l"
|
3785
3788
|
case 332:
|
3786
|
-
#line
|
3789
|
+
#line 463 "itex2MML.l"
|
3787
3790
|
case 333:
|
3788
|
-
#line
|
3791
|
+
#line 464 "itex2MML.l"
|
3789
3792
|
case 334:
|
3790
|
-
#line
|
3793
|
+
#line 465 "itex2MML.l"
|
3791
3794
|
case 335:
|
3792
|
-
#line
|
3795
|
+
#line 466 "itex2MML.l"
|
3793
3796
|
case 336:
|
3794
|
-
#line
|
3797
|
+
#line 467 "itex2MML.l"
|
3795
3798
|
case 337:
|
3796
|
-
#line
|
3799
|
+
#line 468 "itex2MML.l"
|
3797
3800
|
case 338:
|
3798
|
-
#line
|
3801
|
+
#line 469 "itex2MML.l"
|
3799
3802
|
case 339:
|
3800
|
-
#line
|
3803
|
+
#line 470 "itex2MML.l"
|
3801
3804
|
case 340:
|
3802
|
-
#line
|
3805
|
+
#line 471 "itex2MML.l"
|
3803
3806
|
case 341:
|
3804
|
-
#line
|
3807
|
+
#line 472 "itex2MML.l"
|
3805
3808
|
case 342:
|
3806
|
-
#line
|
3809
|
+
#line 473 "itex2MML.l"
|
3807
3810
|
case 343:
|
3808
|
-
#line
|
3811
|
+
#line 474 "itex2MML.l"
|
3809
3812
|
case 344:
|
3810
|
-
#line
|
3813
|
+
#line 475 "itex2MML.l"
|
3811
3814
|
case 345:
|
3812
|
-
#line
|
3815
|
+
#line 476 "itex2MML.l"
|
3813
3816
|
case 346:
|
3814
|
-
#line
|
3817
|
+
#line 477 "itex2MML.l"
|
3815
3818
|
case 347:
|
3816
|
-
#line
|
3819
|
+
#line 478 "itex2MML.l"
|
3817
3820
|
case 348:
|
3818
|
-
#line
|
3821
|
+
#line 479 "itex2MML.l"
|
3819
3822
|
case 349:
|
3820
|
-
#line
|
3823
|
+
#line 480 "itex2MML.l"
|
3821
3824
|
case 350:
|
3822
|
-
#line
|
3825
|
+
#line 481 "itex2MML.l"
|
3823
3826
|
case 351:
|
3824
|
-
#line
|
3827
|
+
#line 482 "itex2MML.l"
|
3825
3828
|
case 352:
|
3826
|
-
#line
|
3829
|
+
#line 483 "itex2MML.l"
|
3827
3830
|
case 353:
|
3828
|
-
#line
|
3831
|
+
#line 484 "itex2MML.l"
|
3829
3832
|
case 354:
|
3830
|
-
#line
|
3833
|
+
#line 485 "itex2MML.l"
|
3831
3834
|
case 355:
|
3832
|
-
#line
|
3835
|
+
#line 486 "itex2MML.l"
|
3833
3836
|
case 356:
|
3834
|
-
#line
|
3837
|
+
#line 487 "itex2MML.l"
|
3835
3838
|
case 357:
|
3836
|
-
#line
|
3839
|
+
#line 488 "itex2MML.l"
|
3837
3840
|
case 358:
|
3838
|
-
#line
|
3841
|
+
#line 489 "itex2MML.l"
|
3839
3842
|
case 359:
|
3840
|
-
#line
|
3843
|
+
#line 490 "itex2MML.l"
|
3841
3844
|
case 360:
|
3842
|
-
#line
|
3845
|
+
#line 491 "itex2MML.l"
|
3843
3846
|
case 361:
|
3844
|
-
#line
|
3847
|
+
#line 492 "itex2MML.l"
|
3845
3848
|
case 362:
|
3846
|
-
#line
|
3849
|
+
#line 493 "itex2MML.l"
|
3847
3850
|
case 363:
|
3848
|
-
#line
|
3851
|
+
#line 494 "itex2MML.l"
|
3849
3852
|
case 364:
|
3850
|
-
#line
|
3853
|
+
#line 495 "itex2MML.l"
|
3851
3854
|
case 365:
|
3852
|
-
#line
|
3855
|
+
#line 496 "itex2MML.l"
|
3853
3856
|
case 366:
|
3854
|
-
#line
|
3857
|
+
#line 497 "itex2MML.l"
|
3855
3858
|
case 367:
|
3856
|
-
#line
|
3859
|
+
#line 498 "itex2MML.l"
|
3857
3860
|
case 368:
|
3858
|
-
#line
|
3861
|
+
#line 499 "itex2MML.l"
|
3859
3862
|
case 369:
|
3860
|
-
#line
|
3863
|
+
#line 500 "itex2MML.l"
|
3861
3864
|
case 370:
|
3862
|
-
#line
|
3865
|
+
#line 501 "itex2MML.l"
|
3863
3866
|
case 371:
|
3864
|
-
#line
|
3867
|
+
#line 502 "itex2MML.l"
|
3865
3868
|
case 372:
|
3866
|
-
#line
|
3869
|
+
#line 503 "itex2MML.l"
|
3867
3870
|
case 373:
|
3868
|
-
#line
|
3871
|
+
#line 504 "itex2MML.l"
|
3869
3872
|
case 374:
|
3870
|
-
#line
|
3873
|
+
#line 505 "itex2MML.l"
|
3871
3874
|
case 375:
|
3872
|
-
#line
|
3875
|
+
#line 506 "itex2MML.l"
|
3873
3876
|
case 376:
|
3874
|
-
#line
|
3877
|
+
#line 507 "itex2MML.l"
|
3875
3878
|
case 377:
|
3876
|
-
#line
|
3879
|
+
#line 508 "itex2MML.l"
|
3877
3880
|
case 378:
|
3878
|
-
#line
|
3881
|
+
#line 509 "itex2MML.l"
|
3879
3882
|
case 379:
|
3880
|
-
#line
|
3883
|
+
#line 510 "itex2MML.l"
|
3881
3884
|
case 380:
|
3882
|
-
#line
|
3885
|
+
#line 511 "itex2MML.l"
|
3883
3886
|
case 381:
|
3884
|
-
#line
|
3887
|
+
#line 512 "itex2MML.l"
|
3885
3888
|
case 382:
|
3886
|
-
#line
|
3889
|
+
#line 513 "itex2MML.l"
|
3887
3890
|
case 383:
|
3888
|
-
#line
|
3891
|
+
#line 514 "itex2MML.l"
|
3889
3892
|
case 384:
|
3890
|
-
#line
|
3893
|
+
#line 515 "itex2MML.l"
|
3891
3894
|
case 385:
|
3892
|
-
#line
|
3895
|
+
#line 516 "itex2MML.l"
|
3893
3896
|
case 386:
|
3894
|
-
#line
|
3897
|
+
#line 517 "itex2MML.l"
|
3895
3898
|
case 387:
|
3896
|
-
#line
|
3899
|
+
#line 518 "itex2MML.l"
|
3897
3900
|
case 388:
|
3898
|
-
#line
|
3901
|
+
#line 519 "itex2MML.l"
|
3899
3902
|
case 389:
|
3900
|
-
#line
|
3903
|
+
#line 520 "itex2MML.l"
|
3901
3904
|
case 390:
|
3902
|
-
#line
|
3905
|
+
#line 521 "itex2MML.l"
|
3903
3906
|
case 391:
|
3904
|
-
#line
|
3907
|
+
#line 522 "itex2MML.l"
|
3905
3908
|
case 392:
|
3906
|
-
#line
|
3909
|
+
#line 523 "itex2MML.l"
|
3907
3910
|
case 393:
|
3908
|
-
#line
|
3911
|
+
#line 524 "itex2MML.l"
|
3909
3912
|
case 394:
|
3910
|
-
#line
|
3913
|
+
#line 525 "itex2MML.l"
|
3911
3914
|
case 395:
|
3912
|
-
#line
|
3915
|
+
#line 526 "itex2MML.l"
|
3913
3916
|
case 396:
|
3914
|
-
#line
|
3917
|
+
#line 527 "itex2MML.l"
|
3915
3918
|
case 397:
|
3916
|
-
#line
|
3919
|
+
#line 528 "itex2MML.l"
|
3917
3920
|
case 398:
|
3918
|
-
#line
|
3921
|
+
#line 529 "itex2MML.l"
|
3919
3922
|
case 399:
|
3920
|
-
#line
|
3923
|
+
#line 530 "itex2MML.l"
|
3921
3924
|
case 400:
|
3922
|
-
#line
|
3925
|
+
#line 531 "itex2MML.l"
|
3923
3926
|
case 401:
|
3924
|
-
#line
|
3927
|
+
#line 532 "itex2MML.l"
|
3925
3928
|
case 402:
|
3926
|
-
#line
|
3929
|
+
#line 533 "itex2MML.l"
|
3927
3930
|
case 403:
|
3928
|
-
#line
|
3931
|
+
#line 534 "itex2MML.l"
|
3929
3932
|
case 404:
|
3930
|
-
#line
|
3933
|
+
#line 535 "itex2MML.l"
|
3931
3934
|
case 405:
|
3932
|
-
#line
|
3935
|
+
#line 536 "itex2MML.l"
|
3933
3936
|
case 406:
|
3934
|
-
#line
|
3937
|
+
#line 537 "itex2MML.l"
|
3935
3938
|
case 407:
|
3936
|
-
#line
|
3939
|
+
#line 538 "itex2MML.l"
|
3937
3940
|
case 408:
|
3938
|
-
#line
|
3941
|
+
#line 539 "itex2MML.l"
|
3939
3942
|
case 409:
|
3940
|
-
#line
|
3943
|
+
#line 540 "itex2MML.l"
|
3941
3944
|
case 410:
|
3942
|
-
#line
|
3945
|
+
#line 541 "itex2MML.l"
|
3943
3946
|
case 411:
|
3944
|
-
#line
|
3947
|
+
#line 542 "itex2MML.l"
|
3945
3948
|
case 412:
|
3946
|
-
#line
|
3949
|
+
#line 543 "itex2MML.l"
|
3947
3950
|
case 413:
|
3948
|
-
#line
|
3951
|
+
#line 544 "itex2MML.l"
|
3949
3952
|
case 414:
|
3950
|
-
#line
|
3953
|
+
#line 545 "itex2MML.l"
|
3951
3954
|
case 415:
|
3952
|
-
#line
|
3955
|
+
#line 546 "itex2MML.l"
|
3953
3956
|
case 416:
|
3954
|
-
#line
|
3957
|
+
#line 547 "itex2MML.l"
|
3955
3958
|
case 417:
|
3956
|
-
#line
|
3959
|
+
#line 548 "itex2MML.l"
|
3957
3960
|
case 418:
|
3958
|
-
#line
|
3961
|
+
#line 549 "itex2MML.l"
|
3959
3962
|
case 419:
|
3960
|
-
#line
|
3963
|
+
#line 550 "itex2MML.l"
|
3961
3964
|
case 420:
|
3962
|
-
#line
|
3965
|
+
#line 551 "itex2MML.l"
|
3963
3966
|
case 421:
|
3964
|
-
#line
|
3967
|
+
#line 552 "itex2MML.l"
|
3965
3968
|
case 422:
|
3966
|
-
#line
|
3969
|
+
#line 553 "itex2MML.l"
|
3967
3970
|
case 423:
|
3968
|
-
#line
|
3971
|
+
#line 554 "itex2MML.l"
|
3969
3972
|
case 424:
|
3970
|
-
#line
|
3973
|
+
#line 555 "itex2MML.l"
|
3971
3974
|
case 425:
|
3972
|
-
#line
|
3975
|
+
#line 556 "itex2MML.l"
|
3973
3976
|
case 426:
|
3974
|
-
#line
|
3977
|
+
#line 557 "itex2MML.l"
|
3975
3978
|
case 427:
|
3976
|
-
#line
|
3979
|
+
#line 558 "itex2MML.l"
|
3977
3980
|
case 428:
|
3978
|
-
#line
|
3981
|
+
#line 559 "itex2MML.l"
|
3979
3982
|
case 429:
|
3980
|
-
#line
|
3983
|
+
#line 560 "itex2MML.l"
|
3981
3984
|
case 430:
|
3982
|
-
#line
|
3985
|
+
#line 561 "itex2MML.l"
|
3983
3986
|
case 431:
|
3984
|
-
#line
|
3987
|
+
#line 562 "itex2MML.l"
|
3985
3988
|
case 432:
|
3986
|
-
#line
|
3989
|
+
#line 563 "itex2MML.l"
|
3987
3990
|
case 433:
|
3988
|
-
#line
|
3991
|
+
#line 564 "itex2MML.l"
|
3989
3992
|
case 434:
|
3990
|
-
#line
|
3993
|
+
#line 565 "itex2MML.l"
|
3991
3994
|
case 435:
|
3992
|
-
#line
|
3995
|
+
#line 566 "itex2MML.l"
|
3993
3996
|
case 436:
|
3994
|
-
#line
|
3997
|
+
#line 567 "itex2MML.l"
|
3995
3998
|
case 437:
|
3996
|
-
#line
|
3999
|
+
#line 568 "itex2MML.l"
|
3997
4000
|
case 438:
|
3998
|
-
#line
|
4001
|
+
#line 569 "itex2MML.l"
|
3999
4002
|
case 439:
|
4000
|
-
#line
|
4003
|
+
#line 570 "itex2MML.l"
|
4001
4004
|
case 440:
|
4002
|
-
#line
|
4005
|
+
#line 571 "itex2MML.l"
|
4003
4006
|
case 441:
|
4004
|
-
#line
|
4007
|
+
#line 572 "itex2MML.l"
|
4005
4008
|
case 442:
|
4006
|
-
#line
|
4009
|
+
#line 573 "itex2MML.l"
|
4007
4010
|
case 443:
|
4008
|
-
#line
|
4011
|
+
#line 574 "itex2MML.l"
|
4009
4012
|
case 444:
|
4010
|
-
#line
|
4013
|
+
#line 575 "itex2MML.l"
|
4011
4014
|
case 445:
|
4012
|
-
#line
|
4015
|
+
#line 576 "itex2MML.l"
|
4013
4016
|
case 446:
|
4014
|
-
#line
|
4017
|
+
#line 577 "itex2MML.l"
|
4015
4018
|
case 447:
|
4016
|
-
#line
|
4019
|
+
#line 578 "itex2MML.l"
|
4017
4020
|
case 448:
|
4018
|
-
#line
|
4021
|
+
#line 579 "itex2MML.l"
|
4019
4022
|
case 449:
|
4020
|
-
#line
|
4023
|
+
#line 580 "itex2MML.l"
|
4021
4024
|
case 450:
|
4022
|
-
#line
|
4025
|
+
#line 581 "itex2MML.l"
|
4023
4026
|
case 451:
|
4024
|
-
#line
|
4027
|
+
#line 582 "itex2MML.l"
|
4025
4028
|
case 452:
|
4026
|
-
#line
|
4029
|
+
#line 583 "itex2MML.l"
|
4027
4030
|
case 453:
|
4028
|
-
#line
|
4031
|
+
#line 584 "itex2MML.l"
|
4029
4032
|
case 454:
|
4030
|
-
#line
|
4033
|
+
#line 585 "itex2MML.l"
|
4031
4034
|
case 455:
|
4032
|
-
#line
|
4035
|
+
#line 586 "itex2MML.l"
|
4033
4036
|
case 456:
|
4034
|
-
#line
|
4037
|
+
#line 587 "itex2MML.l"
|
4035
4038
|
case 457:
|
4036
|
-
#line
|
4039
|
+
#line 588 "itex2MML.l"
|
4037
4040
|
case 458:
|
4038
|
-
#line
|
4041
|
+
#line 589 "itex2MML.l"
|
4039
4042
|
case 459:
|
4040
|
-
#line
|
4043
|
+
#line 590 "itex2MML.l"
|
4041
4044
|
case 460:
|
4042
|
-
#line
|
4045
|
+
#line 591 "itex2MML.l"
|
4043
4046
|
case 461:
|
4044
|
-
#line
|
4047
|
+
#line 592 "itex2MML.l"
|
4045
4048
|
case 462:
|
4046
|
-
#line
|
4049
|
+
#line 593 "itex2MML.l"
|
4047
4050
|
case 463:
|
4048
|
-
#line
|
4051
|
+
#line 594 "itex2MML.l"
|
4049
4052
|
case 464:
|
4050
|
-
#line
|
4053
|
+
#line 595 "itex2MML.l"
|
4051
4054
|
case 465:
|
4052
|
-
#line
|
4055
|
+
#line 596 "itex2MML.l"
|
4053
4056
|
case 466:
|
4054
|
-
#line
|
4057
|
+
#line 597 "itex2MML.l"
|
4055
4058
|
case 467:
|
4056
|
-
#line
|
4059
|
+
#line 598 "itex2MML.l"
|
4057
4060
|
case 468:
|
4058
|
-
#line
|
4061
|
+
#line 599 "itex2MML.l"
|
4059
4062
|
case 469:
|
4060
|
-
#line
|
4063
|
+
#line 600 "itex2MML.l"
|
4061
4064
|
case 470:
|
4062
|
-
#line
|
4065
|
+
#line 601 "itex2MML.l"
|
4063
4066
|
case 471:
|
4064
|
-
#line
|
4067
|
+
#line 602 "itex2MML.l"
|
4065
4068
|
case 472:
|
4066
|
-
#line
|
4069
|
+
#line 603 "itex2MML.l"
|
4067
4070
|
case 473:
|
4068
|
-
#line
|
4071
|
+
#line 604 "itex2MML.l"
|
4069
4072
|
case 474:
|
4070
|
-
#line
|
4073
|
+
#line 605 "itex2MML.l"
|
4071
4074
|
case 475:
|
4072
|
-
#line
|
4075
|
+
#line 606 "itex2MML.l"
|
4073
4076
|
case 476:
|
4074
|
-
#line
|
4077
|
+
#line 607 "itex2MML.l"
|
4075
4078
|
case 477:
|
4076
|
-
#line
|
4079
|
+
#line 608 "itex2MML.l"
|
4077
4080
|
case 478:
|
4078
|
-
#line
|
4081
|
+
#line 609 "itex2MML.l"
|
4079
4082
|
case 479:
|
4080
|
-
#line
|
4083
|
+
#line 610 "itex2MML.l"
|
4081
4084
|
case 480:
|
4082
|
-
#line
|
4085
|
+
#line 611 "itex2MML.l"
|
4083
4086
|
case 481:
|
4084
|
-
#line
|
4087
|
+
#line 612 "itex2MML.l"
|
4085
4088
|
case 482:
|
4086
|
-
#line
|
4089
|
+
#line 613 "itex2MML.l"
|
4087
4090
|
case 483:
|
4088
|
-
#line
|
4091
|
+
#line 614 "itex2MML.l"
|
4089
4092
|
case 484:
|
4090
|
-
#line
|
4093
|
+
#line 615 "itex2MML.l"
|
4091
4094
|
case 485:
|
4092
|
-
#line
|
4095
|
+
#line 616 "itex2MML.l"
|
4093
4096
|
case 486:
|
4094
|
-
#line
|
4097
|
+
#line 617 "itex2MML.l"
|
4095
4098
|
case 487:
|
4096
|
-
#line
|
4099
|
+
#line 618 "itex2MML.l"
|
4097
4100
|
case 488:
|
4098
|
-
#line
|
4101
|
+
#line 619 "itex2MML.l"
|
4099
4102
|
case 489:
|
4100
|
-
#line
|
4103
|
+
#line 620 "itex2MML.l"
|
4101
4104
|
case 490:
|
4102
|
-
#line
|
4105
|
+
#line 621 "itex2MML.l"
|
4103
4106
|
case 491:
|
4104
|
-
#line
|
4107
|
+
#line 622 "itex2MML.l"
|
4105
4108
|
case 492:
|
4106
|
-
#line
|
4109
|
+
#line 623 "itex2MML.l"
|
4107
4110
|
case 493:
|
4108
|
-
#line
|
4111
|
+
#line 624 "itex2MML.l"
|
4109
4112
|
case 494:
|
4110
|
-
#line
|
4113
|
+
#line 625 "itex2MML.l"
|
4111
4114
|
case 495:
|
4112
|
-
#line
|
4115
|
+
#line 626 "itex2MML.l"
|
4113
4116
|
case 496:
|
4114
|
-
#line
|
4117
|
+
#line 627 "itex2MML.l"
|
4115
4118
|
case 497:
|
4116
|
-
#line
|
4119
|
+
#line 628 "itex2MML.l"
|
4117
4120
|
case 498:
|
4118
|
-
#line
|
4121
|
+
#line 629 "itex2MML.l"
|
4119
4122
|
case 499:
|
4120
|
-
#line
|
4123
|
+
#line 630 "itex2MML.l"
|
4121
4124
|
case 500:
|
4122
|
-
#line
|
4125
|
+
#line 631 "itex2MML.l"
|
4123
4126
|
case 501:
|
4124
|
-
#line
|
4127
|
+
#line 632 "itex2MML.l"
|
4125
4128
|
case 502:
|
4126
|
-
#line
|
4129
|
+
#line 633 "itex2MML.l"
|
4127
4130
|
case 503:
|
4128
|
-
#line
|
4131
|
+
#line 634 "itex2MML.l"
|
4129
4132
|
case 504:
|
4130
|
-
#line
|
4133
|
+
#line 635 "itex2MML.l"
|
4131
4134
|
case 505:
|
4132
|
-
#line
|
4135
|
+
#line 636 "itex2MML.l"
|
4133
4136
|
case 506:
|
4134
|
-
#line
|
4137
|
+
#line 637 "itex2MML.l"
|
4135
4138
|
case 507:
|
4136
|
-
#line
|
4139
|
+
#line 638 "itex2MML.l"
|
4137
4140
|
case 508:
|
4138
|
-
#line
|
4141
|
+
#line 639 "itex2MML.l"
|
4139
4142
|
case 509:
|
4140
|
-
#line
|
4143
|
+
#line 640 "itex2MML.l"
|
4141
4144
|
case 510:
|
4142
|
-
#line
|
4145
|
+
#line 641 "itex2MML.l"
|
4143
4146
|
case 511:
|
4144
|
-
#line
|
4147
|
+
#line 642 "itex2MML.l"
|
4145
4148
|
case 512:
|
4146
|
-
#line
|
4149
|
+
#line 643 "itex2MML.l"
|
4147
4150
|
case 513:
|
4148
|
-
#line
|
4151
|
+
#line 644 "itex2MML.l"
|
4149
4152
|
case 514:
|
4150
|
-
#line
|
4153
|
+
#line 645 "itex2MML.l"
|
4151
4154
|
case 515:
|
4152
|
-
#line
|
4155
|
+
#line 646 "itex2MML.l"
|
4153
4156
|
case 516:
|
4154
|
-
#line
|
4157
|
+
#line 647 "itex2MML.l"
|
4155
4158
|
case 517:
|
4156
|
-
#line
|
4159
|
+
#line 648 "itex2MML.l"
|
4157
4160
|
case 518:
|
4158
|
-
#line
|
4161
|
+
#line 649 "itex2MML.l"
|
4159
4162
|
case 519:
|
4160
|
-
#line
|
4163
|
+
#line 650 "itex2MML.l"
|
4161
4164
|
case 520:
|
4162
|
-
#line
|
4165
|
+
#line 651 "itex2MML.l"
|
4163
4166
|
case 521:
|
4164
|
-
#line
|
4167
|
+
#line 652 "itex2MML.l"
|
4165
4168
|
case 522:
|
4166
|
-
#line
|
4169
|
+
#line 653 "itex2MML.l"
|
4167
4170
|
case 523:
|
4168
|
-
#line
|
4171
|
+
#line 654 "itex2MML.l"
|
4169
4172
|
case 524:
|
4170
4173
|
YY_RULE_SETUP
|
4171
|
-
#line
|
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
|
4178
|
+
#line 657 "itex2MML.l"
|
4176
4179
|
case 526:
|
4177
|
-
#line
|
4180
|
+
#line 658 "itex2MML.l"
|
4178
4181
|
case 527:
|
4179
|
-
#line
|
4182
|
+
#line 659 "itex2MML.l"
|
4180
4183
|
case 528:
|
4181
|
-
#line
|
4184
|
+
#line 660 "itex2MML.l"
|
4182
4185
|
case 529:
|
4183
|
-
#line
|
4186
|
+
#line 661 "itex2MML.l"
|
4184
4187
|
case 530:
|
4185
|
-
#line
|
4188
|
+
#line 662 "itex2MML.l"
|
4186
4189
|
case 531:
|
4187
|
-
#line
|
4190
|
+
#line 663 "itex2MML.l"
|
4188
4191
|
case 532:
|
4189
|
-
#line
|
4192
|
+
#line 664 "itex2MML.l"
|
4190
4193
|
case 533:
|
4191
|
-
#line
|
4194
|
+
#line 665 "itex2MML.l"
|
4192
4195
|
case 534:
|
4193
4196
|
YY_RULE_SETUP
|
4194
|
-
#line
|
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
|
4201
|
+
#line 668 "itex2MML.l"
|
4199
4202
|
case 536:
|
4200
4203
|
YY_RULE_SETUP
|
4201
|
-
#line
|
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
|
4209
|
+
#line 669 "itex2MML.l"
|
4207
4210
|
{yylval=itex2MML_copy_string("⊡"); return MOL;}
|
4208
4211
|
YY_BREAK
|
4209
4212
|
case 538:
|
4210
|
-
#line
|
4213
|
+
#line 671 "itex2MML.l"
|
4211
4214
|
case 539:
|
4212
4215
|
YY_RULE_SETUP
|
4213
|
-
#line
|
4216
|
+
#line 671 "itex2MML.l"
|
4214
4217
|
{yylval=itex2MML_copy_string("□"); return MOL;}
|
4215
4218
|
YY_BREAK
|
4216
4219
|
case 540:
|
4217
|
-
#line
|
4220
|
+
#line 673 "itex2MML.l"
|
4218
4221
|
case 541:
|
4219
4222
|
YY_RULE_SETUP
|
4220
|
-
#line
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
4258
|
+
#line 680 "itex2MML.l"
|
4256
4259
|
{yylval=itex2MML_copy_string("⊴"); return MOL;}
|
4257
4260
|
YY_BREAK
|
4258
4261
|
case 549:
|
4259
|
-
#line
|
4262
|
+
#line 682 "itex2MML.l"
|
4260
4263
|
case 550:
|
4261
4264
|
YY_RULE_SETUP
|
4262
|
-
#line
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
4300
|
+
#line 693 "itex2MML.l"
|
4298
4301
|
{return PMOD;}
|
4299
4302
|
YY_BREAK
|
4300
4303
|
case 558:
|
4301
4304
|
YY_RULE_SETUP
|
4302
|
-
#line
|
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
|
4310
|
+
#line 697 "itex2MML.l"
|
4308
4311
|
{yylval=itex2MML_copy_string("¬"); return MOL;}
|
4309
4312
|
YY_BREAK
|
4310
4313
|
case 560:
|
4311
|
-
#line
|
4314
|
+
#line 700 "itex2MML.l"
|
4312
4315
|
case 561:
|
4313
4316
|
YY_RULE_SETUP
|
4314
|
-
#line
|
4317
|
+
#line 700 "itex2MML.l"
|
4315
4318
|
{yylval=itex2MML_copy_string("≠"); return MOL;}
|
4316
4319
|
YY_BREAK
|
4317
4320
|
case 562:
|
4318
|
-
#line
|
4321
|
+
#line 703 "itex2MML.l"
|
4319
4322
|
case 563:
|
4320
4323
|
YY_RULE_SETUP
|
4321
|
-
#line
|
4324
|
+
#line 703 "itex2MML.l"
|
4322
4325
|
{yylval=itex2MML_copy_string("∣"); return MOS;}
|
4323
4326
|
YY_BREAK
|
4324
4327
|
case 564:
|
4325
|
-
#line
|
4328
|
+
#line 706 "itex2MML.l"
|
4326
4329
|
case 565:
|
4327
4330
|
YY_RULE_SETUP
|
4328
|
-
#line
|
4331
|
+
#line 706 "itex2MML.l"
|
4329
4332
|
{yylval=itex2MML_copy_string("∫"); return MOL;}
|
4330
4333
|
YY_BREAK
|
4331
4334
|
case 566:
|
4332
|
-
#line
|
4335
|
+
#line 709 "itex2MML.l"
|
4333
4336
|
case 567:
|
4334
4337
|
YY_RULE_SETUP
|
4335
|
-
#line
|
4338
|
+
#line 709 "itex2MML.l"
|
4336
4339
|
{yylval=itex2MML_copy_string("∬"); return MOL;}
|
4337
4340
|
YY_BREAK
|
4338
4341
|
case 568:
|
4339
|
-
#line
|
4342
|
+
#line 712 "itex2MML.l"
|
4340
4343
|
case 569:
|
4341
4344
|
YY_RULE_SETUP
|
4342
|
-
#line
|
4345
|
+
#line 712 "itex2MML.l"
|
4343
4346
|
{yylval=itex2MML_copy_string("∭"); return MOL;}
|
4344
4347
|
YY_BREAK
|
4345
4348
|
case 570:
|
4346
|
-
#line
|
4349
|
+
#line 715 "itex2MML.l"
|
4347
4350
|
case 571:
|
4348
4351
|
YY_RULE_SETUP
|
4349
|
-
#line
|
4352
|
+
#line 715 "itex2MML.l"
|
4350
4353
|
{yylval=itex2MML_copy_string("⨌"); return MOL;}
|
4351
4354
|
YY_BREAK
|
4352
4355
|
case 572:
|
4353
|
-
#line
|
4356
|
+
#line 718 "itex2MML.l"
|
4354
4357
|
case 573:
|
4355
|
-
#line
|
4358
|
+
#line 719 "itex2MML.l"
|
4356
4359
|
case 574:
|
4357
4360
|
YY_RULE_SETUP
|
4358
|
-
#line
|
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
|
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
|
4371
|
+
#line 722 "itex2MML.l"
|
4369
4372
|
{yylval=itex2MML_copy_string("⋆"); return MOL;}
|
4370
4373
|
YY_BREAK
|
4371
4374
|
case 577:
|
4372
|
-
#line
|
4375
|
+
#line 724 "itex2MML.l"
|
4373
4376
|
case 578:
|
4374
4377
|
YY_RULE_SETUP
|
4375
|
-
#line
|
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
|
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
|
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
|
4393
|
+
#line 728 "itex2MML.l"
|
4391
4394
|
{yylval=itex2MML_copy_string("⌣"); return MOL;}
|
4392
4395
|
YY_BREAK
|
4393
4396
|
case 582:
|
4394
|
-
#line
|
4397
|
+
#line 731 "itex2MML.l"
|
4395
4398
|
case 583:
|
4396
4399
|
YY_RULE_SETUP
|
4397
|
-
#line
|
4400
|
+
#line 731 "itex2MML.l"
|
4398
4401
|
{yylval=itex2MML_copy_string("⊟"); return MOL;}
|
4399
4402
|
YY_BREAK
|
4400
4403
|
case 584:
|
4401
|
-
#line
|
4404
|
+
#line 733 "itex2MML.l"
|
4402
4405
|
case 585:
|
4403
4406
|
YY_RULE_SETUP
|
4404
|
-
#line
|
4407
|
+
#line 733 "itex2MML.l"
|
4405
4408
|
{yylval=itex2MML_copy_string("⊞"); return MOL;}
|
4406
4409
|
YY_BREAK
|
4407
4410
|
case 586:
|
4408
|
-
#line
|
4411
|
+
#line 735 "itex2MML.l"
|
4409
4412
|
case 587:
|
4410
4413
|
YY_RULE_SETUP
|
4411
|
-
#line
|
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
|
4419
|
+
#line 737 "itex2MML.l"
|
4417
4420
|
{yylval=itex2MML_copy_string("∑"); return MOB;}
|
4418
4421
|
YY_BREAK
|
4419
4422
|
case 589:
|
4420
|
-
#line
|
4423
|
+
#line 740 "itex2MML.l"
|
4421
4424
|
case 590:
|
4422
4425
|
YY_RULE_SETUP
|
4423
|
-
#line
|
4426
|
+
#line 740 "itex2MML.l"
|
4424
4427
|
{yylval=itex2MML_copy_string("∏"); return MOB;}
|
4425
4428
|
YY_BREAK
|
4426
4429
|
case 591:
|
4427
|
-
#line
|
4430
|
+
#line 743 "itex2MML.l"
|
4428
4431
|
case 592:
|
4429
4432
|
YY_RULE_SETUP
|
4430
|
-
#line
|
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
|
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
|
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
|
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
|
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
|
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
|
4463
|
+
#line 752 "itex2MML.l"
|
4461
4464
|
{yylval=itex2MML_copy_string("⊕"); return MOL;}
|
4462
4465
|
YY_BREAK
|
4463
4466
|
case 599:
|
4464
|
-
#line
|
4467
|
+
#line 754 "itex2MML.l"
|
4465
4468
|
case 600:
|
4466
4469
|
YY_RULE_SETUP
|
4467
|
-
#line
|
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
|
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
|
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
|
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
|
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
|
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
|
4500
|
+
#line 762 "itex2MML.l"
|
4498
4501
|
{yylval=itex2MML_copy_string("∧"); return MOL;}
|
4499
4502
|
YY_BREAK
|
4500
4503
|
case 607:
|
4501
|
-
#line
|
4504
|
+
#line 764 "itex2MML.l"
|
4502
4505
|
case 608:
|
4503
4506
|
YY_RULE_SETUP
|
4504
|
-
#line
|
4507
|
+
#line 764 "itex2MML.l"
|
4505
4508
|
{yylval=itex2MML_copy_string("⋀"); return MOB;}
|
4506
4509
|
YY_BREAK
|
4507
4510
|
case 609:
|
4508
|
-
#line
|
4511
|
+
#line 767 "itex2MML.l"
|
4509
4512
|
case 610:
|
4510
4513
|
YY_RULE_SETUP
|
4511
|
-
#line
|
4514
|
+
#line 767 "itex2MML.l"
|
4512
4515
|
{yylval=itex2MML_copy_string("⋁"); return MOB;}
|
4513
4516
|
YY_BREAK
|
4514
4517
|
case 611:
|
4515
|
-
#line
|
4518
|
+
#line 770 "itex2MML.l"
|
4516
4519
|
case 612:
|
4517
4520
|
YY_RULE_SETUP
|
4518
|
-
#line
|
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
|
4526
|
+
#line 772 "itex2MML.l"
|
4524
4527
|
{return FRAC;}
|
4525
4528
|
YY_BREAK
|
4526
4529
|
case 614:
|
4527
4530
|
YY_RULE_SETUP
|
4528
|
-
#line
|
4531
|
+
#line 773 "itex2MML.l"
|
4529
4532
|
{return TFRAC;}
|
4530
4533
|
YY_BREAK
|
4531
4534
|
case 615:
|
4532
4535
|
YY_RULE_SETUP
|
4533
|
-
#line
|
4536
|
+
#line 775 "itex2MML.l"
|
4534
4537
|
{return BINOM;}
|
4535
4538
|
YY_BREAK
|
4536
4539
|
case 616:
|
4537
4540
|
YY_RULE_SETUP
|
4538
|
-
#line
|
4541
|
+
#line 776 "itex2MML.l"
|
4539
4542
|
{return TBINOM;}
|
4540
4543
|
YY_BREAK
|
4541
4544
|
case 617:
|
4542
4545
|
YY_RULE_SETUP
|
4543
|
-
#line
|
4546
|
+
#line 778 "itex2MML.l"
|
4544
4547
|
{return TENSOR;}
|
4545
4548
|
YY_BREAK
|
4546
4549
|
case 618:
|
4547
4550
|
YY_RULE_SETUP
|
4548
|
-
#line
|
4551
|
+
#line 780 "itex2MML.l"
|
4549
4552
|
{return MULTI;}
|
4550
4553
|
YY_BREAK
|
4551
4554
|
case 619:
|
4552
4555
|
YY_RULE_SETUP
|
4553
|
-
#line
|
4556
|
+
#line 782 "itex2MML.l"
|
4554
4557
|
{return OVERBRACE;}
|
4555
4558
|
YY_BREAK
|
4556
4559
|
case 620:
|
4557
4560
|
YY_RULE_SETUP
|
4558
|
-
#line
|
4561
|
+
#line 784 "itex2MML.l"
|
4559
4562
|
{return UNDERBRACE;}
|
4560
4563
|
YY_BREAK
|
4561
4564
|
case 621:
|
4562
4565
|
YY_RULE_SETUP
|
4563
|
-
#line
|
4566
|
+
#line 786 "itex2MML.l"
|
4564
4567
|
{return UNDERLINE;}
|
4565
4568
|
YY_BREAK
|
4566
4569
|
case 622:
|
4567
4570
|
YY_RULE_SETUP
|
4568
|
-
#line
|
4571
|
+
#line 788 "itex2MML.l"
|
4569
4572
|
{return BAR;}
|
4570
4573
|
YY_BREAK
|
4571
4574
|
case 623:
|
4572
|
-
#line
|
4575
|
+
#line 790 "itex2MML.l"
|
4573
4576
|
case 624:
|
4574
|
-
#line
|
4577
|
+
#line 791 "itex2MML.l"
|
4575
4578
|
case 625:
|
4576
4579
|
YY_RULE_SETUP
|
4577
|
-
#line
|
4580
|
+
#line 791 "itex2MML.l"
|
4578
4581
|
{return WIDEBAR;}
|
4579
4582
|
YY_BREAK
|
4580
4583
|
case 626:
|
4581
4584
|
YY_RULE_SETUP
|
4582
|
-
#line
|
4585
|
+
#line 793 "itex2MML.l"
|
4583
4586
|
{return VEC;}
|
4584
4587
|
YY_BREAK
|
4585
4588
|
case 627:
|
4586
4589
|
YY_RULE_SETUP
|
4587
|
-
#line
|
4590
|
+
#line 794 "itex2MML.l"
|
4588
4591
|
{return WIDEVEC;}
|
4589
4592
|
YY_BREAK
|
4590
4593
|
case 628:
|
4591
4594
|
YY_RULE_SETUP
|
4592
|
-
#line
|
4595
|
+
#line 796 "itex2MML.l"
|
4593
4596
|
{return DOT;}
|
4594
4597
|
YY_BREAK
|
4595
4598
|
case 629:
|
4596
4599
|
YY_RULE_SETUP
|
4597
|
-
#line
|
4600
|
+
#line 797 "itex2MML.l"
|
4598
4601
|
{return DDOT;}
|
4599
4602
|
YY_BREAK
|
4600
4603
|
case 630:
|
4601
4604
|
YY_RULE_SETUP
|
4602
|
-
#line
|
4605
|
+
#line 798 "itex2MML.l"
|
4603
4606
|
{return DDDOT;}
|
4604
4607
|
YY_BREAK
|
4605
4608
|
case 631:
|
4606
4609
|
YY_RULE_SETUP
|
4607
|
-
#line
|
4610
|
+
#line 799 "itex2MML.l"
|
4608
4611
|
{return DDDDOT;}
|
4609
4612
|
YY_BREAK
|
4610
4613
|
case 632:
|
4611
4614
|
YY_RULE_SETUP
|
4612
|
-
#line
|
4615
|
+
#line 801 "itex2MML.l"
|
4613
4616
|
{return TILDE;}
|
4614
4617
|
YY_BREAK
|
4615
4618
|
case 633:
|
4616
4619
|
YY_RULE_SETUP
|
4617
|
-
#line
|
4620
|
+
#line 802 "itex2MML.l"
|
4618
4621
|
{return WIDETILDE;}
|
4619
4622
|
YY_BREAK
|
4620
4623
|
case 634:
|
4621
4624
|
YY_RULE_SETUP
|
4622
|
-
#line
|
4625
|
+
#line 805 "itex2MML.l"
|
4623
4626
|
{return CHECK;}
|
4624
4627
|
YY_BREAK
|
4625
4628
|
case 635:
|
4626
4629
|
YY_RULE_SETUP
|
4627
|
-
#line
|
4630
|
+
#line 806 "itex2MML.l"
|
4628
4631
|
{return WIDECHECK;}
|
4629
4632
|
YY_BREAK
|
4630
4633
|
case 636:
|
4631
4634
|
YY_RULE_SETUP
|
4632
|
-
#line
|
4635
|
+
#line 809 "itex2MML.l"
|
4633
4636
|
{return HAT;}
|
4634
4637
|
YY_BREAK
|
4635
4638
|
case 637:
|
4636
4639
|
YY_RULE_SETUP
|
4637
|
-
#line
|
4640
|
+
#line 810 "itex2MML.l"
|
4638
4641
|
{return WIDEHAT;}
|
4639
4642
|
YY_BREAK
|
4640
4643
|
case 638:
|
4641
4644
|
YY_RULE_SETUP
|
4642
|
-
#line
|
4645
|
+
#line 812 "itex2MML.l"
|
4643
4646
|
{return UNDER;}
|
4644
4647
|
YY_BREAK
|
4645
4648
|
case 639:
|
4646
|
-
#line
|
4649
|
+
#line 815 "itex2MML.l"
|
4647
4650
|
case 640:
|
4648
4651
|
YY_RULE_SETUP
|
4649
|
-
#line
|
4652
|
+
#line 815 "itex2MML.l"
|
4650
4653
|
{return OVER;}
|
4651
4654
|
YY_BREAK
|
4652
4655
|
case 641:
|
4653
4656
|
YY_RULE_SETUP
|
4654
|
-
#line
|
4657
|
+
#line 817 "itex2MML.l"
|
4655
4658
|
{return TEXOVER;}
|
4656
4659
|
YY_BREAK
|
4657
4660
|
case 642:
|
4658
4661
|
YY_RULE_SETUP
|
4659
|
-
#line
|
4662
|
+
#line 818 "itex2MML.l"
|
4660
4663
|
{return TEXATOP;}
|
4661
4664
|
YY_BREAK
|
4662
4665
|
case 643:
|
4663
4666
|
YY_RULE_SETUP
|
4664
|
-
#line
|
4667
|
+
#line 820 "itex2MML.l"
|
4665
4668
|
{return UNDEROVER;}
|
4666
4669
|
YY_BREAK
|
4667
4670
|
case 644:
|
4668
4671
|
YY_RULE_SETUP
|
4669
|
-
#line
|
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
|
4677
|
+
#line 824 "itex2MML.l"
|
4675
4678
|
{return ROOT;}
|
4676
4679
|
YY_BREAK
|
4677
4680
|
case 646:
|
4678
4681
|
YY_RULE_SETUP
|
4679
|
-
#line
|
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
|
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
|
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
|
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
|
4702
|
+
#line 833 "itex2MML.l"
|
4700
4703
|
{return TOGGLE;}
|
4701
4704
|
YY_BREAK
|
4702
4705
|
case 651:
|
4703
4706
|
YY_RULE_SETUP
|
4704
|
-
#line
|
4707
|
+
#line 834 "itex2MML.l"
|
4705
4708
|
{return TOGGLESTART;}
|
4706
4709
|
YY_BREAK
|
4707
4710
|
case 652:
|
4708
4711
|
YY_RULE_SETUP
|
4709
|
-
#line
|
4712
|
+
#line 835 "itex2MML.l"
|
4710
4713
|
{return TOGGLEEND;}
|
4711
4714
|
YY_BREAK
|
4712
4715
|
case 653:
|
4713
4716
|
YY_RULE_SETUP
|
4714
|
-
#line
|
4717
|
+
#line 837 "itex2MML.l"
|
4715
4718
|
{BEGIN(RAISEBOX1); return RAISEBOX;}
|
4716
4719
|
YY_BREAK
|
4717
4720
|
case 654:
|
4718
|
-
#line
|
4721
|
+
#line 840 "itex2MML.l"
|
4719
4722
|
case 655:
|
4720
4723
|
YY_RULE_SETUP
|
4721
|
-
#line
|
4724
|
+
#line 840 "itex2MML.l"
|
4722
4725
|
{BEGIN(ATTRIBUTELIST); return FGHIGHLIGHT;}
|
4723
4726
|
YY_BREAK
|
4724
4727
|
case 656:
|
4725
|
-
#line
|
4728
|
+
#line 843 "itex2MML.l"
|
4726
4729
|
case 657:
|
4727
4730
|
YY_RULE_SETUP
|
4728
|
-
#line
|
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
|
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
|
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
|
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
|
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
|
4756
|
+
#line 852 "itex2MML.l"
|
4754
4757
|
{return TEXTSIZE;}
|
4755
4758
|
YY_BREAK
|
4756
4759
|
case 663:
|
4757
4760
|
YY_RULE_SETUP
|
4758
|
-
#line
|
4761
|
+
#line 854 "itex2MML.l"
|
4759
4762
|
{return SCSIZE;}
|
4760
4763
|
YY_BREAK
|
4761
4764
|
case 664:
|
4762
4765
|
YY_RULE_SETUP
|
4763
|
-
#line
|
4766
|
+
#line 856 "itex2MML.l"
|
4764
4767
|
{return SCSCSIZE;}
|
4765
4768
|
YY_BREAK
|
4766
4769
|
case 665:
|
4767
4770
|
YY_RULE_SETUP
|
4768
|
-
#line
|
4771
|
+
#line 858 "itex2MML.l"
|
4769
4772
|
{return ITALICS;}
|
4770
4773
|
YY_BREAK
|
4771
4774
|
case 666:
|
4772
4775
|
YY_RULE_SETUP
|
4773
|
-
#line
|
4776
|
+
#line 860 "itex2MML.l"
|
4774
4777
|
{return SANS;}
|
4775
4778
|
YY_BREAK
|
4776
4779
|
case 667:
|
4777
4780
|
YY_RULE_SETUP
|
4778
|
-
#line
|
4781
|
+
#line 861 "itex2MML.l"
|
4779
4782
|
{return TT;}
|
4780
4783
|
YY_BREAK
|
4781
4784
|
case 668:
|
4782
|
-
#line
|
4785
|
+
#line 864 "itex2MML.l"
|
4783
4786
|
case 669:
|
4784
4787
|
YY_RULE_SETUP
|
4785
|
-
#line
|
4788
|
+
#line 864 "itex2MML.l"
|
4786
4789
|
{return BOLD;}
|
4787
4790
|
YY_BREAK
|
4788
4791
|
case 670:
|
4789
4792
|
YY_RULE_SETUP
|
4790
|
-
#line
|
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
|
4798
|
+
#line 868 "itex2MML.l"
|
4796
4799
|
{BEGIN(BBOLD); return BB;}
|
4797
4800
|
YY_BREAK
|
4798
4801
|
case 672:
|
4799
|
-
#line
|
4802
|
+
#line 871 "itex2MML.l"
|
4800
4803
|
case 673:
|
4801
4804
|
YY_RULE_SETUP
|
4802
|
-
#line
|
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
|
4810
|
+
#line 873 "itex2MML.l"
|
4808
4811
|
{return SLASHED;}
|
4809
4812
|
YY_BREAK
|
4810
4813
|
case 675:
|
4811
4814
|
YY_RULE_SETUP
|
4812
|
-
#line
|
4815
|
+
#line 875 "itex2MML.l"
|
4813
4816
|
{return BOXED;}
|
4814
4817
|
YY_BREAK
|
4815
4818
|
case 676:
|
4816
4819
|
YY_RULE_SETUP
|
4817
|
-
#line
|
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
|
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
|
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
|
4835
|
+
#line 882 "itex2MML.l"
|
4833
4836
|
{return SUBSTACK;}
|
4834
4837
|
YY_BREAK
|
4835
4838
|
case 680:
|
4836
4839
|
YY_RULE_SETUP
|
4837
|
-
#line
|
4840
|
+
#line 884 "itex2MML.l"
|
4838
4841
|
{return ARRAY;}
|
4839
4842
|
YY_BREAK
|
4840
4843
|
case 681:
|
4841
4844
|
YY_RULE_SETUP
|
4842
|
-
#line
|
4845
|
+
#line 886 "itex2MML.l"
|
4843
4846
|
{return ARRAYOPTS;}
|
4844
4847
|
YY_BREAK
|
4845
4848
|
case 682:
|
4846
4849
|
YY_RULE_SETUP
|
4847
|
-
#line
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
4900
|
+
#line 908 "itex2MML.l"
|
4898
4901
|
{return ROWOPTS;}
|
4899
4902
|
YY_BREAK
|
4900
4903
|
case 693:
|
4901
4904
|
YY_RULE_SETUP
|
4902
|
-
#line
|
4905
|
+
#line 910 "itex2MML.l"
|
4903
4906
|
{return CELLOPTS;}
|
4904
4907
|
YY_BREAK
|
4905
4908
|
case 694:
|
4906
4909
|
YY_RULE_SETUP
|
4907
|
-
#line
|
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
|
4915
|
+
#line 914 "itex2MML.l"
|
4913
4916
|
{BEGIN(ATTRIBUTELIST); return COLSPAN;}
|
4914
4917
|
YY_BREAK
|
4915
4918
|
case 696:
|
4916
|
-
#line
|
4919
|
+
#line 918 "itex2MML.l"
|
4917
4920
|
case 697:
|
4918
4921
|
YY_RULE_SETUP
|
4919
|
-
#line
|
4922
|
+
#line 918 "itex2MML.l"
|
4920
4923
|
{return THINSPACE;}
|
4921
4924
|
YY_BREAK
|
4922
4925
|
case 698:
|
4923
|
-
#line
|
4926
|
+
#line 921 "itex2MML.l"
|
4924
4927
|
case 699:
|
4925
4928
|
YY_RULE_SETUP
|
4926
|
-
#line
|
4929
|
+
#line 921 "itex2MML.l"
|
4927
4930
|
{return MEDSPACE;}
|
4928
4931
|
YY_BREAK
|
4929
4932
|
case 700:
|
4930
|
-
#line
|
4933
|
+
#line 924 "itex2MML.l"
|
4931
4934
|
case 701:
|
4932
4935
|
YY_RULE_SETUP
|
4933
|
-
#line
|
4936
|
+
#line 924 "itex2MML.l"
|
4934
4937
|
{return THICKSPACE;}
|
4935
4938
|
YY_BREAK
|
4936
4939
|
case 702:
|
4937
4940
|
YY_RULE_SETUP
|
4938
|
-
#line
|
4941
|
+
#line 926 "itex2MML.l"
|
4939
4942
|
{return QUAD;}
|
4940
4943
|
YY_BREAK
|
4941
4944
|
case 703:
|
4942
4945
|
YY_RULE_SETUP
|
4943
|
-
#line
|
4946
|
+
#line 927 "itex2MML.l"
|
4944
4947
|
{return QQUAD;}
|
4945
4948
|
YY_BREAK
|
4946
4949
|
case 704:
|
4947
|
-
#line
|
4950
|
+
#line 930 "itex2MML.l"
|
4948
4951
|
case 705:
|
4949
|
-
#line
|
4952
|
+
#line 931 "itex2MML.l"
|
4950
4953
|
case 706:
|
4951
4954
|
YY_RULE_SETUP
|
4952
|
-
#line
|
4955
|
+
#line 931 "itex2MML.l"
|
4953
4956
|
{return NEGSPACE;}
|
4954
4957
|
YY_BREAK
|
4955
4958
|
case 707:
|
4956
4959
|
YY_RULE_SETUP
|
4957
|
-
#line
|
4960
|
+
#line 933 "itex2MML.l"
|
4958
4961
|
{return NEGMEDSPACE;}
|
4959
4962
|
YY_BREAK
|
4960
4963
|
case 708:
|
4961
4964
|
YY_RULE_SETUP
|
4962
|
-
#line
|
4965
|
+
#line 935 "itex2MML.l"
|
4963
4966
|
{return NEGTHICKSPACE;}
|
4964
4967
|
YY_BREAK
|
4965
4968
|
case 709:
|
4966
4969
|
YY_RULE_SETUP
|
4967
|
-
#line
|
4970
|
+
#line 937 "itex2MML.l"
|
4968
4971
|
{return PHANTOM;}
|
4969
4972
|
YY_BREAK
|
4970
4973
|
case 710:
|
4971
4974
|
YY_RULE_SETUP
|
4972
|
-
#line
|
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
|
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
|
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
|
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
|
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
|
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
|
5006
|
+
#line 947 "itex2MML.l"
|
5004
5007
|
;
|
5005
5008
|
YY_BREAK
|
5006
5009
|
case 717:
|
5007
5010
|
YY_RULE_SETUP
|
5008
|
-
#line
|
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
|
5015
|
+
#line 952 "itex2MML.l"
|
5013
5016
|
case 719:
|
5014
|
-
#line
|
5017
|
+
#line 953 "itex2MML.l"
|
5015
5018
|
case 720:
|
5016
5019
|
YY_RULE_SETUP
|
5017
|
-
#line
|
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
|
5026
|
+
#line 955 "itex2MML.l"
|
5024
5027
|
itex2MML_lineno++;
|
5025
5028
|
YY_BREAK
|
5026
5029
|
case 722:
|
5027
5030
|
YY_RULE_SETUP
|
5028
|
-
#line
|
5031
|
+
#line 956 "itex2MML.l"
|
5029
5032
|
;
|
5030
5033
|
YY_BREAK
|
5031
5034
|
case 723:
|
5032
5035
|
YY_RULE_SETUP
|
5033
|
-
#line
|
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
|
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
|
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
|
5055
|
+
#line 966 "itex2MML.l"
|
5053
5056
|
;
|
5054
5057
|
YY_BREAK
|
5055
5058
|
case 727:
|
5056
5059
|
YY_RULE_SETUP
|
5057
|
-
#line
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
5258
|
+
#line 1032 "itex2MML.l"
|
5256
5259
|
{return ST;}
|
5257
5260
|
YY_BREAK
|
5258
5261
|
case 762:
|
5259
5262
|
YY_RULE_SETUP
|
5260
|
-
#line
|
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
|
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
|
5274
|
+
#line 1035 "itex2MML.l"
|
5272
5275
|
;
|
5273
5276
|
YY_BREAK
|
5274
5277
|
case 765:
|
5275
5278
|
YY_RULE_SETUP
|
5276
|
-
#line
|
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
|
5286
|
+
#line 1040 "itex2MML.l"
|
5284
5287
|
{return ST;}
|
5285
5288
|
YY_BREAK
|
5286
5289
|
case 767:
|
5287
5290
|
YY_RULE_SETUP
|
5288
|
-
#line
|
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
|
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
|
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
|
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
|
5312
|
+
#line 1045 "itex2MML.l"
|
5310
5313
|
;
|
5311
5314
|
YY_BREAK
|
5312
5315
|
case 772:
|
5313
5316
|
YY_RULE_SETUP
|
5314
|
-
#line
|
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
|
5324
|
+
#line 1050 "itex2MML.l"
|
5322
5325
|
{return ST;}
|
5323
5326
|
YY_BREAK
|
5324
5327
|
case 774:
|
5325
5328
|
YY_RULE_SETUP
|
5326
|
-
#line
|
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
|
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
|
5340
|
+
#line 1053 "itex2MML.l"
|
5338
5341
|
;
|
5339
5342
|
YY_BREAK
|
5340
5343
|
case 777:
|
5341
5344
|
YY_RULE_SETUP
|
5342
|
-
#line
|
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
|
5352
|
+
#line 1058 "itex2MML.l"
|
5350
5353
|
{return ST;}
|
5351
5354
|
YY_BREAK
|
5352
5355
|
case 779:
|
5353
5356
|
YY_RULE_SETUP
|
5354
|
-
#line
|
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
|
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
|
5368
|
+
#line 1061 "itex2MML.l"
|
5366
5369
|
;
|
5367
5370
|
YY_BREAK
|
5368
5371
|
case 782:
|
5369
5372
|
YY_RULE_SETUP
|
5370
|
-
#line
|
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
|
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
|
5388
|
+
#line 1070 "itex2MML.l"
|
5386
5389
|
{return ST;}
|
5387
5390
|
YY_BREAK
|
5388
5391
|
case 785:
|
5389
5392
|
YY_RULE_SETUP
|
5390
|
-
#line
|
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
|
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
|
5404
|
+
#line 1073 "itex2MML.l"
|
5402
5405
|
;
|
5403
5406
|
YY_BREAK
|
5404
5407
|
case 788:
|
5405
5408
|
YY_RULE_SETUP
|
5406
|
-
#line
|
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
|
5416
|
+
#line 1078 "itex2MML.l"
|
5414
5417
|
{return ST;}
|
5415
5418
|
YY_BREAK
|
5416
5419
|
case 790:
|
5417
5420
|
YY_RULE_SETUP
|
5418
|
-
#line
|
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
|
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
|
5432
|
+
#line 1081 "itex2MML.l"
|
5430
5433
|
;
|
5431
5434
|
YY_BREAK
|
5432
5435
|
case 793:
|
5433
5436
|
YY_RULE_SETUP
|
5434
|
-
#line
|
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
|
5444
|
+
#line 1086 "itex2MML.l"
|
5442
5445
|
{return ST;}
|
5443
5446
|
YY_BREAK
|
5444
5447
|
case 795:
|
5445
5448
|
YY_RULE_SETUP
|
5446
|
-
#line
|
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
|
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
|
5460
|
+
#line 1089 "itex2MML.l"
|
5458
5461
|
;
|
5459
5462
|
YY_BREAK
|
5460
5463
|
case 798:
|
5461
5464
|
YY_RULE_SETUP
|
5462
|
-
#line
|
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
|
5471
|
+
#line 1095 "itex2MML.l"
|
5469
5472
|
ECHO;
|
5470
5473
|
YY_BREAK
|
5471
|
-
#line
|
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
|
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
|
-
|
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
|
-
|
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
|
6526
|
+
static size_t s_itex2MML_read (char * buffer, size_t max_size)
|
6524
6527
|
{
|
6525
|
-
|
6528
|
+
size_t result = 0;
|
6526
6529
|
|
6527
6530
|
if (max_size < s_itex2MML_length)
|
6528
6531
|
{
|