Take the 2-minute tour ×
TeX - LaTeX Stack Exchange is a question and answer site for users of TeX, LaTeX, ConTeXt, and related typesetting systems. It's 100% free, no registration required.

What symbol should I use for a set complement? It seems that the \complement isn't quite appropriate: it seems taller (perhaps a unary operator to appear before a set?). I guess for now \mathsf{c} works.

share|improve this question
The amsfonts symbol \complement is often used, but there's no general consensus about an "official" symbol. I've seen it denoted in several different ways (personally, I don't like \complement). –  egreg Apr 17 '11 at 7:56
Have a look at “How to look up a math symbol?” for ideas how you can easily find a particular symbol. –  Martin Scharrer Apr 17 '11 at 7:58
Since the notion of a complement requires a containing set, if that set has a name, say X, then you can simply write $X\setminus A$ where A is the set for which you want the complement. –  TH. Apr 17 '11 at 8:06
Yes, I've looked at dextify, thanks! –  gatoatigrado Apr 17 '11 at 8:13
add comment

1 Answer

up vote 14 down vote accepted

As the commenters have said, there isn't a strong consensus on this one. Here are a few conventions I know about:


    \stcomp{(A \cup B)} = \stcomp{A} \cap \stcomp{B}


\newcommand{\stcomp}[1]{{#1}^\complement}  \eqn
\renewcommand{\stcomp}[1]{\overline{#1}}           \eqn
\renewcommand{\stcomp}[1]{{#1'}}           \eqn
\renewcommand{\stcomp}[1]{\widetilde{#1}}           \eqn
\renewcommand{\stcomp}[1]{{#1}^{\sim}}           \eqn
\renewcommand{\stcomp}[1]{{#1}^{\mathsf{c}}}           \eqn
\renewcommand{\stcomp}[1]{X\setminus{#1}}           \eqn


sample code

Of all of these I've used ^\complement the most, and the overbar is the one I've seen the most. I have to say I really like your ^\mathsf{c} implementation.

share|improve this answer
My textbooks use the minus sign, so that $X - A$ picks out the set of members of X that aren't in A. Is the minus sign commonly used for something else? –  twofeet Feb 18 '13 at 21:04
If X is an abelian monoid (i.e., has a subtraction operation) then X-A could be the set of all elements of X which can be expressed as difference of elements of X and A. But I can't say that's a very popular usage. I would be reluctant to use the minus sign when \setminus is available. –  Matthew Leingang Feb 20 '13 at 20:40
add comment

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.