/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: 2009-09-13 05:12:54 UTC
  • Revision ID: distler@golem.ph.utexas.edu-20090913051254-hsreft05bbcv299b
Tags: 1.3.11
itex2MML 1.3.11: A Quiverful of Arrows

For some reason, I never got around to adding the
full set of AMS arrows. Here are the missing ones:
\curvearrowright
\leftarrowtail
\rightarrowtail
\leftrightsquigarrow
\Lleftarrow
\Rrightarrow
\looparrowleft
\looparrowright
\Lsh
\Rsh
\twoheadleftarrow
\twoheadrightarrow
\nLeftarrow
\nleftarrow
\nLeftrightarrow
\nleftrightarrow
\nRightarrow
\nrightarrow
\downharpoonleft
\downharpoonright
\leftrightharpoons
\rightleftharpoons
\upharpoonleft
\upharpoonright

Show diffs side-by-side

added added

removed removed

itex-src/itex2MML.l
1
 
/*             itex2MML 1.3.10
2
 
 *   itex2MML.l last modified 8/28/2009
 
1
/*             itex2MML 1.3.11
 
2
 *   itex2MML.l last modified 9/13/2009
3
3
 */
4
4
 
5
5
%{
324
324
 
325
325
"\\leftsquigarrow"       {yylval=itex2MML_copy_string("⇜"); return MOL;}
326
326
"\\rightsquigarrow"      {yylval=itex2MML_copy_string("⇝"); return MOL;}
327
 
"\\leftrightsquigarrow"  {yylval=itex2MML_copy_string("↭"); return MOL;}
328
 
"\\upuparrows"           {yylval=itex2MML_copy_string("⇈"); return MOL;}
329
 
"\\rightleftarrows"      {yylval=itex2MML_copy_string("⇄"); return MOL;}
330
 
"\\rightrightarrows"     {yylval=itex2MML_copy_string("⇉"); return MOL;}
331
327
"\\dashleftarrow"        {yylval=itex2MML_copy_string("⤎"); return MOL;}
332
328
"\\dashrightarrow"       {yylval=itex2MML_copy_string("⤏"); return MOL;}
333
 
"\\curvearrowleft"       {yylval=itex2MML_copy_string("⤺"); return MOL;}
334
329
"\\curvearrowbotright"   {yylval=itex2MML_copy_string("⤻"); return MOL;}
335
 
"\\downdownarrows"       {yylval=itex2MML_copy_string("⇊"); return MOL;}
336
 
"\\leftleftarrows"       {yylval=itex2MML_copy_string("⇇"); return MOL;}
337
 
"\\leftrightarrows"      {yylval=itex2MML_copy_string("⇆"); return MOL;}
338
330
"\\righttoleftarrow"     {yylval=itex2MML_copy_string("⟲"); return MOL;}
339
331
"\\lefttorightarrow"     {yylval=itex2MML_copy_string("⟳"); return MOL;}
340
 
"\\circlearrowleft"      {yylval=itex2MML_copy_string("↺"); return MOL;}
341
 
"\\circlearrowright"     {yylval=itex2MML_copy_string("↻"); return MOL;}
 
332
"\\leftrightsquigarrow" |
 
333
"\\upuparrows"          |
 
334
"\\rightleftarrows"     |
 
335
"\\rightrightarrows"    |
 
336
"\\curvearrowleft"      |
 
337
"\\curvearrowright"     |
 
338
"\\downdownarrows"      |
 
339
"\\leftarrowtail"       |
 
340
"\\rightarrowtail"      |
 
341
"\\leftleftarrows"      |
 
342
"\\leftrightarrows"     |
 
343
"\\Lleftarrow"          |
 
344
"\\Rrightarrow"         |
 
345
"\\looparrowleft"       |
 
346
"\\looparrowright"      |
 
347
"\\Lsh"                 |
 
348
"\\Rsh"                 |
 
349
"\\circlearrowleft"     |
 
350
"\\circlearrowright"    |
 
351
"\\twoheadleftarrow"    |
 
352
"\\twoheadrightarrow"   |
 
353
"\\nLeftarrow"          |
 
354
"\\nleftarrow"          |
 
355
"\\nLeftrightarrow"     |
 
356
"\\nleftrightarrow"     |
 
357
"\\nRightarrow"         |
 
358
"\\nrightarrow"         |
 
359
"\\downharpoonleft"     |
 
360
"\\downharpoonright"    |
 
361
"\\leftrightharpoons"   |
 
362
"\\rightleftharpoons"   |
 
363
"\\upharpoonleft"       |
 
364
"\\upharpoonright"   {yylval=itex2MML_copy2(yytext, ";"); if (yylval != itex2MML_empty_string) yylval[0]='&'; return MOL;}
 
365
 
342
366
 
343
367
"\\dots" |
344
368
"\\ldots"  {yylval=itex2MML_copy_string("…"); return MO;}