add pretty-symbols mode