Classical Weyl-Wigner correspondence of optical field's phase operator

By using the Weyl ordering form of coherent state projector |z〉〈z|=2::e−2(a†−z*)(a−z)::, where :::: denotes Weyl ordering, we find the classical Weyl-Wigner correspondence of optical field's phase operator.