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
> [email protected]
> http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
_______________________________________________
Proofpower mailing list
[email protected]
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
