Vertical Bar Double Left Turnstile Symbol
⫤ is the vertical bar with a double left turnstile, used as a math punctuation-like symbol.
U+2AE4
⫤ is a Unicode math symbol often referenced by its official name, “Vertical Bar Double Left Turnstile.” It’s useful when you need a specific visual operator-like mark in typesetting, writing, or UI mockups. Below you’ll find copy/paste options and character references.
Vertical Bar Double Left Turnstile Symbol Meaning
⫤ is a Unicode character in the Math category (U+2AE4) named “VERTICAL BAR DOUBLE LEFT TURNSTILE.” Visually, it combines a vertical bar with a double left turnstile form, making it look like an operator, relation, or structural punctuation. In practice, it’s most commonly used in mathematical writing, formal notes, or specialized text where a particular symbol shape is required. Designers and developers may also use it as a distinctive glyph in technical diagrams, documentation, or UI elements that display Unicode math symbols accurately.
Common uses
- •Mathematical notes and formal write-ups that require the exact Unicode symbol
- •Equation and document formatting where a specific operator-like glyph is needed
- •Technical documentation and reference text for math markup or symbol inventories
- •UI mockups or diagrams that display Unicode math characters consistently
- •Code snippets, scripts, or templates that must include the exact character
Examples
⫤ Vertical Bar Double Left Turnstile
- ⫤Let ⫤ be used as the chosen symbol in the derivation.
- ⫤See symbol ⫤ in the glossary for Unicode math characters.
- ⫤The expression includes ⫤ before the main condition.
- ⫤Replace ⫤ with the corresponding glyph in the rendered formula.
- ⫤In the diagram, label the transition using ⫤.
Variations
Ready to copy
Technical codes
| Unicode | U+2AE4 | |
| HTML Entity | ⫤ | |
| HTML Code | ⫤ | |
| CSS | \2AE4 |
FAQ
What does the Vertical Bar Double Left Turnstile symbol mean?
⫤ is a Unicode character in the Math category (U+2AE4) named “VERTICAL BAR DOUBLE LEFT TURNSTILE.” Visually, it combines a vertical bar with a double left turnstile form, making it look like an operator, relation, or structural punctuation. In practice, it’s most commonly used in mathematical writing, formal notes, or specialized text where a particular symbol shape is required. Designers and developers may also use it as a distinctive glyph in technical diagrams, documentation, or UI elements that display Unicode math symbols accurately.
What is the Unicode code point for ⫤?
⫤ is U+2AE4.
How can I paste ⫤ into HTML?
Use the HTML entity: ⫤ (provided as ⫤ in this listing).
How do I escape ⫤ in CSS?
Use: \\2AE4.
How do I represent ⫤ in JavaScript?
Use: \\u{2AE4}.