>

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

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

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