Tangent of Angle plus Right Angle

Theorem

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

Also see

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