lhs2tex-1.13: Examples/Catcode.lhs
\documentclass{article}
%include lhs2TeX.fmt
\input Catcode2.tex
\newcommand\foo@@bar{foobar}
\begin{document}
\foo@@bar
\end{document}
\documentclass{article}
%include lhs2TeX.fmt
\input Catcode2.tex
\newcommand\foo@@bar{foobar}
\begin{document}
\foo@@bar
\end{document}