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