TeX source:
\cup