Weinstein neighborhood theorem

A neighborhood of a compact Lagrangian submanifold $L\subset (M,\omega )$ is symplectomorphic, by a map restricting to the identity on $L$, to a neighborhood of the zero section in $(T^{\ast }L,d\lambda )$, with the sign chosen to match the convention for the canonical form.