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)