/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: 2013-09-07 03:17:54 UTC
  • Revision ID: distler@golem.ph.utexas.edu-20130907031754-s3ys3j6mj7oulrlt
itex2MML 1.4.11

New delimiters: \lmoustache, \llangle, \rmoustache, \rrangle
New arrows: \leftharpoonup, \leftharpoondown, \rightharpoonup, \rightharpoondown

Show diffs side-by-side

added added

removed removed

itex-src/itex2MML.l
1
 
/*             itex2MML 1.4.10
2
 
 *   itex2MML.l last modified 6/16/2012
 
1
/*             itex2MML 1.4.11
 
2
 *   itex2MML.l last modified 9/3/2013
3
3
 */
4
4
 
5
5
%{
127
127
 
128
128
"\\lfloor" |
129
129
"\\lceil"  |
 
130
"\\lmoustache" |
130
131
"\\lang"   |
131
132
"\\langle"      {yylval=itex2MML_copy2(yytext, ";"); if (yylval != itex2MML_empty_string) yylval[0]='&'; return LEFTDELIM;}
 
133
"\\llangle"     {yylval=itex2MML_copy_string("⟪"); return LEFTDELIM;}
132
134
 
133
135
"\\rfloor" |
134
136
"\\rceil"  |
 
137
"\\rmoustache" |
135
138
"\\rang"   |
136
139
"\\rangle"      {yylval=itex2MML_copy2(yytext, ";"); if (yylval != itex2MML_empty_string) yylval[0]='&'; return RIGHTDELIM;}
 
140
"\\rrangle"     {yylval=itex2MML_copy_string("⟫"); return RIGHTDELIM;}
137
141
 
138
142
"/"             {yylval=itex2MML_copy_string(yytext); return OTHERDELIM;}
139
143
 
366
370
"\\nleftrightarrow"     |
367
371
"\\nRightarrow"         |
368
372
"\\nrightarrow"         |
 
373
"\\rightharpoonup"      |
 
374
"\\rightharpoondown"    |
 
375
"\\leftharpoonup"       |
 
376
"\\leftharpoondown"     |
369
377
"\\downharpoonleft"     |
370
378
"\\downharpoonright"    |
371
379
"\\leftrightharpoons"   |