⊢

Right Tack

22A2 · Mathematical Operators · Zyyy

Giới thiệu Right Tack

Logical symbol (U+22A2) from the Mathematical Operators block, also called turnstile, indicating syntactic derivability or provability. Used in proof theory, type theory, and formal logic to show that a conclusion follows from premises.

On this page

Mã hóa

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

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 ⊢ Right Tack symbol?

⊢ is the Right Tack symbol, encoded at Unicode 22A2.

What is the Unicode codepoint of Right Tack?

The Right Tack symbol (⊢) has codepoint 22A2.

How do I type or copy Right Tack?

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