Lisp-выражение, которое вы можете вычислить, называется формой. Вычисление формы всегда дает результат, который является объектом Lisp. В примерах в этом руководстве это обозначается как ‘⇒’:
(car '(1 2))
⇒ 1
Это можно прочитать как «(car '(1 2)) вычисляется в 1».
Когда форма является вызовом макроса, она расширяется в новую форму для вычисления Lisp. Мы показываем результат расширения с ‘→’. Мы можем или не можем показывать результат вычисления расширенной формы.
(third '(a b c))
→ (car (cdr (cdr '(a b c))))
⇒ c
Чтобы помочь описать одну форму, мы иногда показываем другую форму, которая дает идентичные результаты. Точное эквивалентное равенство двух форм обозначается как ‘≡’.
(make-sparse-keymap) ≡ (list 'keymap)