Assertion: real number | /r/HasProperty | a \displaystyle a
Facets:
Source sentences:
text: x > a } {\displaystyle \{x:x>a\}} for some real number a {\displaystyle a} .