7.2. Character names

All characters have a name. For non-printing characters between 0 and 32, and for 127 we use the ordinary ASCII names. Characters above 127 are printed and read using Unicode notation as in #U0126, where the U is followed by the hexadecimal code.

Table 7.1. Examples of character names

CharacterCode
#\Null0
#\Ack1
#\Bell7
#\Backspace8
#\Tab9
#\Newline10
#\Linefeed10
#\Page12
#\Esc27
#\Escape27
#\Space32
#\Rubout127
#\U0080128

Note that #\Linefeed is synonymous with #\Newline and thus is a member of standard-char.