From: Robby Findler (robby at eecs.northwestern.edu) Date: Wed Jul 15 21:07:26 EDT 2009 |
|
Added, in SVN. Thanks, Robby On Wed, Jul 15, 2009 at 7:23 PM, Neil Toronto<ntoronto at cs.byu.edu> wrote: > Is there any chance of getting DrScheme to recognize and replace \mapsto > with a Unicode character? It renders "\u21A6" just fine. > > Neil T > _________________________________________________ > For list-related administrative tasks: > http://list.cs.brown.edu/mailman/listinfo/plt-scheme >
Posted on the users mailing list. |
|