capitalize in *print-case*

[Martin Frost <ME@SU-AI.ARPA>]

CLtL says that lowercase letters in print names are always printed in
lowercase, and that *print-case* controls the printing of uppercase.

This implies that with *print-case* set to :CAPITALIZE, the symbol |aBCD|
should be printed as |abcd|.  This is of course not a capitalized word,
and I've seen at least one Common Lisp implementation that prints this
symbol as |Abcd|, thus violating the claim that "lowercase letters are
always printed in lowercase".

So which way should it be with :CAPITALIZE?  Should it really capitalize
or should lowercase letters always be printed in lowercase?