\documentclass{article} %include lhs2TeX.fmt \input Catcode2.tex \newcommand\foo@@bar{foobar} \begin{document} \foo@@bar \end{document}