Definition:Principal Branch of Complex Natural Logarithm