Complex phase space and Weyl’s commutation relations

We revisit von Neumann’s determination of the representations of the canonical commutation relations in Weyl form. We present an exposition of the original insights set within the convenient notational framework of symplectic structures. We study von Neumann’s projection operator and show how the complex phase space representation arises.