overleaf - Long Negation Bar en LaTeX

latex online editor

Question

¿Cómo puedo producir líneas largas de negación en látex? Debería verse a la izquierda de las siguientes ecuaciones.

Usé /[ /bar{(A /land B)} /] pero eso acaba de agregar una barra sobre /land

Gracias por tu ayuda

Answer 1

Creo que quieres /overline .

/[ /overline{(A /land B)} /]