Some strings in SymbolDefinition