symbolof — Returns the symbol of the term t.
symbol symbolof (
)
symbolof (`hrombuch (18, false)) -> `hrombuch