From 4a8c1ed5d2ad08c0c1bca120c41bba824f9f3ac3 Mon Sep 17 00:00:00 2001
From: Sam Tobin-Hochstadt <samth@racket-lang.org>
Date: Fri, 13 Jan 2012 14:40:29 -0500
Subject: [PATCH] Document unicode case->.

original commit: b75e080aee2a576d3900c3e2f4e7a2bbc2903c18
---
 collects/typed-racket/scribblings/reference/types.scrbl | 1 +
 1 file changed, 1 insertion(+)

diff --git a/collects/typed-racket/scribblings/reference/types.scrbl b/collects/typed-racket/scribblings/reference/types.scrbl
index 182878cc..9342e933 100644
--- a/collects/typed-racket/scribblings/reference/types.scrbl
+++ b/collects/typed-racket/scribblings/reference/types.scrbl
@@ -430,6 +430,7 @@ recursive type in the body @racket[t]
     (define-type (List A) (Rec List (Pair A (U List Null))))]}
 
 @defalias[→ ->]
+@defalias[case→ case->]
 @defalias[∀ All]
 
 @section{Other Types}