A negated relation symbol showing non-parallel or non-divides relationships in number theory and abstract algebra.
