A universal-character-name
that is a named-universal-character
designates the corresponding character
in the Unicode Standard (chapter 4.8 Name)
if the n-char-sequence is equal
to its character name or
to one of its character name aliases;
otherwise, the program is ill-formed.