Rob,
I just made something like your document to exhibit the
problem and I see that it doesn't.
In a sample document exhibiting the problem I have:
\usepackage{latexsym}
\usepackage{rbj}
and rbj.sty has in it:
\RequirePackage{Proofpower}
\RequirePackage{mathabx}
However, adding these two font packages to the simplest
example does not create the problem.
I will get back to you when I have managed to reproduce the
problem in a minimal context.
Roger
_______________________________________________
Proofpower mailing list
[email protected]
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com