Symbol: logterm