Definition:Relative Complement/Technical Note

Technical Note on Relative Complement
This is a custom construct which has been set up specifically for the convenience of the users of.

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: