Binary: texdef

Debian packages that has this binary:

Package: texlive-extra-utils

/usr/bin/texdef