replacing axioms with lemmas in the module section; still out of sync with the ncat axioms
*Create defontify.tex containing the latex you want.*Run defontify.bat.*Open nofonts.ps in Illustrator, and copy the pieces you want over to the .pdf you're working on.