Symbol: hinic3_eq_type