New posts in Symplectic Linear Algebra

Determinant of symplectic matrix

Is it true that the whole space is the direct sum of a subspace and its orthogonal space?