Mangle operator overloading