TeX files for stuff I put on tumblr