Definition:Complex General Logarithm