Definition:Complex Arctangent