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.