<=

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

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

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