Symplectic embedding (source code)

= Symplectic embedding

A symplectic embedding $\iota:(N,\omega_N)\hookrightarrow(M,\omega_M)$ is a <smooth embedding> satisfying $\iota^*\omega_M=\omega_N$.