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.
Files changed (3) hide show
  1. data/ext/itex2MML.h +3 -3
  2. data/ext/lex.yy.c +775 -772
  3. 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.3
2279
- * itex2MML.l last modified 9/29/2010
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 = 0;
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
- #line 2306 "lex.yy.c"
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 32 "itex2MML.l"
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 2508 "lex.yy.c"
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 37 "itex2MML.l"
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 38 "itex2MML.l"
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 39 "itex2MML.l"
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 40 "itex2MML.l"
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 41 "itex2MML.l"
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 49 "itex2MML.l"
2627
+ #line 52 "itex2MML.l"
2625
2628
  case 7:
2626
2629
  YY_RULE_SETUP
2627
- #line 49 "itex2MML.l"
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 52 "itex2MML.l"
2635
+ #line 55 "itex2MML.l"
2633
2636
  return SUP;
2634
2637
  YY_BREAK
2635
2638
  case 9:
2636
2639
  YY_RULE_SETUP
2637
- #line 53 "itex2MML.l"
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 54 "itex2MML.l"
2646
+ #line 57 "itex2MML.l"
2644
2647
  return EMPTYMROW;
2645
2648
  YY_BREAK
2646
2649
  case 11:
2647
2650
  YY_RULE_SETUP
2648
- #line 55 "itex2MML.l"
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 56 "itex2MML.l"
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 58 "itex2MML.l"
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 59 "itex2MML.l"
2666
+ #line 62 "itex2MML.l"
2664
2667
  return RIGHT;
2665
2668
  YY_BREAK
2666
2669
  case 15:
2667
- #line 62 "itex2MML.l"
2670
+ #line 65 "itex2MML.l"
2668
2671
  case 16:
2669
2672
  YY_RULE_SETUP
2670
- #line 62 "itex2MML.l"
2673
+ #line 65 "itex2MML.l"
2671
2674
  {return BIG;}
2672
2675
  YY_BREAK
2673
2676
  case 17:
2674
- #line 64 "itex2MML.l"
2677
+ #line 67 "itex2MML.l"
2675
2678
  case 18:
2676
2679
  YY_RULE_SETUP
2677
- #line 64 "itex2MML.l"
2680
+ #line 67 "itex2MML.l"
2678
2681
  {return BBIG;}
2679
2682
  YY_BREAK
2680
2683
  case 19:
2681
- #line 66 "itex2MML.l"
2684
+ #line 69 "itex2MML.l"
2682
2685
  case 20:
2683
2686
  YY_RULE_SETUP
2684
- #line 66 "itex2MML.l"
2687
+ #line 69 "itex2MML.l"
2685
2688
  {return BIGG;}
2686
2689
  YY_BREAK
2687
2690
  case 21:
2688
- #line 68 "itex2MML.l"
2691
+ #line 71 "itex2MML.l"
2689
2692
  case 22:
2690
2693
  YY_RULE_SETUP
2691
- #line 68 "itex2MML.l"
2694
+ #line 71 "itex2MML.l"
2692
2695
  {return BBIGG;}
2693
2696
  YY_BREAK
2694
2697
  case 23:
2695
2698
  YY_RULE_SETUP
2696
- #line 70 "itex2MML.l"
2699
+ #line 73 "itex2MML.l"
2697
2700
  {return BIGL;}
2698
2701
  YY_BREAK
2699
2702
  case 24:
2700
2703
  YY_RULE_SETUP
2701
- #line 71 "itex2MML.l"
2704
+ #line 74 "itex2MML.l"
2702
2705
  {return BBIGL;}
2703
2706
  YY_BREAK
2704
2707
  case 25:
2705
2708
  YY_RULE_SETUP
2706
- #line 72 "itex2MML.l"
2709
+ #line 75 "itex2MML.l"
2707
2710
  {return BIGGL;}
2708
2711
  YY_BREAK
2709
2712
  case 26:
2710
2713
  YY_RULE_SETUP
2711
- #line 73 "itex2MML.l"
2714
+ #line 76 "itex2MML.l"
2712
2715
  {return BBIGGL;}
2713
2716
  YY_BREAK
2714
2717
  case 27:
2715
2718
  YY_RULE_SETUP
2716
- #line 75 "itex2MML.l"
2719
+ #line 78 "itex2MML.l"
2717
2720
  {return RLAP;}
2718
2721
  YY_BREAK
2719
2722
  case 28:
2720
2723
  YY_RULE_SETUP
2721
- #line 76 "itex2MML.l"
2724
+ #line 79 "itex2MML.l"
2722
2725
  {return LLAP;}
2723
2726
  YY_BREAK
2724
2727
  case 29:
2725
2728
  YY_RULE_SETUP
2726
- #line 77 "itex2MML.l"
2729
+ #line 80 "itex2MML.l"
2727
2730
  {return CLAP;}
2728
2731
  YY_BREAK
2729
2732
  case 30:
2730
- #line 79 "itex2MML.l"
2733
+ #line 82 "itex2MML.l"
2731
2734
  case 31:
2732
- #line 80 "itex2MML.l"
2735
+ #line 83 "itex2MML.l"
2733
2736
  case 32:
2734
- #line 81 "itex2MML.l"
2737
+ #line 84 "itex2MML.l"
2735
2738
  case 33:
2736
2739
  YY_RULE_SETUP
2737
- #line 81 "itex2MML.l"
2740
+ #line 84 "itex2MML.l"
2738
2741
  {/* Ignore */ ;}
2739
2742
  YY_BREAK
2740
2743
  case 34:
2741
- #line 85 "itex2MML.l"
2744
+ #line 88 "itex2MML.l"
2742
2745
  case 35:
2743
2746
  YY_RULE_SETUP
2744
- #line 85 "itex2MML.l"
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 87 "itex2MML.l"
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 89 "itex2MML.l"
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 90 "itex2MML.l"
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 92 "itex2MML.l"
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 94 "itex2MML.l"
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 96 "itex2MML.l"
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 98 "itex2MML.l"
2781
+ #line 101 "itex2MML.l"
2779
2782
  case 43:
2780
2783
  YY_RULE_SETUP
2781
- #line 98 "itex2MML.l"
2784
+ #line 101 "itex2MML.l"
2782
2785
  {yylval=itex2MML_copy_string("∞"); return MN;}
2783
2786
  YY_BREAK
2784
2787
  case 44:
2785
- #line 101 "itex2MML.l"
2788
+ #line 104 "itex2MML.l"
2786
2789
  case 45:
2787
2790
  YY_RULE_SETUP
2788
- #line 101 "itex2MML.l"
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 103 "itex2MML.l"
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 104 "itex2MML.l"
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 107 "itex2MML.l"
2805
+ #line 110 "itex2MML.l"
2803
2806
  case 49:
2804
2807
  YY_RULE_SETUP
2805
- #line 107 "itex2MML.l"
2808
+ #line 110 "itex2MML.l"
2806
2809
  {yylval=itex2MML_copy_string("{"); return LEFTDELIM;}
2807
2810
  YY_BREAK
2808
2811
  case 50:
2809
- #line 109 "itex2MML.l"
2812
+ #line 112 "itex2MML.l"
2810
2813
  case 51:
2811
2814
  YY_RULE_SETUP
2812
- #line 109 "itex2MML.l"
2815
+ #line 112 "itex2MML.l"
2813
2816
  {yylval=itex2MML_copy_string("}"); return RIGHTDELIM;}
2814
2817
  YY_BREAK
2815
2818
  case 52:
2816
- #line 112 "itex2MML.l"
2819
+ #line 115 "itex2MML.l"
2817
2820
  case 53:
2818
2821
  YY_RULE_SETUP
2819
- #line 112 "itex2MML.l"
2822
+ #line 115 "itex2MML.l"
2820
2823
  {yylval=itex2MML_copy_string("∣"); return OTHERDELIM;}
2821
2824
  YY_BREAK
2822
2825
  case 54:
2823
- #line 114 "itex2MML.l"
2826
+ #line 117 "itex2MML.l"
2824
2827
  case 55:
2825
2828
  YY_RULE_SETUP
2826
- #line 114 "itex2MML.l"
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 116 "itex2MML.l"
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 117 "itex2MML.l"
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 118 "itex2MML.l"
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 120 "itex2MML.l"
2849
+ #line 123 "itex2MML.l"
2847
2850
  {yylval=itex2MML_copy_string("⫽"); return MO;}
2848
2851
  YY_BREAK
2849
2852
  case 60:
2850
- #line 123 "itex2MML.l"
2853
+ #line 126 "itex2MML.l"
2851
2854
  case 61:
2852
- #line 124 "itex2MML.l"
2855
+ #line 127 "itex2MML.l"
2853
2856
  case 62:
2854
- #line 125 "itex2MML.l"
2857
+ #line 128 "itex2MML.l"
2855
2858
  case 63:
2856
2859
  YY_RULE_SETUP
2857
- #line 125 "itex2MML.l"
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 128 "itex2MML.l"
2864
+ #line 131 "itex2MML.l"
2862
2865
  case 65:
2863
- #line 129 "itex2MML.l"
2866
+ #line 132 "itex2MML.l"
2864
2867
  case 66:
2865
- #line 130 "itex2MML.l"
2868
+ #line 133 "itex2MML.l"
2866
2869
  case 67:
2867
2870
  YY_RULE_SETUP
2868
- #line 130 "itex2MML.l"
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 132 "itex2MML.l"
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 135 "itex2MML.l"
2880
+ #line 138 "itex2MML.l"
2878
2881
  case 70:
2879
- #line 136 "itex2MML.l"
2882
+ #line 139 "itex2MML.l"
2880
2883
  case 71:
2881
2884
  YY_RULE_SETUP
2882
- #line 136 "itex2MML.l"
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 138 "itex2MML.l"
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 140 "itex2MML.l"
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 142 "itex2MML.l"
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 144 "itex2MML.l"
2905
+ #line 147 "itex2MML.l"
2903
2906
  {yylval=itex2MML_copy_string("#"); return MOL;}
2904
2907
  YY_BREAK
2905
2908
  case 76:
2906
- #line 147 "itex2MML.l"
2909
+ #line 150 "itex2MML.l"
2907
2910
  case 77:
2908
- #line 148 "itex2MML.l"
2911
+ #line 151 "itex2MML.l"
2909
2912
  case 78:
2910
- #line 149 "itex2MML.l"
2913
+ #line 152 "itex2MML.l"
2911
2914
  case 79:
2912
- #line 150 "itex2MML.l"
2915
+ #line 153 "itex2MML.l"
2913
2916
  case 80:
2914
- #line 151 "itex2MML.l"
2917
+ #line 154 "itex2MML.l"
2915
2918
  case 81:
2916
- #line 152 "itex2MML.l"
2919
+ #line 155 "itex2MML.l"
2917
2920
  case 82:
2918
- #line 153 "itex2MML.l"
2921
+ #line 156 "itex2MML.l"
2919
2922
  case 83:
2920
- #line 154 "itex2MML.l"
2923
+ #line 157 "itex2MML.l"
2921
2924
  case 84:
2922
- #line 155 "itex2MML.l"
2925
+ #line 158 "itex2MML.l"
2923
2926
  case 85:
2924
2927
  YY_RULE_SETUP
2925
- #line 155 "itex2MML.l"
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 157 "itex2MML.l"
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 158 "itex2MML.l"
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 159 "itex2MML.l"
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 160 "itex2MML.l"
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 161 "itex2MML.l"
2953
+ #line 164 "itex2MML.l"
2951
2954
  {yylval=itex2MML_copy_string("⁗"); return MOL;}
2952
2955
  YY_BREAK
2953
2956
  case 91:
2954
- #line 164 "itex2MML.l"
2957
+ #line 167 "itex2MML.l"
2955
2958
  case 92:
2956
- #line 165 "itex2MML.l"
2959
+ #line 168 "itex2MML.l"
2957
2960
  case 93:
2958
- #line 166 "itex2MML.l"
2961
+ #line 169 "itex2MML.l"
2959
2962
  case 94:
2960
- #line 167 "itex2MML.l"
2963
+ #line 170 "itex2MML.l"
2961
2964
  case 95:
2962
- #line 168 "itex2MML.l"
2965
+ #line 171 "itex2MML.l"
2963
2966
  case 96:
