lhs2tex-1.12: doc/SpacingOps.lhs

%include verbatim.fmt

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