mathematical 0.5.0 → 0.6.0

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

@@ -39,345 +39,449 @@
    /* Put the tokens into the symbol table, so that GDB and other debuggers
       know about them.  */
    enum yytokentype {
-     TEXATOP = 258,
-     TEXOVER = 259,
-     CHAR = 260,
-     STARTMATH = 261,
-     STARTDMATH = 262,
-     ENDMATH = 263,
-     MI = 264,
-     MIB = 265,
-     MN = 266,
-     MO = 267,
-     SUP = 268,
-     SUB = 269,
-     MROWOPEN = 270,
-     MROWCLOSE = 271,
-     LEFT = 272,
-     RIGHT = 273,
-     BIG = 274,
-     BBIG = 275,
-     BIGG = 276,
-     BBIGG = 277,
-     BIGL = 278,
-     BBIGL = 279,
-     BIGGL = 280,
-     BBIGGL = 281,
-     FRAC = 282,
-     TFRAC = 283,
-     OPERATORNAME = 284,
-     MATHOP = 285,
-     MATHBIN = 286,
-     MATHREL = 287,
-     MOP = 288,
-     MOL = 289,
-     MOLL = 290,
-     MOF = 291,
-     MOR = 292,
-     PERIODDELIM = 293,
-     OTHERDELIM = 294,
-     LEFTDELIM = 295,
-     RIGHTDELIM = 296,
-     MOS = 297,
-     MOB = 298,
-     SQRT = 299,
-     ROOT = 300,
-     BINOM = 301,
-     TBINOM = 302,
-     UNDER = 303,
-     OVER = 304,
-     OVERBRACE = 305,
-     UNDERLINE = 306,
-     UNDERBRACE = 307,
-     UNDEROVER = 308,
-     TENSOR = 309,
-     MULTI = 310,
-     ARRAYALIGN = 311,
-     ROWSPACINGDEF = 312,
-     ROWLINESDEF = 313,
-     COLUMNALIGN = 314,
-     ARRAY = 315,
-     COLSEP = 316,
-     ROWSEP = 317,
-     ARRAYOPTS = 318,
-     COLLAYOUT = 319,
-     COLALIGN = 320,
-     ROWALIGN = 321,
-     ALIGN = 322,
-     EQROWS = 323,
-     EQCOLS = 324,
-     ROWLINES = 325,
-     COLLINES = 326,
-     FRAME = 327,
-     PADDING = 328,
-     ATTRLIST = 329,
-     ITALICS = 330,
-     SANS = 331,
-     TT = 332,
-     BOLD = 333,
-     BOXED = 334,
-     SLASHED = 335,
-     RM = 336,
-     BB = 337,
-     ST = 338,
-     END = 339,
-     BBLOWERCHAR = 340,
-     BBUPPERCHAR = 341,
-     BBDIGIT = 342,
-     CALCHAR = 343,
-     FRAKCHAR = 344,
-     CAL = 345,
-     FRAK = 346,
-     CLAP = 347,
-     LLAP = 348,
-     RLAP = 349,
-     ROWOPTS = 350,
-     TEXTSIZE = 351,
-     SCSIZE = 352,
-     SCSCSIZE = 353,
-     DISPLAY = 354,
-     TEXTSTY = 355,
-     TEXTBOX = 356,
-     TEXTSTRING = 357,
-     XMLSTRING = 358,
-     CELLOPTS = 359,
-     ROWSPAN = 360,
-     COLSPAN = 361,
-     THINSPACE = 362,
-     MEDSPACE = 363,
-     THICKSPACE = 364,
-     QUAD = 365,
-     QQUAD = 366,
-     NEGSPACE = 367,
-     NEGMEDSPACE = 368,
-     NEGTHICKSPACE = 369,
-     PHANTOM = 370,
-     HREF = 371,
-     UNKNOWNCHAR = 372,
-     EMPTYMROW = 373,
-     STATLINE = 374,
-     TOOLTIP = 375,
-     TOGGLE = 376,
-     TOGGLESTART = 377,
-     TOGGLEEND = 378,
-     FGHIGHLIGHT = 379,
-     BGHIGHLIGHT = 380,
-     SPACE = 381,
-     INTONE = 382,
-     INTTWO = 383,
-     INTTHREE = 384,
-     BAR = 385,
-     WIDEBAR = 386,
-     VEC = 387,
-     WIDEVEC = 388,
-     HAT = 389,
-     WIDEHAT = 390,
-     CHECK = 391,
-     WIDECHECK = 392,
-     TILDE = 393,
-     WIDETILDE = 394,
-     DOT = 395,
-     DDOT = 396,
-     DDDOT = 397,
-     DDDDOT = 398,
-     UNARYMINUS = 399,
-     UNARYPLUS = 400,
-     BEGINENV = 401,
-     ENDENV = 402,
-     MATRIX = 403,
-     PMATRIX = 404,
-     BMATRIX = 405,
-     BBMATRIX = 406,
-     VMATRIX = 407,
-     VVMATRIX = 408,
-     SVG = 409,
-     ENDSVG = 410,
-     SMALLMATRIX = 411,
-     CASES = 412,
-     ALIGNED = 413,
-     GATHERED = 414,
-     SUBSTACK = 415,
-     PMOD = 416,
-     RMCHAR = 417,
-     COLOR = 418,
-     BGCOLOR = 419,
-     XARROW = 420,
-     OPTARGOPEN = 421,
-     OPTARGCLOSE = 422,
-     MTEXNUM = 423,
-     RAISEBOX = 424,
-     NEG = 425
+     TEXABOVEWITHDELIMS = 258,
+     TEXABOVE = 259,
+     TEXATOPWITHDELIMS = 260,
+     TEXATOP = 261,
+     TEXOVERWITHDELIMS = 262,
+     TEXOVER = 263,
+     CHAR = 264,
+     STARTMATH = 265,
+     STARTDMATH = 266,
+     ENDMATH = 267,
+     MI = 268,
+     MIB = 269,
+     MN = 270,
+     MO = 271,
+     LIMITS = 272,
+     NOLIMITS = 273,
+     SUP = 274,
+     SUB = 275,
+     MROWOPEN = 276,
+     MROWCLOSE = 277,
+     LEFT = 278,
+     RIGHT = 279,
+     BIG = 280,
+     BBIG = 281,
+     BIGG = 282,
+     BBIGG = 283,
+     BIGL = 284,
+     BBIGL = 285,
+     BIGGL = 286,
+     BBIGGL = 287,
+     BIGM = 288,
+     BBIGM = 289,
+     BIGGM = 290,
+     BBIGGM = 291,
+     FRAC = 292,
+     TFRAC = 293,
+     DFRAC = 294,
+     OPERATORNAME = 295,
+     MATHOP = 296,
+     MATHBIN = 297,
+     MATHREL = 298,
+     MOP = 299,
+     MOL = 300,
+     MOLL = 301,
+     MOF = 302,
+     MOR = 303,
+     PERIODDELIM = 304,
+     OTHERDELIM = 305,
+     LEFTDELIM = 306,
+     RIGHTDELIM = 307,
+     MOS = 308,
+     MOB = 309,
+     SQRT = 310,
+     ROOT = 311,
+     BINOM = 312,
+     TBINOM = 313,
+     BRACE = 314,
+     BRACK = 315,
+     CHOOSE = 316,
+     DBINOM = 317,
+     UNDER = 318,
+     OVER = 319,
+     OVERBRACE = 320,
+     OVERBRACKET = 321,
+     UNDERLINE = 322,
+     UNDERBRACE = 323,
+     UNDERBRACKET = 324,
+     UNDEROVER = 325,
+     TENSOR = 326,
+     MULTI = 327,
+     ALIGNATVALUE = 328,
+     ARRAYALIGN = 329,
+     COLUMNALIGN = 330,
+     ARRAY = 331,
+     PXSTRING = 332,
+     COLSEP = 333,
+     ROWSEP = 334,
+     ARRAYOPTS = 335,
+     COLLAYOUT = 336,
+     COLALIGN = 337,
+     ROWALIGN = 338,
+     ALIGN = 339,
+     EQROWS = 340,
+     EQCOLS = 341,
+     ROWLINES = 342,
+     COLLINES = 343,
+     FRAME = 344,
+     PADDING = 345,
+     ATTRLIST = 346,
+     ITALICS = 347,
+     SANS = 348,
+     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
    };
 #endif
 /* Tokens.  */
