logic-symbols

Commonly used symbols in predicate logic and boolean algebra.

logic
symbols

Paste this command in a terminal to install the package

espanso install logic-symbols
Source
package.yml
matches: - trigger: ":not" replace: "¬" - trigger: ":and" replace: "∧" - trigger: ":or" replace: "∨" - trigger: ":xor" replace: "⊕" - triggers: [":imp", ":if"] replace: "→" - triggers: [":bimp", ":iff"] replace: "↔" - triggers: [":eq", ":def"] replace: "≡" - triggers: [":true", ":top"] replace: "⊤" - triggers: [":false", ":bot"] replace: "⊥" - trigger: ":forall" replace: "∀" - trigger: ":exists" replace: "∃" - trigger: ":proves" replace: "⊢" - trigger: ":models" replace: "⊨"