Local time of a semimartingale (source code)

= Local time of a semimartingale
{title2=$L_t^a(X)$}
{wiki=Local_time_(mathematics)}

Local time measures how intensely a semimartingale visits a level. For a continuous semimartingale it appears as the increasing correction term in the <Tanaka formula>.