2964
- #line 169 "itex2MML.l"
2967
+ #line 172 "itex2MML.l"
2965
2968
  case 97:
2966
- #line 170 "itex2MML.l"
2969
+ #line 173 "itex2MML.l"
2967
2970
  case 98:
2968
- #line 171 "itex2MML.l"
2971
+ #line 174 "itex2MML.l"
2969
2972
  case 99:
2970
- #line 172 "itex2MML.l"
2973
+ #line 175 "itex2MML.l"
2971
2974
  case 100:
2972
- #line 173 "itex2MML.l"
2975
+ #line 176 "itex2MML.l"
2973
2976
  case 101:
2974
- #line 174 "itex2MML.l"
2977
+ #line 177 "itex2MML.l"
2975
2978
  case 102:
2976
- #line 175 "itex2MML.l"
2979
+ #line 178 "itex2MML.l"
2977
2980
  case 103:
2978
- #line 176 "itex2MML.l"
2981
+ #line 179 "itex2MML.l"
2979
2982
  case 104:
2980
- #line 177 "itex2MML.l"
2983
+ #line 180 "itex2MML.l"
2981
2984
  case 105:
2982
- #line 178 "itex2MML.l"
2985
+ #line 181 "itex2MML.l"
2983
2986
  case 106:
2984
- #line 179 "itex2MML.l"
2987
+ #line 182 "itex2MML.l"
2985
2988
  case 107:
2986
- #line 180 "itex2MML.l"
2989
+ #line 183 "itex2MML.l"
2987
2990
  case 108:
2988
- #line 181 "itex2MML.l"
2991
+ #line 184 "itex2MML.l"
2989
2992
  case 109:
2990
- #line 182 "itex2MML.l"
2993
+ #line 185 "itex2MML.l"
2991
2994
  case 110:
2992
- #line 183 "itex2MML.l"
2995
+ #line 186 "itex2MML.l"
2993
2996
  case 111:
2994
- #line 184 "itex2MML.l"
2997
+ #line 187 "itex2MML.l"
2995
2998
  case 112:
2996
- #line 185 "itex2MML.l"
2999
+ #line 188 "itex2MML.l"
2997
3000
  case 113:
2998
- #line 186 "itex2MML.l"
3001
+ #line 189 "itex2MML.l"
2999
3002
  case 114:
3000
- #line 187 "itex2MML.l"
3003
+ #line 190 "itex2MML.l"
3001
3004
  case 115:
3002
- #line 188 "itex2MML.l"
3005
+ #line 191 "itex2MML.l"
3003
3006
  case 116:
3004
- #line 189 "itex2MML.l"
3007
+ #line 192 "itex2MML.l"
3005
3008
  case 117:
3006
3009
  YY_RULE_SETUP
3007
- #line 189 "itex2MML.l"
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 191 "itex2MML.l"
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 192 "itex2MML.l"
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 193 "itex2MML.l"
3025
+ #line 196 "itex2MML.l"
3023
3026
  {yylval=itex2MML_copy_string("φ"); return MI;}
3024
3027
  YY_BREAK
3025
3028
  case 121:
3026
- #line 196 "itex2MML.l"
3029
+ #line 199 "itex2MML.l"
3027
3030
  case 122:
3028
- #line 197 "itex2MML.l"
3031
+ #line 200 "itex2MML.l"
3029
3032
  case 123:
3030
- #line 198 "itex2MML.l"
3033
+ #line 201 "itex2MML.l"
3031
3034
  case 124:
3032
- #line 199 "itex2MML.l"
3035
+ #line 202 "itex2MML.l"
3033
3036
  case 125:
3034
- #line 200 "itex2MML.l"
3037
+ #line 203 "itex2MML.l"
3035
3038
  case 126:
3036
- #line 201 "itex2MML.l"
3039
+ #line 204 "itex2MML.l"
3037
3040
  case 127:
3038
- #line 202 "itex2MML.l"
3041
+ #line 205 "itex2MML.l"
3039
3042
  case 128:
3040
- #line 203 "itex2MML.l"
3043
+ #line 206 "itex2MML.l"
3041
3044
  case 129:
3042
- #line 204 "itex2MML.l"
3045
+ #line 207 "itex2MML.l"
3043
3046
  case 130:
3044
- #line 205 "itex2MML.l"
3047
+ #line 208 "itex2MML.l"
3045
3048
  case 131:
3046
- #line 206 "itex2MML.l"
3049
+ #line 209 "itex2MML.l"
3047
3050
  case 132:
3048
- #line 207 "itex2MML.l"
3051
+ #line 210 "itex2MML.l"
3049
3052
  case 133:
3050
- #line 208 "itex2MML.l"
3053
+ #line 211 "itex2MML.l"
3051
3054
  case 134:
3052
- #line 209 "itex2MML.l"
3055
+ #line 212 "itex2MML.l"
3053
3056
  case 135:
3054
- #line 210 "itex2MML.l"
3057
+ #line 213 "itex2MML.l"
3055
3058
  case 136:
3056
- #line 211 "itex2MML.l"
3059
+ #line 214 "itex2MML.l"
3057
3060
  case 137:
3058
- #line 212 "itex2MML.l"
3061
+ #line 215 "itex2MML.l"
3059
3062
  case 138:
3060
- #line 213 "itex2MML.l"
3063
+ #line 216 "itex2MML.l"
3061
3064
  case 139:
3062
- #line 214 "itex2MML.l"
3065
+ #line 217 "itex2MML.l"
3063
3066
  case 140:
3064
- #line 215 "itex2MML.l"
3067
+ #line 218 "itex2MML.l"
3065
3068
  case 141:
3066
- #line 216 "itex2MML.l"
3069
+ #line 219 "itex2MML.l"
3067
3070
  case 142:
3068
3071
  YY_RULE_SETUP
3069
- #line 216 "itex2MML.l"
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 219 "itex2MML.l"
3076
+ #line 222 "itex2MML.l"
3074
3077
  case 144:
3075
- #line 220 "itex2MML.l"
3078
+ #line 223 "itex2MML.l"
3076
3079
  case 145:
3077
- #line 221 "itex2MML.l"
3080
+ #line 224 "itex2MML.l"
3078
3081
  case 146:
3079
- #line 222 "itex2MML.l"
3082
+ #line 225 "itex2MML.l"
3080
3083
  case 147:
3081
- #line 223 "itex2MML.l"
3084
+ #line 226 "itex2MML.l"
3082
3085
  case 148:
3083
- #line 224 "itex2MML.l"
3086
+ #line 227 "itex2MML.l"
3084
3087
  case 149:
3085
- #line 225 "itex2MML.l"
3088
+ #line 228 "itex2MML.l"
3086
3089
  case 150:
3087
- #line 226 "itex2MML.l"
3090
+ #line 229 "itex2MML.l"
3088
3091
  case 151:
3089
- #line 227 "itex2MML.l"
3092
+ #line 230 "itex2MML.l"
3090
3093
  case 152:
3091
3094
  YY_RULE_SETUP
3092
- #line 227 "itex2MML.l"
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 229 "itex2MML.l"
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 231 "itex2MML.l"
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 233 "itex2MML.l"
3110
+ #line 236 "itex2MML.l"
3108
3111
  {yylval=itex2MML_copy_string("⋅"); return MO;}
3109
3112
  YY_BREAK
3110
3113
  case 156:
3111
- #line 236 "itex2MML.l"
3114
+ #line 239 "itex2MML.l"
3112
3115
  case 157:
3113
- #line 237 "itex2MML.l"
3116
+ #line 240 "itex2MML.l"
3114
3117
  case 158:
3115
- #line 238 "itex2MML.l"
3118
+ #line 241 "itex2MML.l"
3116
3119
  case 159:
3117
- #line 239 "itex2MML.l"
3120
+ #line 242 "itex2MML.l"
3118
3121
  case 160:
3119
- #line 240 "itex2MML.l"
3122
+ #line 243 "itex2MML.l"
3120
3123
  case 161:
3121
- #line 241 "itex2MML.l"
3124
+ #line 244 "itex2MML.l"
3122
3125
  case 162:
3123
- #line 242 "itex2MML.l"
3126
+ #line 245 "itex2MML.l"
3124
3127
  case 163:
3125
- #line 243 "itex2MML.l"
3128
+ #line 246 "itex2MML.l"
3126
3129
  case 164:
3127
- #line 244 "itex2MML.l"
3130
+ #line 247 "itex2MML.l"
3128
3131
  case 165:
3129
- #line 245 "itex2MML.l"
3132
+ #line 248 "itex2MML.l"
3130
3133
  case 166:
3131
- #line 246 "itex2MML.l"
3134
+ #line 249 "itex2MML.l"
3132
3135
  case 167:
3133
- #line 247 "itex2MML.l"
3136
+ #line 250 "itex2MML.l"
3134
3137
  case 168:
3135
- #line 248 "itex2MML.l"
3138
+ #line 251 "itex2MML.l"
3136
3139
  case 169:
3137
- #line 249 "itex2MML.l"
3140
+ #line 252 "itex2MML.l"
3138
3141
  case 170:
3139
- #line 250 "itex2MML.l"
3142
+ #line 253 "itex2MML.l"
3140
3143
  case 171:
3141
- #line 251 "itex2MML.l"
3144
+ #line 254 "itex2MML.l"
3142
3145
  case 172:
3143
- #line 252 "itex2MML.l"
3146
+ #line 255 "itex2MML.l"
3144
3147
  case 173:
3145
- #line 253 "itex2MML.l"
3148
+ #line 256 "itex2MML.l"
3146
3149
  case 174:
3147
- #line 254 "itex2MML.l"
3150
+ #line 257 "itex2MML.l"
3148
3151
  case 175:
3149
- #line 255 "itex2MML.l"
3152
+ #line 258 "itex2MML.l"
3150
3153
  case 176:
3151
- #line 256 "itex2MML.l"
3154
+ #line 259 "itex2MML.l"
3152
3155
  case 177:
3153
3156
  YY_RULE_SETUP
3154
- #line 256 "itex2MML.l"
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 259 "itex2MML.l"
3161
+ #line 262 "itex2MML.l"
3159
3162
  case 179:
3160
3163
  YY_RULE_SETUP
3161
- #line 259 "itex2MML.l"
3164
+ #line 262 "itex2MML.l"
3162
3165
  {yylval=itex2MML_copy_string("ϒ"); return MI;}
3163
3166
  YY_BREAK
3164
3167
  case 180:
3165
- #line 262 "itex2MML.l"
3168
+ #line 265 "itex2MML.l"
3166
3169
  case 181:
3167
3170
  YY_RULE_SETUP
3168
- #line 262 "itex2MML.l"
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 264 "itex2MML.l"
3176
+ #line 267 "itex2MML.l"
3174
3177
  {yylval=itex2MML_copy_string("⇔"); return MOL;}
3175
3178
  YY_BREAK
3176
3179
  case 183:
3177
- #line 267 "itex2MML.l"
3180
+ #line 270 "itex2MML.l"
3178
3181
  case 184:
3179
3182
  YY_RULE_SETUP
3180
- #line 267 "itex2MML.l"
3183
+ #line 270 "itex2MML.l"
3181
3184
  {yylval=itex2MML_copy_string("⇐"); return MOL;}
3182
3185
  YY_BREAK
3183
3186
  case 185:
3184
- #line 270 "itex2MML.l"
3187
+ #line 273 "itex2MML.l"
3185
3188
  case 186:
3186
3189
  YY_RULE_SETUP
3187
- #line 270 "itex2MML.l"
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 272 "itex2MML.l"
3195
+ #line 275 "itex2MML.l"
3193
3196
  {yylval=itex2MML_copy_string("↩"); return MOL;}
3194
3197
  YY_BREAK
3195
3198
  case 188:
3196
- #line 275 "itex2MML.l"
3199
+ #line 278 "itex2MML.l"
3197
3200
  case 189:
3198
3201
  YY_RULE_SETUP
3199
- #line 275 "itex2MML.l"
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 277 "itex2MML.l"
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 279 "itex2MML.l"
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 281 "itex2MML.l"
3217
+ #line 284 "itex2MML.l"
3215
3218
  {yylval=itex2MML_copy_string("←"); return MOL;}
3216
3219
  YY_BREAK
