The symplectic group Sp (2 n, R) is defined to be group of automorphisms g of R preserving the form B. It follows from the Stone–von Neumann theorem that for each such g there is a unitary π(g) on L (R) satisfying the covariance relation