The product and one contraction convention

The wavefront calculus underlying these constructions is the one used for extended Wick algebras HW,Hormander. In particular, graded signs change coefficients, not the wavefront-existence conditions.