Unicode: Tacks, Turnstiles ⊣ ⊢ ⊥ ⊤ ⫪ ⫫
Font:
Tacks
tacks
⊣
⊢
⊥
⊤
,
⟘
⟙
,
⟛
long tacks
⟞
⟝
tack with circle
⟟
⫱
⫯
⫰
double tack
⫫
⫪
short tack
⫞
⫠
⫟
,
⫨
⫧
⫩
˔ ˕ ᐪ
꭪ ꭫
turnstile
⫣ ⫥ ⊯ , ⫤ ⊫ ⟚ , ⫢ ⊪
⫦
Up/Down Tack Meaning
- ⊥ → empty type (type theory)
- ⊤ → unit type (type theory)
- ⊢ → assumption to judgement (type theory)
- ⊦ → ASSERTION
- ⊬
- 𝔹 → Boolean (type theory)