Symbol: DEFITYPE