satisfying gKg * = K (or equivalently the same relations as in the finite-dimensional case). These belong to the restricted symplectic group if and only if B is a Hilbert–Schmidt operator. This group acts transitively on the infinite-dimensional analogue D ≈ of the Seigel generalized unit disk consisting of Hilbert–Schmidt operators W that are symmetric with operator norm less than 1 via the formula