Decomposition of symplectic matrices into products of symplectic unipotent matrices of index 2

In this article, it is proved that every symplectic matrix can be decomposed into a product of three symplectic unipotent matrices of index 2, i.e., every complex matrix A satisfying ATJA = J with J = [0 -