Short Down Tack With Overbar
Embed This Widget
Add the script tag and a data attribute to embed this widget.
Embed via iframe for maximum compatibility.
<iframe src="https://symbolfyi.com/iframe/entity/short-down-tack-with-overbar/" width="420" height="400" frameborder="0" style="border:0;border-radius:10px;max-width:100%" loading="lazy"></iframe>Paste this URL in WordPress, Medium, or any oEmbed-compatible platform.
https://symbolfyi.com/entity/short-down-tack-with-overbar/Add a dynamic SVG badge to your README or docs.
[](https://symbolfyi.com/entity/short-down-tack-with-overbar/)Use the native HTML custom element.
2AE7 · Supplemental Mathematical Operators · Zyyy
About Short Down Tack With Overbar
Logical symbol (U+2AE7) from the Supplemental Mathematical Operators block, a variant of the turnstile notation used in proof theory. Expresses specific derivability or satisfaction relationships in formal logic and type systems.
On this page
Encodings
| Unicode | U+2AE7 | |
| HTML Decimal | ⫧ | |
| HTML Hex | ⫧ | |
| CSS | \2AE7 | |
| JavaScript | \u{2AE7} | |
| Python | \u2ae7 | |
| Java | \u2AE7 | |
| UTF-8 | e2 ab a7 | |
| UTF-16 | 2a e7 | |
| URL Encoded | %E2%AB%A7 |
Unicode Properties
Similar Symbols
Compare
Related Symbols
Frequently Asked Questions
What is the ⫧ Short Down Tack With Overbar symbol?
⫧ is the Short Down Tack With Overbar symbol, encoded at Unicode 2AE7.
What is the Unicode codepoint of Short Down Tack With Overbar?
The Short Down Tack With Overbar symbol (⫧) has codepoint 2AE7.
How do I type or copy Short Down Tack With Overbar?
Copy ⫧ directly, or use the HTML entity, CSS, JavaScript, and Python encodings shown on this page.