Horseshoe (symbol)

Horseshoe^[1] (⊃, \supset in TeX) is a symbol used to represent:

• Material conditional in propositional logic
• Superset in set theory

It was used by Russell and Whitehead in Principia Mathematica. In Unicode the symbol is encoded U+2283 ⊃ superset of (HTML ⊃ · ⊃).

See also

• List of mathematical symbols
• List of logic symbols

References