The differential operator d/dx binds variables (2012) #1 Post by aragonite » Tue, Jun 09, 2026, 2:03 AM UTC The differential operator d/dx binds variables (2012)jdh.hamkins.org