diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt
index c22ae6e09c1..2061057a246 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt
@@ -394,6 +394,7 @@
 [string->uninterned-symbol (-String . -> . Sym)]
 [string->unreadable-symbol (-String . -> . Sym)]
 [gensym (->opt [(Un Sym -String)] Sym)]
+[symbol<? (->* (list -Symbol -Symbol) -Symbol -Boolean)]
 
 ;; Section 4.7 (Regular Expressions)
 [regexp? (make-pred-ty -Regexp)]