^‡See Appendix 38 to get a formal definition of this operator.