TeXipedia

sqsupset

Represents a square superset relation in mathematical set theory and logic, indicating one set properly contains another with a distinctive square shape.

Overview

Serves as a specialized variant of the standard superset symbol, featuring a square rather than curved shape to denote specific set relationships in advanced mathematics.

  • Common in formal logic and set theory proofs
  • Often used alongside other square relation symbols for visual consistency
  • Particularly useful in abstract algebra and topology where precise set relationships need distinct notation
  • Frequently appears in academic papers and advanced mathematical texts where standard superset notation requires variation

Examples

Expressing a strict superset relationship between sets A and B.

ABA \sqsupset B
A \sqsupset B

Comparing two mathematical structures in abstract algebra.

GH    G>HG \sqsupset H \implies |G| > |H|
G \sqsupset H \implies |G| > |H|

Denoting proper containment in a sequence of nested sets.

S1S2S3S_1 \sqsupset S_2 \sqsupset S_3
S_1 \sqsupset S_2 \sqsupset S_3