Proper Superset Symbol

Meaningful description here.