[plt-scheme] \mapsto -> Unicode

[Robby Findler]

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
>