⊣

Left Tack

22A3 · Mathematical Operators · Zyyy

Giới thiệu Left Tack

Logical symbol (U+22A3) from the Mathematical Operators block, the reverse turnstile. Used in proof theory to indicate that a conclusion is derivable and in type systems for type assertions.

On this page

Mã hóa

Khối Unicode	U+22A3
Thập phân	⊣
HTML Hex	⊣
CSS	\22A3
JavaScript	\u{22A3}
Python	\u22a3
Java	\u22A3
Hệ thập lục phân UTF-8	e2 8a a3
UTF-16	22 a3
URL Encoded	%E2%8A%A3

Thuộc tính Unicode

Block

Mathematical Operators

Script

Zyyy

Ký hiệu tương tự

∝ 221D ∟ 221F ∷ 2237 ≟ 225F ≾ 227E ⊰ 22B0 ⋍ 22CD ⋾ 22FE

So sánh

⊣ vs ≾ Precedes Or Equivalent To ⊣ vs ⊰ Precedes Under Relation ⊣ vs ∷ Proportion ⊣ vs ∝ Proportional To ⊣ vs ≟ Questioned Equal To

∞ 221E ° 00B0 × 00D7 π 03C0 ± 00B1 ÷ 00F7 ≤ 2264 √ 221A ∑ 2211 ≥ 2265 ≠ 2260 ≈ 2248

Câu hỏi thường gặp

What is the ⊣ Left Tack symbol?

⊣ is the Left Tack symbol, encoded at Unicode 22A3.

What is the Unicode codepoint of Left Tack?

The Left Tack symbol (⊣) has codepoint 22A3.

How do I type or copy Left Tack?

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