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$.