[TxMt] LaTeX grammer for subscript

[Allan Odgaard]

On 12 Nov 2007, at 06:17, Guido Governatori wrote:

> [...]
> Maybe I have not understood how include, but if I write a grammar  
> where patterns contains only an include statement, don't I "create a  
> copy" of the included grammar under a different name?

Well, you include it, yes.

But if the included grammar does something like “begin = '\('; end =  
'\)'; patterns = ( … );” then the rules you put in the grammar where  
you include the former, will not be active inside (…).

Since LaTeX does a lot of this nesting of rules, it is generally not  
possible to add a new rule then include the old grammar, and expect  
the new rule to work in all contexts.