Choi-Williams distribution function