Obtain the object being quoted
Unquote is just an abbreviation for cadr. Its
intended use is to obtain an object being quoted. For example, if x is
(quote (3 4)) then (unquote x) is (3 4):
ACL2 !>(let ((x '(quote (3 4))))
- Unquote an object, if quoted; otherwise, leave unchanged.