Symplectic manifolds