Hacker News Reader

India != Indonesia

but India == Asia & Pacific.

India ⊂ Asia & Pacific

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) }

India ∪ China ≈ Asia & Pacific n → ∞