wigner_note A note that introduces the Wigner function. No prior knowledge assumed (apart from standard QM).