Assertion: equality | /r/HasProperty | interpreted as symbol shorthand definitions
Facets:
Source sentences:
text: The first two equalities can be interpreted as symbol shorthand definitions.