ABSTRACT
In this chapter we turn to formulas for Gaussian correlations
used in Section 3.2, and present them in the rigorous mathe-
matical framework. Moreover, we proceed without the condition
that quantum observables are represented by real operators, i.e.,
satisfying equality (3.14). Now we are able to work with arbitrary
(bounded) self-adjoint operators. Basic formulas coupling quantum
and prequantum averages (equalities (3.15) and (3.20)) become
more complicated.