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