Backslash-escape @ at beginning of Str in LaTeX output.

This avoids capture as citation.

This is a bit of a hack; all of this needs cleaning up.