Definition:Complex Logarithm