lhs2tex-1.17: doc/GroupSyntax.lhs
%include tex.fmt
%format ... = "\dots "
%format brop = {
%format brcl = }
\begin{code}
dir(brop)
...
dir(brcl)
\end{code}
%include tex.fmt
%format ... = "\dots "
%format brop = {
%format brcl = }
\begin{code}
dir(brop)
...
dir(brcl)
\end{code}