# \lnot

The ¬ symbol (Not sign, U+00AC), written as \lnot in LaTeX math mode.

https://texform.dev/latex/symbols/lnot

## Metadata

| Field | Value |
| --- | --- |
| Topic | [Binary operators](https://texform.dev/latex/topics/binary-operators) |
| Packages | base |
| Allowed mode | math |
| Glyph | ¬ |
| Unicode | U+00AC NOT SIGN |
| Delimiter | No |

## Syntax

```latex
\lnot
```

Takes no arguments.

## Usage frequency

<0.01% of formulas in the measured corpus contain this entry, rank 238 of 474 entries with frequency data.

## In TeXForm

TeXForm parses this entry as a character leaf mapped to U+00AC (NOT SIGN).

### [base/lnot-to-neg](https://texform.dev/rules/base/lnot-to-neg)

Collapse lnot to the standard neg character.

Level: authoring. Fidelity: render.

```latex
\lnot
```

→

```latex
\neg
```

```latex
A \lnot B
```

→

```latex
A \neg B
```

## See also

- [\\AA](https://texform.dev/latex/symbols/AA)
- [\\aleph](https://texform.dev/latex/symbols/aleph)
- [\\angle](https://texform.dev/latex/symbols/angle)
- [\\backslash](https://texform.dev/latex/symbols/backslash)
- [\\bot](https://texform.dev/latex/symbols/bot)
- [\\clubsuit](https://texform.dev/latex/symbols/clubsuit)
- [\\diamondsuit](https://texform.dev/latex/symbols/diamondsuit)
- [\\ell](https://texform.dev/latex/symbols/ell)
- [\\emptyset](https://texform.dev/latex/symbols/emptyset)
- [\\exists](https://texform.dev/latex/symbols/exists)
- [\\flat](https://texform.dev/latex/symbols/flat)
- [\\forall](https://texform.dev/latex/symbols/forall)