Quantifier/Examples/Equation involving Square

Example of Use of Existential Quantifier

$\exists x: x \in \Z: x^2 + 2 = 11$

means:

There exists an integer $x$ which satisfies the equation $x^2 + 2 = 11$.

Sources

• 1972: A.G. Howson: A Handbook of Terms used in Algebra and Analysis ... (previous) ... (next): $\S 1$: Some mathematical language: Variables and quantifiers