Go backward to Bound VariablesGo up to TopGo 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 everyxandy,

forallx,y:x+y=y+x.

*Bind variables by quantifiers to avoid misinterpretations.*

Author: Wolfgang Schreiner

Last Modification: October 6, 1999