$ Char = " ’ " character " ‘ " | "#"digit {digit}
A 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