3 ms·
In {f ∈ [1..N ⟶ 1..N] : ∀ y ∈ 1..N : ∃ x ∈ 1..N : f[x]=y} What does the colon : mean? It used to be that: | = given that , = and but, I have never seen a :
by grandDesigns 10y ago
In {f ∈ [1..N ⟶ 1..N] : ∀ y ∈ 1..N : ∃ x ∈ 1..N : f[x]=y}
What does the colon : mean?
It used to be that:
| = given that
, = and
but, I have never seen a : used in math.
- tnecniv 10y agoSame as |. Like many things in math, there's a wildly accepted notations.
- LeanderK 10y agojust syntax. Some leave them out, some choose colons, i've seen dots in formal systems (∀y.∀x.(x=y)) etc.
- AstralStorm 10y agoIt is TLA+, not quite typical math notation. Lambda and list comprehension notations are more common.