Notes:
The next example shows another use of the notation that is clearly an enumerated constant, here used to designate a meta-language token. This is done today legally and routinely.
