Brownian reflection principle
= Brownian reflection principle
{c}
{wiki=Reflection_principle_(Wiener_process)}
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$.