Projective symplectic group