Wigner quasi-probability distribution