← Back to context Comment by drdeca 11 hours ago If that’s it, why is it using ∋ rather than ∈? I would expect “Ǝx∈ℕ”. 1 comment drdeca Reply MarkusQ 4 hours ago Oh, doh! I'd missed that.Yeah, that's...an unusual choice.
Oh, doh! I'd missed that.
Yeah, that's...an unusual choice.