[raincom]

The existential quantifier(∃) and the unique existential quantifier (∃!) of Predicate logic correspond to "a" and "the".