Symbol: exprterm