72.6. THE ITO FORMULA 2459

Notation 72.6.3 The stochastic integrals are unpleasant to look at.∫ t

0R((

Z (s)◦ J−1)∗X (s))◦ JdW (s)

≡∫ t

0(X (s) ,Z (s)dW (s)) .