Rotational invariance of planar Brownian motion (source code)

= Rotational invariance of planar Brownian motion

Applying any fixed orthogonal transformation to planar Brownian motion produces another planar Brownian motion. In particular, rotationally invariant initial data produce rotationally invariant hitting distributions.