Add pretty-symbols