Here is your desired excerpt from our glossary
Square root : The square root of $x$ denoted by $\sqrt{x}$ is the positive number such that $(\sqrt{x})^2=\sqrt{x}\cdot \sqrt{x}=x.$ For example $\sqrt{9}=3.$