Cotangent of Angle plus Right Angle

Theorem

 * $\map \cot {x + \dfrac \pi 2} = -\tan x$

Also see

 * Sine of Angle plus Right Angle
 * Cosine of Angle plus Right Angle
 * Tangent of Angle plus Right Angle
 * Secant of Angle plus Right Angle
 * Cosecant of Angle plus Right Angle