define an irreducible unitary representation of the Weyl commutation relations. By the Stone–von Neumann theorem there is a unitary operator U from L (R) onto F n intertwining the two representations. It is given by the Bargmann transform