17.8 Standard Lisp Equivalent of Reduce Input

A user can obtain the Standard Lisp equivalent of his REDUCE input by turning on the switch DEFN (for definition). The system then prints the Lisp translation of his input but does not evaluate it. Normal operation is resumed when DEFN is turned off.