Wigner function for the square barrier