Special:EditPage/Wigner distribution function