Definitions of the exponential function