⫩

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
十进制	⫩
HTML十六进制	⫩
CSS	\2AE9
JavaScript	\u{2AE9}
Python	\u2ae9
Java	\u2AE9
UTF-8 十六进制	e2 ab a9
UTF-16	2a e9
URL编码	%E2%AB%A9

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 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.

Short Up Tack Above Short Down Tack

Embed This Widget

关于 Short Up Tack Above Short Down Tack

编码

Unicode 属性

相似符号

比较

相关符号

常见问题