string in SymbolDefinition.