Symbol: is_T2