SymbolFYI

Short Up Tack Above Short Down Tack

2AE9 · Supplemental Mathematical Operators · Zyyy

소개 Short Up Tack Above Short Down Tack

Logical symbol (U+2AE9) 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

인코딩

Unicode 블록 U+2AE9
10진수 ⫩
HTML 16진수 ⫩
CSS \2AE9
JavaScript \u{2AE9}
Python \u2ae9
Java \u2AE9
UTF-8 16진수 e2 ab a9
UTF-16 2a e9
URL 인코딩 %E2%AB%A9

Unicode 속성

Block
Supplemental Mathematical Operators
Script
Zyyy
Category
Math Symbol (Sm)
Bidirectional
ON

유사 기호

비교

자주 묻는 질문

What is the ⫩ Short Up Tack Above Short Down Tack symbol?

⫩ is the Short Up Tack Above Short Down Tack symbol, encoded at Unicode 2AE9.

What is the Unicode codepoint of Short Up Tack Above Short Down Tack?

The Short Up Tack Above Short Down Tack symbol (⫩) has codepoint 2AE9.

How do I type or copy Short Up Tack Above Short Down Tack?

Copy ⫩ directly, or use the HTML entity, CSS, JavaScript, and Python encodings shown on this page.