/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: 2010-04-19 03:08:28 UTC
  • Revision ID: distler@golem.ph.utexas.edu-20100419030828-1kzpvcr5u003erqr
itex2MML 1.3.22: New License

Now triple-licensed: GPL/MPL/LGPL.

Also, some new symbols:
\ast, \Cap, \Cup, \circledast,
\circledcirc, \curlyvee, \curlywedge,
\divideontimes, \dotplus, \leftthreetimes,
\rightthreetimes, \veebar, \barwedge,
\doublebarwedge, \blacktriangleleft,
\blacktriangleright, \ntriangleleft,
\ntriangleright, \ntrianglelefteq,
\ntrianglerighteq, \trianglelefteq,
\trianglerighteq, \triangleq,
\vartriangleleft, \vartriangleright,
\boxdot, \intercal, \smallfrown,
\smallsmile, \ominus, \oslash

Show diffs side-by-side

added added

removed removed

itex-src/itex2MML.l
1
 
/*             itex2MML 1.3.17
2
 
 *   itex2MML.l last modified 11/18/2009
 
1
/*             itex2MML 1.3.22
 
2
 *   itex2MML.l last modified 4/18/2010
3
3
 */
4
4
 
5
5
%{
408
408
"\\Colonsim"     {yylval=itex2MML_copy_string("∷∼"); return MOS;}
409
409
"\\dblcolon"     {yylval=itex2MML_copy_string("∷"); return MOL;}
410
410
 
 
411
"\\ast"  |
 
412
"\\Cap"  |
 
413
"\\Cup"  |
 
414
"\\circledast"  |
 
415
"\\circledcirc" |
 
416
"\\curlyvee"    |
 
417
"\\curlywedge"  |
 
418
"\\divideontimes" |
 
419
"\\dotplus" |
 
420
"\\leftthreetimes" |
 
421
"\\rightthreetimes" |
 
422
"\\veebar" |
411
423
"\\gt"   |
412
424
"\\lt"   |
413
425
"\\approxeq"   |
414
426
"\\backsim"   |
415
427
"\\backsimeq"   |
 
428
"\\barwedge"    |
 
429
"\\doublebarwedge" |
416
430
"\\subset"  |
417
431
"\\subseteq" |
418
432
"\\subseteqq" |
589
603
"\\lozenge" |
590
604
"\\blacksquare" |
591
605
"\\blacktriangle" |
 
606
"\\blacktriangleleft" |
 
607
"\\blacktriangleright" |
592
608
"\\blacktriangledown" |
 
609
"\\ntriangleleft" |
 
610
"\\ntriangleright" |
 
611
"\\ntrianglelefteq" |
 
612
"\\ntrianglerighteq" |
 
613
"\\trianglelefteq" |
 
614
"\\trianglerighteq" |
 
615
"\\triangleq" |
 
616
"\\vartriangleleft" |
 
617
"\\vartriangleright" |
593
618
"\\forall" |
594
619
"\\bigtriangleup" |
595
620
"\\bigtriangledown" |
608
633
 
609
634
"\\Perp" |
610
635
"\\Vbar" {yylval=itex2MML_copy_string("⫫"); return MOL;}
 
636
"\\boxdot" {yylval=itex2MML_copy_string("⊡"); return MOL;}
611
637
"\\Box" |
612
638
"\\square" {yylval=itex2MML_copy_string("□"); return MOL;}
613
639
"\\emptyset" |
664
690
"\\circleddash" |
665
691
"\\odash"   {yylval=itex2MML_copy_string("⊝"); return MOL;}
666
692
 
 
693
"\\intercal"   {yylval=itex2MML_copy_string("⊺"); return MOL;}
 
694
"\\smallfrown"   {yylval=itex2MML_copy_string("⌢"); return MOL;}
 
695
"\\smallsmile"   {yylval=itex2MML_copy_string("⌣"); return MOL;}
 
696
 
667
697
"\\boxminus" |
668
698
"\\minusb"   {yylval=itex2MML_copy_string("⊟"); return MOL;}
669
699
"\\boxplus" |
683
713
"\\Otimes"       {yylval=itex2MML_copy_string("⨷"); return MOL;}
684
714
"\\bigotimes"     {yylval=itex2MML_copy_string("⨂"); return MOL;}
685
715
 
 
716
"\\ominus"       {yylval=itex2MML_copy_string("⊖"); return MOL;}
 
717
"\\oslash"       {yylval=itex2MML_copy_string("⊘"); return MOL;}
686
718
 
687
719
"\\oplus"       {yylval=itex2MML_copy_string("⊕"); return MOL;}
688
720
"\\Oplus"   |