# Re: [ProofPower] Printing of \not\in

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.

Roger

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