quote symbols when pretty-printing