Tanaka formula (source code)

= Tanaka formula
{c}
{wiki=Itô's_lemma#Local_time}

For a continuous semimartingale $X$,
$$
|X_t|=|X_0|+\int_0^t\operatorname{sgn}(X_s)\,dX_s+L_t^0(X),
$$
where $L^0(X)$ is the <local time of a semimartingale> at zero.