Re: Bug#351825: Testcase

[Richard Lewis <debian@rtf.org.uk>]

Norbert Preining <preining@logic.at> writes:

> On Die, 07 Feb 2006, Jiri Palecek wrote:
>> \documentclass[a4paper,10pt]{article}
>> \usepackage{syntax}
>> \begin{document}
>> \begin{grammar}
>> <A> ::= \lit b
>> \end{grammar}
>> \end{document}
>
> confirmed, does not work with texlive neither.
>
> I don't know what is really the reason, but syntax.sty does something
> special with \dospecials, maybe this seems to be the problem?

Reading this thread from 2002 i think you are correct.
http://www.tug.org/pipermail/tex-k/2002-December/000632.html

This mail in particular would seem to be relevent:
http://www.tug.org/pipermail/tex-k/2002-December/000633.html

"The upshot is that source specials are incompatible with certain
packages, and fixing that requires changes that would be far more
invasive of the TeX internals than the implementation is."

The work-around is to disable source-specials when using syntax.

I think "dont use source specials except in draft-mode (becaue they
mess up vertical spacing)" is in most introductions to TeX but the
syntax documentation ought to mention this more explicitly