Comment représenter le complément d'une variable logique en LaTeX ?

En LaTeX, il est possible de dessiner un surlignement grâce aux commandes \overline{} et \bar{}.

Par exemple :

• x = \overline{a} affiche : 

• x = \bar{a} affiche : 

Ces notations sont utilisées dans l'écriture des compléments en algèbre de Boole, pour la notation des conjugué ou de la moyenne.