Adding latex-pretty-symbols.el