Question: what is the difference between universal quantifier and existential quantifier?
Answer: symbol for "such that". The universal quantifier, meaning "for all", "for every", "for each", etc. The existential quantifier, meaning "for some", "there exists", "there is one", etc. A statement of the form: x, if P(x) then Q(x).