diff options
Diffstat (limited to 'Doc/ref/ref1.tex')
| -rw-r--r-- | Doc/ref/ref1.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Doc/ref/ref1.tex b/Doc/ref/ref1.tex index b611d9c..e821eea 100644 --- a/Doc/ref/ref1.tex +++ b/Doc/ref/ref1.tex @@ -71,7 +71,7 @@ In lexical definitions (as the example above), two more conventions are used: Two literal characters separated by three dots mean a choice of any single character in the given (inclusive) range of \ASCII{} characters. A phrase between angular brackets (\code{<...>}) gives an -informal description of the symbol defined; e.g. this could be used +informal description of the symbol defined; e.g., this could be used to describe the notion of `control character' if needed. \index{lexical definitions} \index{ASCII@\ASCII{}} |