ACL2-PC::PP

This is the same as p (see its documentation), except that raw
syntax (internal form) is used. So for example, one would see
(if x y 'nil) rather than (and x y). Abbreviations are however
still inserted, as with p.