Replaced by prettify-symbols-mode