Explicit symbol to string conversion