add prettify-symbols-mode