# Is “$\not\exists$” (“does not exist”) a logic quantifier?

Is "$$\not\exists$$" a logic quantifier? We use it in Math and we are asked to say if it's logic quantifier or not.

(You may not see it properly, but it's the standard existential quantifier "$$\exists$$" with diagonal from right upper corner to left bottom corner. It should mean that "it does not exist".)

• It is very commonly used as a quantifier. It is a shorthand notation for $\neg \exists$ – B.Swan Oct 7 '19 at 18:39

$$\not\exists a:p(a)\equiv\forall a:\lnot p(a).$$
• @naruto25: yep. And there is no $\forall\not !$. – Yves Daoust Oct 7 '19 at 18:47