.tex -> setf tex