/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: 2008-02-29 15:37:41 UTC
  • Revision ID: distler@golem.ph.utexas.edu-20080229153741-iycsfpbdv4sez7nq
Tags: 1.3.5
itex2MML 1.3.5

Whoops! Misread the W3C Spec.

Show diffs side-by-side

added added

removed removed

itex-src/itex2MML.l
1
 
/*             itex2MML 1.3.4
2
 
 *   itex2MML.l last modified 2/28/2008
 
1
/*             itex2MML 1.3.5
 
2
 *   itex2MML.l last modified 2/29/2008
3
3
 */
4
4
 
5
5
%{
379
379
"\\shortparallel" |
380
380
"\\nshortparallel" |
381
381
"\\perp"  |
382
 
"\\Perp"  |
383
382
"\\eqslantgtr" |
384
383
"\\eqslantless" |
385
384
"\\gg" |
560
559
"\\wp" |
561
560
"\\Re" {yylval=itex2MML_copy2(yytext, ";"); if (yylval != itex2MML_empty_string) yylval[0]='&'; return MI;}
562
561
 
 
562
"\\Perp" |
 
563
"\\Vbar" {yylval=itex2MML_copy_string("⫫"); return MOL;}
563
564
"\\Box" |
564
565
"\\square" {yylval=itex2MML_copy_string("□"); return MOL;}
565
566
"\\emptyset" |