Brownian reflection principle (source code)

= 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$.