Readable printer for escaped symbols

Better printing of symbols with names that require escaping to be read