Symbol: is_Ht