評価可能なLisp式をフォームと呼びます。フォームを評価すると常に結果が得られ、それはLispオブジェクトとなります。本マニュアルの例では、これを‘⇒’で示しています：
(car '(1 2))
⇒ 1
これは「(car '(1 2))は1と評価される」と読み替えることができます。
フォームがマクロ呼び出しである場合、それはLispが評価するための新しいフォームへと展開されます。展開結果を ‘→’ で示します。展開されたフォームの評価結果を示す場合と示さない場合があります。
(third '(a b c))
→ (car (cdr (cdr '(a b c))))
⇒ c
ある形式を説明するために、同一の結果をもたらす別の形式を示すことがあります。2つの形式が厳密に等価であることは、‘≡’で示されます。
(make-sparse-keymap) ≡ (list 'keymap)