Roger,
On Monday 11 Jul 2011 17:05, Rob Arthan wrote:
And presumably your docpdf calls pdflatex (which will
fail in just the same way as texdvi on this example, I
think you will find). So with this very simple example,
the way ProofPower.sty does it works and the workaround
you needed to
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
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
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
Rob,
On Sunday 10 Jul 2011 15:59, you wrote:
What happens if you just run doctex and then texdvi on
this file:
http://dl.dropbox.com/u/34693999/ProofPower/rbj-not-in.te
x
For me it fails on the second GFT section, when the
%notmem% character is expanded to \notin rather than
\not\in.
On Tuesday 29 Mar 2011 16:48, Rob Arthan wrote:
It works fine for me. What goes wrong?
The failing occurrences are either in index brackets or in
theory listings (probably also in index brackets).
The actual error message is:
! Undefined control sequence.
\not #1-\let \@@not
