ABSTRACT
Sequences of characters are called text strings; they are values of the sequence type char* (or char+ for nonempty text strings; see section 5.4). There is a special literal notation for text strings: the text literal (n 0) denotes the same sequence of characters as , except that within a text literal the character " is denoted by repeating it to form the compound delimiter: "" .
