Unicode: Tacks, Turnstiles ⊣ ⊢ ⊥ ⊤ ⫪ ⫫
By Xah Lee. Date: . Last updated: .
Tacks
tacks (used in logic.)
⊣
⊢
⊥
⊤
,
⟘
⟙
,
⟛
long tacks
⟞
⟝
tack with circle
⟟
⫱
⫯
⫰
double tack
⫫
⫪
short tack
⫞
⫠
⫟
,
⫨
⫧
⫩
˔ ˕ ᐪ
꭪ ꭫
turnstile
⫣ ⫥ ⊯ , ⫤ ⊫ ⟚ , ⫢ ⊪
⫦
Tack Meaning
- ⊥ → empty type (type theory)
- ⊤ → unit type (type theory)
- ⊢ → assumption to judgement (type theory)
- ⊦ → ASSERTION
- ⊬
- B → Boolean (type theory)
Unicode Math Symbols
- Unicode: Math Symbols ∑ ∫ π2 ∞
- Unicode: Set Theory Symbols ∈ ⊂ ∪ ∩
- Unicode: Logic Symbols ∀ ∃
- Unicode: Geometry Symbols ∡ ⦜
- Unicode: Math Brackets ⌈ ⌉
- Unicode: Arrows → ➵ ➛ ➲ ➤
- Unicode: Brackets, Quotes 「」【】《》
- Unicode: Tacks, Turnstiles ⊣ ⊢ ⊥ ⊤ ⫪ ⫫
- Unicode: Slash, Solidus / ⫽ ⫻
- Unicode: APL Symbols ⍋ ⍟ ⍝
- Unicode: Math Font Z
- Unicode: Greek Alphabet α β γ
- Unicode: Look-Alike Math Symbols ∆ ∂ μ
Unicode Punctuations and Misc Symbols
- Unicode: Commonly Used Symbols ✓ © § ❦
- Unicode: Punctuations • ✓ TM
- Unicode: Whitespace Representation ⇥ ▷ ␣ ¶
- Unicode: Slash, Solidus / ⫽ ⫻
- Unicode: Reference Marks † ‡ ¶ § ☛ ⁂
- Unicode: Typography Ornaments ☙ ❦ ❧
- Unicode: Circled Numbers 1 2 3
- Unicode: Circled Letters A B C
- Unicode: Squared Letters A 🆗
- Unicode: Tacks, Turnstiles ⊣ ⊢ ⊥ ⊤ ⫪ ⫫
- Unicode: ASCII Control Characters ␀
- Unicode: Bank OCR ⑆
- Unicode: Misc Technical Symbols ⌬ ⎄ ⎅ ⧯