Quadratic variation of a stochastic integral (source code)

= Quadratic variation of a stochastic integral

For a continuous local martingale $M$,
$$
\left[\int H\,dM\right]_t=\int_0^tH_s^2\,d[M]_s.
$$