where A is a symmetric complex matrix whose real part is positive-definite, b is a complex vector, and c is a complex number. The Wigner function of any such state is a Gaussian distribution on phase space.