Symbol: is_at_equiv