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

Question

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[/$]

Answer 1

Simply define:

\newcommand{\doubleol}[1]{\overline{\overline{#1}}}

and use \doubleol{x} instead \overline {\overline{x}} otherwise if you need to have this kind of thing a lot in your document, you find that you waste too much time on typying and obviously sometimes it may produce error (e.g. you forgot to put one } or instead }, you put ])