Major Section: ACL2-BUILT-INS
>= is a macro, and (>= x y) expands to the same thing as (not (< x y)). See <.
>=
(>= x y)
(not (< x y))
>= is a Common Lisp function. See any Common Lisp documentation for more information.
