Assertion: symbol | /r/HasProperty | created notation
Facets:
Source sentences:
text: Symbols, which are not interned in a package, can also be created and have a notation: