%include verbatim.fmt \begingroup \let\origtt=\tt \def\tt#1#2{\origtt} >\documentclass{article} >%include polycode.fmt >\begin{document} > >\end{document} \endgroup