Remove pretty-mode, but use Emacs 24's global-prettify-symbols-mode if available