Add prettify-symbols mode