where [A i ] w is the Wigner transform of A i ( R) (with the corresponding expression in Eq. 32). The above expression can be easily generalized into the symmetrized version of TCF with 1 2 e -β Ĥ Â(0)+A(0)e -β Ĥ ws , and evaluating each term of the Wigner transform and S-W transform.