Source TeX:
\supset