enable global-prettify-symbols-mode