Subsection II.3.1.6

Symplectic spaces