Symbol: dfntype