$ Char = " ’ " character " ‘ " | "#"digit {digit}
Character constant (Char) is one Unicode character of the Char type enclosed in apostrophes or a character code with # in the prefix.
See also:
Fore Dictionary | Properties and Methods of the Char Class