CW!

print to the comment window
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.