Operators header files