Groenewold-von Neumann product via Segal_Bargmann transform