Definition:Inverse Tangent/Real

Definition
Let $x \in \R$ be a real number.

The inverse tangent of $x$ is the multifunction defined as:
 * $\map {\tan^{-1} } x := \set {y \in \R: \map \tan y = x}$

where $\map \tan y$ is the tangent of $y$.