We define the operators