Symbol: notype