# Is there a better method of double negating than nesting an \overline within another \overline?

I am creating a flash card for Double Complement Law. My code gets me the desired effect. I am still curious to know if this is the most efficient method of accomplishing this.

[$](\overline {\overline{x}})=x[/$]
-
I would say so, since it is a generic way of writing the complement of some symbol. An alternative would be to define a new command that writes the double complement, but I don't find that "better" or "more efficient". –  Werner Oct 23 '11 at 6:55