Quantifier/Examples/Uniqueness of Additive Identity

Example of Use of Quantifiers

 * $\forall x: \exists ! y: x + y = 0$

means:


 * For every $x$ there exists a unique $y$ such that $x + y = 0$.