Acknowledging the people who wrote your TeX macros is so wholesome, more people should do it!
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]
