Square root (source code)

= Square root
{title2=$\sqrt{x}$}
{wiki}

A square root of an element $x$ is an element $y$ such that $y^2=x$. The notation $\sqrt{x}$ denotes the nonnegative square root when $x$ is a <real number>[nonnegative real number].