Menu
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
567
To put a bar over a letter, we can use either \bar or \overline . It seems that \bar is to \overline what \tilde is to \widetilde . There don't seem to be \overtilde or \widebar . Over a symbol with a subscript or superscript index, one can imagine four ways of putting a bar or tilde over it.
The symbol is defined in math mode as \neg . As a character, it's “¬” U+00AC NOT SIGN, and it's the standard symbol for negation in logic and mathematics (most recently, as per the ISO 80000-2 standard, which does not even mention other notations for it).
Example 02: Using \textbar Command For example, the “\textbar” tag can also do the same as the “\vert” tag did before. The use of the “text bar” tag is shown in the below Latex file. Execute the Latex file and open it in DVI. The output for this command shows the vertical lines.
In LaTeX text mode, the vertical bar produces an em dash (—). The \textbar command can be used to produce a vertical bar.
I believe you want \overline.
\[ \overline{(A \land B)} \] If you love us? You can donate to us via Paypal or buy me a coffee so we can maintain and grow! Thank you!
Donate Us With
