lhs2tex-1.20: doc/FormatArrow2.lhs
%include verbatim.fmt
\begingroup
\let\origtt=\ttfamily
\def\ttfamily#1#2{\origtt}
>%format ~>* = ~> "^{" * "}"
\endgroup
%include verbatim.fmt
\begingroup
\let\origtt=\ttfamily
\def\ttfamily#1#2{\origtt}
>%format ~>* = ~> "^{" * "}"
\endgroup