 Brownian reflection coupling

To couple Brownian motions starting at points exchanged by reflection in a hyperplane, reflect one path until the first path hits that hyperplane and then make the paths agree. Reflection invariance and the strong Markov property give the correct marginal laws.