"port citation John Bell, An Invitation to Smooth Infinitesimal Analysis.where f ??? (x) is the derivative of f(x) and A is a quantity whose value depends on both x and ??x." . . . .