&backsimeq