Solution (source code)

= Solution

A real <Lévy process> satisfies $X_0=0$ almost surely, has stationary independent increments, is <stochastic continuity>[stochastically continuous], and is taken in its almost surely càdlàg version.