Subversion Repositories wimsdev

Rev

Rev 16300 | Rev 16596 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 16300 Rev 16301
Line 318... Line 318...
318 
"\\leftrightarrow"  {yylval=wims_mathml_copy_string("↔"); return MOL;}
 318 
"\\leftrightarrow"  {yylval=wims_mathml_copy_string("↔"); return MOL;}
319 
 
 319 
 
320 
"\\longmapsto" {yylval = wims_mathml_copy_string("⟼"); return MOL;}
 320 
"\\longmapsto" {yylval = wims_mathml_copy_string("⟼"); return MOL;}
321 
"\\Longmapsfrom" {yylval = wims_mathml_copy_string("⟽"); return MOL;}
 321 
"\\Longmapsfrom" {yylval = wims_mathml_copy_string("⟽"); return MOL;}
322 
"\\Longmapsto" {yylval = wims_mathml_copy_string("⟾"); return MOL;}
 322 
"\\Longmapsto" {yylval = wims_mathml_copy_string("⟾"); return MOL;}
323 
"\\leftmapsto" {yylval = wims_mathml_copy_string("⟻"); return MOL;}
 - 
 
324 
"\\mapsto"  |
 323 
"\\mapsto"  |
325 
"\\map"       {yylval=wims_mathml_copy_string("↦"); return MOL;}
 324 
"\\map"       {yylval=wims_mathml_copy_string("↦"); return MOL;}
326 
 
 325 
 
327 
"\\nearrow" |
 326 
"\\nearrow" |
328 
"\\nearr"    {yylval=wims_mathml_copy_string("↗"); return MOL;}
 327 
"\\nearr"    {yylval=wims_mathml_copy_string("↗"); return MOL;}