Bound versus Free Variables

• OpenMath makes bound variables explicit

  • ? ... dx versus ? ... dy

• Can say both ? sin(x) dx and ? sin

• Many binders:

  • integrals, derivatives
  • for all, there exists
  • lambda

Previous slide

Next slide

Back to first slide

View graphic version