TeX forrásszöveg:

A \supset B