331
331
"\\curvearrowleft" {yylval=itex2MML_copy_string("⤺"); return MOL;}
332
332
"\\curvearrowbotright" {yylval=itex2MML_copy_string("⤻"); return MOL;}
333
333
"\\downdownarrows" {yylval=itex2MML_copy_string("⇊"); return MOL;}
335
335
"\\leftrightarrows" {yylval=itex2MML_copy_string("⇆"); return MOL;}
336
336
"\\righttoleftarrow" {yylval=itex2MML_copy_string("⟲"); return MOL;}
337
337
"\\lefttorightarrow" {yylval=itex2MML_copy_string("⟳"); return MOL;}