Definition, synonyms and related words
For given field F and positive integer n, the group of 2n×2n symplectic matrices with elements in F.