⊦

Assertion

22A6 · Mathematical Operators · Zyyy

Giới thiệu Assertion

Logical symbol (U+22A6) from the Mathematical Operators block used in formal proof systems to indicate that a statement is asserted or derivable. Appears in sequent calculus and type theory.

On this page

Mã hóa

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

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 ⊦ Assertion symbol?

⊦ is the Assertion symbol, encoded at Unicode 22A6.

What is the Unicode codepoint of Assertion?

The Assertion symbol (⊦) has codepoint 22A6.

How do I type or copy Assertion?

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