/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: 2007-04-06 06:35:42 UTC
  • Revision ID: distler@golem.ph.utexas.edu-20070406063542-dka5rdxrxwii8nyt
itex2MML 1.2
Added a quiver full of new arrows (har, har).

Show diffs side-by-side

added added

removed removed

itex-src/itex2MML.l
1
 
/*             itex2MML 1.1.11
2
 
 *   itex2MML.l last modified 2/24/2007
 
1
/*             itex2MML 1.2
 
2
 *   itex2MML.l last modified 4/4/2007
3
3
 */
4
4
 
5
5
%{
315
315
 
316
316
"\\Updownarrow"  {yylval=itex2MML_copy_string("⇕"); return MOL;}
317
317
 
 
318
"\\rightsquigarrow"      {yylval=itex2MML_copy_string("⇝"); return MOL;}
 
319
"\\leftrightsquigarrow"  {yylval=itex2MML_copy_string("↭"); return MOL;}
 
320
"\\upuparrows"           {yylval=itex2MML_copy_string("⇈"); return MOL;}
 
321
"\\rightleftarrows"      {yylval=itex2MML_copy_string("⇄"); return MOL;}
 
322
"\\rightrightarrows"     {yylval=itex2MML_copy_string("⇉"); return MOL;}
 
323
"\\dashleftarrow"        {yylval=itex2MML_copy_string("⤎"); return MOL;}
 
324
"\\dashrightarrow"       {yylval=itex2MML_copy_string("⤏"); return MOL;}
 
325
"\\curvearrowleft"       {yylval=itex2MML_copy_string("⤺"); return MOL;}
 
326
"\\curvearrowbotright"   {yylval=itex2MML_copy_string("⤻"); return MOL;}
 
327
"\\downdownarrows"       {yylval=itex2MML_copy_string("⇊"); return MOL;}
 
328
"\\leftleftarrows"       {yylval=itex2MML_copy_string("&leftleftarrow;"); return MOL;}
 
329
"\\leftrightarrows"      {yylval=itex2MML_copy_string("⇆"); return MOL;}
 
330
"\\righttoleftarrow"     {yylval=itex2MML_copy_string("⟲"); return MOL;}
 
331
"\\lefttorightarrow"     {yylval=itex2MML_copy_string("⟳"); return MOL;}
 
332
"\\circlearrowleft"      {yylval=itex2MML_copy_string("↺"); return MOL;}
 
333
"\\circlearrowright"     {yylval=itex2MML_copy_string("↻"); return MOL;}
 
334
 
318
335
"\\dots" |
319
336
"\\ldots"  {yylval=itex2MML_copy_string("…"); return MO;}
320
337
"\\cdots"   {yylval=itex2MML_copy_string("⋯"); return MO;}