Unicode: Tacks, Turnstiles ⊣ ⊢ ⊥ ⊤ ⫪ ⫫

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
• ⊬

• 𝔹 → Boolean (type theory)