Horseshoe (symbol)Horseshoe is a symbol used to represent: Material conditional in propositional logic Superset in set theoryIt was used by Whitehead and Russell in Principia Mathematica. In Unicode the symbol is encoded.