Maths for ML / Notation

∀\forall

for all

LogicBeginner

Say it “for all / for every”

The statement holds for every value.

Example

∀i: yi∈{0,1}\forall i:\ y_i \in \{0,1\}

Every label is 0 or 1.

In code

all(cond(i) for i in I)

Where you’ll see it in ML

Stating assumptions and constraints.

Don’t confuse it with

← All 94 symbols