Right angle (source code)

= Right angle
{wiki}

A right angle is an angle of $\pi/2$ radians; two nonzero vectors meet at a right angle exactly when their inner product is zero.