Weyl–Wigner transform