Yours sincere,

Han Daoyuan

Sent from my iPad

]]>*[Corrected, thanks - T.]*

The Weyl quantization is to lift an element of to the unique preimage in which lies in . This choice of lifts manifestly respects the symmetry.

Therefore, in section 1, there is no need to carry around the and terms. Just use the symmetry to reduce to the case where one operator is and the other is . Moreover, if you want to make life even simpler, you can work with just and and restore the powers of at the end by homogeneity.

]]>*[Sorry, I don't see what the problem is here. Note that the use of the asterisk in does not quite denote adjoint or complex conjugation, although it is of course related to those two concepts. -T.]*