Wiener process
In a stronger form, the reflection principle says that if formula_14 is a stopping time then the reflection of the Wiener process starting at formula_15, denoted formula_16, is also a Wiener process, where: