Symbol: annotype