LISP I Programmer's Manual - Software Preservation Group

2, eq - 4eq[x;y] is defined if and only if eLCher x.'dr, y'i's abbmf-d,eq[x;y] = T if x and y are the same symbol, and eq[x;y] = Fotherwise. -Thus3. - carcar[x] is defined if and only if x is not atomic.car[ (e,*e2)] = el. Thuscar[^] is undefined.4. - cdrcdr[x] is also defined when x is not atomic.cdr[ (elgee) 1' = e2. Thuscdr[x] is undefined.icdr[ (x-A) 1 = Ac~~[((x-A)*Y)] = Y5. - conscons[x;y] is defined for any x and y.cons[el;e2] = (el,*e2). Thuscons[~;A] = (x~A)We haveWe havecar cdr and cons are easily seen to satisfy the relations-J - -cons[car[x];cdr[x]] = x, provided that x is not atomic.