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