| Class | Description |
|---|---|
| FirstTerminalCharacter |
(* see 4.17 *) first terminal character
= terminal character - first quote symbol;
|
| GapFreeSymbol |
(* see 6.3 *) gap free symbol
= terminal character
- (first quote symbol | second quote symbol)
| terminal string;
|
| GapSeparator |
(* see 6.4 *) gap separator
= space character
| horizontal tabulation character
| new line
| vertical tabulation character
| form feed;
|
| MetaIdentifier |
https://www.cl.cam.ac.uk/~mgk25/iso-14977.pdf
4.14 Meta-identifier
A meta-identifier consists of an ordered list of one or more
meta-identifier-characters subject to the condition that the
first meta-identifier-character is a letter.
|
| MetaIdentifierCharacter |
https://www.cl.cam.ac.uk/~mgk25/iso-14977.pdf
(* see 4.15 *) meta identifier character
= letter
| decimal digit;
|
| SecondTerminalCharacter |
(* see 4.18 *) second terminal character
= terminal character - second quote symbol;
|
| Syntax |
https://www.cl.cam.ac.uk/~mgk25/iso-14977.pdf
(* see 6.5 *) syntax
= {gap separator},
gap free symbol, {gap separator},
{gap free symbol, {gap separator}};
|
| TerminalCharactor |
(* see 6.2 *) terminal character
= letter
| decimal digit
| concatenate symbol
| defining symbol
| definition separator symbol
| end comment symbol
| end group symbol
| end option symbol
| end repeat symbol
| except symbol
| first quote symbol
| repetition symbol
| second quote symbol
| special sequence symbol
| start comment symbol
| start group symbol
| start option symbol
| start repeat symbol
| terminator symbol
| other character;
|
| TerminalString |
(* see 4.16 *) terminal string
= first quote symbol, first terminal character,
{first terminal character},
first quote symbol
| second quote symbol, second terminal character,
{second terminal character},
second quote symbol;
|