mathematical 0.6.1 → 0.6.2

data/ext/mathematical/mtex2MML/src/y.tab.h

@@ -133,132 +133,133 @@
      TT = 349,
      BOLD = 350,
      BOXED = 351,
-     FBOX = 352,
-     HBOX = 353,
-     MBOX = 354,
-     BCANCELED = 355,
-     XCANCELED = 356,
-     CANCELEDTO = 357,
-     NOT = 358,
-     SLASHED = 359,
-     PMB = 360,
-     SCR = 361,
-     RM = 362,
-     BB = 363,
-     ST = 364,
-     END = 365,
-     BBLOWERCHAR = 366,
-     BBUPPERCHAR = 367,
-     BBDIGIT = 368,
-     CALCHAR = 369,
-     FRAKCHAR = 370,
-     CAL = 371,
-     FRAK = 372,
-     CLAP = 373,
-     LLAP = 374,
-     RLAP = 375,
-     ROWOPTS = 376,
-     TEXTSIZE = 377,
-     SCSIZE = 378,
-     SCSCSIZE = 379,
-     DISPLAY = 380,
-     TEXTSTY = 381,
-     TEXTBOX = 382,
-     TEXTSTRING = 383,
-     VERBBOX = 384,
-     VERBSTRING = 385,
-     ACUTE = 386,
-     GRAVE = 387,
-     BREVE = 388,
-     MATHRING = 389,
-     XMLSTRING = 390,
-     CELLOPTS = 391,
-     ROWSPAN = 392,
-     COLSPAN = 393,
-     THINSPACE = 394,
-     MEDSPACE = 395,
-     THICKSPACE = 396,
-     QUAD = 397,
-     QQUAD = 398,
-     NEGSPACE = 399,
-     NEGMEDSPACE = 400,
-     NEGTHICKSPACE = 401,
-     PHANTOM = 402,
-     HREF = 403,
-     UNKNOWNCHAR = 404,
-     EMPTYMROW = 405,
-     STATLINE = 406,
-     TOOLTIP = 407,
-     TOGGLE = 408,
-     TOGGLESTART = 409,
-     TOGGLEEND = 410,
-     FGHIGHLIGHT = 411,
-     BGHIGHLIGHT = 412,
-     COLORBOX = 413,
-     SPACE = 414,
-     PIXSIZE = 415,
-     INTONE = 416,
-     INTTWO = 417,
-     INTTHREE = 418,
-     OVERLEFTARROW = 419,
-     OVERLEFTRIGHTARROW = 420,
-     OVERRIGHTARROW = 421,
-     UNDERLEFTARROW = 422,
-     UNDERLEFTRIGHTARROW = 423,
-     UNDERRIGHTARROW = 424,
-     BAR = 425,
-     WIDEBAR = 426,
-     VEC = 427,
-     WIDEVEC = 428,
-     HAT = 429,
-     WIDEHAT = 430,
-     CHECK = 431,
-     WIDECHECK = 432,
-     TILDE = 433,
-     WIDETILDE = 434,
-     DOT = 435,
-     DDOT = 436,
-     DDDOT = 437,
-     DDDDOT = 438,
-     UNARYMINUS = 439,
-     UNARYPLUS = 440,
-     BEGINENV = 441,
-     ENDENV = 442,
-     MATRIX = 443,
-     PMATRIX = 444,
-     BMATRIX = 445,
-     BBMATRIX = 446,
-     VMATRIX = 447,
-     VVMATRIX = 448,
-     SVG = 449,
-     ENDSVG = 450,
-     SMALLMATRIX = 451,
-     CASES = 452,
-     ALIGNED = 453,
-     ALIGNAT = 454,
-     ALIGNEDAT = 455,
-     GATHERED = 456,
-     SUBSTACK = 457,
-     BMOD = 458,
-     PMOD = 459,
-     POD = 460,
-     RMCHAR = 461,
-     SCRCHAR = 462,
-     PMBCHAR = 463,
-     COLOR = 464,
-     BGCOLOR = 465,
-     XARROW = 466,
-     OPTARGOPEN = 467,
-     OPTARGCLOSE = 468,
-     MTEXNUM = 469,
-     RAISEBOX = 470,
-     NEG = 471,
-     LATEXSYMBOL = 472,
-     TEXSYMBOL = 473,
-     VARINJLIM = 474,
-     VARLIMINF = 475,
-     VARLIMSUP = 476,
-     VARPROJLIM = 477
+     BOXSTRING = 352,
+     FBOX = 353,
+     HBOX = 354,
+     MBOX = 355,
+     BCANCELED = 356,
+     XCANCELED = 357,
+     CANCELEDTO = 358,
+     NOT = 359,
+     SLASHED = 360,
+     PMB = 361,
+     SCR = 362,
+     RM = 363,
+     BB = 364,
+     ST = 365,
+     END = 366,
+     BBLOWERCHAR = 367,
+     BBUPPERCHAR = 368,
+     BBDIGIT = 369,
+     CALCHAR = 370,
+     FRAKCHAR = 371,
+     CAL = 372,
+     FRAK = 373,
+     CLAP = 374,
+     LLAP = 375,
+     RLAP = 376,
+     ROWOPTS = 377,
+     TEXTSIZE = 378,
+     SCSIZE = 379,
+     SCSCSIZE = 380,
+     DISPLAY = 381,
+     TEXTSTY = 382,
+     TEXTBOX = 383,
+     TEXTSTRING = 384,
+     VERBBOX = 385,
+     VERBSTRING = 386,
+     ACUTE = 387,
+     GRAVE = 388,
+     BREVE = 389,
+     MATHRING = 390,
+     XMLSTRING = 391,
+     CELLOPTS = 392,
+     ROWSPAN = 393,
+     COLSPAN = 394,
+     THINSPACE = 395,
+     MEDSPACE = 396,
+     THICKSPACE = 397,
+     QUAD = 398,
+     QQUAD = 399,
+     NEGSPACE = 400,
+     NEGMEDSPACE = 401,
+     NEGTHICKSPACE = 402,
+     PHANTOM = 403,
+     HREF = 404,
+     UNKNOWNCHAR = 405,
+     EMPTYMROW = 406,
+     STATLINE = 407,
+     TOOLTIP = 408,
+     TOGGLE = 409,
+     TOGGLESTART = 410,
+     TOGGLEEND = 411,
+     FGHIGHLIGHT = 412,
+     BGHIGHLIGHT = 413,
+     COLORBOX = 414,
+     SPACE = 415,
+     PIXSIZE = 416,
+     INTONE = 417,
+     INTTWO = 418,
+     INTTHREE = 419,
+     OVERLEFTARROW = 420,
+     OVERLEFTRIGHTARROW = 421,
+     OVERRIGHTARROW = 422,
+     UNDERLEFTARROW = 423,
+     UNDERLEFTRIGHTARROW = 424,
+     UNDERRIGHTARROW = 425,
+     BAR = 426,
+     WIDEBAR = 427,
+     VEC = 428,
+     WIDEVEC = 429,
+     HAT = 430,
+     WIDEHAT = 431,
+     CHECK = 432,
+     WIDECHECK = 433,
+     TILDE = 434,
+     WIDETILDE = 435,
+     DOT = 436,
+     DDOT = 437,
+     DDDOT = 438,
+     DDDDOT = 439,
+     UNARYMINUS = 440,
+     UNARYPLUS = 441,
+     BEGINENV = 442,
+     ENDENV = 443,
+     MATRIX = 444,
+     PMATRIX = 445,
+     BMATRIX = 446,
+     BBMATRIX = 447,
+     VMATRIX = 448,
+     VVMATRIX = 449,
+     SVG = 450,
+     ENDSVG = 451,
+     SMALLMATRIX = 452,
+     CASES = 453,
+     ALIGNED = 454,
+     ALIGNAT = 455,
+     ALIGNEDAT = 456,
+     GATHERED = 457,
+     SUBSTACK = 458,
+     BMOD = 459,
+     PMOD = 460,
+     POD = 461,
+     RMCHAR = 462,
+     SCRCHAR = 463,
+     PMBCHAR = 464,
+     COLOR = 465,
+     BGCOLOR = 466,
+     XARROW = 467,
+     OPTARGOPEN = 468,
+     OPTARGCLOSE = 469,
+     MTEXNUM = 470,
+     RAISEBOX = 471,
+     NEG = 472,
+     LATEXSYMBOL = 473,
+     TEXSYMBOL = 474,
+     VARINJLIM = 475,
+     VARLIMINF = 476,
+     VARLIMSUP = 477,
+     VARPROJLIM = 478
    };
 #endif
 /* Tokens.  */
