Definition:Complex Inverse Tangent