Symbol: in_group_p