Added tostring() for W_Symbol