rewrite rotate.tex