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))]