1-

Major Section:  ACL2-BUILT-INS

(1- x) is the same as (- x 1). See -.

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