Definition:Inverse Hyperbolic Cotangent/Definition 1