/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: 2021-10-04 04:57:14 UTC
  • Revision ID: distler@golem.ph.utexas.edu-20211004045714-m7302dm4tzs95mku
Tags: 1.6.1
itex2MML 1.6.1

Added \boxslash,\boxbslash,\boxast,\boxcircle,\boxbox,\obslash,\obar,\olessthan,\ogreaterthan

Show diffs side-by-side

added added

removed removed

itex-src/itex2MML.l
1
 
/*             itex2MML 1.5.8
2
 
 *   itex2MML.l last modified 10/19/2018
 
1
/*             itex2MML 1.6.1
 
2
 *   itex2MML.l last modified 10/3/2021
3
3
 */
4
4
 
5
5
%{
674
674
"\\Perp" |
675
675
"\\Vbar" {yylval=itex2MML_copy_string("⫫"); return MOL;}
676
676
"\\boxdot" {yylval=itex2MML_copy_string("⊡"); return MOL;}
 
677
"\\boxslash" {yylval=itex2MML_copy_string("⧄"); return MOL;}
 
678
"\\boxbslash" {yylval=itex2MML_copy_string("⧅"); return MOL;}
 
679
"\\boxast" {yylval=itex2MML_copy_string("⧆"); return MOL;}
 
680
"\\boxcircle" {yylval=itex2MML_copy_string("⧇"); return MOL;}
 
681
"\\boxbox" {yylval=itex2MML_copy_string("⧈"); return MOL;}
 
682
"\\obar" {yylval=itex2MML_copy_string("⦶"); return MOL;}
 
683
"\\obslash" {yylval=itex2MML_copy_string("⦸"); return MOL;}
 
684
"\\olessthan" {yylval=itex2MML_copy_string("⧀"); return MOL;}
 
685
"\\ogreaterthan" {yylval=itex2MML_copy_string("⧁"); return MOL;}
677
686
"\\Box" |
678
687
"\\square" {yylval=itex2MML_copy_string("□"); return MOL;}
679
688
"\\emptyset" |