other
(in-package "XDOC")
other
(include-book "misc/symbol-print-full-escapes" :dir :system)
full-escape-symbolfunction
(defun full-escape-symbol (x) (declare (type symbol x)) (full-escape-symbol x))
(in-package "XDOC")
(include-book "misc/symbol-print-full-escapes" :dir :system)
(defun full-escape-symbol (x) (declare (type symbol x)) (full-escape-symbol x))