First page
Back
Continue
Last page
Overview
Graphics
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.