REDUCE

2.5 Strings

Strings are used in WRITE statements, in other output statements (such as error messages), and to name files. A string consists of any number of characters enclosed in double quotes. For example:

             ~A String~.

Lower case characters within a string are not converted to upper case.

The string ~~ represents the empty string. A double quote may be included in a string by preceding it by another double quote. Thus ~a~~b~ is the string a~b, and ~~~~ is the string consisting of the single character ~.