# Re: [ProofPower] Printing of \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
=\not \let \@@n =\n \let \not =\relax
\let \n =\relax \...
l.849 ...M{} \\$\PrNL{}\PrIO{}\PrIJ{m}\PrIJ{p}\PrNN
{}: S
\PrKN{} S \PrKN{} PR...

Unfortunately I don't know how to read these things and
hence don't know exactly what it is complaining about,
but the odds are it is the double at signs.

Also I should say that I am using hyperref and makeindex
rather than the standard indexing arrangements, which I
would be inclined to blame if the failure was in the index,
but I don't see how it (makeindex) affects these occurrences.

Roger

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