Formal differential variables and an abstract chain rule

Samuel Allen Alexander

One shortcoming of the chain rule is that it does not iterate: it gives the derivative of f(g(x)), but not (directly) the second or higher-order derivatives. We present iterated di…