added function name mangling for operators