> Ǝx∋ℕ

"There is an x such that the set of natural numbers is a member of x"?