Hacker News Reader

nerdtalk!

Show me that using an existential quantified an I might be impressed.

∃x ∈ Nerdtalk x = "India ⊂ Asia & Pacific"

Now do it with set builder notation!

Points for trying.

∃x{ x | x ∈ Nerdtalk ∧ (x ∈ India ⊂ Asia ∧ Pacific) }