ForAll
\[ForAll]
Alias: fa. Zusammengesetzter Operator. wird vorgabemäßig als ForAll[x, y] interpretiert. Siehe Das Mathematica Buch: 3.10.4. Siehe auch: \[Exists], \[Not].