/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-24 06:15:34 UTC
  • Revision ID: distler@golem.ph.utexas.edu-20090324061534-eeyryfz25x45p6uc
Tags: 1.3.8
itex2MML 1.38: Support for Blackboard Bold Digits

Thanks to Jason Blevins.

Show diffs side-by-side

added added

removed removed

1
 
/*             itex2MML 1.37.
2
 
 *   itex2MML.l last modified 3/7/2009
 
1
/*             itex2MML 1.38.
 
2
 *   itex2MML.l last modified 3/23/2009
3
3
 */
4
4
 
5
5
%{
860
860
"\}"  {BEGIN(MATH); return END;}
861
861
[a-z] {yylval=itex2MML_copy_string(yytext); return BBLOWERCHAR;}
862
862
[A-Z]   {yylval=itex2MML_copy_string(yytext); return BBUPPERCHAR;}
 
863
[0-9]   {yylval=itex2MML_copy_string(yytext); return BBDIGIT;}
863
864
[\t\n\r ]+       ;
864
865
.           {return yytext[0];}
865
866
}