varsupsetneqq
Denotes a strict superset relationship with an additional negation and variant styling, commonly used in set theory and mathematical logic.
Overview
Serves as a specialized mathematical relation symbol that combines the concepts of proper superset and inequality in a stylistically distinct form.
- Particularly useful in advanced set theory proofs where precise relationship distinctions are crucial.
- Often employed when standard superset notation needs visual differentiation.
- Commonly appears alongside other set-theoretical symbols in formal mathematical writing.
- Preferred in contexts where the variant form adds clarity or emphasis to mathematical arguments.
Examples
Comparing two infinite sets where one is a proper superset of another.
\mathbb{R} \varsupsetneqq \mathbb{Q}Demonstrating strict set containment in power sets.
\mathcal{P}(A) \varsupsetneqq \{\emptyset, A\}Showing proper superset relationship between number systems.
\mathbb{C} \varsupsetneqq \mathbb{R} \varsupsetneqq \mathbb{Q} \varsupsetneqq \mathbb{Z}