⊭
Not True Symbol (⊭)
Copy the Not True symbol ⊭ to your clipboard, and see its Unicode code point, HTML entity, LaTeX command and how to type it on any device.
What does ⊭ mean?
⊭ (Not True, U+22AD) belongs to the Unicode Mathematical Operators block. It is the negated form of ⊨ (double turnstile): a slash through a relation symbol means the relation does not hold.
Codes and properties
| Character | ⊭ |
|---|---|
| Unicode name | NOT TRUE |
| Code point | U+22AD |
| Decimal | 8877 |
| Unicode block | Mathematical Operators |
| HTML entity | ⊭ · ⊭ |
| CSS | \22AD |
| JavaScript / JSON | \u22AD |
| Python | \u22AD or \N{NOT TRUE} |
| UTF-8 bytes | E2 8A AD |
| LaTeX | \nvDash |
| Decomposition | ⊨ (U+22A8) + ̸ (U+0338) |
How to type ⊭
- Copy & paste: press the Copy button above, then paste ⊭ anywhere — Word, Google Docs, email, chat or code.
- Windows (Word, WordPad, Outlook): type
22ADthen press Alt+X. In any app, Win+. opens the symbol panel. - Mac: switch to the Unicode Hex Input keyboard, hold Option and type
22AD; or press Ctrl+Cmd+Space and search “not true”. - Linux (GTK/IBus): press Ctrl+Shift+U, type
22ad, then Space. - HTML:
⊭renders as ⊭. - LaTeX:
\nvDashin math mode (amssymb package for some symbols).
Frequently asked questions
How do I type ⊭ on Windows?
In Microsoft Word type 22AD and press Alt+X. In any app press Win+. to open the symbol panel, or copy ⊭ from this page.
What is the HTML code for ⊭?
Use ⊭ (hex) or ⊭ (decimal).
What is the LaTeX command for ⊭?
Use \nvDash in math mode.