Major Section: ACL2-BUILT-INS
This is the same as cw, except that cw inserts backslash (\)
characters when forced to print past the right margin, in order to make the
output a bit clearer in that case. Use cw! instead if you want to be
able to read the forms back in.
