Double Stroke Not Sign Symbol
⫬ is the “double stroke not” mathematical symbol used to express negation with a double stroke.
U+2AEC
The symbol ⫬ is known as the Double Stroke Not Sign. It’s primarily used in mathematical or technical writing where specific logical/negation notation is needed. You can copy it directly or insert it by its Unicode code point U+2AEC.
Double Stroke Not Sign Symbol Meaning
⫬ (Unicode U+2AEC) is called the “Double Stroke Not Sign.” Like other not/negation symbols, it represents a negation or “not” operation in a formal notation context. The “double stroke” variant distinguishes it from simpler “not” characters, which can be important in specialized equations, logic expressions, or typesetting where a particular glyph style is required. In practice, this character is most often encountered in math fonts, markup, or documents that rely on Unicode symbols for consistency across devices. If you’re matching an existing document or style guide, using the exact character (rather than a lookalike) helps preserve meaning and formatting.
Common uses
- •Typing logical negation with a specific double-stroke glyph in math documents
- •Representing “not” in equations for logic, sets, or predicate-style notation
- •Labeling variables or conditions where a distinct negation symbol is required
- •Copying symbols into LaTeX/MathJax-friendly text workflows (as a Unicode character)
- •Creating consistent signage or diagram text in technical illustrations
Examples
⫬ Double Stroke Not Sign (U+2AEC)
- ⫬¬A vs ⫬A (double-stroke negation variant)
- ⫬Let P be ⫬Q in the statement
- ⫬Compute ⫬(x ∈ S) for the rule definition
- ⫬If the condition is ⫬flag, act accordingly
- ⫬Define the negated predicate as ⫬pred
Variations
Ready to copy
Technical codes
| Unicode | U+2AEC | |
| HTML Entity | ⫬ | |
| HTML Code | ⫬ | |
| CSS | \2AEC |
FAQ
What does the Double Stroke Not Sign symbol mean?
⫬ (Unicode U+2AEC) is called the “Double Stroke Not Sign.” Like other not/negation symbols, it represents a negation or “not” operation in a formal notation context. The “double stroke” variant distinguishes it from simpler “not” characters, which can be important in specialized equations, logic expressions, or typesetting where a particular glyph style is required. In practice, this character is most often encountered in math fonts, markup, or documents that rely on Unicode symbols for consistency across devices. If you’re matching an existing document or style guide, using the exact character (rather than a lookalike) helps preserve meaning and formatting.
What is the Unicode code point for ⫬?
⫬ is Unicode U+2AEC.
How do I type ⫬ using Unicode in JavaScript?
Use the JavaScript escape: \\u{2AEC}.
Is ⫬ the same as the standard NOT sign?
It’s a negation-style symbol, but ⫬ is specifically the “Double Stroke Not Sign,” which is a distinct glyph/character.
Why doesn’t ⫬ look the same in every app?
Some fonts don’t fully support all Unicode math symbols, so appearance can vary or fall back to a different glyph.