TeX forrásszöveg:
A \supseteq B