converting sphere axiom to a proposition; still need to make similar changes in module 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.