Change name abstraction Symbol to Operator