/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: 2014-06-13 12:38:44 UTC
  • Revision ID: distler@golem.ph.utexas.edu-20140613123844-xps5hw17930a6r6n
Tags: 1.5.2
Set explicit @displaystyle correponding to LaTeX environments

Show diffs side-by-side

added added

removed removed

itex-src/itex2MML.y
1
 
/*             itex2MML 1.5.1
2
 
 *   itex2MML.y last modified 1/5/2014
 
1
/*             itex2MML 1.5.2
 
2
 *   itex2MML.y last modified 6/13/2014
3
3
 */
4
4
 
5
5
%{
1487
1487
};
1488
1488
 
1489
1489
mathenv: BEGINENV MATRIX tableRowList ENDENV MATRIX {
1490
 
  $$ = itex2MML_copy3("<mrow><mtable rowspacing=\"0.5ex\">", $3, "</mtable></mrow>");
 
1490
  $$ = itex2MML_copy3("<mrow><mtable displaystyle=\"false\" rowspacing=\"0.5ex\">", $3, "</mtable></mrow>");
1491
1491
  itex2MML_free_string($3);
1492
1492
}
1493
1493
|  BEGINENV GATHERED tableRowList ENDENV GATHERED {
1494
 
  $$ = itex2MML_copy3("<mrow><mtable rowspacing=\"1.0ex\">", $3, "</mtable></mrow>");
 
1494
  $$ = itex2MML_copy3("<mrow><mtable displaystyle=\"true\" rowspacing=\"1.0ex\">", $3, "</mtable></mrow>");
1495
1495
  itex2MML_free_string($3);
1496
1496
}
1497
1497
| BEGINENV PMATRIX tableRowList ENDENV PMATRIX {
1498
 
  $$ = itex2MML_copy3("<mrow><mo>(</mo><mrow><mtable rowspacing=\"0.5ex\">", $3, "</mtable></mrow><mo>)</mo></mrow>");
 
1498
  $$ = itex2MML_copy3("<mrow><mo>(</mo><mrow><mtable displaystyle=\"false\" rowspacing=\"0.5ex\">", $3, "</mtable></mrow><mo>)</mo></mrow>");
1499
1499
  itex2MML_free_string($3);
1500
1500
}
1501
1501
| BEGINENV BMATRIX tableRowList ENDENV BMATRIX {
1502
 
  $$ = itex2MML_copy3("<mrow><mo>[</mo><mrow><mtable rowspacing=\"0.5ex\">", $3, "</mtable></mrow><mo>]</mo></mrow>");
 
1502
  $$ = itex2MML_copy3("<mrow><mo>[</mo><mrow><mtable displaystyle=\"false\" rowspacing=\"0.5ex\">", $3, "</mtable></mrow><mo>]</mo></mrow>");
1503
1503
  itex2MML_free_string($3);
1504
1504
}
1505
1505
| BEGINENV VMATRIX tableRowList ENDENV VMATRIX {
1506
 
  $$ = itex2MML_copy3("<mrow><mo>&VerticalBar;</mo><mrow><mtable rowspacing=\"0.5ex\">", $3, "</mtable></mrow><mo>&VerticalBar;</mo></mrow>");
 
1506
  $$ = itex2MML_copy3("<mrow><mo>&VerticalBar;</mo><mrow><mtable displaystyle=\"false\" rowspacing=\"0.5ex\">", $3, "</mtable></mrow><mo>&VerticalBar;</mo></mrow>");
1507
1507
  itex2MML_free_string($3);
1508
1508
}
1509
1509
| BEGINENV BBMATRIX tableRowList ENDENV BBMATRIX {
1510
 
  $$ = itex2MML_copy3("<mrow><mo>{</mo><mrow><mtable rowspacing=\"0.5ex\">", $3, "</mtable></mrow><mo>}</mo></mrow>");
 
1510
  $$ = itex2MML_copy3("<mrow><mo>{</mo><mrow><mtable displaystyle=\"false\" rowspacing=\"0.5ex\">", $3, "</mtable></mrow><mo>}</mo></mrow>");
1511
1511
  itex2MML_free_string($3);
1512
1512
}
1513
1513
| BEGINENV VVMATRIX tableRowList ENDENV VVMATRIX {
1514
 
  $$ = itex2MML_copy3("<mrow><mo>&DoubleVerticalBar;</mo><mrow><mtable rowspacing=\"0.5ex\">", $3, "</mtable></mrow><mo>&DoubleVerticalBar;</mo></mrow>");
 
1514
  $$ = itex2MML_copy3("<mrow><mo>&DoubleVerticalBar;</mo><mrow><mtable displaystyle=\"false\" rowspacing=\"0.5ex\">", $3, "</mtable></mrow><mo>&DoubleVerticalBar;</mo></mrow>");
1515
1515
  itex2MML_free_string($3);
1516
1516
}
1517
1517
| BEGINENV SMALLMATRIX tableRowList ENDENV SMALLMATRIX {
1518
 
  $$ = itex2MML_copy3("<mstyle scriptlevel=\"2\"><mrow><mtable rowspacing=\"0.5ex\">", $3, "</mtable></mrow></mstyle>");
 
1518
  $$ = itex2MML_copy3("<mstyle scriptlevel=\"2\"><mrow><mtable displaystyle=\"false\" rowspacing=\"0.5ex\">", $3, "</mtable></mrow></mstyle>");
1519
1519
  itex2MML_free_string($3);
1520
1520
}
1521
1521
| BEGINENV CASES tableRowList ENDENV CASES {
1522
 
  $$ = itex2MML_copy3("<mrow><mo>{</mo><mrow><mtable columnalign=\"left left\">", $3, "</mtable></mrow></mrow>");
 
1522
  $$ = itex2MML_copy3("<mrow><mo>{</mo><mrow><mtable displaystyle=\"false\" columnalign=\"left left\">", $3, "</mtable></mrow></mrow>");
1523
1523
  itex2MML_free_string($3);
1524
1524
}
1525
1525
| BEGINENV ALIGNED tableRowList ENDENV ALIGNED {
1526
 
  $$ = itex2MML_copy3("<mrow><mtable columnalign=\"right left right left right left right left right left\" columnspacing=\"0em\">", $3, "</mtable></mrow>");
 
1526
  $$ = itex2MML_copy3("<mrow><mtable displaystyle=\"true\" columnalign=\"right left right left right left right left right left\" columnspacing=\"0em\">", $3, "</mtable></mrow>");
1527
1527
  itex2MML_free_string($3);
1528
1528
}
1529
1529
| BEGINENV ARRAY ARRAYALIGN ST columnAlignList END tableRowList ENDENV ARRAY {
1530
 
  char * s1 = itex2MML_copy3("<mtable rowspacing=\"0.5ex\" align=\"", $3, "\" columnalign=\"");
 
1530
  char * s1 = itex2MML_copy3("<mtable displaystyle=\"false\" rowspacing=\"0.5ex\" align=\"", $3, "\" columnalign=\"");
1531
1531
  char * s2 = itex2MML_copy3(s1, $5, "\">");
1532
1532
  $$ = itex2MML_copy3(s2, $7, "</mtable>");
1533
1533
  itex2MML_free_string(s1);
1537
1537
  itex2MML_free_string($7);
1538
1538
}
1539
1539
| BEGINENV ARRAY ST columnAlignList END tableRowList ENDENV ARRAY {
1540
 
  char * s1 = itex2MML_copy3("<mtable rowspacing=\"0.5ex\" columnalign=\"", $4, "\">");
 
1540
  char * s1 = itex2MML_copy3("<mtable displaystyle=\"false\" rowspacing=\"0.5ex\" columnalign=\"", $4, "\">");
1541
1541
  $$ = itex2MML_copy3(s1, $6, "</mtable>");
1542
1542
  itex2MML_free_string(s1);
1543
1543
  itex2MML_free_string($4);