Roger,

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:

http://dl.dropbox.com/u/34693999/ProofPower/rbj-not-in.tex

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

Regards,

Rob.

> Roger
> 
> _______________________________________________
> Proofpower mailing list
> Proofpower@lemma-one.com
> http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com

_______________________________________________
Proofpower mailing list
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com

Reply via email to