Universal Quantifier
universal (
"
)
- For all
"
x
f
-
For all x,
f
is true.
"Every block is a red block".
"If x>y and y>z then x>z."
