An algebraic representation of the fact that there are two square roots (positive and negative) of any positive number.
