Copy, type, and use

Negation Symbol ¬

¬ is U+00AC NOT SIGN. In propositional logic it negates the proposition that follows.

Character
¬
Unicode
U+00AC

Negation Symbol Copy and Paste

Press the Copy button beside ¬, then paste it with Ctrl+V on Windows, Command+V on Mac, or the Paste command on mobile.

Explore symbol of emoji on the homepage to find more Unicode symbols and collections.

Copy the negation symbol One click copies the exact Unicode character.
  1. 1
    Copy

    Press the button to copy ¬.

  2. 2
    Place the cursor

    Open the message, document, form, or profile where you need it.

  3. 3
    Paste

    Use Ctrl+V, Command+V, or the mobile Paste command.

Propositional logicTruth tablesBoolean expressionsFormal proofs

What Is the Negation Symbol?

¬ is U+00AC NOT SIGN. In propositional logic it negates the proposition that follows.

Propositional logic

Truth tables

Boolean expressions

Formal proofs

Related forms

Negation Symbol Variants and Related Forms

Tilde

Alternative negation in some systems

Exclamation mark

Programming NOT in many languages

Minus sign

Arithmetic negative operator

Logical OR Symbol ∨

∨ is U+2228 LOGICAL OR. In propositional logic, P ∨ Q is…

Xor Symbol ⊕

⊕ is U+2295 CIRCLED PLUS. In Boolean algebra and digital logic it…

If and Only If Symbol ⇔

⇔ is U+21D4 LEFT RIGHT DOUBLE ARROW. In mathematical logic it is…

There Exists Symbol ∃

∃ is U+2203 THERE EXISTS. It is the existential quantifier and states…

Not Equivalent Symbol ≢

≢ is U+2262 NOT IDENTICAL TO. It negates an identity or equivalence…

How to Type the Negation Symbol

Choose your device or app to insert the negation symbol without copying it from another page.

Negation Symbol on Windows

In Microsoft Word, type 00AC and press Alt+X. In other Windows apps, use Character Map or copy ¬ from this page.

Negation Symbol on Mac

Open Character Viewer with Control+Command+Space and search for the first character name, or copy ¬ from this page.

Negation Symbol on iPhone and iPad

Tap the copy button for ¬, then paste it into the target app. Save it as a text replacement for repeated use.

Negation Symbol on Android

Tap the copy button for ¬, then paste it into the target app. Save it as a text replacement for repeated use.

Negation Symbol on Chromebook

On ChromeOS with Unicode input enabled, press Ctrl+Shift+U, type ac, then press Enter; otherwise copy ¬.

Negation Symbol on Microsoft Word

Type 00AC, then press Alt+X to convert the code to ¬.

Negation Symbol on Google Docs

Use Insert > Special characters and search by the Unicode name, or paste ¬ from this page.

Negation Symbol Unicode and HTML Codes

Use these values when you need the negation symbol in HTML, CSS, source code, or a character reference.

Unicode U+00AC
Unicode name NOT SIGN
HTML decimal ¬
HTML hex ¬
CSS escape AC

How to Use and Format the Negation Symbol

Format ¬ according to the specific role defined for Negation Symbol. ¬ is U+00AC NOT SIGN. In propositional logic it negates the proposition that follows. The encoded form is U+00AC; preserve the full sequence, capitalization, combining marks, subscripts, superscripts, unit letters, and operators exactly as shown. For negation symbol, placement and spacing should follow the mathematical, scientific, currency, editorial, musical, or interface convention described on this page.

This page covers the prefix logical-not operator ¬. A tilde ~, exclamation mark !, and overbar may also mean negation in particular systems but are not interchangeable without definition. When negation symbol communicates an action, quantity, relation, category, warning, or status, include nearby readable wording and an accessible name. Test negation symbol in the actual website, document, font, export format, and assistive-technology workflow rather than accepting a merely similar glyph.

  • Place ¬ immediately before the proposition it negates

  • Use parentheses for compound propositions

  • Define alternative negation syntax

  • Distinguish logical negation from numeric negative signs

  • Preserve the exact encoded form U+00AC when publishing negation symbol.

  • Use UTF-8 text or complete numeric references for ¬ rather than a visual lookalike.

  • Test negation symbol rendering, copying, search, and accessibility in the final application.

