Formal exponential

Let be a field with [[Characteristic|]]. The formal exponential refers to purely formal usage of the exponential function as a power series, i.e. is defined by fcalc