I often use non-standard top-level forms for defining functions, methods, constants, etc. For example, DEFUNEX, that expands into a defun with an export form. However, I lose M-. support for these forms. While the :source-file-name property is retained on the symbol, zmacs cannot find it in the buffer. How about: 1(defprop def0unex1 "0Defun and Export1" si:definition-type-name)