Definition:Complex Arccotangent