Unicode: Tacks, Turnstiles ⊣ ⊢ ⊥ ⊤ ⫪ ⫫ ⫢
Tacks
⊣
⊢
⊥
⊤
⟘
⟙
⟛
⟞
⟝
⟟
⫱
⫯
⫰
⫫
⫪
⫞
⫠
⫟
⫨
⫧
⫩
˔
˕
ᐪ
⍊
⍑
⍎
⍕
⍡
꭪
꭫
Turnstiles
⫣
⫥
⫤
⟚
⫢
⊪
⊯
⊫
Meaning
- ⊥ is used in type theory for empty type.
- ⊤ is used in type theory for unit type.
Unicode Punctuations and Misc Symbols
- Common Unicode Characters ✓ © § ❦
- Punctuations • ✓ ™
- Whitespace ⇄ ⇥ ↦ ▷ ␣ ¶ ⏎
- Slash/Solidus / ⫽ ⫻
- Reference Marks † ‡ ¶ § ☛ ⁂
- Typography Ornaments ☙ 🙐 🙚 🙠 🙪 🙶 🙷
- Circled Numbers ① ② ③
- Squared Characters 🄰
- Japanese Enclosed Chars ㉆
- Tacks, Turnstiles ⊣ ⊢ ⊥ ⊤ ⫪ ⫫ ⫢
- Unicode Symbols for ASCII Control Characters ␀
- Bank OCR ⑆