BinOpSymbol added