Choi-Williams distribution function
 
x
OK