A negated double vertical line relation symbol indicating strict non-equivalence between elements in advanced set theory.
TeXipedia
A negated double vertical line relation symbol indicating strict non-equivalence between elements in advanced set theory.