Convert another symbol to string