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.