⊽
Unicode
U+22BDLaTeX
\barveeHTML entity
⊽HTML decimal
⊽MathML
<mo>⊽</mo>Semantic identity and intent
Characters to distinguish
- ∨ — Logical Or
Use ⊽ in the right format
Meaning and usage
Is true only when both operands are false.
Use it for the negation of logical OR in Boolean algebra or circuit notation.
Pronunciation: logical nor
Formula examples
p⊽qHow to type Logical NOR
- Windows
- Use Character Map or enter U+22BD in a Unicode-aware application.
- macOS
- Open Character Viewer with Control–Command–Space and search by the symbol name.
- Microsoft Word
- In an equation, type \barvee and press Space when Word supports the command.
- iPhone and iPad
- Copy and paste ⊽, or use a math/LaTeX app. The standard iOS keyboard may not expose every mathematical symbol.
- Android
- Copy and paste ⊽, or use a math keyboard or LaTeX editor. Keyboard layouts vary by device and app.
- Google Docs
- For plain text, paste ⊽ or use Insert → Special characters. For structured math, use the equation editor and verify \barvee.
- Excel
- Paste ⊽ into a cell or use Insert → Symbol when available. Ordinary cells preserve the character but do not interpret LaTeX commands.
Common mistakes
- Define the logical convention before using ⊽; proof, programming, and Boolean-algebra sources may assign different precedence or direction.
- For plain text, copy ⊽ as U+22BD; for structured equations, use \barvee in math mode. A look-alike glyph or image can break search, accessibility, or parsing when the intended character is Logical NOR.
When to use ⊽
- Use ⊽ in plain text when a Unicode character is appropriate and the destination preserves U+22BD.
- Use \barvee in an equation editor when mathematical spacing or structure matters.
- Define the local meaning when Logical NOR is used in logic, discrete math with a field-specific convention.
Look-alikes and related characters
- ∨ — Logical Or
Font and compatibility notes
Font coverage varies; verify the code point and destination rendering before publication.
Continue the workflow
From Logical NOR to a finished equation
- Copy the characterUse ⊽ in plain text when Unicode is accepted.
- Choose a structured formatUse
\barveefor LaTeX or the MathML snippet for accessible web equations. - Edit or convertOpen the value in the editor or converter without retyping it.
Review and source notes
Quality tier: catalog
Last reviewed: 2026-07-23
Review method: Catalog review of character identity and notation mappings.
Verified against: Unicode Standard, Unicode mathematical notation guidance, and established LaTeX/MathML syntax.
Reference sources
- The Unicode StandardUnicode Consortium — Character identity, encoding, names, and conformance.
- Unicode Character Code ChartsUnicode Consortium — Code points and official character charts.
Frequently asked questions
What does the Logical NOR symbol mean?
Is true only when both operands are false.
What is the LaTeX command for ⊽?
Use \barvee in a compatible math environment.
Can I copy ⊽ as Unicode?
Yes. Use the copy button above to copy the Unicode character directly.