 Reflected Brownian motion

One-dimensional reflected Brownian motion on $[0,\infty )$ has the same law as $|B_t|$. The Tanaka formula represents it as a Brownian motion plus a nondecreasing local time of a semimartingale that grows only at zero.