which should result in the attached .tex file