File:Operatorsymbol13.png