A pair , where is a manifold and is a symplectic form on . The phase space is a symplectic manifold. Near every point on a symplectic manifold, it is possible to find a set of local "Darboux coordinates" in which the symplectic form has the simple form
(Sjamaar 1996), where is a wedge product.