What ⃒ means
Put it directly after the symbol it modifies.
For relations such as =, <, >, ∈, or ⊂, it forms a negated relation: the base sign tells you what is being negated. Keep the two characters adjacent, with no space or line break; this is the vertical negation bar pattern.
When the ordinary single-character form exists, use it: ≠ is the standard not-equal sign, while =⃒ is a base sign followed by this overlay.
Why does the overlay move or disappear?
The font and renderer set its exact height and alignment.
This is a nonspacing mark: its stroke sits over the preceding symbol and has no independent width. Fonts can change the stroke's length or slant, and rendering can misplace it or fail to show it. A display glitch does not change the intended relation.
Where did the long vertical line overlay come from?
It belongs to a standards tradition for mathematical negation.
The standards trail reaches a 1991 update to ISO 9573-13, which defined mathematical symbols for SGML, a system for tagging document structure. That work used overlays to write negated relations compactly, including forms without a single precomposed character. The mark belongs to an evolving standards lineage, not a one-off invention.
Mathematical notation and markup; the base relation sets the meaning.
A free-standing stroke is not a complete negation.
Don't confuse it with
3This uses the shorter vertical overlay; its stroke does not extend as far over the base.
This uses a diagonal solidus overlay; its negation stroke runs diagonally, not vertically.
Combination ideas
3Questions people ask
1Why does ⃒ show as a box on some devices?
Because that device's fonts have no glyph for it. The character is still correct and still copies correctly — the box is a missing glyph, not a broken character.
Collections with ⃒
2How to type or find ⃒
- Search it as
- vertical line overlay · negation bar · nvlt · nvgt · nvsim
- Shows up in
- Anything that takes text · its shape is whatever your font draws
⃒\20D2<⃒ represents less-than followed by this vertical overlay.Codes and encoding1 code points
A visible symbol can contain several code points. JS .length counts UTF-16 units; UTF-8 counts bytes.



