Total derivative operator (source code)

= Total derivative operator
{title2=$D_x$}

On jet coordinates,
$$
D_x=\partial_x+u'\partial_u+u''\partial_{u'}+\cdots.
$$
It differentiates a differential function along prolonged solution graphs.