Go backward to AbbreviationsGo up to TopGo forward to Examples |

**forall**`x`:`A`_{x}=>`B`**forall**`A`_{x}:`B`**exists**`x`:`A`_{x}/\`B`**exists**`A`_{x}:`B`.

*Example:*

**forall**`x`:**exists**0 <=`y`<=`x`: |`x`- 2*`y`| <= 1**forall**`x`: (**exists**`y`: (0 <=`y`) /\ (`y`<=`x`) /\ (|`x`- 2*`y`| <= 1))

*Bound variable has to be deduced from the context.*

Author: Wolfgang Schreiner

Last Modification: October 6, 1999