where δ δ is the Dirac delta function and [ B ] is the quadratic variation. It is a notion invented by Paul Lévy. The basic idea is that L x ( t ) is an (appropriately rescaled and time-parametrized) measure of how much time B s has spent at x up to time t . More rigorously, it may be written as the almost sure limit