Coisotropic submanifold (source code)

= Coisotropic submanifold
{wiki}

A coisotropic submanifold $N$ satisfies $(T_pN)^\omega\subset T_pN$, where the superscript denotes the <symplectic orthogonal complement>. Every hypersurface of a <symplectic manifold> is coisotropic.