/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: 2007-09-22 03:54:40 UTC
  • Revision ID: distler@golem.ph.utexas.edu-20070922035440-10xsu038anfsbe0w
Typo Corrected (from Jason Blevins)
It's \biguplus, not \bigsuplus .

Show diffs side-by-side

added added

removed removed

itex-src/itex2MML.l
1
 
/*             itex2MML 1.2.5
2
 
 *   itex2MML.l last modified 9/20/2007
 
1
/*             itex2MML 1.2.5a
 
2
 *   itex2MML.l last modified 9/21/2007
3
3
 */
4
4
 
5
5
%{
640
640
 
641
641
"\\bigodot"    {yylval=itex2MML_copy_string("⨀"); return MOB;}
642
642
"\\bigsqcup"    {yylval=itex2MML_copy_string("⨆"); return MOB;}
643
 
"\\bigsuplus"    {yylval=itex2MML_copy_string("⨄"); return MOB;}
 
643
"\\biguplus"    {yylval=itex2MML_copy_string("⨄"); return MOB;}
644
644
 
645
645
"\\wedge"       {yylval=itex2MML_copy_string("∧"); return MOL;}
646
646
"\\Wedge"  |