-by ANSI C. Similarly, we assume that the execution character encoding
-is a superset of the printable characters of ASCII, though we don't
-assume the numeric values of control characters, particularly \cw{'\n'}
-and \cw{'\r'}.)
+by ANSI C. Similarly, we assume that the execution character
+encoding is a superset of the printable characters of ASCII, though
+we don't assume the numeric values of control characters,
+particularly \cw{'\\n'} and \cw{'\\r'}.)