clhs 3.1.2.1.1.4 は defvar された変数だと違う

clhs3.1.2.1.1.4

http://www.lispworks.com/documentation/HyperSpec/Body/03_abaad.htm

CL-USER> (describe 'x)
X is a TENURED SYMBOL.
  It is unbound.
  It is globally declared to be a special variable.
  It is INTERNAL in the COMMON-LISP-USER package.
; No value
CL-USER> (describe 'y)
Y is a NEW SYMBOL.
  It is unbound.
  It is INTERNAL in the COMMON-LISP-USER package.
; No value
CL-USER> (let ((x 1))            ;Binds a special variable X
	   (declare (special x))
	   (let ((x 2))          ;Binds a lexical variable X
	     (+ x                ;Reads a lexical variable X
		(locally (declare (special x))
		  x))))   ;Reads a special variable X

4
CL-USER> (let ((y 1))            ;Binds a special variable X
	   (declare (special y))
	   (let ((y 2))          ;Binds a lexical variable X
	     (+ y                ;Reads a lexical variable X
		(locally (declare (special y))
		  y))))   ;Reads a special variable X

3
CL-USER>