content_image/339904.jpg
algorithms derived by means of a symmetric Trotter factorization of the Liouville propagator: 

are not only time-reversible but also measure-preserving. 

<img src='content_image/339904.jpg'>

