∀x∈notation: instant(x)\forall x \in \text{notation}:\ \text{instant}(x)

Notation

See the symbol, know the meaning.