 Hamiltonian flow preserves the symplectic form

If ${\iota }_{X_{H_t}}\omega =-d{H}_t$ and ${\varphi }_t$ is its flow, then Cartan's magic formula givesThus every defined time slice of a Hamiltonian isotopy is a symplectomorphism.