Assertion: symbol | /r/ObjectUse | used as token
Facets:
value: in a formal system
type: OTHER
value: in formal operations
type: TEMPORAL
Source sentences:
text: In a formal system a symbol may be used as a token in formal operations.