Checked in TeX writeup