A relational symbol depicting a small downward-curved arc, commonly used to denote negative or opposing relationships in mathematical logic.

A relational symbol depicting a small downward-curved arc, commonly used to denote negative or opposing relationships in mathematical logic.