Add basic support for prettify-symbols-mode