Simple Approach for Deriving the Weyl Correspondence Product Formula

By making use of the coherent state representation of the Wigner operator we present a simple approach for deriving the Weyl correspondence product formula in complex phase space. The formula tells us how to express the Weyl classical function corresponding to an operator F = AB in terms of the Weyl functions corresponding to A and B.