]In real time, the formula_9-point Green function is defined by
where we have used a condensed notation in which formula_11 signifies formula_12 and formula_13 signifies formula_14.The operator formula_15 denotes time ordering, and indicates that the field operators that follow it are to be ordered so that their time arguments increase from right to left.