 Brownian reflection principle

Reflecting a Brownian path after its first hit of a level $b>0$ preserves Wiener measure and maps an endpoint $x\le b$ to $2b-x\ge b$.