symbol -> string