⊃

Etymology

 * Adopted in , by Alfred North Whitehead and Bertrand Russell, as an adaptation of Peano's Ɔ.

Symbol

 * 1)  Contains as a proper subset.
 * 2)  Contains as a subset
 * 3)  material implication; "implies", "if … then"