diff options
Diffstat (limited to 'doc/appendix.tex')
| -rw-r--r-- | doc/appendix.tex | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/doc/appendix.tex b/doc/appendix.tex index 71b0cc4..36bb72a 100644 --- a/doc/appendix.tex +++ b/doc/appendix.tex @@ -35,8 +35,11 @@ \alt{} `0' (`X' | `x') <hex-digit> \{<hex-digit>\} \alt{} `0' (`B' | `b') <binary-digit> \{<binary-digit>\}. +<scale-factor> = (`e' | `E') [`+' | `-'] <decimal-digit> \{<decimal-digit>\}. + <real-literal> = <integer-literal> `.\@' <decimal-digit> \{<decimal-digit>\} - \alt{} <integer-literal>\} `e' [`+' | `-'] <decimal-digit> \{<decimal-digit>\}. + [<scale-factor>] + \alt{} <integer-literal> <scale-factor>. <character-literal> = `\textquotesingle' <character> `\textquotesingle'. |