symbol to string