diff options
Diffstat (limited to 'Doc/tut')
| -rw-r--r-- | Doc/tut/tut.tex | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/Doc/tut/tut.tex b/Doc/tut/tut.tex index 9ce0ac8..2a084ff 100644 --- a/Doc/tut/tut.tex +++ b/Doc/tut/tut.tex @@ -2039,9 +2039,10 @@ If two items to be compared are themselves sequences of the same type, the lexicographical comparison is carried out recursively. If all items of two sequences compare equal, the sequences are considered equal. If one sequence is an initial sub-sequence of the other, the -shorter sequence is the smaller one. Lexicographical ordering for -strings uses the \ASCII{} ordering for individual characters. Some -examples of comparisons between sequences with the same types: +shorter sequence is the smaller (lesser) one. Lexicographical +ordering for strings uses the \ASCII{} ordering for individual +characters. Some examples of comparisons between sequences with the +same types: \begin{verbatim} (1, 2, 3) < (1, 2, 4) |