⊫
Unicode
U+22ABLaTeX
\nVdashHTML entity
HTML decimal
⊫MathML
<mo>⊫</mo>Semantic identity and intent
Characters to distinguish
- ⊩ — Forces Symbol
- ⊨ — Models
Use ⊫ in the right format
Meaning and usage
States that a forcing or strong semantic consequence relation does not hold.
Use it as the negated counterpart of the forcing relation.
Pronunciation: does not force symbol
Formula examples
p\nVdash\varphiHow to type Does Not Force Symbol
- Windows
- Use Character Map and search for Does Not Force Symbol, or paste the Unicode character (U+22AB).
- macOS
- Open Character Viewer with Control–Command–Space and search for Does Not Force Symbol.
- Microsoft Word
- In an equation, type \nVdash and press Space when Word supports the command; otherwise insert the Unicode character.
- 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 \nVdash.
- Excel
- Paste ⊫ into a cell or use Insert → Symbol when available. Ordinary cells preserve the character but do not interpret LaTeX commands.
Common mistakes
- State the set-theory convention around ⊫; Use it as the negated counterpart of the forcing relation.
- For plain text, copy ⊫ as U+22AB; for structured equations, use \nVdash in math mode. A look-alike glyph or image can break search, accessibility, or parsing when the intended character is Does Not Force Symbol.
When to use ⊫
- Use ⊫ in plain text when a Unicode character is appropriate and the destination preserves U+22AB.
- Use \nVdash in an equation editor when mathematical spacing or structure matters.
- Define the local meaning when Does Not Force Symbol is used in logic, set theory with a field-specific convention.
Look-alikes and related characters
- ⊩ — Forces Symbol
- ⊨ — Models
Font and compatibility notes
Glyph shape can vary by font. Verify the code point after copying, and prefer LaTeX or MathML for structured equations.
Continue the workflow
From Does Not Force Symbol to a finished equation
- Copy the characterUse ⊫ in plain text when Unicode is accepted.
- Choose a structured formatUse
\nVdashfor 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: specialist
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 Does Not Force Symbol symbol mean?
States that a forcing or strong semantic consequence relation does not hold.
What is the LaTeX command for ⊫?
Use \nVdash in a compatible math environment.
Can I copy ⊫ as Unicode?
Yes. Use the copy button above to copy the Unicode character directly.