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