Mention the support for prettify-symbols-mode