What ⊽ means
It negates OR. The result is true only when both inputs are false: “neither A nor B,” or joint denial.
Logician Charles Sanders Peirce described NOR in an 1880 manuscript; Henry Sheffer published work on reducing logic to one connective in 1913. In two-valued logic, NOR alone can express every Boolean operation.
Formal logic notation for statements with true or false values.
It means “neither A nor B,” not ordinary OR.
Part of the collection
Don't confuse it with
3
Related characters
1
Combination ideas
3Neither p nor q is true.
NOR is true only when both inputs are false.
NOR of p with itself, equivalent to not p.
Questions 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.
More like this
12
How to type or find ⊽
- Also called
- joint denial · Peirce's arrow · Quine's dagger
- Search it as
- NOR operator · negated OR · down arrow logic
- Shows up in
- Anything that takes text · its shape is whatever your font draws
Windows (Word)
Windows
HTML
⊽CSS
\22BDMicrosoft Word
In Word’s equation editor, type
\nor (documented as of 2026).Wolfram Language
Wolfram Language accepts
p⊽q and \[Nor] (documented as of 2026).Codes and encoding1 code points
HTML decimal
⊽
HTML hex
⊽
CSS content
content: "\22BD";
Each escape is closed by the next backslash; a trailing space is needed before a literal hex digit.
URL encoded
%E2%8A%BD
1
On screen
1
Code points
1
JS .length
3
UTF-8 bytes
A visible symbol can contain several code points. JS .length counts UTF-16 units; UTF-8 counts bytes.