Hi,
how can I produce long negation lines in latex.
It should look like on the left of the following equations

I used \[ \bar{(A \land B)} \] but that just added a bar over the \land
Thank you for your help
Hi,
how can I produce long negation lines in latex.
It should look like on the left of the following equations

I used \[ \bar{(A \land B)} \] but that just added a bar over the \land
Thank you for your help