Wigner transformation