If is a symplectic manifold, then a submanifold is isotropic if the symplectic form vanishes on the tangent space of , that is, for all for all .