Added SymbolNode.fromString().