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.
