1+

Major Section:  ACL2-BUILT-INS

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

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