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}