“…We have chosen this interpretation of pseudodifferential operators rather than the Weyl correspondence chosen by Guo & Wang [3] for its simplicity, even though it makes our derivation of the transport equation somewhat less elegant; it is straightforward, if sometimes cumbersome, to translate between the two interpretations [see, e.g., 2]. With the assumption that J(x, ∂¡ ) and H(x, ∂¡ ) are, respectively, skew-adjoint and self-adjoint, the conservation of the wave energy (1.3) is readily established.…”