nsupseteqq

Denotes a negated double-line superset-or-equal-to relationship between mathematical sets.

Overview

Serves as a specialized mathematical notation primarily used in set theory and advanced mathematical proofs to indicate when one set is not a superset of or equal to another set.

Common in formal mathematical writing and theoretical computer science
Used when proving set relationships or contradictions
Particularly useful in advanced set theory proofs where precise negation of relationships is required
Often appears alongside other set comparison symbols in complex mathematical expressions

Examples

Negating a superset-or-equal relationship between sets A and B.

A \nsupseteqq B \implies \exists x \in B : x \notin A

A \nsupseteqq B \implies \exists x \in B : x \notin A

Expressing that the real numbers are not a superset of the complex numbers.

\mathbb{R} \nsupseteqq \mathbb{C}

\mathbb{R} \nsupseteqq \mathbb{C}

Showing non-containment in a sequence space comparison.

\ell^1 \nsupseteqq \ell^2

\ell^1 \nsupseteqq \ell^2