We define to be the exponential function; in view of (i), (ii) and (iii), this matches with the standard notation for powers (exponents). Hence we have
Confusingly, is sometimes called a negative exponential function; ‘negative’ refers to the coefficient of and not to the sign of the function.