pretty-print symbols