/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.l

  • Committer: Jacques Distler
  • Date: 2012-06-16 18:33:40 UTC
  • Revision ID: distler@golem.ph.utexas.edu-20120616183340-xqjp13t5a2xkffaj
Tags: 1.4.10
itex2MML 1.4.10

Add some new large math operators (\bigsqcap, \biginterleave)
from the MathML3 Operator Dictionary.
Requested by Victor Porton.

Show diffs side-by-side

added added

removed removed

1
 
/*             itex2MML 1.4.9
2
 
 *   itex2MML.l last modified 10/27/2011
 
1
/*             itex2MML 1.4.10
 
2
 *   itex2MML.l last modified 6/16/2012
3
3
 */
4
4
 
5
5
%{
740
740
 
741
741
"\\bigodot"    {yylval=itex2MML_copy_string("⨀"); return MOB;}
742
742
"\\bigsqcup"    {yylval=itex2MML_copy_string("⨆"); return MOB;}
 
743
"\\bigsqcap"    {yylval=itex2MML_copy_string("⨅"); return MOB;}
 
744
"\\biginterleave" {yylval=itex2MML_copy_string("⫼"); return MOB;}
743
745
"\\biguplus"    {yylval=itex2MML_copy_string("⨄"); return MOB;}
744
746
 
745
747
"\\wedge"       {yylval=itex2MML_copy_string("∧"); return MOL;}