(if p то [иначе])
где p - форма, возвращающая обобщённое булево значение.
Запись в виде разбора случаев:
(defun abs1 (x) (if (< x 0) (- x) x))