Symplectic manifold