13.16.7 Escaping of printed symbols depends on macro chars
When printing symbols any characters in the package name or symbol name that have a reader macro in the current readtable are now escaped, as required by the ANSI Common Lisp standard.
LispWorks Release Notes and Installation Guide - 21 Dec 2009