Vertical Bar Double Left Turnstile HTML entity &Dashv;

&Dashv; is the HTML entity for Vertical Bar Double Left Turnstile ⫤ (U+2AE4). Copy ⫤, ⫤ and the CSS, JavaScript, Python and URL escapes.

Entity: &Dashv;
Also written: &DoubleLeftTee;
Code point: U+2AE4
Unicode name: VERTICAL BAR DOUBLE LEFT TURNSTILE
Block: Supplemental Mathematical Operators
Category: Math symbol (Sm)
Since: Unicode 3.2
Defined in: HTML5

Codes to copy

HTML named	`&Dashv;`Works in HTML; in XML only & < > " ' are predefined.
HTML decimal	`⫤`Works in HTML and XML.
HTML hex	`⫤`Works in HTML and XML.
CSS	`content: "\2AE4";`In a stylesheet, for ::before and ::after.
JavaScript	`"\u2AE4"`Also valid in JSON.
Python	`"\u2ae4"`Python 3 string literal.
Python by name	`"\N{VERTICAL BAR DOUBLE LEFT TURNSTILE}"`Readable alternative using the Unicode name.
URL	`%E2%AB%A4`Percent-encoded UTF-8 bytes, for a path or query value.
UTF-8 bytes	`E2 AB A4`3 bytes.
UTF-16	`2AE4`1 code unit, which is what JavaScript length counts.

When to use it

&Dashv; writes U+2AE4 (Vertical Bar Double Left Turnstile), a maths symbol from the Unicode Supplemental Mathematical Operators block, encoded since Unicode 3.2. Specialist notation like this usually belongs in MathML, which positions it correctly; the entity is for occasional use in running text.

The name comes from the HTML5 list (much of it shared with MathML), so it works in every current browser but not in XML or XHTML served as XML, where the numeric reference is the safe choice.

More advanced maths and arrows

All advanced maths and arrows · Every HTML entity · Encode or decode text

Source: the WHATWG HTML Standard list of named character references and the Unicode Character Database (Unicode 18.0).