Proper Subset Symbol

Meaningful description here.