The differential operator d/dx binds variables (2012) · HackerTrans