The Wigner quasi-probability distribution W(x,p) is the quantum analog of phase space density. Unlike classical probability, it can go negative — a signature of non-classical states.
W(x,p) = (1/πℏ)∫ψ*(x+y)ψ(x-y)e^{2ipy/ℏ}dy
Negative values = non-classical Red = negative · Blue = positive