3217
3220
  case 193:
3218
- #line 284 "itex2MML.l"
3221
+ #line 287 "itex2MML.l"
3219
3222
  case 194:
3220
3223
  YY_RULE_SETUP
3221
- #line 284 "itex2MML.l"
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 286 "itex2MML.l"
3229
+ #line 289 "itex2MML.l"
3227
3230
  {yylval=itex2MML_copy_string("↔"); return MOL;}
3228
3231
  YY_BREAK
3229
3232
  case 196:
3230
- #line 289 "itex2MML.l"
3233
+ #line 292 "itex2MML.l"
3231
3234
  case 197:
3232
3235
  YY_RULE_SETUP
3233
- #line 289 "itex2MML.l"
3236
+ #line 292 "itex2MML.l"
3234
3237
  {yylval=itex2MML_copy_string("↦"); return MOL;}
3235
3238
  YY_BREAK
3236
3239
  case 198:
3237
- #line 292 "itex2MML.l"
3240
+ #line 295 "itex2MML.l"
3238
3241
  case 199:
3239
3242
  YY_RULE_SETUP
3240
- #line 292 "itex2MML.l"
3243
+ #line 295 "itex2MML.l"
3241
3244
  {yylval=itex2MML_copy_string("↗"); return MOL;}
3242
3245
  YY_BREAK
3243
3246
  case 200:
3244
- #line 295 "itex2MML.l"
3247
+ #line 298 "itex2MML.l"
3245
3248
  case 201:
3246
3249
  YY_RULE_SETUP
3247
- #line 295 "itex2MML.l"
3250
+ #line 298 "itex2MML.l"
3248
3251
  {yylval=itex2MML_copy_string("↖"); return MOL;}
3249
3252
  YY_BREAK
3250
3253
  case 202:
3251
- #line 298 "itex2MML.l"
3254
+ #line 301 "itex2MML.l"
3252
3255
  case 203:
3253
3256
  YY_RULE_SETUP
3254
- #line 298 "itex2MML.l"
3257
+ #line 301 "itex2MML.l"
3255
3258
  {yylval=itex2MML_copy_string("↘"); return MOL;}
3256
3259
  YY_BREAK
3257
3260
  case 204:
3258
- #line 301 "itex2MML.l"
3261
+ #line 304 "itex2MML.l"
3259
3262
  case 205:
3260
3263
  YY_RULE_SETUP
3261
- #line 301 "itex2MML.l"
3264
+ #line 304 "itex2MML.l"
3262
3265
  {yylval=itex2MML_copy_string("↙"); return MOL;}
3263
3266
  YY_BREAK
3264
3267
  case 206:
3265
- #line 304 "itex2MML.l"
3268
+ #line 307 "itex2MML.l"
3266
3269
  case 207:
3267
3270
  YY_RULE_SETUP
3268
- #line 304 "itex2MML.l"
3271
+ #line 307 "itex2MML.l"
3269
3272
  {yylval=itex2MML_copy_string("⇗"); return MOL;}
3270
3273
  YY_BREAK
3271
3274
  case 208:
3272
- #line 307 "itex2MML.l"
3275
+ #line 310 "itex2MML.l"
3273
3276
  case 209:
3274
3277
  YY_RULE_SETUP
3275
- #line 307 "itex2MML.l"
3278
+ #line 310 "itex2MML.l"
3276
3279
  {yylval=itex2MML_copy_string("⇖"); return MOL;}
3277
3280
  YY_BREAK
3278
3281
  case 210:
3279
- #line 310 "itex2MML.l"
3282
+ #line 313 "itex2MML.l"
3280
3283
  case 211:
3281
3284
  YY_RULE_SETUP
3282
- #line 310 "itex2MML.l"
3285
+ #line 313 "itex2MML.l"
3283
3286
  {yylval=itex2MML_copy_string("⇘"); return MOL;}
3284
3287
  YY_BREAK
3285
3288
  case 212:
3286
- #line 313 "itex2MML.l"
3289
+ #line 316 "itex2MML.l"
3287
3290
  case 213:
3288
3291
  YY_RULE_SETUP
3289
- #line 313 "itex2MML.l"
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 315 "itex2MML.l"
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 317 "itex2MML.l"
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 319 "itex2MML.l"
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 321 "itex2MML.l"
3312
+ #line 324 "itex2MML.l"
3310
3313
  {yylval=itex2MML_copy_string("⇑"); return MOL;}
3311
3314
  YY_BREAK
3312
3315
  case 218:
3313
- #line 324 "itex2MML.l"
3316
+ #line 327 "itex2MML.l"
3314
3317
  case 219:
3315
- #line 325 "itex2MML.l"
3318
+ #line 328 "itex2MML.l"
3316
3319
  case 220:
3317
3320
  YY_RULE_SETUP
3318
- #line 325 "itex2MML.l"
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 327 "itex2MML.l"
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 329 "itex2MML.l"
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 330 "itex2MML.l"
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 331 "itex2MML.l"
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 332 "itex2MML.l"
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 333 "itex2MML.l"
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 334 "itex2MML.l"
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 335 "itex2MML.l"
3361
+ #line 338 "itex2MML.l"
3359
3362
  {yylval=itex2MML_copy_string("⟳"); return MOL;}
3360
3363
  YY_BREAK
3361
3364
  case 229:
3362
- #line 337 "itex2MML.l"
3365
+ #line 340 "itex2MML.l"
3363
3366
  case 230:
3364
- #line 338 "itex2MML.l"
3367
+ #line 341 "itex2MML.l"
3365
3368
  case 231:
3366
- #line 339 "itex2MML.l"
3369
+ #line 342 "itex2MML.l"
3367
3370
  case 232:
3368
- #line 340 "itex2MML.l"
3371
+ #line 343 "itex2MML.l"
3369
3372
  case 233:
3370
- #line 341 "itex2MML.l"
3373
+ #line 344 "itex2MML.l"
3371
3374
  case 234:
3372
- #line 342 "itex2MML.l"
3375
+ #line 345 "itex2MML.l"
3373
3376
  case 235:
3374
- #line 343 "itex2MML.l"
3377
+ #line 346 "itex2MML.l"
3375
3378
  case 236:
3376
- #line 344 "itex2MML.l"
3379
+ #line 347 "itex2MML.l"
3377
3380
  case 237:
3378
- #line 345 "itex2MML.l"
3381
+ #line 348 "itex2MML.l"
3379
3382
  case 238:
3380
- #line 346 "itex2MML.l"
3383
+ #line 349 "itex2MML.l"
3381
3384
  case 239:
3382
- #line 347 "itex2MML.l"
3385
+ #line 350 "itex2MML.l"
3383
3386
  case 240:
3384
- #line 348 "itex2MML.l"
3387
+ #line 351 "itex2MML.l"
3385
3388
  case 241:
3386
- #line 349 "itex2MML.l"
3389
+ #line 352 "itex2MML.l"
3387
3390
  case 242:
3388
- #line 350 "itex2MML.l"
3391
+ #line 353 "itex2MML.l"
3389
3392
  case 243:
3390
- #line 351 "itex2MML.l"
3393
+ #line 354 "itex2MML.l"
3391
3394
  case 244:
3392
- #line 352 "itex2MML.l"
3395
+ #line 355 "itex2MML.l"
3393
3396
  case 245:
3394
- #line 353 "itex2MML.l"
3397
+ #line 356 "itex2MML.l"
3395
3398
  case 246:
3396
- #line 354 "itex2MML.l"
3399
+ #line 357 "itex2MML.l"
3397
3400
  case 247:
3398
- #line 355 "itex2MML.l"
3401
+ #line 358 "itex2MML.l"
3399
3402
  case 248:
3400
- #line 356 "itex2MML.l"
3403
+ #line 359 "itex2MML.l"
3401
3404
  case 249:
3402
- #line 357 "itex2MML.l"
3405
+ #line 360 "itex2MML.l"
3403
3406
  case 250:
3404
- #line 358 "itex2MML.l"
3407
+ #line 361 "itex2MML.l"
3405
3408
  case 251:
3406
- #line 359 "itex2MML.l"
3409
+ #line 362 "itex2MML.l"
3407
3410
  case 252:
3408
- #line 360 "itex2MML.l"
3411
+ #line 363 "itex2MML.l"
3409
3412
  case 253:
3410
- #line 361 "itex2MML.l"
3413
+ #line 364 "itex2MML.l"
3411
3414
  case 254:
3412
- #line 362 "itex2MML.l"
3415
+ #line 365 "itex2MML.l"
3413
3416
  case 255:
3414
- #line 363 "itex2MML.l"
3417
+ #line 366 "itex2MML.l"
3415
3418
  case 256:
3416
- #line 364 "itex2MML.l"
3419
+ #line 367 "itex2MML.l"
3417
3420
  case 257:
3418
- #line 365 "itex2MML.l"
3421
+ #line 368 "itex2MML.l"
3419
3422
  case 258:
3420
- #line 366 "itex2MML.l"
3423
+ #line 369 "itex2MML.l"
3421
3424
  case 259:
3422
- #line 367 "itex2MML.l"
3425
+ #line 370 "itex2MML.l"
3423
3426
  case 260:
3424
- #line 368 "itex2MML.l"
3427
+ #line 371 "itex2MML.l"
3425
3428
  case 261:
3426
3429
  YY_RULE_SETUP
3427
- #line 368 "itex2MML.l"
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 371 "itex2MML.l"
3434
+ #line 374 "itex2MML.l"
3432
3435
  case 263:
3433
- #line 372 "itex2MML.l"
3436
+ #line 375 "itex2MML.l"
3434
3437
  case 264:
3435
- #line 373 "itex2MML.l"
3438
+ #line 376 "itex2MML.l"
3436
3439
  case 265:
3437
- #line 374 "itex2MML.l"
3440
+ #line 377 "itex2MML.l"
3438
3441
  case 266:
3439
- #line 375 "itex2MML.l"
3442
+ #line 378 "itex2MML.l"
3440
3443
  case 267:
3441
- #line 376 "itex2MML.l"
3444
+ #line 379 "itex2MML.l"
3442
3445
  case 268:
3443
- #line 377 "itex2MML.l"
3446
+ #line 380 "itex2MML.l"
3444
3447
  case 269:
3445
- #line 378 "itex2MML.l"
3448
+ #line 381 "itex2MML.l"
3446
3449
  case 270:
3447
- #line 379 "itex2MML.l"
3450
+ #line 382 "itex2MML.l"
3448
3451
  case 271:
3449
- #line 380 "itex2MML.l"
3452
+ #line 383 "itex2MML.l"
3450
3453
  case 272:
3451
3454
  YY_RULE_SETUP
3452
- #line 380 "itex2MML.l"
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 383 "itex2MML.l"
3459
+ #line 386 "itex2MML.l"
3457
3460
  case 274:
3458
3461
  YY_RULE_SETUP
3459
- #line 383 "itex2MML.l"
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 384 "itex2MML.l"
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 385 "itex2MML.l"
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 386 "itex2MML.l"
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 387 "itex2MML.l"
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 388 "itex2MML.l"
3487
+ #line 391 "itex2MML.l"
3485
3488
  {yylval=itex2MML_copy_string(":"); return MOR;}
3486
3489
  YY_BREAK
3487
3490
  case 280:
3488
- #line 391 "itex2MML.l"
3491
+ #line 394 "itex2MML.l"
3489
3492
  case 281:
3490
- #line 392 "itex2MML.l"
3493
+ #line 395 "itex2MML.l"
3491
3494
  case 282:
3492
3495
  YY_RULE_SETUP
3493
- #line 392 "itex2MML.l"
3496
+ #line 395 "itex2MML.l"
3494
3497
  {yylval=itex2MML_copy_string("∪"); return MOL;}
3495
3498
  YY_BREAK
3496
3499
  case 283:
3497
- #line 395 "itex2MML.l"
3500
+ #line 398 "itex2MML.l"
3498
3501
  case 284:
3499
- #line 396 "itex2MML.l"
3502
+ #line 399 "itex2MML.l"
3500
3503
  case 285:
3501
3504
  YY_RULE_SETUP
3502
- #line 396 "itex2MML.l"
3505
+ #line 399 "itex2MML.l"
3503
3506
  {yylval=itex2MML_copy_string("⋃"); return MOB;}
