Go backward to Bound Variables Go up to Top Go forward to Abbreviations |
Do not just write
if you wish to say, e.g.
x + y = y + x
i.e.,
x + y = y + x, for every x and y,
forall x, y: x + y = y + x.
Bind variables by quantifiers to avoid misinterpretations.