@@ -356,132 +357,133 @@
 #define TT 349
 #define BOLD 350
 #define BOXED 351
-#define FBOX 352
-#define HBOX 353
-#define MBOX 354
-#define BCANCELED 355
-#define XCANCELED 356
-#define CANCELEDTO 357
-#define NOT 358
-#define SLASHED 359
-#define PMB 360
-#define SCR 361
-#define RM 362
-#define BB 363
-#define ST 364
-#define END 365
-#define BBLOWERCHAR 366
-#define BBUPPERCHAR 367
-#define BBDIGIT 368
-#define CALCHAR 369
-#define FRAKCHAR 370
-#define CAL 371
-#define FRAK 372
-#define CLAP 373
-#define LLAP 374
-#define RLAP 375
-#define ROWOPTS 376
-#define TEXTSIZE 377
-#define SCSIZE 378
-#define SCSCSIZE 379
-#define DISPLAY 380
-#define TEXTSTY 381
-#define TEXTBOX 382
-#define TEXTSTRING 383
-#define VERBBOX 384
-#define VERBSTRING 385
-#define ACUTE 386
-#define GRAVE 387
-#define BREVE 388
-#define MATHRING 389
-#define XMLSTRING 390
-#define CELLOPTS 391
-#define ROWSPAN 392
-#define COLSPAN 393
-#define THINSPACE 394
-#define MEDSPACE 395
-#define THICKSPACE 396
-#define QUAD 397
-#define QQUAD 398
-#define NEGSPACE 399
-#define NEGMEDSPACE 400
-#define NEGTHICKSPACE 401
-#define PHANTOM 402
-#define HREF 403
-#define UNKNOWNCHAR 404
-#define EMPTYMROW 405
-#define STATLINE 406
-#define TOOLTIP 407
-#define TOGGLE 408
-#define TOGGLESTART 409
-#define TOGGLEEND 410
-#define FGHIGHLIGHT 411
-#define BGHIGHLIGHT 412
-#define COLORBOX 413
-#define SPACE 414
-#define PIXSIZE 415
-#define INTONE 416
-#define INTTWO 417
-#define INTTHREE 418
-#define OVERLEFTARROW 419
-#define OVERLEFTRIGHTARROW 420
-#define OVERRIGHTARROW 421
-#define UNDERLEFTARROW 422
-#define UNDERLEFTRIGHTARROW 423
-#define UNDERRIGHTARROW 424
-#define BAR 425
-#define WIDEBAR 426
-#define VEC 427
-#define WIDEVEC 428
-#define HAT 429
-#define WIDEHAT 430
-#define CHECK 431
-#define WIDECHECK 432
-#define TILDE 433
-#define WIDETILDE 434
-#define DOT 435
-#define DDOT 436
-#define DDDOT 437
-#define DDDDOT 438
-#define UNARYMINUS 439
-#define UNARYPLUS 440
-#define BEGINENV 441
-#define ENDENV 442
-#define MATRIX 443
-#define PMATRIX 444
-#define BMATRIX 445
-#define BBMATRIX 446
-#define VMATRIX 447
-#define VVMATRIX 448
-#define SVG 449
-#define ENDSVG 450
-#define SMALLMATRIX 451
-#define CASES 452
-#define ALIGNED 453
-#define ALIGNAT 454
-#define ALIGNEDAT 455
-#define GATHERED 456
-#define SUBSTACK 457
-#define BMOD 458
-#define PMOD 459
-#define POD 460
-#define RMCHAR 461
-#define SCRCHAR 462
-#define PMBCHAR 463
-#define COLOR 464
-#define BGCOLOR 465
-#define XARROW 466
-#define OPTARGOPEN 467
-#define OPTARGCLOSE 468
-#define MTEXNUM 469
-#define RAISEBOX 470
-#define NEG 471
-#define LATEXSYMBOL 472
-#define TEXSYMBOL 473
-#define VARINJLIM 474
-#define VARLIMINF 475
-#define VARLIMSUP 476
-#define VARPROJLIM 477
+#define BOXSTRING 352
+#define FBOX 353
+#define HBOX 354
+#define MBOX 355
+#define BCANCELED 356
+#define XCANCELED 357
+#define CANCELEDTO 358
+#define NOT 359
+#define SLASHED 360
+#define PMB 361
+#define SCR 362
+#define RM 363
+#define BB 364
+#define ST 365
+#define END 366
+#define BBLOWERCHAR 367
+#define BBUPPERCHAR 368
+#define BBDIGIT 369
+#define CALCHAR 370
+#define FRAKCHAR 371
+#define CAL 372
+#define FRAK 373
+#define CLAP 374
+#define LLAP 375
+#define RLAP 376
+#define ROWOPTS 377
+#define TEXTSIZE 378
+#define SCSIZE 379
+#define SCSCSIZE 380
+#define DISPLAY 381
+#define TEXTSTY 382
+#define TEXTBOX 383
+#define TEXTSTRING 384
+#define VERBBOX 385
+#define VERBSTRING 386
+#define ACUTE 387
+#define GRAVE 388
+#define BREVE 389
+#define MATHRING 390
+#define XMLSTRING 391
+#define CELLOPTS 392
+#define ROWSPAN 393
+#define COLSPAN 394
+#define THINSPACE 395
+#define MEDSPACE 396
+#define THICKSPACE 397
+#define QUAD 398
+#define QQUAD 399
+#define NEGSPACE 400
+#define NEGMEDSPACE 401
+#define NEGTHICKSPACE 402
+#define PHANTOM 403
+#define HREF 404
+#define UNKNOWNCHAR 405
+#define EMPTYMROW 406
+#define STATLINE 407
+#define TOOLTIP 408
+#define TOGGLE 409
+#define TOGGLESTART 410
+#define TOGGLEEND 411
+#define FGHIGHLIGHT 412
+#define BGHIGHLIGHT 413
+#define COLORBOX 414
+#define SPACE 415
+#define PIXSIZE 416
+#define INTONE 417
+#define INTTWO 418
+#define INTTHREE 419
+#define OVERLEFTARROW 420
+#define OVERLEFTRIGHTARROW 421
+#define OVERRIGHTARROW 422
+#define UNDERLEFTARROW 423
+#define UNDERLEFTRIGHTARROW 424
+#define UNDERRIGHTARROW 425
+#define BAR 426
+#define WIDEBAR 427
+#define VEC 428
+#define WIDEVEC 429
+#define HAT 430
+#define WIDEHAT 431
+#define CHECK 432
+#define WIDECHECK 433
+#define TILDE 434
+#define WIDETILDE 435
+#define DOT 436
+#define DDOT 437
+#define DDDOT 438
+#define DDDDOT 439
+#define UNARYMINUS 440
+#define UNARYPLUS 441
+#define BEGINENV 442
+#define ENDENV 443
+#define MATRIX 444
+#define PMATRIX 445
+#define BMATRIX 446
+#define BBMATRIX 447
+#define VMATRIX 448
+#define VVMATRIX 449
+#define SVG 450
+#define ENDSVG 451
+#define SMALLMATRIX 452
+#define CASES 453
+#define ALIGNED 454
+#define ALIGNAT 455
+#define ALIGNEDAT 456
+#define GATHERED 457
+#define SUBSTACK 458
+#define BMOD 459
+#define PMOD 460
+#define POD 461
+#define RMCHAR 462
+#define SCRCHAR 463
+#define PMBCHAR 464
+#define COLOR 465
+#define BGCOLOR 466
+#define XARROW 467
+#define OPTARGOPEN 468
+#define OPTARGCLOSE 469
+#define MTEXNUM 470
+#define RAISEBOX 471
+#define NEG 472
+#define LATEXSYMBOL 473
+#define TEXSYMBOL 474
+#define VARINJLIM 475
+#define VARLIMINF 476
+#define VARLIMSUP 477
+#define VARPROJLIM 478