>=

greater-than-or-equal test
Major Section:  ACL2-BUILT-INS

>= is a macro, and (>= x y) expands to the same thing as (not (< x y)). See <.

>= is a Common Lisp function. See any Common Lisp documentation for more information.