Hacker News new | ask | show | jobs
by drdeca 47 days ago
If that’s it, why is it using ∋ rather than ∈? I would expect “Ǝx∈ℕ”.
1 comments
MarkusQ 47 days ago
Oh, doh! I'd missed that.

Yeah, that's...an unusual choice.

link