Reflection principle (Wiener process)
= Reflection principle (Wiener process)
{wiki}
= Brownian reflection principle
{c}
{synonym}
Reflecting a Brownian path after its first hit of a level $b>0$ preserves Wiener measure and maps an endpoint $x\leq b$ to $2b-x\geq b$.