Symbol: adostype