diff --git a/pkgs/typed-racket-pkgs/typed-racket-doc/typed-racket/scribblings/reference/typed-classes.scrbl b/pkgs/typed-racket-pkgs/typed-racket-doc/typed-racket/scribblings/reference/typed-classes.scrbl
index fb5f89b527..94ecf2fc6d 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-doc/typed-racket/scribblings/reference/typed-classes.scrbl
+++ b/pkgs/typed-racket-pkgs/typed-racket-doc/typed-racket/scribblings/reference/typed-classes.scrbl
@@ -50,8 +50,8 @@ library.
                                   expr
                                   (begin class-clause ...)]
                     [maybe-type-parameters (code:line)
-                                           (code:line #:forall type-variable)
-                                           (code:line #:forall (type-variable ...))]
+                                           (code:line #:forall (type-variable ...))
+                                           (code:line #:∀ (type-variable ...))]
                     [init-decl id/type
                                [renamed]
                                [renamed : type-expr]
diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/class-prims.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/class-prims.rkt
index a2447e2807..16c2cc0306 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/class-prims.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/class-prims.rkt
@@ -123,9 +123,7 @@
    (:))
 
  (define-splicing-syntax-class maybe-type-parameter
-   (pattern (~seq #:forall type-variable:id)
-            #:attr type-variables #'(type-variable))
-   (pattern (~seq #:forall (type-variable:id ...))
+   (pattern (~seq (~or #:∀ #:forall) (type-variable:id ...))
             #:attr type-variables #'(type-variable ...))
    (pattern (~seq)
             #:attr type-variables #'()))
diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt
index 42a2817110..65db2c462a 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt
@@ -3322,7 +3322,7 @@
    [tc-e (let ()
            (define point%
              (class object%
-               #:forall X
+               #:∀ (X)
                (super-new)
                (init-field [x : X] [y : X])))
            (new (inst point% Integer) [x 0] [y 5])
@@ -3359,13 +3359,13 @@
            #:msg #rx"expected: X.*given: String"]
    ;; fails because default init value cannot be polymorphic
    [tc-err (class object%
-             #:forall Z
+             #:forall (Z)
              (super-new)
              (init-field [x : Z] [y : Z 0]))
            #:msg #rx"Default init value has wrong type"]
    ;; fails because default field value cannot be polymorphic
    [tc-err (class object%
-             #:forall Z
+             #:forall (Z)
              (super-new)
              (field [x : Z "a"]))
            #:msg #rx"expected: Z.*given: String"]