Emacs trunk now has `prettify-symbols-mode'