Negation Symbol Examples

  • ¬P
  • ¬(P ∨ Q)
  • P ∧ ¬Q
  • Truth value of ¬P
  • Accessible reading: not P
  • Unicode sequence for Negation Symbol: U+00AC
  • HTML decimal: ¬
  • HTML hexadecimal: ¬
  • CSS escapes: AC
  • Accessible text label: Negation Symbol

Common Negation Symbol Mistakes

  • Applying ¬ to only part of an expression unintentionally
  • Using − as logical NOT
  • Dropping needed parentheses
  • Mixing ¬ and ! without explaining the notation
  • Replacing negation symbol with a lookalike without checking U+00AC.
  • Assuming ¬ has identical metrics or artwork in every font and platform.
  • Converting ¬ to an image when selectable text is more appropriate.
  • Using ¬ as the only accessible name of an interactive control.

Intent differentiation

Negation Symbol intent boundary

This page covers the prefix logical-not operator ¬. A tilde ~, exclamation mark !, and overbar may also mean negation in particular systems but are not interchangeable without definition.

More About the Negation Symbol

¬ is U+00AC NOT SIGN. In propositional logic it negates the proposition that follows. For Negation Symbol, ¬ is encoded as U+00AC, and its Unicode name is NOT SIGN. Negation Symbol is most useful for Propositional logic, Truth tables, Boolean expressions, Formal proofs. Keep ¬ as selectable text whenever an image is unnecessary. Typical Negation Symbol examples are ¬P; ¬(P ∨ Q); P ∧ ¬Q; Truth value of ¬P. Negation Symbol may look different with fonts or emoji artwork, while the encoded value remains the same. Avoid these common Negation Symbol problems: Applying ¬ to only part of an expression unintentionally; Using − as logical NOT; Dropping needed parentheses. For reliable Negation Symbol formatting, Place ¬ immediately before the proposition it negates; Use parentheses for compound propositions; Define alternative negation syntax. Negation Symbol on Windows: In Microsoft Word, type 00AC and press Alt+X. In other Windows apps, use Character Map or copy ¬ from this page. Negation Symbol on Mac: Open Character Viewer with Control+Command+Space and search for the first character name, or copy ¬ from this page. Negation Symbol on iPhone: Tap the copy button for ¬, then paste it into the target app. Save it as a text replacement for repeated use. For Negation Symbol copy and paste use, select ¬, copy it as text, paste it into the destination, and confirm that the result still matches the intended character.

Continue exploring: Logical OR Symbol ∨ , Xor Symbol ⊕ , If and Only If Symbol ⇔ and There Exists Symbol ∃ . You can also browse all symbols.

Related Symbols

Logical OR Symbol ∨ View symbol → Xor Symbol ⊕ View symbol → If and Only If Symbol ⇔ View symbol → There Exists Symbol ∃ View symbol → Not Equivalent Symbol ≢ View symbol → Because Symbol ∵ View symbol → Degree Symbol (°) View symbol → Heart Symbol (♥) View symbol → Trademark Symbol (™) View symbol → Square Root Symbol (√) View symbol → Infinity Symbol (∞) View symbol → Star Symbol (★) View symbol → Pound Symbol (£) View symbol → Star and Crescent Symbol ☪ View symbol → Euro Symbol (€) View symbol → Copyright Symbol (©) View symbol →

Negation Symbol FAQ

What is the Unicode sequence for Negation Symbol?

The encoded sequence is U+00AC; the Unicode names are NOT SIGN.

How do I copy Negation Symbol?

Use the Copy button for ¬, then paste the complete text sequence into the destination application.

Can I use ¬ in HTML?

Yes. Use literal UTF-8, decimal references ¬, or hexadecimal references ¬.

Why can ¬ look different?

Fonts and emoji platforms use different shapes, spacing, and artwork while preserving the same encoded characters.

Is ¬ interchangeable with similar symbols?

No. Use the intended code point or sequence and verify the semantic role described on this page.