/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: 2014-01-05 08:47:22 UTC
  • Revision ID: distler@golem.ph.utexas.edu-20140105084722-ml82ec7py0v5ousi
itex2MML 1.5.1b1

New commands:
  \negmedspace
  \negthickspace
  \mathsf{}

Bugs fixed
   \pmod{} MathML output corrected
    | = \vert
      and      emit the "correct" unicode characters now. 
   \| = \Vert

Show diffs side-by-side

added added

removed removed

itex-src/itex2MML.l
1
 
/*             itex2MML 1.5.0
2
 
 *   itex2MML.l last modified 12/8/2013
 
1
/*             itex2MML 1.5.1
 
2
 *   itex2MML.l last modified 1/5/2014
3
3
 */
4
4
 
5
5
%{
120
120
"\\}"           {yylval=itex2MML_copy_string("}"); return RIGHTDELIM;}
121
121
 
122
122
"\\vert" |
123
 
"|"             {yylval=itex2MML_copy_string("∣"); return OTHERDELIM;}
 
123
"|"             {yylval=itex2MML_copy_string("|"); return OTHERDELIM;}
124
124
"\\Vert" |
125
 
"\\|"           {yylval=itex2MML_copy_string("∥"); return OTHERDELIM;}
 
125
"\\|"           {yylval=itex2MML_copy_string("‖"); return OTHERDELIM;}
126
126
 
127
127
"\\setminus"   {yylval=itex2MML_copy_string("∖"); return MO;}
128
128
"\\backslash"   {yylval=itex2MML_copy_string("\"); return MO;}
853
853
 
854
854
"\\mathit"       {return ITALICS;}
855
855
 
 
856
"\\mathsf"       {return SANS;}
 
857
 
856
858
"\\boldsymbol" |
857
859
"\\mathbf"       {return BOLD;}
858
860
 
920
922
"\\qquad"       {return QQUAD;}
921
923
 
922
924
"\\!" |
923
 
"\\negspace"    {return NEGSPACE;}
 
925
"\\negspace" |
 
926
"\\negthinspace"    {return NEGSPACE;}
 
927
 
 
928
"\\negmedspace"   {return NEGMEDSPACE;}
 
929
 
 
930
"\\negthickspace" {return NEGTHICKSPACE;}
924
931
 
925
932
"\\phantom"     {return PHANTOM;}
926
933