This package contains pretty-printing functionality used by the GUI and for saving proofs.