Hackernews actually throws out many Unicode characters, such as emoji. But it renders the ones I used, in order U+2283 SUPERSET OF, U+222A UNION, U+2229 INTERSECTION, and U+2208 ELEMENT OF.