Let X(t) be a continuous semimartingale.
Then for any a ∈ IR there exists a continuous non-decreasing adapted
process La(t), called the local time at a of X, such that
|X(t) − a| = |X(0) − a| + integral o to a sign(X(s) − a)dX(s)+ La(t).

See more on books by Chung Kai-Lai.