defining_operator_symbol

defining_operator_symbol ::= operator_symbol 

This rule is called by

-> defining_designator