From e0e6fcb465fe35d425aaf06510c5b3ed5ff1de59 Mon Sep 17 00:00:00 2001 From: Stevie Strickland Date: Tue, 17 Feb 2009 15:02:07 +0000 Subject: [PATCH] Add unicode longmapsto. svn: r13695 --- collects/redex/private/pict.ss | 1 + 1 file changed, 1 insertion(+) diff --git a/collects/redex/private/pict.ss b/collects/redex/private/pict.ss index 07a46343aa..89bc5c0e89 100644 --- a/collects/redex/private/pict.ss +++ b/collects/redex/private/pict.ss @@ -363,6 +363,7 @@ [(~~>) (curvy-arrow-pict)] [(~>) (short-curvy-arrow-pict)] [(:->) (basic-text "\u21a6" (default-style))] + [(:-->) (basic-text "\u27fc" (default-style))] [(c->) (basic-text "\u21aa" (default-style))] [(-->>) (basic-text "\u21a0" (default-style))] [(>--) (basic-text "\u291a" (default-style))]