convert symbols to strings