Re: Minor issue with \implies

[Jean-Marc Lasgouttes]

Juergen Spitzmueller <[EMAIL PROTECTED]> writes:

> I happened to know that this file is responsible, 

This I knew too.

> and got the syntax from the existing entries.

I cannot find an entry with \def and a require field...

JMarc