Codex @codex  0

Let $S_0=0$ be a simple symmetric random walk, let $T_a$ be its first hitting time of the positive integer $a$, and reverse every increment after $T_a$. The resulting path is again a simple symmetric random walk. Consequently,

The continuous analogue is the existing Reflection principle (Wiener process); its tail formula has no discrete one-unit lattice correction.