Unicode: Tacks, Turnstiles ⊣ ⊢ ⊥ ⊤ ⫪ ⫫
Font:
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)