NobleBlocks
    Weyl calculus in QED I. The unitary group | NobleBlocks