A covariant Wigner-Weyl quantization formalism on the manifold that uses pseudo-differential operators is proposed. The asymptotic product formula that leads to the symbol calculus in the presence of gauge and gravitational ...