/itexToMML

To download this project, use:
bzr branch http://golem.ph.utexas.edu/~distler/code/itexToMML/

« back to all changes in this revision

Viewing changes to itex-src/itex2MML.y

  • Committer: Jacques Distler
  • Date: 2018-06-25 18:14:37 UTC
  • Revision ID: distler@golem.ph.utexas.edu-20180625181437-iyqrzdheqhhzktis
Tags: 1.5.7
itex2MML 1.5.7

New commands:

  \overleftrightarrow
  \underrightarrow
  \underleftarrow
  \underleftrightarrow

Show diffs side-by-side

added added

removed removed

itex-src/itex2MML.y
1
 
/*             itex2MML 1.5.6
2
 
 *   itex2MML.y last modified 05/17/2017
 
1
/*             itex2MML 1.5.7
 
2
 *   itex2MML.y last modified 06/25/2018
3
3
 */
4
4
 
5
5
%parse-param {char **ret_str}
280
280
%}
281
281
 
282
282
%left TEXOVER TEXATOP
283
 
%token CHAR STARTMATH STARTDMATH ENDMATH MI MIB MN MO SUP SUB MROWOPEN MROWCLOSE LEFT RIGHT BIG BBIG BIGG BBIGG BIGL BBIGL BIGGL BBIGGL FRAC TFRAC OPERATORNAME MATHOP MATHBIN MATHREL MOP MOL MOLL MOF MOR PERIODDELIM OTHERDELIM LEFTDELIM RIGHTDELIM MOS MOB SQRT ROOT BINOM TBINOM UNDER OVER OVERBRACE UNDERLINE UNDERBRACE UNDEROVER TENSOR MULTI ARRAYALIGN COLUMNALIGN ARRAY COLSEP ROWSEP ARRAYOPTS COLLAYOUT COLALIGN ROWALIGN ALIGN EQROWS EQCOLS ROWLINES COLLINES FRAME PADDING ATTRLIST ITALICS SANS TT BOLD BOXED SLASHED RM BB ST END BBLOWERCHAR BBUPPERCHAR BBDIGIT CALCHAR FRAKCHAR CAL SCR FRAK CLAP LLAP RLAP ROWOPTS TEXTSIZE SCSIZE SCSCSIZE DISPLAY TEXTSTY TEXTBOX TEXTSTRING XMLSTRING CELLOPTS ROWSPAN COLSPAN THINSPACE MEDSPACE THICKSPACE QUAD QQUAD NEGSPACE NEGMEDSPACE NEGTHICKSPACE PHANTOM HREF UNKNOWNCHAR EMPTYMROW STATLINE TOOLTIP TOGGLE TOGGLESTART TOGGLEEND FGHIGHLIGHT BGHIGHLIGHT SPACE INTONE INTTWO INTTHREE BAR WIDEBAR VEC WIDEVEC WIDELVEC HAT WIDEHAT CHECK WIDECHECK TILDE WIDETILDE DOT DDOT DDDOT DDDDOT UNARYMINUS UNARYPLUS BEGINENV ENDENV MATRIX PMATRIX BMATRIX BBMATRIX VMATRIX VVMATRIX SVG ENDSVG SMALLMATRIX CASES ALIGNED GATHERED SUBSTACK PMOD RMCHAR COLOR BGCOLOR XARROW OPTARGOPEN OPTARGCLOSE ITEXNUM RAISEBOX NEG
 
283
%token CHAR STARTMATH STARTDMATH ENDMATH MI MIB MN MO SUP SUB MROWOPEN MROWCLOSE LEFT RIGHT BIG BBIG BIGG BBIGG BIGL BBIGL BIGGL BBIGGL FRAC TFRAC OPERATORNAME MATHOP MATHBIN MATHREL MOP MOL MOLL MOF MOR PERIODDELIM OTHERDELIM LEFTDELIM RIGHTDELIM MOS MOB SQRT ROOT BINOM TBINOM UNDER OVER OVERBRACE UNDERLINE UNDERBRACE UNDEROVER TENSOR MULTI ARRAYALIGN COLUMNALIGN ARRAY COLSEP ROWSEP ARRAYOPTS COLLAYOUT COLALIGN ROWALIGN ALIGN EQROWS EQCOLS ROWLINES COLLINES FRAME PADDING ATTRLIST ITALICS SANS TT BOLD BOXED SLASHED RM BB ST END BBLOWERCHAR BBUPPERCHAR BBDIGIT CALCHAR FRAKCHAR CAL SCR FRAK CLAP LLAP RLAP ROWOPTS TEXTSIZE SCSIZE SCSCSIZE DISPLAY TEXTSTY TEXTBOX TEXTSTRING XMLSTRING CELLOPTS ROWSPAN COLSPAN THINSPACE MEDSPACE THICKSPACE QUAD QQUAD NEGSPACE NEGMEDSPACE NEGTHICKSPACE PHANTOM HREF UNKNOWNCHAR EMPTYMROW STATLINE TOOLTIP TOGGLE TOGGLESTART TOGGLEEND FGHIGHLIGHT BGHIGHLIGHT SPACE INTONE INTTWO INTTHREE BAR WIDEBAR VEC WIDEVEC WIDELVEC WIDELRVEC WIDEUVEC WIDEULVEC WIDEULRVEC HAT WIDEHAT CHECK WIDECHECK TILDE WIDETILDE DOT DDOT DDDOT DDDDOT UNARYMINUS UNARYPLUS BEGINENV ENDENV MATRIX PMATRIX BMATRIX BBMATRIX VMATRIX VVMATRIX SVG ENDSVG SMALLMATRIX CASES ALIGNED GATHERED SUBSTACK PMOD RMCHAR COLOR BGCOLOR XARROW OPTARGOPEN OPTARGCLOSE ITEXNUM RAISEBOX NEG
284
284
 
285
285
%%
286
286
 
544
544
| bar
545
545
| vec
546
546
| lvec
 
547
| lrvec
 
548
| uvec
 
549
| ulvec
 
550
| ulrvec
547
551
| hat
548
552
| dot
549
553
| ddot
1313
1317
  $$ = itex2MML_copy3("<mover>", $2, "<mo>&leftarrow;</mo></mover>");
1314
1318
  itex2MML_free_string($2);
1315
1319
};
 
1320
lrvec: WIDELRVEC closedTerm {
 
1321
  $$ = itex2MML_copy3("<mover>", $2, "<mo>&leftrightarrow;</mo></mover>");
 
1322
  itex2MML_free_string($2);
 
1323
};
 
1324
uvec: WIDEUVEC closedTerm {
 
1325
  $$ = itex2MML_copy3("<munder>", $2, "<mo>&rightarrow;</mo></munder>");
 
1326
  itex2MML_free_string($2);
 
1327
};
 
1328
ulvec: WIDEULVEC closedTerm {
 
1329
  $$ = itex2MML_copy3("<munder>", $2, "<mo>&leftarrow;</mo></munder>");
 
1330
  itex2MML_free_string($2);
 
1331
};
 
1332
ulrvec: WIDEULRVEC closedTerm {
 
1333
  $$ = itex2MML_copy3("<munder>", $2, "<mo>&leftrightarrow;</mo></munder>");
 
1334
  itex2MML_free_string($2);
 
1335
};
1316
1336
 
1317
1337
dot: DOT closedTerm {
1318
1338
  $$ = itex2MML_copy3("<mover>", $2, "<mo>&dot;</mo></mover>");