| BracketedTextualComment |
https://www.cl.cam.ac.uk/~mgk25/iso-14977.pdf
(* see 6.8 *) bracketed textual comment
= start comment symbol, {comment symbol},
end comment symbol;
|
| CommentlessSymbol |
https://www.cl.cam.ac.uk/~mgk25/iso-14977.pdf
(* see 6.6 *) commentless symbol
= terminal character
- (letter
| decimal digit
| first quote symbol
| second quote symbol
| start comment symbol
| end comment symbol
| special sequence symbol
| other character)
| meta identifier
| integer
| terminal string
| special sequence;
|
| CommentSymbol |
https://www.cl.cam.ac.uk/~mgk25/iso-14977.pdf
(* see 6.7 *) comment symbol
= bracketed textual comment
| other character
| commentless symbol;
|
| Integer |
https://www.cl.cam.ac.uk/~mgk25/iso-14977.pdf
(* see 4.9 *) integer
= decimal digit, {decimal digit};
|
| SpecialSequence |
https://www.cl.cam.ac.uk/~mgk25/iso-14977.pdf
(* see 4.19 *) special sequence
= special sequence symbol,
{special sequence character},
special sequence symbol;
|
| SpecialSequenceCharacter |
https://www.cl.cam.ac.uk/~mgk25/iso-14977.pdf
(* see 4.20 *) special sequence character
= terminal character - special sequence symbol;
|
| Syntax |
https://www.cl.cam.ac.uk/~mgk25/iso-14977.pdf
(* see 6.9 *) syntax
= {bracketed textual comment},
commentless symbol,
{bracketed textual comment},
{commentless symbol,
{bracketed textual comment}};
|