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

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