A non-negative Wigner-type distribution

The Wigner function, which is commonly used as a joint distribution for non-commuting observables, is shown to be non-negative in all quantum states when smoothed with a gaussian whose variances are greater than or equal to those of the minimum uncertainty wave packet.