⫧

Short Down Tack With Overbar

2AE7 · Supplemental Mathematical Operators · Zyyy

概要 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

エンコード

Unicode ブロック	U+2AE7
10進数	⫧
HTML 16進数	⫧
CSS	\2AE7
JavaScript	\u{2AE7}
Python	\u2ae7
Java	\u2AE7
UTF-8 16進数	e2 ab a7
UTF-16	2a e7
URLエンコード	%E2%AB%A7

Unicode プロパティ

Block

Supplemental Mathematical Operators

Script

Zyyy

類似記号

⩍ 2A4D ⩐ 2A50 ⩴ 2A74 ⪚ 2A9A ⫏ 2ACF ⫑ 2AD1 ⫒ 2AD2 ⫮ 2AEE

比較

⫧ vs ⩍ Closed Intersection With Serifs ⫧ vs ⫏ Closed Subset ⫧ vs ⫑ Closed Subset Or Equal To ⫧ vs ⫒ Closed Superset Or Equal To ⫧ vs ⩐ Closed Union With Serifs And Smash Product

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

よくある質問

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.