/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: 2009-03-08 02:40:20 UTC
  • Revision ID: distler@golem.ph.utexas.edu-20090308024020-burtz9tdzxwhzt3m
Tags: 1.3.7
itex2MML 1.3.7

Support for logicians' \invamp/\parr.

Show diffs side-by-side

added added

removed removed

itex-src/itex2MML.l
1
 
/*             itex2MML 1.3.6
2
 
 *   itex2MML.l last modified 9/5/2008
 
1
/*             itex2MML 1.37.
 
2
 *   itex2MML.l last modified 3/7/2009
3
3
 */
4
4
 
5
5
%{
654
654
"\\Vee"  |
655
655
"\\bigvee"       {yylval=itex2MML_copy_string("⋁"); return MOB;}
656
656
 
 
657
"\\invamp"  |
 
658
"\\parr"       {yylval=itex2MML_copy_string("⅋"); return MOL;}
 
659
 
657
660
"\\frac"         {return FRAC;}
658
661
"\\tfrac"         {return TFRAC;}
659
662