Assertion: real number's value | /r/HasProperty | denoted
Facets:
Source sentences:
text: where x and y are real numbers, the absolute value or modulus of z is denoted |z| and is defined by