symbols to strings conversion