TeXipedia

sqsupseteq

Represents a square superset or equal to relationship between sets, indicating one set contains or equals another with a square-style notation.

Overview

Commonly used in set theory and mathematical logic to denote a superset relationship with a distinct square-shaped symbol that provides a visual alternative to the standard curved superset notation.

  • Particularly useful in formal mathematical proofs and set theory demonstrations
  • Often appears alongside other square-style relation symbols for visual consistency
  • Frequently used in academic papers and textbooks when discussing set relationships
  • Provides a more angular aesthetic compared to the rounded superset symbol

Examples

Expressing that set A is a superset of or equal to set B using the square superset symbol.

A⊒BA \sqsupseteq B 
A \sqsupseteq B

Showing a sequence of nested set relationships with square superset.

R⊒Q⊒Z\mathbb{R} \sqsupseteq \mathbb{Q} \sqsupseteq \mathbb{Z} 
\mathbb{R} \sqsupseteq \mathbb{Q} \sqsupseteq \mathbb{Z}

Demonstrating set containment with specific finite sets.

{1,2,3,4}⊒{2,4}\{1,2,3,4\} \sqsupseteq \{2,4\} 
\{1,2,3,4\} \sqsupseteq \{2,4\}