3504
3507
  YY_BREAK
3505
3508
  case 286:
3506
- #line 399 "itex2MML.l"
3509
+ #line 402 "itex2MML.l"
3507
3510
  case 287:
3508
3511
  YY_RULE_SETUP
3509
- #line 399 "itex2MML.l"
3512
+ #line 402 "itex2MML.l"
3510
3513
  {yylval=itex2MML_copy_string("∩"); return MOL;}
3511
3514
  YY_BREAK
3512
3515
  case 288:
3513
- #line 402 "itex2MML.l"
3516
+ #line 405 "itex2MML.l"
3514
3517
  case 289:
3515
3518
  YY_RULE_SETUP
3516
- #line 402 "itex2MML.l"
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 404 "itex2MML.l"
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 409 "itex2MML.l"
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 410 "itex2MML.l"
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 411 "itex2MML.l"
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 412 "itex2MML.l"
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 413 "itex2MML.l"
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 414 "itex2MML.l"
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 415 "itex2MML.l"
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 416 "itex2MML.l"
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 417 "itex2MML.l"
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 418 "itex2MML.l"
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 419 "itex2MML.l"
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 420 "itex2MML.l"
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 421 "itex2MML.l"
3592
+ #line 424 "itex2MML.l"
3590
3593
  {yylval=itex2MML_copy_string("∷"); return MOL;}
3591
3594
  YY_BREAK
3592
3595
  case 304:
3593
- #line 424 "itex2MML.l"
3596
+ #line 427 "itex2MML.l"
3594
3597
  case 305:
3595
- #line 425 "itex2MML.l"
3598
+ #line 428 "itex2MML.l"
3596
3599
  case 306:
3597
- #line 426 "itex2MML.l"
3600
+ #line 429 "itex2MML.l"
3598
3601
  case 307:
3599
- #line 427 "itex2MML.l"
3602
+ #line 430 "itex2MML.l"
3600
3603
  case 308:
3601
- #line 428 "itex2MML.l"
3604
+ #line 431 "itex2MML.l"
3602
3605
  case 309:
3603
- #line 429 "itex2MML.l"
3606
+ #line 432 "itex2MML.l"
3604
3607
  case 310:
3605
- #line 430 "itex2MML.l"
3608
+ #line 433 "itex2MML.l"
3606
3609
  case 311:
3607
- #line 431 "itex2MML.l"
3610
+ #line 434 "itex2MML.l"
3608
3611
  case 312:
3609
- #line 432 "itex2MML.l"
3612
+ #line 435 "itex2MML.l"
3610
3613
  case 313:
3611
- #line 433 "itex2MML.l"
3614
+ #line 436 "itex2MML.l"
3612
3615
  case 314:
3613
- #line 434 "itex2MML.l"
3616
+ #line 437 "itex2MML.l"
3614
3617
  case 315:
3615
- #line 435 "itex2MML.l"
3618
+ #line 438 "itex2MML.l"
3616
3619
  case 316:
3617
- #line 436 "itex2MML.l"
3620
+ #line 439 "itex2MML.l"
3618
3621
  case 317:
3619
- #line 437 "itex2MML.l"
3622
+ #line 440 "itex2MML.l"
3620
3623
  case 318:
3621
- #line 438 "itex2MML.l"
3624
+ #line 441 "itex2MML.l"
3622
3625
  case 319:
3623
- #line 439 "itex2MML.l"
3626
+ #line 442 "itex2MML.l"
3624
3627
  case 320:
3625
- #line 440 "itex2MML.l"
3628
+ #line 443 "itex2MML.l"
3626
3629
  case 321:
3627
- #line 441 "itex2MML.l"
3630
+ #line 444 "itex2MML.l"
3628
3631
  case 322:
3629
- #line 442 "itex2MML.l"
3632
+ #line 445 "itex2MML.l"
3630
3633
  case 323:
3631
- #line 443 "itex2MML.l"
3634
+ #line 446 "itex2MML.l"
3632
3635
  case 324:
3633
- #line 444 "itex2MML.l"
3636
+ #line 447 "itex2MML.l"
3634
3637
  case 325:
3635
- #line 445 "itex2MML.l"
3638
+ #line 448 "itex2MML.l"
3636
3639
  case 326:
3637
- #line 446 "itex2MML.l"
3640
+ #line 449 "itex2MML.l"
3638
3641
  case 327:
3639
- #line 447 "itex2MML.l"
3642
+ #line 450 "itex2MML.l"
3640
3643
  case 328:
3641
- #line 448 "itex2MML.l"
3644
+ #line 451 "itex2MML.l"
3642
3645
  case 329:
3643
- #line 449 "itex2MML.l"
3646
+ #line 452 "itex2MML.l"
3644
3647
  case 330:
3645
- #line 450 "itex2MML.l"
3648
+ #line 453 "itex2MML.l"
3646
3649
  case 331:
3647
- #line 451 "itex2MML.l"
3650
+ #line 454 "itex2MML.l"
3648
3651
  case 332:
3649
- #line 452 "itex2MML.l"
3652
+ #line 455 "itex2MML.l"
3650
3653
  case 333:
3651
- #line 453 "itex2MML.l"
3654
+ #line 456 "itex2MML.l"
3652
3655
  case 334:
3653
- #line 454 "itex2MML.l"
3656
+ #line 457 "itex2MML.l"
3654
3657
  case 335:
3655
- #line 455 "itex2MML.l"
3658
+ #line 458 "itex2MML.l"
3656
3659
  case 336:
3657
- #line 456 "itex2MML.l"
3660
+ #line 459 "itex2MML.l"
3658
3661
  case 337:
3659
- #line 457 "itex2MML.l"
3662
+ #line 460 "itex2MML.l"
3660
3663
  case 338:
3661
- #line 458 "itex2MML.l"
3664
+ #line 461 "itex2MML.l"
3662
3665
  case 339:
3663
- #line 459 "itex2MML.l"
3666
+ #line 462 "itex2MML.l"
3664
3667
  case 340:
3665
- #line 460 "itex2MML.l"
3668
+ #line 463 "itex2MML.l"
3666
3669
  case 341:
3667
- #line 461 "itex2MML.l"
3670
+ #line 464 "itex2MML.l"
3668
3671
  case 342:
3669
- #line 462 "itex2MML.l"
3672
+ #line 465 "itex2MML.l"
3670
3673
  case 343:
3671
- #line 463 "itex2MML.l"
3674
+ #line 466 "itex2MML.l"
3672
3675
  case 344:
3673
- #line 464 "itex2MML.l"
3676
+ #line 467 "itex2MML.l"
3674
3677
  case 345:
3675
- #line 465 "itex2MML.l"
3678
+ #line 468 "itex2MML.l"
3676
3679
  case 346:
3677
- #line 466 "itex2MML.l"
3680
+ #line 469 "itex2MML.l"
3678
3681
  case 347:
3679
- #line 467 "itex2MML.l"
3682
+ #line 470 "itex2MML.l"
3680
3683
  case 348:
3681
- #line 468 "itex2MML.l"
3684
+ #line 471 "itex2MML.l"
3682
3685
  case 349:
3683
- #line 469 "itex2MML.l"
3686
+ #line 472 "itex2MML.l"
3684
3687
  case 350:
3685
- #line 470 "itex2MML.l"
3688
+ #line 473 "itex2MML.l"
3686
3689
  case 351:
3687
- #line 471 "itex2MML.l"
3690
+ #line 474 "itex2MML.l"
3688
3691
  case 352:
3689
- #line 472 "itex2MML.l"
3692
+ #line 475 "itex2MML.l"
3690
3693
  case 353:
3691
- #line 473 "itex2MML.l"
3694
+ #line 476 "itex2MML.l"
3692
3695
  case 354:
3693
- #line 474 "itex2MML.l"
3696
+ #line 477 "itex2MML.l"
3694
3697
  case 355:
3695
- #line 475 "itex2MML.l"
3698
+ #line 478 "itex2MML.l"
3696
3699
  case 356:
3697
- #line 476 "itex2MML.l"
3700
+ #line 479 "itex2MML.l"
3698
3701
  case 357:
3699
- #line 477 "itex2MML.l"
3702
+ #line 480 "itex2MML.l"
3700
3703
  case 358:
3701
- #line 478 "itex2MML.l"
3704
+ #line 481 "itex2MML.l"
3702
3705
  case 359:
3703
- #line 479 "itex2MML.l"
3706
+ #line 482 "itex2MML.l"
3704
3707
  case 360:
3705
- #line 480 "itex2MML.l"
3708
+ #line 483 "itex2MML.l"
3706
3709
  case 361:
3707
- #line 481 "itex2MML.l"
3710
+ #line 484 "itex2MML.l"
3708
3711
  case 362:
3709
- #line 482 "itex2MML.l"
3712
+ #line 485 "itex2MML.l"
3710
3713
  case 363:
3711
- #line 483 "itex2MML.l"
3714
+ #line 486 "itex2MML.l"
3712
3715
  case 364:
3713
- #line 484 "itex2MML.l"
3716
+ #line 487 "itex2MML.l"
3714
3717
  case 365:
3715
- #line 485 "itex2MML.l"
3718
+ #line 488 "itex2MML.l"
3716
3719
  case 366:
3717
- #line 486 "itex2MML.l"
3720
+ #line 489 "itex2MML.l"
3718
3721
  case 367:
3719
- #line 487 "itex2MML.l"
3722
+ #line 490 "itex2MML.l"
3720
3723
  case 368:
3721
- #line 488 "itex2MML.l"
3724
+ #line 491 "itex2MML.l"
3722
3725
  case 369:
3723
- #line 489 "itex2MML.l"
3726
+ #line 492 "itex2MML.l"
3724
3727
  case 370:
3725
- #line 490 "itex2MML.l"
3728
+ #line 493 "itex2MML.l"
3726
3729
  case 371:
3727
- #line 491 "itex2MML.l"
3730
+ #line 494 "itex2MML.l"
3728
3731
  case 372:
3729
- #line 492 "itex2MML.l"
3732
+ #line 495 "itex2MML.l"
3730
3733
  case 373:
3731
- #line 493 "itex2MML.l"
3734
+ #line 496 "itex2MML.l"
3732
3735
  case 374:
3733
- #line 494 "itex2MML.l"
3736
+ #line 497 "itex2MML.l"
3734
3737
  case 375:
3735
- #line 495 "itex2MML.l"
3738
+ #line 498 "itex2MML.l"
3736
3739
  case 376:
3737
- #line 496 "itex2MML.l"
3740
+ #line 499 "itex2MML.l"
3738
3741
  case 377:
3739
- #line 497 "itex2MML.l"
3742
+ #line 500 "itex2MML.l"
3740
3743
  case 378:
3741
- #line 498 "itex2MML.l"
3744
+ #line 501 "itex2MML.l"
3742
3745
  case 379:
3743
- #line 499 "itex2MML.l"
3746
+ #line 502 "itex2MML.l"
3744
3747
  case 380:
3745
- #line 500 "itex2MML.l"
3748
+ #line 503 "itex2MML.l"
3746
3749
  case 381:
3747
- #line 501 "itex2MML.l"
3750
+ #line 504 "itex2MML.l"
3748
3751
  case 382:
3749
- #line 502 "itex2MML.l"
3752
+ #line 505 "itex2MML.l"
3750
3753
  case 383:
3751
- #line 503 "itex2MML.l"
3754
+ #line 506 "itex2MML.l"
3752
3755
  case 384:
3753
- #line 504 "itex2MML.l"
3756
+ #line 507 "itex2MML.l"
3754
3757
  case 385:
3755
- #line 505 "itex2MML.l"
3758
+ #line 508 "itex2MML.l"
3756
3759
  case 386:
3757
- #line 506 "itex2MML.l"
3760
+ #line 509 "itex2MML.l"
3758
3761
  case 387:
3759
- #line 507 "itex2MML.l"
3762
+ #line 510 "itex2MML.l"
3760
3763
  case 388:
3761
- #line 508 "itex2MML.l"
3764
+ #line 511 "itex2MML.l"
3762
3765
  case 389:
3763
- #line 509 "itex2MML.l"
3766
+ #line 512 "itex2MML.l"
3764
3767
  case 390:
