symbolic: fix and export document-print