Use std::string in info_symbol_command