prettify synrc.tex