Negated Double Vertical Bar Double Right Turnstile Symbol
⊯ is the negated form of a double turnstile-style relation symbol used in mathematical notation.
U+22AF
The symbol ⊯ is a specific math character defined by its Unicode name. It’s useful when you need a negated version of a turnstile-like relation in formal writing or diagrams. Copy it easily and use the provided character codes in your projects.
Negated Double Vertical Bar Double Right Turnstile Symbol Meaning
⊯ (Unicode U+22AF) is named “NEGATED DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE.” In math contexts, turnstile-shaped symbols are often used to express relations such as entailment or derivability between statements. The “negated” form indicates a logical negation applied to that relation pattern. Because this is a precise Unicode character (not a made-from-parts combination), it’s best for typography that must match a formal specification, such as publishing, typesetting, or encoding logic notation in plain text.
Common uses
- •Indicating a negated entailment/derivability-style relation in mathematical drafts
- •Labeling logical operators in educational diagrams or cheat sheets
- •Marking “not provable / not derivable” style steps in formal notes
- •Using a single Unicode character for consistent typography in documents and slides
- •Typing logic or set-theory-related notation in apps that support Unicode Math symbols
Examples
⊯ Negated Double Vertical Bar Double Right Turnstile
- ⊯From A ⊯ B, we cannot conclude the intended derivation.
- ⊯Let Γ ⊯ Δ denote the negated relation between the sets of statements.
- ⊯This step shows ⊯ rather than the positive turnstile form.
- ⊯In the table, the third column uses ⊯ to mark negation of the relation.
- ⊯We write ⊯ to represent the negated double right turnstile.
Variations
Ready to copy
Technical codes
| Unicode | U+22AF | |
| HTML Entity | ⊯ | |
| HTML Code | ⊯ | |
| CSS | \22AF |
FAQ
What does the Negated Double Vertical Bar Double Right Turnstile symbol mean?
⊯ (Unicode U+22AF) is named “NEGATED DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE.” In math contexts, turnstile-shaped symbols are often used to express relations such as entailment or derivability between statements. The “negated” form indicates a logical negation applied to that relation pattern. Because this is a precise Unicode character (not a made-from-parts combination), it’s best for typography that must match a formal specification, such as publishing, typesetting, or encoding logic notation in plain text.
What is the Unicode code point for ⊯?
The symbol ⊯ has Unicode code point U+22AF.
How do I copy ⊯ using HTML?
Use the HTML entity: ⊯.
What CSS escape can I use for ⊯?
You can use the CSS escape: \\22AF.
How do I include ⊯ in JavaScript?
In JavaScript, you can use: \\u{22AF}.