Horseshoe (symbol)

This article is about the mathematical logic and sets symbol "⊃". For the set symbol "⊂", see subset. For symbology of iron horseshoes, see horseshoe. For other uses, see horseshoe (disambiguation).

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

• Material conditional in propositional logic
• Superset in set theory

It was used by Whitehead and Russell in Principia Mathematica. In Unicode the symbol is encoded U+2283 ⊃ SUPERSET OF (⊃, ⊃, ⊃).

See also

• List of mathematical symbols
• List of logic symbols
• ⊂
• ʊ
• Ω