final reformatted tex file