Horseshoe (symbol) From Wikipedia, the free encyclopedia Mathematical 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 Whitehead and Russell in Principia Mathematica. In Unicode the symbol is encoded U+2283 ⊃ SUPERSET OF (⊃, ⊃, ⊃). List of mathematical symbols List of logic symbols ⊂ ʊ Ω References ↑ Whitehead, A.N., and Russell, Bertrand, Principia Mathematica vteCommon logical symbols ∧ or & and ∨ or ¬ or ~ not → implies ⊃ implies,superset ↔ or ≡ iff | nand ∀ universalquantification ∃ existentialquantification ⊤ true,tautology ⊥ false,contradiction ⊢ entails,proves ⊨ entails,therefore ∴ therefore ∵ because Philosophy portal Mathematics portal Related Articles
