Finished dealing with main issues in product thm proof; small issues still remain
*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.