If I was a little smarter I would have typed the symbol.

( Neptune A dole queue dosser and foul mouthed chav., Thu 10 Jan 2008, 22:12, archived)

I'm not sure there's an HTML symbol for proper subset.
Gracy ⊂ sauce.
(MooCow_Byter, Thu 10 Jan 2008, 22:16, archived)