A relational symbol representing a negated similarity or non-equivalence relationship in abstract algebra and set theory.
TeXipedia
A relational symbol representing a negated similarity or non-equivalence relationship in abstract algebra and set theory.