/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: 2018-10-19 20:15:56 UTC
  • Revision ID: distler@golem.ph.utexas.edu-20181019201556-kw4pz132q6q2777n
Tags: 1.5.8
 itex2MML 1.5.8

More delimiters: \lvert, \lVert, \rvert, \rVert, \llbracket, \rrbracket

Show diffs side-by-side

added added

removed removed

itex-src/itex2MML.l
1
 
/*             itex2MML 1.5.7
2
 
 *   itex2MML.l last modified 06/25/2018
 
1
/*             itex2MML 1.5.8
 
2
 *   itex2MML.l last modified 10/19/2018
3
3
 */
4
4
 
5
5
%{
120
120
"\\rbrace" |
121
121
"\\}"           {yylval=itex2MML_copy_string("}"); return RIGHTDELIM;}
122
122
 
 
123
"\\llbracket"           {yylval=itex2MML_copy_string("⟦"); return LEFTDELIM;}
 
124
"\\rrbracket"           {yylval=itex2MML_copy_string("⟧"); return RIGHTDELIM;}
 
125
 
 
126
"\\lvert"           {yylval=itex2MML_copy_string("|"); return LEFTDELIM;}
 
127
"\\lVert"           {yylval=itex2MML_copy_string("‖"); return LEFTDELIM;}
 
128
"\\rvert"           {yylval=itex2MML_copy_string("|"); return RIGHTDELIM;}
 
129
"\\rVert"           {yylval=itex2MML_copy_string("‖"); return RIGHTDELIM;}
 
130
 
123
131
"\\vert" |
124
132
"|"             {yylval=itex2MML_copy_string("|"); return OTHERDELIM;}
125
133
"\\Vert" |