Symbol: termtype