Left And Right Double Turnstile Symbol
⟚ is the left and right double turnstile symbol used as a math/logic notation mark.
U+27DA
⟚ (U+27DA) is called the Left and Right Double Turnstile. It’s commonly used in mathematical and logical contexts where a paired turnstile notation is helpful. You can copy it directly or use standard Unicode escapes in code.
Left And Right Double Turnstile Symbol Meaning
The symbol ⟚ is Unicode U+27DA, named LEFT AND RIGHT DOUBLE TURNSTILE. In practice, it appears in mathematical and logical notation as a paired “turnstile” marker, often indicating a relationship between expressions (for example, in formal systems, proofs, or structured statements). Because it visually combines left and right turnstiles, it can help convey a bidirectional or double-sided notion more compactly than separate symbols. Outside of math, it’s sometimes used as a distinctive decorative glyph to suggest rules, transformations, or structured reasoning in typography.
Common uses
- •Marking a bidirectional relationship in math or logic notes
- •Typing formal proof or deduction statements in documentation
- •Labeling transitions between conditions in technical writing
- •Creating consistent notation in worksheets, worksheets, or lecture slides
- •Using a distinctive Unicode glyph as a layout divider in math-themed design
Examples
⟚ Left and Right Double Turnstile
- ⟚A ⟚ B
- ⟚Γ ⟚ Δ
- ⟚P(x) ⟚ Q(x) for all x
- ⟚Assumptions ⟚ conclusions
- ⟚t ⟚ u in the derivation
Variations
Ready to copy
Technical codes
| Unicode | U+27DA | |
| HTML Entity | ⟚ | |
| HTML Code | ⟚ | |
| CSS | \27DA |
FAQ
What does the Left And Right Double Turnstile symbol mean?
The symbol ⟚ is Unicode U+27DA, named LEFT AND RIGHT DOUBLE TURNSTILE. In practice, it appears in mathematical and logical notation as a paired “turnstile” marker, often indicating a relationship between expressions (for example, in formal systems, proofs, or structured statements). Because it visually combines left and right turnstiles, it can help convey a bidirectional or double-sided notion more compactly than separate symbols. Outside of math, it’s sometimes used as a distinctive decorative glyph to suggest rules, transformations, or structured reasoning in typography.
What is the Unicode code point for ⟚?
⟚ is U+27DA (LEFT AND RIGHT DOUBLE TURNSTILE).
How can I copy ⟚ easily?
You can copy it directly from this page as the character ⟚, then paste it into your document, chat, or design tool.
How do I use ⟚ in HTML or CSS?
HTML entity: ⟚. CSS escape: \\27DA.
How do I type ⟚ in JavaScript?
Use the JavaScript Unicode escape: \\u{27DA}.