Let O be an observable in L2(X). If O is independent from time, then

dOdt=[O,H].

In particular, if O commutes with the system hamiltonian, we get the celebrated Noether’s Theorem, in his symplectic version.