Implement demangling for user-defined operators.