Tweaks to tex, added PDFs back in for easier viewing