formatting for pdflatex