Assertion: unreadable symbol | /r/HasProperty | useful
Facets:
value: to avoid collisions
type: PURPOSE
value: in compilation
type: TEMPORAL
value: in expansion
type: TEMPORAL
Source sentences:
text: Unreadable symbols are useful in expansion and compilation to avoid collisions with symbols that appear in the source; they are usually not generated directly, but they can appear in the result of functions like identifier-binding.