diff options
Diffstat (limited to 'doc/appendix.tex')
| -rw-r--r-- | doc/appendix.tex | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/doc/appendix.tex b/doc/appendix.tex index 0777d55..f68eaa2 100644 --- a/doc/appendix.tex +++ b/doc/appendix.tex @@ -14,14 +14,14 @@ <binary-digit> = `0' | `1'. -<hex-character> = `\\x' <hex-digit> <hex-digit>. +<hex-character> = `\\x' <hex-digit> \{<hex-digit>\}. <escaped-character> = `\\' \\ - (`n' | `a' | `b' | `t' | `f' | `r' | `v' | `\\' | `\textquotesingle' | `\textquotedbl' | `?\@' | `0'). + (`n' | `a' | `b' | `t' | `f' | `r' | `v' | `\\' | `\textquotesingle' | `\textquotedbl' | `0'). <printable-character> = \enspace? a printable ASCII character\space?. -<character> = <printable-character> | <escaped-character> | <hex-digit>. +<character> = <printable-character> | <escaped-character> | <hex-character>. <identifier> = <letter> \{<letter> | <decimal-digit>\}. @@ -38,10 +38,10 @@ <real-literal> = <integer-literal> `.\@' <decimal-digit> \{<decimal-digit>\} \alt{} <integer-literal>\} `e' [`+' | `-'] <decimal-digit> \{<decimal-digit>\}. -<string-literal> = `\textquotedbl' \{<character>\} `\textquotedbl'. - <character-literal> = `\textquotesingle' <character> `\textquotesingle'. +<string-literal> = `\textquotedbl' \{<character>\} `\textquotedbl'. + <literal> = <integer-literal> | <word-literal> | <real-literal> \alt{} <string-literal> | <character-literal> \alt{} `true' | `false' | `nil'. |