Hacker News new | ask | show | jobs
by JohnKemeny 138 days ago
Should be \subset.