Previous Quantifiers Next

There are two quantifier operators that allow tests of all tiles in the world:

The general syntax is:

Forall variable expression
Exists variable expression

where variable is a single letter u to z and expression is any valid expression.

The expression may refer to the variable name specified. Here are examples to try on the world Four Squares:

Forall x Square(x)
Exists v Small(v)

Other Operators