(defun foo (x) (let ((cons (cons x x))) (cons cons cons))) Hit M-. on first CONS in (CONS CONS CONS). Point jumps to the binding of CONS, not the definition of function CONS -- and no XREF buffer appears. Cheers, -- Nikodemus