Symbol: newterm