To make talking about variables easier, we use two more symbols.

The first symbol is ∃. ∃means 'there exists'.

∃x. Happy(x) means that we can find something to make x that would make Happy(x) true.