Assertion: real number's part | /r/HasProperty | defined via difference
Facets:
value: from ⌊ ⌋
type: OTHER
Source sentences:
text: The fractional part defined via difference from ⌊ ⌋ is usually denoted by curly braces: