The symplectic neighborhood theorem says that a neighborhood of a compact symplectic submanifold is determined, up to symplectomorphism, by the restricted symplectic form and its symplectic normal bundle. More precisely, if is a symplectomorphism and an isomorphism of symplectic normal bundles covers , then that bundle isomorphism extends to a symplectomorphism between neighborhoods of and .
If a symplectomorphism between compact symplectic submanifolds lifts to an isomorphism of their symplectic normal bundles, then it extends to a symplectomorphism between neighborhoods. Thus the germ of a symplectic neighborhood is determined by the restricted form and the symplectic normal bundle.