The differential operator d/dx binds variables (2012)(jdh.hamkins.org)

https://jdh.hamkins.org/the-differential-operator-ddx-binds-variables/