SympSnip:

definition 0.0.1

A symplectic manifold is a pair (X,ω) where X is a smooth manifold of dimension 2n equipped with a symplectic form ωΩ2(X;R). which is closed (i.e. dω=0) and at each point xX makes the pair (TxX,ωx) a symplectic vector space.