XDLXDL
Limit definition of the derivative · XDL