%include verbatim.fmt

\begingroup
\let\origtt=\tt
\def\tt#1{\origtt}
\begin{code}
%format ^  = " "
%format ^^ = "\;"
\end{code}
\endgroup