/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-10-04 08:28:37 UTC
  • Revision ID: distler@golem.ph.utexas.edu-20091004082837-bhtczlcgoob2yyam
Tags: 1.3.12
itex2MML 1.3.12: \coloneqq and its cousins

Support for:

\coloneqq
\Coloneqq
\coloneq
\Coloneq
\eqqcolon
\Eqqcolon
\eqcolon
\Eqcolon
\colonapprox
\Colonapprox
\colonsim
\Colonsim
\dblcolon

Not all of these have corresponding Unicode
characters, so may appear a little hackish.
Also, Firefox doesn't seem to set the correct
spacing for binary operators for most of these.
So we hhave to set that by hand.

Show diffs side-by-side

added added

removed removed

itex-src/itex2MML.l
1
 
/*             itex2MML 1.3.11
2
 
 *   itex2MML.l last modified 9/13/2009
 
1
/*             itex2MML 1.3.12
 
2
 *   itex2MML.l last modified 10/4/2009
3
3
 */
4
4
 
5
5
%{
387
387
 
388
388
"\\in"           {yylval=itex2MML_copy_string("∈"); return MOL;}
389
389
 
 
390
 /* For some reason, Firefox does not put in the right spacing around some of these operators
 
391
  * unless we ask for it, explicitly.
 
392
  */
 
393
"\\coloneqq"     {yylval=itex2MML_copy_string("≔"); return MOL;}
 
394
"\\Coloneqq"     {yylval=itex2MML_copy_string("⩴"); return MOS;}
 
395
"\\coloneq"      {yylval=itex2MML_copy_string("∶−"); return MOS;}
 
396
"\\Coloneq"      {yylval=itex2MML_copy_string("∷−"); return MOS;}
 
397
"\\eqqcolon"     {yylval=itex2MML_copy_string("≕"); return MOS;}
 
398
"\\Eqqcolon"     {yylval=itex2MML_copy_string("=∷"); return MOS;}
 
399
"\\eqcolon"      {yylval=itex2MML_copy_string("∹"); return MOS;}
 
400
"\\Eqcolon"      {yylval=itex2MML_copy_string("−∷"); return MOS;}
 
401
"\\colonapprox"  {yylval=itex2MML_copy_string("∶≈"); return MOS;}
 
402
"\\Colonapprox"  {yylval=itex2MML_copy_string("∷≈"); return MOS;}
 
403
"\\colonsim"     {yylval=itex2MML_copy_string("∶∼"); return MOS;}
 
404
"\\Colonsim"     {yylval=itex2MML_copy_string("∷∼"); return MOS;}
 
405
"\\dblcolon"     {yylval=itex2MML_copy_string("∷"); return MOL;}
 
406
 
390
407
"\\gt"   |
391
408
"\\lt"   |
392
409
"\\approxeq"   |