[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS-Help] Latex - Bad math delimiter


I am trying to generate latex output for proof (I dont have the latex
file on this machine, I can send later if needed) but it can't compile
the .tex file due to "Bad math environment delimiter.

It works for some of the previous proofs I have completed but not for

Many Thanks 

Andy Harding
CS PASS Intern
School Of Computer Science
The University Of Manchester
Oxford Road
M13 9PL

Tel: 07837936928
Email: hardina5@cs.man.ac.uk