← Back to context

Comment by MarkusQ

3 hours ago

This isn't quite what's going on. A better reading might be "which is a";

"Ǝx s.t. x∈ℕ" (there exists an x such that x is in the naturals) is just being shortened to "Ǝx∋ℕ" (there exists an x in the naturals), or there exists an x which is in the naturals.

It's not really that different from the normal usage.

2 comments

MarkusQ

Reply
drdeca  3 hours ago

If that’s it, why is it using ∋ rather than ∈? I would expect “Ǝx∈ℕ”.