On Thu, Aug 2, 2012 at 7:28 PM, Bruno Le Floch <[log in to unmask]> wrote:
> I seem to recall using ^^A as a comment character in the syntax
> environment (and really anywhere else in the "% ..." documentation
> lines).

The result is the same; there's an unsightly large gap between the
stuff on the first line before the comment marker (whether % or ^^A)
and what's on the following line. [I'd actually noticed this first in
a .dtx file, but used normal LaTeX syntax here for ease of