Definition:Inverse Cotangent/Arccotangent