added .tex file, among other things