The Wigner function