-#define TEXATOP 258
-#define TEXOVER 259
-#define CHAR 260
-#define STARTMATH 261
-#define STARTDMATH 262
-#define ENDMATH 263
-#define MI 264
-#define MIB 265
-#define MN 266
-#define MO 267
-#define SUP 268
-#define SUB 269
-#define MROWOPEN 270
-#define MROWCLOSE 271
-#define LEFT 272
-#define RIGHT 273
-#define BIG 274
-#define BBIG 275
-#define BIGG 276
-#define BBIGG 277
-#define BIGL 278
-#define BBIGL 279
-#define BIGGL 280
-#define BBIGGL 281
-#define FRAC 282
-#define TFRAC 283
-#define OPERATORNAME 284
-#define MATHOP 285
-#define MATHBIN 286
-#define MATHREL 287
-#define MOP 288
-#define MOL 289
-#define MOLL 290
-#define MOF 291
-#define MOR 292
-#define PERIODDELIM 293
-#define OTHERDELIM 294
-#define LEFTDELIM 295
-#define RIGHTDELIM 296
-#define MOS 297
-#define MOB 298
-#define SQRT 299
-#define ROOT 300
-#define BINOM 301
-#define TBINOM 302
-#define UNDER 303
-#define OVER 304
-#define OVERBRACE 305
-#define UNDERLINE 306
-#define UNDERBRACE 307
-#define UNDEROVER 308
-#define TENSOR 309
-#define MULTI 310
-#define ARRAYALIGN 311
-#define ROWSPACINGDEF 312
-#define ROWLINESDEF 313
-#define COLUMNALIGN 314
-#define ARRAY 315
-#define COLSEP 316
-#define ROWSEP 317
-#define ARRAYOPTS 318
-#define COLLAYOUT 319
-#define COLALIGN 320
-#define ROWALIGN 321
-#define ALIGN 322
-#define EQROWS 323
-#define EQCOLS 324
-#define ROWLINES 325
-#define COLLINES 326
-#define FRAME 327
-#define PADDING 328
-#define ATTRLIST 329
-#define ITALICS 330
-#define SANS 331
-#define TT 332
-#define BOLD 333
-#define BOXED 334
-#define SLASHED 335
-#define RM 336
-#define BB 337
-#define ST 338
-#define END 339
-#define BBLOWERCHAR 340
-#define BBUPPERCHAR 341
-#define BBDIGIT 342
-#define CALCHAR 343
-#define FRAKCHAR 344
-#define CAL 345
-#define FRAK 346
-#define CLAP 347
-#define LLAP 348
-#define RLAP 349
-#define ROWOPTS 350
-#define TEXTSIZE 351
-#define SCSIZE 352
-#define SCSCSIZE 353
-#define DISPLAY 354
-#define TEXTSTY 355
-#define TEXTBOX 356
-#define TEXTSTRING 357
-#define XMLSTRING 358
-#define CELLOPTS 359
-#define ROWSPAN 360
-#define COLSPAN 361
-#define THINSPACE 362
-#define MEDSPACE 363
-#define THICKSPACE 364
-#define QUAD 365
-#define QQUAD 366
-#define NEGSPACE 367
-#define NEGMEDSPACE 368
-#define NEGTHICKSPACE 369
-#define PHANTOM 370
-#define HREF 371
-#define UNKNOWNCHAR 372
-#define EMPTYMROW 373
-#define STATLINE 374
-#define TOOLTIP 375
-#define TOGGLE 376
-#define TOGGLESTART 377
-#define TOGGLEEND 378
-#define FGHIGHLIGHT 379
-#define BGHIGHLIGHT 380
-#define SPACE 381
-#define INTONE 382
-#define INTTWO 383
-#define INTTHREE 384
-#define BAR 385
-#define WIDEBAR 386
-#define VEC 387
-#define WIDEVEC 388
-#define HAT 389
-#define WIDEHAT 390
-#define CHECK 391
-#define WIDECHECK 392
-#define TILDE 393
-#define WIDETILDE 394
-#define DOT 395
-#define DDOT 396
-#define DDDOT 397
-#define DDDDOT 398
-#define UNARYMINUS 399
-#define UNARYPLUS 400
-#define BEGINENV 401
-#define ENDENV 402
-#define MATRIX 403
-#define PMATRIX 404
-#define BMATRIX 405
-#define BBMATRIX 406
-#define VMATRIX 407
-#define VVMATRIX 408
-#define SVG 409
-#define ENDSVG 410
-#define SMALLMATRIX 411
-#define CASES 412
-#define ALIGNED 413
-#define GATHERED 414
-#define SUBSTACK 415
-#define PMOD 416
-#define RMCHAR 417
-#define COLOR 418
-#define BGCOLOR 419
-#define XARROW 420
-#define OPTARGOPEN 421
-#define OPTARGCLOSE 422
-#define MTEXNUM 423
-#define RAISEBOX 424
-#define NEG 425
+#define TEXABOVEWITHDELIMS 258
+#define TEXABOVE 259
+#define TEXATOPWITHDELIMS 260
+#define TEXATOP 261
+#define TEXOVERWITHDELIMS 262
+#define TEXOVER 263
+#define CHAR 264
+#define STARTMATH 265
+#define STARTDMATH 266
+#define ENDMATH 267
+#define MI 268
+#define MIB 269
+#define MN 270
+#define MO 271
+#define LIMITS 272
+#define NOLIMITS 273
+#define SUP 274
+#define SUB 275
+#define MROWOPEN 276
+#define MROWCLOSE 277
+#define LEFT 278
+#define RIGHT 279
+#define BIG 280
+#define BBIG 281
+#define BIGG 282
+#define BBIGG 283
+#define BIGL 284
+#define BBIGL 285
+#define BIGGL 286
+#define BBIGGL 287
+#define BIGM 288
+#define BBIGM 289
+#define BIGGM 290
+#define BBIGGM 291
+#define FRAC 292
+#define TFRAC 293
+#define DFRAC 294
+#define OPERATORNAME 295
+#define MATHOP 296
+#define MATHBIN 297
+#define MATHREL 298
+#define MOP 299
+#define MOL 300
+#define MOLL 301
+#define MOF 302
+#define MOR 303
+#define PERIODDELIM 304
+#define OTHERDELIM 305
+#define LEFTDELIM 306
+#define RIGHTDELIM 307
+#define MOS 308
+#define MOB 309
+#define SQRT 310
+#define ROOT 311
+#define BINOM 312
+#define TBINOM 313
+#define BRACE 314
+#define BRACK 315
+#define CHOOSE 316
+#define DBINOM 317
+#define UNDER 318
+#define OVER 319
+#define OVERBRACE 320
+#define OVERBRACKET 321
+#define UNDERLINE 322
+#define UNDERBRACE 323
+#define UNDERBRACKET 324
+#define UNDEROVER 325
+#define TENSOR 326
+#define MULTI 327
+#define ALIGNATVALUE 328
+#define ARRAYALIGN 329
+#define COLUMNALIGN 330
+#define ARRAY 331
+#define PXSTRING 332
+#define COLSEP 333
+#define ROWSEP 334
+#define ARRAYOPTS 335
+#define COLLAYOUT 336
+#define COLALIGN 337
+#define ROWALIGN 338
+#define ALIGN 339
+#define EQROWS 340
+#define EQCOLS 341
+#define ROWLINES 342
+#define COLLINES 343
+#define FRAME 344
+#define PADDING 345
+#define ATTRLIST 346
+#define ITALICS 347
+#define SANS 348
+#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