Особый оператор IF

(if p то [иначе])

где p - форма, возвращающая обобщённое булево значение.

Пример: модуль числа

Запись в виде разбора случаев:

abs1(x) ≡ { -x, если x < 0,
0, если x = 0,
x, если x > 0.
(defun abs1 (x)
  (if (< x 0)
      (- x)
      x))