13.10. Character Names sec_13-1-7
Prev Chapter 13. Characters chap-13 Next

13.10. Character Names [sec_13-1-7]

Character names of non-ASCII characters are the names defined by UNICODE, with spaces replaced by underscores, and converted to upper case. There are two exceptions, though:

#\U0001F514
has the name UNICODE_BELL, because the name BELL is already taken by the ASCII control character with code 7 (the audible bell character).
#\U0001F5CF
has the name UNICODE_PAGE, because the name PAGE is already taken by the ASCII control character with code 12 (the form feed or page separator character).

These notes document CLISP version 2.49.93+Last modified: 2018-02-19
[CLISP home][Support CLISP][SourceForge]
Prev Up Next
13.9. Ordering of Characters sec_13-1-6 Home 13.11. Treatment of Newline during Input and Output sec_13-1-8