Tangent of Angle plus Right Angle

Theorem

 * $\tan \left({x + \dfrac \pi 2}\right) = -\cot x$

Also see

 * Cotangent of Angle plus Right Angle