> Ǝx∋ℕ
"There is an x such that the set of natural numbers is a member of x"?
Yeah, my bad. My eyes autocorrected it.
Yeah, my bad. My eyes autocorrected it.