pretty: just a call to disp in most cases.
header: escape &gt; correctly