← Back to all symbols
Symbol Category
Logic Symbols
This landing page groups all logic symbols in one place so users can scan the character, entity, Unicode value, and keyboard context without scrolling the full master index.
Category coverage
7
Symbols in the logic family.
Browse Logic
- ⊣U+22A3
Left Tack
⊢
Windows shortcutCharacter Map or Alt + 8867 - ⊢U+22A2
Right Tack
⊣
Windows shortcutCharacter Map or Alt + 8866 - ⊨U+22A8
True
⊧
Windows shortcutCharacter Map or Alt + 8872 - ⊩U+22A9
Forces
⊩
Windows shortcutCharacter Map or Alt + 8873 - ∧U+2227
Logical And
∧
Windows shortcutCharacter Map or Alt + 8743 - ∨U+2228
Logical Or
∨
Windows shortcutCharacter Map or Alt + 8744 - ⊻U+22BB
Exclusive Or
⊻
Windows shortcutCharacter Map or Alt + 8891