Rev 16300 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 16300 | Rev 16301 | ||
|---|---|---|---|
| Line 240... | Line 240... | ||
| 240 | "\\leftarrowtail" {yylval = wims_mathml_copy_string("↢"); return MOL;} |
240 | "\\leftarrowtail" {yylval = wims_mathml_copy_string("↢"); return MOL;} |
| 241 | "\\rightarrowtail" {yylval = wims_mathml_copy_string("↣"); return MOL;} |
241 | "\\rightarrowtail" {yylval = wims_mathml_copy_string("↣"); return MOL;} |
| 242 | "\\mapsfrom" {yylval = wims_mathml_copy_string("↤"); return MOL;} |
242 | "\\mapsfrom" {yylval = wims_mathml_copy_string("↤"); return MOL;} |
| 243 | "\\mapsup" {yylval = wims_mathml_copy_string("↥"); return MOL;} |
243 | "\\mapsup" {yylval = wims_mathml_copy_string("↥"); return MOL;} |
| 244 | "\\mapsto" {yylval = wims_mathml_copy_string("↦"); return MOL;} |
244 | "\\mapsto" {yylval = wims_mathml_copy_string("↦"); return MOL;} |
| 245 | "\\leftmapsto" {yylval = wims_mathml_copy_string("⟻"); return MOL;} |
- | |
| 246 | "\\mapsdown" {yylval = wims_mathml_copy_string("↧"); return MOL;} |
245 | "\\mapsdown" {yylval = wims_mathml_copy_string("↧"); return MOL;} |
| 247 | "\\updownarrowbar" {yylval = wims_mathml_copy_string("↨"); return MOL;} |
246 | "\\updownarrowbar" {yylval = wims_mathml_copy_string("↨"); return MOL;} |
| 248 | "\\hookleftarrow" {yylval = wims_mathml_copy_string("↩"); return MOL;} |
247 | "\\hookleftarrow" {yylval = wims_mathml_copy_string("↩"); return MOL;} |
| 249 | "\\hookrightarrow" {yylval = wims_mathml_copy_string("↪"); return MOL;} |
248 | "\\hookrightarrow" {yylval = wims_mathml_copy_string("↪"); return MOL;} |
| 250 | "\\looparrowleft" {yylval = wims_mathml_copy_string("↫"); return MOL;} |
249 | "\\looparrowleft" {yylval = wims_mathml_copy_string("↫"); return MOL;} |