Definition:Relative Complement/Technical Note

From ProofWiki
Jump to navigation Jump to search

Technical Note on Relative Complement

The $\LaTeX$ code for \(\relcomp {S} {T}\) is \relcomp {S} {T} .

This is a custom construct which has been set up specifically for the convenience of the users of $\mathsf{Pr} \infty \mathsf{fWiki}$.

Note that there are two arguments to this operator: the subscript, and the part between the brackets.

If either part is a single symbol, then the braces can be omitted, for example:

\relcomp S T