Logic Symbols
logic-symbols
by Max Gallup
Commonly used symbols in predicate logic and boolean algebra.
logicsymbols
espanso install logic-symbols
A simple package including common unicode logic symbols.
Installation
espanso install logic-symbols
Usage
The following basic symbols are included, but feel free to add more!
| Keyword | Emoji |
|---|---|
:not | ¬ |
:and | ∧ |
:or | ∨ |
:xor | ⊕ |
:imp | → |
:biimp | ⟷ |
:eq | ≡ |
:true | ⊤ |
:false | ⊥ |
:all | ∀ |
:exists | ∃ |