3765
- #line 510 "itex2MML.l"
3768
+ #line 513 "itex2MML.l"
3766
3769
  case 391:
3767
- #line 511 "itex2MML.l"
3770
+ #line 514 "itex2MML.l"
3768
3771
  case 392:
3769
- #line 512 "itex2MML.l"
3772
+ #line 515 "itex2MML.l"
3770
3773
  case 393:
3771
- #line 513 "itex2MML.l"
3774
+ #line 516 "itex2MML.l"
3772
3775
  case 394:
3773
- #line 514 "itex2MML.l"
3776
+ #line 517 "itex2MML.l"
3774
3777
  case 395:
3775
- #line 515 "itex2MML.l"
3778
+ #line 518 "itex2MML.l"
3776
3779
  case 396:
3777
- #line 516 "itex2MML.l"
3780
+ #line 519 "itex2MML.l"
3778
3781
  case 397:
3779
- #line 517 "itex2MML.l"
3782
+ #line 520 "itex2MML.l"
3780
3783
  case 398:
3781
- #line 518 "itex2MML.l"
3784
+ #line 521 "itex2MML.l"
3782
3785
  case 399:
3783
- #line 519 "itex2MML.l"
3786
+ #line 522 "itex2MML.l"
3784
3787
  case 400:
3785
- #line 520 "itex2MML.l"
3788
+ #line 523 "itex2MML.l"
3786
3789
  case 401:
3787
- #line 521 "itex2MML.l"
3790
+ #line 524 "itex2MML.l"
3788
3791
  case 402:
3789
- #line 522 "itex2MML.l"
3792
+ #line 525 "itex2MML.l"
3790
3793
  case 403:
3791
- #line 523 "itex2MML.l"
3794
+ #line 526 "itex2MML.l"
3792
3795
  case 404:
3793
- #line 524 "itex2MML.l"
3796
+ #line 527 "itex2MML.l"
3794
3797
  case 405:
3795
- #line 525 "itex2MML.l"
3798
+ #line 528 "itex2MML.l"
3796
3799
  case 406:
3797
- #line 526 "itex2MML.l"
3800
+ #line 529 "itex2MML.l"
3798
3801
  case 407:
3799
- #line 527 "itex2MML.l"
3802
+ #line 530 "itex2MML.l"
3800
3803
  case 408:
3801
- #line 528 "itex2MML.l"
3804
+ #line 531 "itex2MML.l"
3802
3805
  case 409:
3803
- #line 529 "itex2MML.l"
3806
+ #line 532 "itex2MML.l"
3804
3807
  case 410:
3805
- #line 530 "itex2MML.l"
3808
+ #line 533 "itex2MML.l"
3806
3809
  case 411:
3807
- #line 531 "itex2MML.l"
3810
+ #line 534 "itex2MML.l"
3808
3811
  case 412:
3809
- #line 532 "itex2MML.l"
3812
+ #line 535 "itex2MML.l"
3810
3813
  case 413:
3811
- #line 533 "itex2MML.l"
3814
+ #line 536 "itex2MML.l"
3812
3815
  case 414:
3813
- #line 534 "itex2MML.l"
3816
+ #line 537 "itex2MML.l"
3814
3817
  case 415:
3815
- #line 535 "itex2MML.l"
3818
+ #line 538 "itex2MML.l"
3816
3819
  case 416:
3817
- #line 536 "itex2MML.l"
3820
+ #line 539 "itex2MML.l"
3818
3821
  case 417:
3819
- #line 537 "itex2MML.l"
3822
+ #line 540 "itex2MML.l"
3820
3823
  case 418:
3821
- #line 538 "itex2MML.l"
3824
+ #line 541 "itex2MML.l"
3822
3825
  case 419:
3823
- #line 539 "itex2MML.l"
3826
+ #line 542 "itex2MML.l"
3824
3827
  case 420:
3825
- #line 540 "itex2MML.l"
3828
+ #line 543 "itex2MML.l"
3826
3829
  case 421:
3827
- #line 541 "itex2MML.l"
3830
+ #line 544 "itex2MML.l"
3828
3831
  case 422:
3829
- #line 542 "itex2MML.l"
3832
+ #line 545 "itex2MML.l"
3830
3833
  case 423:
3831
- #line 543 "itex2MML.l"
3834
+ #line 546 "itex2MML.l"
3832
3835
  case 424:
3833
- #line 544 "itex2MML.l"
3836
+ #line 547 "itex2MML.l"
3834
3837
  case 425:
3835
- #line 545 "itex2MML.l"
3838
+ #line 548 "itex2MML.l"
3836
3839
  case 426:
3837
- #line 546 "itex2MML.l"
3840
+ #line 549 "itex2MML.l"
3838
3841
  case 427:
3839
- #line 547 "itex2MML.l"
3842
+ #line 550 "itex2MML.l"
3840
3843
  case 428:
3841
- #line 548 "itex2MML.l"
3844
+ #line 551 "itex2MML.l"
3842
3845
  case 429:
3843
- #line 549 "itex2MML.l"
3846
+ #line 552 "itex2MML.l"
3844
3847
  case 430:
3845
- #line 550 "itex2MML.l"
3848
+ #line 553 "itex2MML.l"
3846
3849
  case 431:
3847
- #line 551 "itex2MML.l"
3850
+ #line 554 "itex2MML.l"
3848
3851
  case 432:
3849
- #line 552 "itex2MML.l"
3852
+ #line 555 "itex2MML.l"
3850
3853
  case 433:
3851
- #line 553 "itex2MML.l"
3854
+ #line 556 "itex2MML.l"
3852
3855
  case 434:
3853
- #line 554 "itex2MML.l"
3856
+ #line 557 "itex2MML.l"
3854
3857
  case 435:
3855
- #line 555 "itex2MML.l"
3858
+ #line 558 "itex2MML.l"
3856
3859
  case 436:
3857
- #line 556 "itex2MML.l"
3860
+ #line 559 "itex2MML.l"
3858
3861
  case 437:
3859
- #line 557 "itex2MML.l"
3862
+ #line 560 "itex2MML.l"
3860
3863
  case 438:
3861
- #line 558 "itex2MML.l"
3864
+ #line 561 "itex2MML.l"
3862
3865
  case 439:
3863
- #line 559 "itex2MML.l"
3866
+ #line 562 "itex2MML.l"
3864
3867
  case 440:
3865
- #line 560 "itex2MML.l"
3868
+ #line 563 "itex2MML.l"
3866
3869
  case 441:
3867
- #line 561 "itex2MML.l"
3870
+ #line 564 "itex2MML.l"
3868
3871
  case 442:
3869
- #line 562 "itex2MML.l"
3872
+ #line 565 "itex2MML.l"
3870
3873
  case 443:
3871
- #line 563 "itex2MML.l"
3874
+ #line 566 "itex2MML.l"
3872
3875
  case 444:
3873
- #line 564 "itex2MML.l"
3876
+ #line 567 "itex2MML.l"
3874
3877
  case 445:
3875
- #line 565 "itex2MML.l"
3878
+ #line 568 "itex2MML.l"
3876
3879
  case 446:
3877
- #line 566 "itex2MML.l"
3880
+ #line 569 "itex2MML.l"
3878
3881
  case 447:
3879
- #line 567 "itex2MML.l"
3882
+ #line 570 "itex2MML.l"
3880
3883
  case 448:
3881
- #line 568 "itex2MML.l"
3884
+ #line 571 "itex2MML.l"
3882
3885
  case 449:
3883
- #line 569 "itex2MML.l"
3886
+ #line 572 "itex2MML.l"
3884
3887
  case 450:
3885
- #line 570 "itex2MML.l"
3888
+ #line 573 "itex2MML.l"
3886
3889
  case 451:
3887
- #line 571 "itex2MML.l"
3890
+ #line 574 "itex2MML.l"
3888
3891
  case 452:
3889
- #line 572 "itex2MML.l"
3892
+ #line 575 "itex2MML.l"
3890
3893
  case 453:
3891
- #line 573 "itex2MML.l"
3894
+ #line 576 "itex2MML.l"
3892
3895
  case 454:
3893
- #line 574 "itex2MML.l"
3896
+ #line 577 "itex2MML.l"
3894
3897
  case 455:
3895
- #line 575 "itex2MML.l"
3898
+ #line 578 "itex2MML.l"
3896
3899
  case 456:
3897
- #line 576 "itex2MML.l"
3900
+ #line 579 "itex2MML.l"
3898
3901
  case 457:
3899
- #line 577 "itex2MML.l"
3902
+ #line 580 "itex2MML.l"
3900
3903
  case 458:
3901
- #line 578 "itex2MML.l"
3904
+ #line 581 "itex2MML.l"
3902
3905
  case 459:
3903
- #line 579 "itex2MML.l"
3906
+ #line 582 "itex2MML.l"
3904
3907
  case 460:
3905
- #line 580 "itex2MML.l"
3908
+ #line 583 "itex2MML.l"
3906
3909
  case 461:
3907
- #line 581 "itex2MML.l"
3910
+ #line 584 "itex2MML.l"
3908
3911
  case 462:
3909
- #line 582 "itex2MML.l"
3912
+ #line 585 "itex2MML.l"
3910
3913
  case 463:
3911
- #line 583 "itex2MML.l"
3914
+ #line 586 "itex2MML.l"
3912
3915
  case 464:
3913
- #line 584 "itex2MML.l"
3916
+ #line 587 "itex2MML.l"
3914
3917
  case 465:
3915
- #line 585 "itex2MML.l"
3918
+ #line 588 "itex2MML.l"
3916
3919
  case 466:
3917
- #line 586 "itex2MML.l"
3920
+ #line 589 "itex2MML.l"
3918
3921
  case 467:
3919
- #line 587 "itex2MML.l"
3922
+ #line 590 "itex2MML.l"
3920
3923
  case 468:
3921
- #line 588 "itex2MML.l"
3924
+ #line 591 "itex2MML.l"
3922
3925
  case 469:
3923
- #line 589 "itex2MML.l"
3926
+ #line 592 "itex2MML.l"
3924
3927
  case 470:
3925
- #line 590 "itex2MML.l"
3928
+ #line 593 "itex2MML.l"
3926
3929
  case 471:
3927
- #line 591 "itex2MML.l"
3930
+ #line 594 "itex2MML.l"
3928
3931
  case 472:
3929
- #line 592 "itex2MML.l"
3932
+ #line 595 "itex2MML.l"
3930
3933
  case 473:
3931
- #line 593 "itex2MML.l"
3934
+ #line 596 "itex2MML.l"
3932
3935
  case 474:
3933
- #line 594 "itex2MML.l"
3936
+ #line 597 "itex2MML.l"
3934
3937
  case 475:
3935
- #line 595 "itex2MML.l"
3938
+ #line 598 "itex2MML.l"
3936
3939
  case 476:
3937
- #line 596 "itex2MML.l"
3940
+ #line 599 "itex2MML.l"
3938
3941
  case 477:
3939
- #line 597 "itex2MML.l"
3942
+ #line 600 "itex2MML.l"
3940
3943
  case 478:
3941
- #line 598 "itex2MML.l"
3944
+ #line 601 "itex2MML.l"
3942
3945
  case 479:
3943
- #line 599 "itex2MML.l"
3946
+ #line 602 "itex2MML.l"
3944
3947
  case 480:
3945
- #line 600 "itex2MML.l"
3948
+ #line 603 "itex2MML.l"
3946
3949
  case 481:
3947
- #line 601 "itex2MML.l"
3950
+ #line 604 "itex2MML.l"
3948
3951
  case 482:
3949
- #line 602 "itex2MML.l"
3952
+ #line 605 "itex2MML.l"
3950
3953
  case 483:
3951
- #line 603 "itex2MML.l"
3954
+ #line 606 "itex2MML.l"
3952
3955
  case 484:
3953
- #line 604 "itex2MML.l"
3956
+ #line 607 "itex2MML.l"
3954
3957
  case 485:
3955
- #line 605 "itex2MML.l"
3958
+ #line 608 "itex2MML.l"
3956
3959
  case 486:
3957
- #line 606 "itex2MML.l"
3960
+ #line 609 "itex2MML.l"
3958
3961
  case 487:
