 Square of a number

The square of a number $a$ is the product $a\cdot a$. For a real number, it is nonnegative. The sum of squares of real coordinates is the squared Euclidean norm of the corresponding vector.