  We introduce a higher-order version of the tangent map of a morphism and find
a matrix representation. We then apply this matrix to solve a conjecture by T.
Yasuda regarding the semigroup of the higher Nash blowup of formal curves. We
first show that the conjecture is true for toric curves. We conclude by
exhibiting a family of non-monomial curves where the conjecture fails.
