On 10 Jul 2011, at 14:08, Roger Bishop Jones wrote:

> On Sunday 10 Jul 2011 12:22, Rob Arthan wrote:
>> Roger,
>> I had put this on my list of things to fix by changing
>> \not\in in the style file to \notin, but I get exactly
>> the opposite problem: \not\in work but \notin fails. Are
>> you still having this problem? I am suspecting that you
>> are using a style file that redefines both \not and
>> \notin to something different from what LaTeX gives you
>> out of the box. Note that \notin is not in the standard
>> list of mathematical symbols in the LaTeX User's Guide.
> I have the following in those of my documents which use the 
> character:
> \def\PrIO{\MMM{\notin}}
> I don't understand how you get the opposite problem.

What happens if you just run doctex and then texdvi on this file:

For me it fails on the second GFT section, when the %notmem% character is 
expanded to \notin rather than \not\in.



> Roger
> _______________________________________________
> Proofpower mailing list

Proofpower mailing list

Reply via email to