Measurement of a negative value for the Wigner function of radiation | Synapse