added latex-pretty-symbols check