So, in the definition of what is a square root:
Sqrt(x) are all numbers y such that y*y = x
Are there any logical mathematical symbols so that the above definition can be written using logical operators only, and no natural language? Where can I get some introductory or reference material on all such logical symbols?
I noticed, some time after asking the question that the definition of square root I am giving is wrong. The square root of
x is to defined to be the non-negative number
y that satisfies
y*y=x. But the question was about notation, not square roots, so I am leaving it as it stands due to some answers using the supplied (erroneous) definition.