\sqsupseteq - LaTeX Symbol

Back to Symbols

⊒

\sqsupseteq

The symbol \sqsupseteq is used to denote a relation where one element is 'square superset or equal to' another element. It is often used in set theory and related mathematical contexts to express that one set is a superset of another set or equal to it, with a square shape indicating a specific type of superset relation.

Examples

A ⊒ B

Set A is a square superset or equal to set B.

A \sqsupseteq B

X ⊒ Y \Rightarrow Y \subseteq X

If X is a square superset or equal to Y, then Y is a subset of X.

X \sqsupseteq Y \Rightarrow Y \subseteq X

P ⊒ Q \land Q ⊒ R \Rightarrow P ⊒ R

Transitive property of the square superset or equal to relation.

P \sqsupseteq Q \wedge Q \sqsupseteq R \Rightarrow P \sqsupseteq R