Acknowledging the people who wrote your TeX macros is so wholesome, more people should do it!
Gotta say, very much a "do as I say, not as I do", 'cuz I use a *lot* of TeX packages, and I've never acknowledged their authors. Gonna give it a shot in the future! :)
This is from "Lambda terms for natural deduction, sequent calculus and cut elimination" by Henk Barendregt and Silvia Ghilezan [https://doi.org/10.1017/S0956796899003524]