[plt-scheme] \mapsto -> Unicode

From: Neil Toronto (ntoronto at cs.byu.edu)
Date: Wed Jul 15 20:23:51 EDT 2009

Previous message: [plt-scheme] Newbie problems with leftparen and **
Next message: [plt-scheme] \mapsto -> Unicode
Messages sorted by: [date] [thread] [subject] [author]

Is there any chance of getting DrScheme to recognize and replace \mapsto 
with a Unicode character? It renders "\u21A6" just fine.

Neil T

Posted on the users mailing list.

Previous message: [plt-scheme] Newbie problems with leftparen and **
Next message: [plt-scheme] \mapsto -> Unicode
Messages sorted by: [date] [thread] [subject] [author]