Name

symbolof — Returns the symbol of the term t.

Synopsis

symbol symbolof ( term  TERM );

Parameters

term TERM

Return

symbol

Usage

  symbolof (`hrombuch (18, false)) -> `hrombuch