If one replaces Φ Φ [ f ] in the above expression with an arbitrary operator, the resulting function f may depend on the reduced Planck constant ħ, and may well describe quantum-mechanical processes, provided it is properly composed through the star product, below. In turn, the Weyl map of the Wigner map is summarized by Groenewold's formula,