Horseshoe (symbol)

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