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