3959
- #line 607 "itex2MML.l"
3962
+ #line 610 "itex2MML.l"
3960
3963
  case 488:
3961
- #line 608 "itex2MML.l"
3964
+ #line 611 "itex2MML.l"
3962
3965
  case 489:
3963
- #line 609 "itex2MML.l"
3966
+ #line 612 "itex2MML.l"
3964
3967
  case 490:
3965
- #line 610 "itex2MML.l"
3968
+ #line 613 "itex2MML.l"
3966
3969
  case 491:
3967
- #line 611 "itex2MML.l"
3970
+ #line 614 "itex2MML.l"
3968
3971
  case 492:
3969
- #line 612 "itex2MML.l"
3972
+ #line 615 "itex2MML.l"
3970
3973
  case 493:
3971
- #line 613 "itex2MML.l"
3974
+ #line 616 "itex2MML.l"
3972
3975
  case 494:
3973
- #line 614 "itex2MML.l"
3976
+ #line 617 "itex2MML.l"
3974
3977
  case 495:
3975
- #line 615 "itex2MML.l"
3978
+ #line 618 "itex2MML.l"
3976
3979
  case 496:
3977
- #line 616 "itex2MML.l"
3980
+ #line 619 "itex2MML.l"
3978
3981
  case 497:
3979
- #line 617 "itex2MML.l"
3982
+ #line 620 "itex2MML.l"
3980
3983
  case 498:
3981
- #line 618 "itex2MML.l"
3984
+ #line 621 "itex2MML.l"
3982
3985
  case 499:
3983
- #line 619 "itex2MML.l"
3986
+ #line 622 "itex2MML.l"
3984
3987
  case 500:
3985
- #line 620 "itex2MML.l"
3988
+ #line 623 "itex2MML.l"
3986
3989
  case 501:
3987
- #line 621 "itex2MML.l"
3990
+ #line 624 "itex2MML.l"
3988
3991
  case 502:
3989
- #line 622 "itex2MML.l"
3992
+ #line 625 "itex2MML.l"
3990
3993
  case 503:
3991
- #line 623 "itex2MML.l"
3994
+ #line 626 "itex2MML.l"
3992
3995
  case 504:
3993
- #line 624 "itex2MML.l"
3996
+ #line 627 "itex2MML.l"
3994
3997
  case 505:
3995
- #line 625 "itex2MML.l"
3998
+ #line 628 "itex2MML.l"
3996
3999
  case 506:
3997
- #line 626 "itex2MML.l"
4000
+ #line 629 "itex2MML.l"
3998
4001
  case 507:
3999
- #line 627 "itex2MML.l"
4002
+ #line 630 "itex2MML.l"
4000
4003
  case 508:
4001
- #line 628 "itex2MML.l"
4004
+ #line 631 "itex2MML.l"
4002
4005
  case 509:
4003
- #line 629 "itex2MML.l"
4006
+ #line 632 "itex2MML.l"
4004
4007
  case 510:
4005
- #line 630 "itex2MML.l"
4008
+ #line 633 "itex2MML.l"
4006
4009
  case 511:
4007
- #line 631 "itex2MML.l"
4010
+ #line 634 "itex2MML.l"
4008
4011
  case 512:
4009
- #line 632 "itex2MML.l"
4012
+ #line 635 "itex2MML.l"
4010
4013
  case 513:
4011
- #line 633 "itex2MML.l"
4014
+ #line 636 "itex2MML.l"
4012
4015
  case 514:
4013
4016
  YY_RULE_SETUP
4014
- #line 633 "itex2MML.l"
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 636 "itex2MML.l"
4021
+ #line 639 "itex2MML.l"
4019
4022
  case 516:
4020
- #line 637 "itex2MML.l"
4023
+ #line 640 "itex2MML.l"
4021
4024
  case 517:
4022
- #line 638 "itex2MML.l"
4025
+ #line 641 "itex2MML.l"
4023
4026
  case 518:
4024
- #line 639 "itex2MML.l"
4027
+ #line 642 "itex2MML.l"
4025
4028
  case 519:
4026
- #line 640 "itex2MML.l"
4029
+ #line 643 "itex2MML.l"
4027
4030
  case 520:
4028
- #line 641 "itex2MML.l"
4031
+ #line 644 "itex2MML.l"
4029
4032
  case 521:
4030
- #line 642 "itex2MML.l"
4033
+ #line 645 "itex2MML.l"
4031
4034
  case 522:
4032
- #line 643 "itex2MML.l"
4035
+ #line 646 "itex2MML.l"
4033
4036
  case 523:
4034
- #line 644 "itex2MML.l"
4037
+ #line 647 "itex2MML.l"
4035
4038
  case 524:
4036
4039
  YY_RULE_SETUP
4037
- #line 644 "itex2MML.l"
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 647 "itex2MML.l"
4044
+ #line 650 "itex2MML.l"
4042
4045
  case 526:
4043
4046
  YY_RULE_SETUP
4044
- #line 647 "itex2MML.l"
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 648 "itex2MML.l"
4052
+ #line 651 "itex2MML.l"
4050
4053
  {yylval=itex2MML_copy_string("⊡"); return MOL;}
4051
4054
  YY_BREAK
4052
4055
  case 528:
4053
- #line 650 "itex2MML.l"
4056
+ #line 653 "itex2MML.l"
4054
4057
  case 529:
4055
4058
  YY_RULE_SETUP
4056
- #line 650 "itex2MML.l"
4059
+ #line 653 "itex2MML.l"
4057
4060
  {yylval=itex2MML_copy_string("□"); return MOL;}
4058
4061
  YY_BREAK
4059
4062
  case 530:
4060
- #line 652 "itex2MML.l"
4063
+ #line 655 "itex2MML.l"
4061
4064
  case 531:
4062
4065
  YY_RULE_SETUP
4063
- #line 652 "itex2MML.l"
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 653 "itex2MML.l"
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 654 "itex2MML.l"
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 655 "itex2MML.l"
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 656 "itex2MML.l"
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 657 "itex2MML.l"
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 658 "itex2MML.l"
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 659 "itex2MML.l"
4101
+ #line 662 "itex2MML.l"
4099
4102
  {yylval=itex2MML_copy_string("⊴"); return MOL;}
4100
4103
  YY_BREAK
4101
4104
  case 539:
4102
- #line 661 "itex2MML.l"
4105
+ #line 664 "itex2MML.l"
4103
4106
  case 540:
4104
4107
  YY_RULE_SETUP
4105
- #line 661 "itex2MML.l"
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 662 "itex2MML.l"
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 664 "itex2MML.l"
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 665 "itex2MML.l"
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 667 "itex2MML.l"
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 669 "itex2MML.l"
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 671 "itex2MML.l"
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 672 "itex2MML.l"
4143
+ #line 675 "itex2MML.l"
4141
4144
  {return PMOD;}
4142
4145
  YY_BREAK
4143
4146
  case 548:
4144
4147
  YY_RULE_SETUP
4145
- #line 674 "itex2MML.l"
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 676 "itex2MML.l"
4153
+ #line 679 "itex2MML.l"
4151
4154
  {yylval=itex2MML_copy_string("¬"); return MOL;}
4152
4155
  YY_BREAK
4153
4156
  case 550:
4154
- #line 679 "itex2MML.l"
4157
+ #line 682 "itex2MML.l"
4155
4158
  case 551:
4156
4159
  YY_RULE_SETUP
4157
- #line 679 "itex2MML.l"
4160
+ #line 682 "itex2MML.l"
4158
4161
  {yylval=itex2MML_copy_string("≠"); return MOL;}
4159
4162
  YY_BREAK
4160
4163
  case 552:
4161
- #line 682 "itex2MML.l"
4164
+ #line 685 "itex2MML.l"
4162
4165
  case 553:
4163
4166
  YY_RULE_SETUP
4164
- #line 682 "itex2MML.l"
4167
+ #line 685 "itex2MML.l"
4165
4168
  {yylval=itex2MML_copy_string("∣"); return MOS;}
4166
4169
  YY_BREAK
4167
4170
  case 554:
4168
- #line 685 "itex2MML.l"
4171
+ #line 688 "itex2MML.l"
4169
4172
  case 555:
4170
4173
  YY_RULE_SETUP
4171
- #line 685 "itex2MML.l"
4174
+ #line 688 "itex2MML.l"
4172
4175
  {yylval=itex2MML_copy_string("∫"); return MOL;}
4173
4176
  YY_BREAK
4174
4177
  case 556:
4175
- #line 688 "itex2MML.l"
4178
+ #line 691 "itex2MML.l"
4176
4179
  case 557:
4177
4180
  YY_RULE_SETUP
4178
- #line 688 "itex2MML.l"
4181
+ #line 691 "itex2MML.l"
4179
4182
  {yylval=itex2MML_copy_string("∬"); return MOL;}
4180
4183
  YY_BREAK
4181
4184
  case 558:
4182
- #line 691 "itex2MML.l"
4185
+ #line 694 "itex2MML.l"
4183
4186
  case 559:
4184
4187
  YY_RULE_SETUP
4185
- #line 691 "itex2MML.l"
4188
+ #line 694 "itex2MML.l"
4186
4189
  {yylval=itex2MML_copy_string("∭"); return MOL;}
4187
4190
  YY_BREAK
4188
4191
  case 560:
4189
- #line 694 "itex2MML.l"
4192
+ #line 697 "itex2MML.l"
4190
4193
  case 561:
4191
4194
  YY_RULE_SETUP
4192
- #line 694 "itex2MML.l"
4195
+ #line 697 "itex2MML.l"
4193
4196
  {yylval=itex2MML_copy_string("⨌"); return MOL;}
4194
4197
  YY_BREAK
4195
4198
  case 562:
4196
- #line 697 "itex2MML.l"
4199
+ #line 700 "itex2MML.l"
4197
4200
  case 563:
4198
- #line 698 "itex2MML.l"
4201
+ #line 701 "itex2MML.l"
4199
4202
  case 564:
4200
4203
  YY_RULE_SETUP
4201
- #line 698 "itex2MML.l"
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 700 "itex2MML.l"
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 701 "itex2MML.l"
4214
+ #line 704 "itex2MML.l"
4212
4215
  {yylval=itex2MML_copy_string("⋆"); return MOL;}
4213
4216
  YY_BREAK
4214
4217
  case 567:
4215
- #line 703 "itex2MML.l"
4218
+ #line 706 "itex2MML.l"
4216
4219
  case 568:
4217
4220
  YY_RULE_SETUP
4218
- #line 703 "itex2MML.l"
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 705 "itex2MML.l"
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 706 "itex2MML.l"
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 707 "itex2MML.l"
4236
+ #line 710 "itex2MML.l"
4234
4237
  {yylval=itex2MML_copy_string("⌣"); return MOL;}
4235
4238
  YY_BREAK
4236
4239
  case 572:
4237
- #line 710 "itex2MML.l"
4240
+ #line 713 "itex2MML.l"
4238
4241
  case 573:
4239
4242
  YY_RULE_SETUP
4240
- #line 710 "itex2MML.l"
4243
+ #line 713 "itex2MML.l"
4241
4244
  {yylval=itex2MML_copy_string("⊟"); return MOL;}
4242
4245
  YY_BREAK
4243
4246
  case 574:
4244
- #line 712 "itex2MML.l"
4247
+ #line 715 "itex2MML.l"
4245
4248
  case 575:
4246
4249
  YY_RULE_SETUP
4247
- #line 712 "itex2MML.l"
4250
+ #line 715 "itex2MML.l"
4248
4251
  {yylval=itex2MML_copy_string("⊞"); return MOL;}
4249
4252
  YY_BREAK
4250
4253
  case 576:
4251
- #line 714 "itex2MML.l"
4254
+ #line 717 "itex2MML.l"
4252
4255
  case 577:
4253
4256
  YY_RULE_SETUP
4254
- #line 714 "itex2MML.l"
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 716 "itex2MML.l"
4262
+ #line 719 "itex2MML.l"
4260
4263
  {yylval=itex2MML_copy_string("∑"); return MOB;}
4261
4264
  YY_BREAK
4262
4265
  case 579:
4263
- #line 719 "itex2MML.l"
4266
+ #line 722 "itex2MML.l"
4264
4267
  case 580:
4265
4268
  YY_RULE_SETUP
