diff options
Diffstat (limited to 'src/algebra/string.spad.pamphlet')
| -rw-r--r-- | src/algebra/string.spad.pamphlet | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/algebra/string.spad.pamphlet b/src/algebra/string.spad.pamphlet index 058da44a..f176ed9d 100644 --- a/src/algebra/string.spad.pamphlet +++ b/src/algebra/string.spad.pamphlet @@ -34,12 +34,12 @@ Character: OrderedFinite() with ++ code i. It is always true that \spad{ord char i = i}. char: String -> % ++ char(s) provides a character from a string s of length one. - space: () -> % - ++ space() provides the blank character. - quote: () -> % - ++ quote() provides the string quote character, \spad{"}. - escape: () -> % - ++ escape() provides the escape character, \spad{_}, which + space: % + ++ \spad{space} provides the blank character. + quote: % + ++ \spad{quote} provides the string quote character, \spad{"}. + escape: % + ++ \spad{escape} provides the escape character, \spad{_}, which ++ is used to allow quotes and other characters {\em within} ++ strings. upperCase: % -> % |