According to 22.1.3.3, when *print-escape* is bound to true,
When printing a symbol, the printer inserts enough single escape and/or
multiple escape characters (backslashes and/or vertical-bars) so that
if read were called with the same *readtable* and with *read-base* bound
to the current output base, it would return the same symbol (if it is not
apparently uninterned) or an uninterned symbol with the same print name (otherwise).
Is this true regardless of the value of *print-case*? If so, many lisps
appear to be buggy. If not, what's the specification supposed to be saying?
Paul