Quantifier/Examples/Square of Sum

Example of Use of Universal Quantifier

 * $\forall x: x \in \R \implies \paren {x + 2}^2 = x^2 + 4 x + 4$

means:


 * Every real number $x$ satisfies the equation $\paren {x + 2}^2 = x^2 + 4 x + 4$.