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