proper tex/dvi/pdf