4266
- #line 719 "itex2MML.l"
4269
+ #line 722 "itex2MML.l"
4267
4270
  {yylval=itex2MML_copy_string("∏"); return MOB;}
4268
4271
  YY_BREAK
4269
4272
  case 581:
4270
- #line 722 "itex2MML.l"
4273
+ #line 725 "itex2MML.l"
4271
4274
  case 582:
4272
4275
  YY_RULE_SETUP
4273
- #line 722 "itex2MML.l"
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 724 "itex2MML.l"
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 725 "itex2MML.l"
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 726 "itex2MML.l"
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 728 "itex2MML.l"
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 729 "itex2MML.l"
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 731 "itex2MML.l"
4306
+ #line 734 "itex2MML.l"
4304
4307
  {yylval=itex2MML_copy_string("⊕"); return MOL;}
4305
4308
  YY_BREAK
4306
4309
  case 589:
4307
- #line 733 "itex2MML.l"
4310
+ #line 736 "itex2MML.l"
4308
4311
  case 590:
4309
4312
  YY_RULE_SETUP
4310
- #line 733 "itex2MML.l"
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 735 "itex2MML.l"
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 736 "itex2MML.l"
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 737 "itex2MML.l"
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 739 "itex2MML.l"
4333
+ #line 742 "itex2MML.l"
4331
4334
  {yylval=itex2MML_copy_string("∧"); return MOL;}
4332
4335
  YY_BREAK
4333
4336
  case 595:
4334
- #line 741 "itex2MML.l"
4337
+ #line 744 "itex2MML.l"
4335
4338
  case 596:
4336
4339
  YY_RULE_SETUP
4337
- #line 741 "itex2MML.l"
4340
+ #line 744 "itex2MML.l"
4338
4341
  {yylval=itex2MML_copy_string("⋀"); return MOB;}
4339
4342
  YY_BREAK
4340
4343
  case 597:
4341
- #line 744 "itex2MML.l"
4344
+ #line 747 "itex2MML.l"
4342
4345
  case 598:
4343
4346
  YY_RULE_SETUP
4344
- #line 744 "itex2MML.l"
4347
+ #line 747 "itex2MML.l"
4345
4348
  {yylval=itex2MML_copy_string("⋁"); return MOB;}
4346
4349
  YY_BREAK
4347
4350
  case 599:
4348
- #line 747 "itex2MML.l"
4351
+ #line 750 "itex2MML.l"
4349
4352
  case 600:
4350
4353
  YY_RULE_SETUP
4351
- #line 747 "itex2MML.l"
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 749 "itex2MML.l"
4359
+ #line 752 "itex2MML.l"
4357
4360
  {return FRAC;}
4358
4361
  YY_BREAK
4359
4362
  case 602:
4360
4363
  YY_RULE_SETUP
4361
- #line 750 "itex2MML.l"
4364
+ #line 753 "itex2MML.l"
4362
4365
  {return TFRAC;}
4363
4366
  YY_BREAK
4364
4367
  case 603:
4365
4368
  YY_RULE_SETUP
4366
- #line 752 "itex2MML.l"
4369
+ #line 755 "itex2MML.l"
4367
4370
  {return BINOM;}
4368
4371
  YY_BREAK
4369
4372
  case 604:
4370
4373
  YY_RULE_SETUP
4371
- #line 754 "itex2MML.l"
4374
+ #line 757 "itex2MML.l"
4372
4375
  {return TENSOR;}
4373
4376
  YY_BREAK
4374
4377
  case 605:
4375
4378
  YY_RULE_SETUP
4376
- #line 756 "itex2MML.l"
4379
+ #line 759 "itex2MML.l"
4377
4380
  {return MULTI;}
4378
4381
  YY_BREAK
4379
4382
  case 606:
4380
4383
  YY_RULE_SETUP
4381
- #line 758 "itex2MML.l"
4384
+ #line 761 "itex2MML.l"
4382
4385
  {return OVERBRACE;}
4383
4386
  YY_BREAK
4384
4387
  case 607:
4385
4388
  YY_RULE_SETUP
4386
- #line 760 "itex2MML.l"
4389
+ #line 763 "itex2MML.l"
4387
4390
  {return UNDERBRACE;}
4388
4391
  YY_BREAK
4389
4392
  case 608:
4390
4393
  YY_RULE_SETUP
4391
- #line 762 "itex2MML.l"
4394
+ #line 765 "itex2MML.l"
4392
4395
  {return UNDERLINE;}
4393
4396
  YY_BREAK
4394
4397
  case 609:
4395
4398
  YY_RULE_SETUP
4396
- #line 764 "itex2MML.l"
4399
+ #line 767 "itex2MML.l"
4397
4400
  {return BAR;}
4398
4401
  YY_BREAK
4399
4402
  case 610:
4400
- #line 766 "itex2MML.l"
4403
+ #line 769 "itex2MML.l"
4401
4404
  case 611:
4402
- #line 767 "itex2MML.l"
4405
+ #line 770 "itex2MML.l"
4403
4406
  case 612:
4404
4407
  YY_RULE_SETUP
4405
- #line 767 "itex2MML.l"
4408
+ #line 770 "itex2MML.l"
4406
4409
  {return WIDEBAR;}
4407
4410
  YY_BREAK
4408
4411
  case 613:
4409
4412
  YY_RULE_SETUP
4410
- #line 769 "itex2MML.l"
4413
+ #line 772 "itex2MML.l"
4411
4414
  {return VEC;}
4412
4415
  YY_BREAK
4413
4416
  case 614:
4414
4417
  YY_RULE_SETUP
4415
- #line 770 "itex2MML.l"
4418
+ #line 773 "itex2MML.l"
4416
4419
  {return WIDEVEC;}
4417
4420
  YY_BREAK
4418
4421
  case 615:
4419
4422
  YY_RULE_SETUP
4420
- #line 772 "itex2MML.l"
4423
+ #line 775 "itex2MML.l"
4421
4424
  {return DOT;}
4422
4425
  YY_BREAK
4423
4426
  case 616:
4424
4427
  YY_RULE_SETUP
4425
- #line 773 "itex2MML.l"
4428
+ #line 776 "itex2MML.l"
4426
4429
  {return DDOT;}
4427
4430
  YY_BREAK
4428
4431
  case 617:
4429
4432
  YY_RULE_SETUP
4430
- #line 774 "itex2MML.l"
4433
+ #line 777 "itex2MML.l"
4431
4434
  {return DDDOT;}
4432
4435
  YY_BREAK
4433
4436
  case 618:
4434
4437
  YY_RULE_SETUP
4435
- #line 775 "itex2MML.l"
4438
+ #line 778 "itex2MML.l"
4436
4439
  {return DDDDOT;}
4437
4440
  YY_BREAK
4438
4441
  case 619:
4439
4442
  YY_RULE_SETUP
4440
- #line 777 "itex2MML.l"
4443
+ #line 780 "itex2MML.l"
4441
4444
  {return TILDE;}
4442
4445
  YY_BREAK
4443
4446
  case 620:
4444
4447
  YY_RULE_SETUP
4445
- #line 778 "itex2MML.l"
4448
+ #line 781 "itex2MML.l"
4446
4449
  {return WIDETILDE;}
4447
4450
  YY_BREAK
4448
4451
  case 621:
4449
4452
  YY_RULE_SETUP
4450
- #line 781 "itex2MML.l"
4453
+ #line 784 "itex2MML.l"
4451
4454
  {return CHECK;}
4452
4455
  YY_BREAK
4453
4456
  case 622:
4454
4457
  YY_RULE_SETUP
4455
- #line 782 "itex2MML.l"
4458
+ #line 785 "itex2MML.l"
4456
4459
  {return WIDECHECK;}
4457
4460
  YY_BREAK
4458
4461
  case 623:
4459
4462
  YY_RULE_SETUP
4460
- #line 785 "itex2MML.l"
4463
+ #line 788 "itex2MML.l"
4461
4464
  {return HAT;}
4462
4465
  YY_BREAK
4463
4466
  case 624:
4464
4467
  YY_RULE_SETUP
4465
- #line 786 "itex2MML.l"
4468
+ #line 789 "itex2MML.l"
4466
4469
  {return WIDEHAT;}
4467
4470
  YY_BREAK
4468
4471
  case 625:
4469
4472
  YY_RULE_SETUP
4470
- #line 788 "itex2MML.l"
4473
+ #line 791 "itex2MML.l"
4471
4474
  {return UNDER;}
4472
4475
  YY_BREAK
4473
4476
  case 626:
4474
- #line 791 "itex2MML.l"
4477
+ #line 794 "itex2MML.l"
4475
4478
  case 627:
4476
4479
  YY_RULE_SETUP
4477
- #line 791 "itex2MML.l"
4480
+ #line 794 "itex2MML.l"
4478
4481
  {return OVER;}
4479
4482
  YY_BREAK
4480
4483
  case 628:
4481
4484
  YY_RULE_SETUP
4482
- #line 793 "itex2MML.l"
4485
+ #line 796 "itex2MML.l"
4483
4486
  {return TEXOVER;}
4484
4487
  YY_BREAK
4485
4488
  case 629:
4486
4489
  YY_RULE_SETUP
4487
- #line 794 "itex2MML.l"
4490
+ #line 797 "itex2MML.l"
4488
4491
  {return TEXATOP;}
4489
4492
  YY_BREAK
4490
4493
  case 630:
4491
4494
  YY_RULE_SETUP
4492
- #line 796 "itex2MML.l"
4495
+ #line 799 "itex2MML.l"
4493
4496
  {return UNDEROVER;}
4494
4497
  YY_BREAK
4495
4498
  case 631:
4496
4499
  YY_RULE_SETUP
4497
- #line 798 "itex2MML.l"
4500
+ #line 801 "itex2MML.l"
4498
4501
  {return SQRT;}
4499
4502
  YY_BREAK
4500
4503
  case 632:
4501
4504
  YY_RULE_SETUP
4502
- #line 800 "itex2MML.l"
4505
+ #line 803 "itex2MML.l"
4503
4506
  {return ROOT;}
4504
4507
  YY_BREAK
4505
4508
  case 633:
4506
4509
  YY_RULE_SETUP
4507
- #line 802 "itex2MML.l"
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 804 "itex2MML.l"
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 806 "itex2MML.l"
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 807 "itex2MML.l"
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 809 "itex2MML.l"
4530
+ #line 812 "itex2MML.l"
4528
4531
  {return TOGGLE;}
4529
4532
  YY_BREAK
4530
4533
  case 638:
4531
- #line 812 "itex2MML.l"
4534
+ #line 815 "itex2MML.l"
4532
4535
  case 639:
4533
4536
  YY_RULE_SETUP
4534
- #line 812 "itex2MML.l"
4537
+ #line 815 "itex2MML.l"
4535
4538
  {BEGIN(ATTRIBUTELIST); return FGHIGHLIGHT;}
4536
4539
  YY_BREAK
4537
4540
  case 640:
4538
- #line 815 "itex2MML.l"
4541
+ #line 818 "itex2MML.l"
4539
4542
  case 641:
4540
4543
  YY_RULE_SETUP
4541
- #line 815 "itex2MML.l"
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 817 "itex2MML.l"
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 818 "itex2MML.l"
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 820 "itex2MML.l"
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 822 "itex2MML.l"
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 824 "itex2MML.l"
4569
+ #line 827 "itex2MML.l"
4567
4570
  {return TEXTSIZE;}
4568
4571
  YY_BREAK
4569
4572
  case 647:
4570
4573
  YY_RULE_SETUP
4571
- #line 826 "itex2MML.l"
4574
+ #line 829 "itex2MML.l"
4572
4575
  {return SCSIZE;}
4573
4576
  YY_BREAK
4574
4577
  case 648:
4575
4578
  YY_RULE_SETUP
4576
- #line 828 "itex2MML.l"
4579
+ #line 831 "itex2MML.l"
4577
4580
  {return SCSCSIZE;}
4578
4581
  YY_BREAK
4579
4582
  case 649:
4580
4583
  YY_RULE_SETUP
4581
- #line 830 "itex2MML.l"
4584
+ #line 833 "itex2MML.l"
4582
4585
  {return ITALICS;}
4583
4586
  YY_BREAK
