%include verbatim.fmt \begingroup \let\origtt=\tt \def\tt#1{\origtt} \begin{code} $ mktexlsr \end{code} \endgroup