Create writeup.tex