4584
4587
  case 650:
4585
- #line 833 "itex2MML.l"
4588
+ #line 836 "itex2MML.l"
4586
4589
  case 651:
4587
4590
  YY_RULE_SETUP
4588
- #line 833 "itex2MML.l"
4591
+ #line 836 "itex2MML.l"
4589
4592
  {return BOLD;}
4590
4593
  YY_BREAK
4591
4594
  case 652:
4592
4595
  YY_RULE_SETUP
4593
- #line 835 "itex2MML.l"
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 837 "itex2MML.l"
4601
+ #line 840 "itex2MML.l"
4599
4602
  {BEGIN(BBOLD); return BB;}
4600
4603
  YY_BREAK
4601
4604
  case 654:
4602
- #line 840 "itex2MML.l"
4605
+ #line 843 "itex2MML.l"
4603
4606
  case 655:
4604
4607
  YY_RULE_SETUP
4605
- #line 840 "itex2MML.l"
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 842 "itex2MML.l"
4613
+ #line 845 "itex2MML.l"
4611
4614
  {return SLASHED;}
4612
4615
  YY_BREAK
4613
4616
  case 657:
4614
4617
  YY_RULE_SETUP
4615
- #line 844 "itex2MML.l"
4618
+ #line 847 "itex2MML.l"
4616
4619
  {return BOXED;}
4617
4620
  YY_BREAK
4618
4621
  case 658:
4619
4622
  YY_RULE_SETUP
4620
- #line 846 "itex2MML.l"
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 848 "itex2MML.l"
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 849 "itex2MML.l"
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 851 "itex2MML.l"
4638
+ #line 854 "itex2MML.l"
4636
4639
  {return SUBSTACK;}
4637
4640
  YY_BREAK
4638
4641
  case 662:
4639
4642
  YY_RULE_SETUP
4640
- #line 853 "itex2MML.l"
4643
+ #line 856 "itex2MML.l"
4641
4644
  {return ARRAY;}
4642
4645
  YY_BREAK
4643
4646
  case 663:
4644
4647
  YY_RULE_SETUP
4645
- #line 855 "itex2MML.l"
4648
+ #line 858 "itex2MML.l"
4646
4649
  {return ARRAYOPTS;}
4647
4650
  YY_BREAK
4648
4651
  case 664:
4649
4652
  YY_RULE_SETUP
4650
- #line 857 "itex2MML.l"
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 859 "itex2MML.l"
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 861 "itex2MML.l"
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 863 "itex2MML.l"
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 865 "itex2MML.l"
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 867 "itex2MML.l"
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 869 "itex2MML.l"
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 871 "itex2MML.l"
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 873 "itex2MML.l"
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 875 "itex2MML.l"
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 877 "itex2MML.l"
4703
+ #line 880 "itex2MML.l"
4701
4704
  {return ROWOPTS;}
4702
4705
  YY_BREAK
4703
4706
  case 675:
4704
4707
  YY_RULE_SETUP
4705
- #line 879 "itex2MML.l"
4708
+ #line 882 "itex2MML.l"
4706
4709
  {return CELLOPTS;}
4707
4710
  YY_BREAK
4708
4711
  case 676:
4709
4712
  YY_RULE_SETUP
4710
- #line 881 "itex2MML.l"
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 883 "itex2MML.l"
4718
+ #line 886 "itex2MML.l"
4716
4719
  {BEGIN(ATTRIBUTELIST); return COLSPAN;}
4717
4720
  YY_BREAK
4718
4721
  case 678:
4719
- #line 887 "itex2MML.l"
4722
+ #line 890 "itex2MML.l"
4720
4723
  case 679:
4721
4724
  YY_RULE_SETUP
4722
- #line 887 "itex2MML.l"
4725
+ #line 890 "itex2MML.l"
4723
4726
  {return THINSPACE;}
4724
4727
  YY_BREAK
4725
4728
  case 680:
4726
- #line 890 "itex2MML.l"
4729
+ #line 893 "itex2MML.l"
4727
4730
  case 681:
4728
4731
  YY_RULE_SETUP
4729
- #line 890 "itex2MML.l"
4732
+ #line 893 "itex2MML.l"
4730
4733
  {return MEDSPACE;}
4731
4734
  YY_BREAK
4732
4735
  case 682:
4733
- #line 893 "itex2MML.l"
4736
+ #line 896 "itex2MML.l"
4734
4737
  case 683:
4735
4738
  YY_RULE_SETUP
4736
- #line 893 "itex2MML.l"
4739
+ #line 896 "itex2MML.l"
4737
4740
  {return THICKSPACE;}
4738
4741
  YY_BREAK
4739
4742
  case 684:
4740
4743
  YY_RULE_SETUP
4741
- #line 895 "itex2MML.l"
4744
+ #line 898 "itex2MML.l"
4742
4745
  {return QUAD;}
4743
4746
  YY_BREAK
4744
4747
  case 685:
4745
4748
  YY_RULE_SETUP
4746
- #line 896 "itex2MML.l"
4749
+ #line 899 "itex2MML.l"
4747
4750
  {return QQUAD;}
4748
4751
  YY_BREAK
4749
4752
  case 686:
4750
- #line 899 "itex2MML.l"
4753
+ #line 902 "itex2MML.l"
4751
4754
  case 687:
4752
4755
  YY_RULE_SETUP
4753
- #line 899 "itex2MML.l"
4756
+ #line 902 "itex2MML.l"
4754
4757
  {return NEGSPACE;}
4755
4758
  YY_BREAK
4756
4759
  case 688:
4757
4760
  YY_RULE_SETUP
4758
- #line 901 "itex2MML.l"
4761
+ #line 904 "itex2MML.l"
4759
4762
  {return PHANTOM;}
4760
4763
  YY_BREAK
4761
4764
  case 689:
4762
4765
  YY_RULE_SETUP
4763
- #line 903 "itex2MML.l"
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 905 "itex2MML.l"
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 906 "itex2MML.l"
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 907 "itex2MML.l"
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 908 "itex2MML.l"
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 910 "itex2MML.l"
4792
+ #line 913 "itex2MML.l"
4790
4793
  ;
4791
4794
  YY_BREAK
4792
4795
  case 695:
4793
4796
  YY_RULE_SETUP
4794
- #line 912 "itex2MML.l"
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 915 "itex2MML.l"
4801
+ #line 918 "itex2MML.l"
4799
4802
  case 697:
4800
- #line 916 "itex2MML.l"
4803
+ #line 919 "itex2MML.l"
4801
4804
  case 698:
4802
4805
  YY_RULE_SETUP
4803
- #line 916 "itex2MML.l"
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 918 "itex2MML.l"
4812
+ #line 921 "itex2MML.l"
4810
4813
  itex2MML_lineno++;
4811
4814
  YY_BREAK
4812
4815
  case 700:
4813
4816
  YY_RULE_SETUP
4814
- #line 919 "itex2MML.l"
4817
+ #line 922 "itex2MML.l"
4815
4818
  ;
4816
4819
  YY_BREAK
4817
4820
  case 701:
4818
4821
  YY_RULE_SETUP
4819
- #line 922 "itex2MML.l"
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 925 "itex2MML.l"
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 928 "itex2MML.l"
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 929 "itex2MML.l"
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 933 "itex2MML.l"
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 934 "itex2MML.l"
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 935 "itex2MML.l"
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 936 "itex2MML.l"
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 937 "itex2MML.l"
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 938 "itex2MML.l"
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 939 "itex2MML.l"
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 940 "itex2MML.l"
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 941 "itex2MML.l"
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 942 "itex2MML.l"
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 943 "itex2MML.l"
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 944 "itex2MML.l"
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 948 "itex2MML.l"
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 949 "itex2MML.l"
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 953 "itex2MML.l"
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 957 "itex2MML.l"
4929
+ #line 960 "itex2MML.l"
4927
4930
  {return ST;}
4928
4931
  YY_BREAK
4929
4932
  case 721:
4930
4933
  YY_RULE_SETUP
4931
- #line 958 "itex2MML.l"
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 959 "itex2MML.l"
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 960 "itex2MML.l"
4945
+ #line 963 "itex2MML.l"
4943
4946
  ;
4944
4947
  YY_BREAK
4945
4948
  case 724:
4946
4949
  YY_RULE_SETUP
4947
- #line 961 "itex2MML.l"
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 965 "itex2MML.l"
4957
+ #line 968 "itex2MML.l"
4955
4958
  {return ST;}
4956
4959
  YY_BREAK
4957
4960
  case 726:
4958
4961
  YY_RULE_SETUP
4959
- #line 966 "itex2MML.l"
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 967 "itex2MML.l"
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 968 "itex2MML.l"
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 969 "itex2MML.l"
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 970 "itex2MML.l"
4983
+ #line 973 "itex2MML.l"
4981
4984
  ;
4982
4985
  YY_BREAK
4983
4986
  case 731:
4984
4987
  YY_RULE_SETUP
4985
- #line 971 "itex2MML.l"
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 975 "itex2MML.l"
4995
+ #line 978 "itex2MML.l"
4993
4996
  {return ST;}
4994
4997
  YY_BREAK
4995
4998
  case 733:
4996
4999
  YY_RULE_SETUP
4997
- #line 976 "itex2MML.l"
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 977 "itex2MML.l"
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 978 "itex2MML.l"
5011
+ #line 981 "itex2MML.l"
5009
5012
  ;
5010
5013
  YY_BREAK
5011
5014
  case 736:
5012
5015
  YY_RULE_SETUP
5013
- #line 979 "itex2MML.l"
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 983 "itex2MML.l"
5023
+ #line 986 "itex2MML.l"
5021
5024
  {return ST;}
5022
5025
  YY_BREAK
5023
5026
  case 738:
5024
5027
  YY_RULE_SETUP
5025
- #line 984 "itex2MML.l"
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 985 "itex2MML.l"
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 986 "itex2MML.l"
5039
+ #line 989 "itex2MML.l"
5037
5040
  ;
5038
5041
  YY_BREAK
5039
5042
  case 741:
5040
5043
  YY_RULE_SETUP
5041
- #line 987 "itex2MML.l"
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 991 "itex2MML.l"
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 995 "itex2MML.l"
5059
+ #line 998 "itex2MML.l"
5057
5060
  {return ST;}
5058
5061
  YY_BREAK
5059
5062
  case 744:
5060
5063
  YY_RULE_SETUP
5061
- #line 996 "itex2MML.l"
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 997 "itex2MML.l"
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 998 "itex2MML.l"
5075
+ #line 1001 "itex2MML.l"
5073
5076
  ;
5074
5077
  YY_BREAK
5075
5078
  case 747:
5076
5079
  YY_RULE_SETUP
5077
- #line 999 "itex2MML.l"
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 1003 "itex2MML.l"
5087
+ #line 1006 "itex2MML.l"
5085
5088
  {return ST;}
5086
5089
  YY_BREAK
5087
5090
  case 749:
5088
5091
  YY_RULE_SETUP
5089
- #line 1004 "itex2MML.l"
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 1005 "itex2MML.l"
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 1006 "itex2MML.l"
5103
+ #line 1009 "itex2MML.l"
5101
5104
  ;
5102
5105
  YY_BREAK
5103
5106
  case 752:
5104
5107
  YY_RULE_SETUP
5105
- #line 1007 "itex2MML.l"
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 1011 "itex2MML.l"
5115
+ #line 1014 "itex2MML.l"
5113
5116
  {return ST;}
5114
5117
  YY_BREAK
5115
5118
  case 754:
5116
5119
  YY_RULE_SETUP
5117
- #line 1012 "itex2MML.l"
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 1013 "itex2MML.l"
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 1014 "itex2MML.l"
5131
+ #line 1017 "itex2MML.l"
5129
5132
  ;
5130
5133
  YY_BREAK
5131
5134
  case 757:
5132
5135
  YY_RULE_SETUP
5133
- #line 1015 "itex2MML.l"
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 1020 "itex2MML.l"
5142
+ #line 1023 "itex2MML.l"
5140
5143
  ECHO;
5141
5144
  YY_BREAK
5142
- #line 5143 "lex.yy.c"
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 1020 "itex2MML.l"
6156
+ #line 1023 "itex2MML.l"
6154
6157
 
6155
6158
 
6156
6159