exists

exists is a synonym for ∃.