upRootNutrition/dotfiles
upRootNutrition/dotfiles
1
0
Fork 0
mirror of https://gitlab.com/upRootNutrition/dotfiles.git synced 2025-12-08 05:49:25 -06:00
Code Issues Projects 1 Releases Packages Wiki Activity Actions

chore: init

Browse source
This commit is contained in:
Nick 2025-10-01 19:51:55 -05:00
commit 1b2c1ea359
891 changed files with 37053 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

30
modules/home/gui/apps/tools/espanso/config/logic.nix Executable file
View file

@ -0,0 +1,30 @@
{ matchHelper, ... }:
[
(matchHelper ":neg" "¬")
(matchHelper ":conj" "∧")
(matchHelper ":disj" "∨")
(matchHelper ":imp" "→")
(matchHelper ":iff" "↔")
(matchHelper ":forall" "∀")
(matchHelper ":exist" "∃")
(matchHelper ":therefore" "∴")
(matchHelper ":because" "∵")
(matchHelper ":nexist" "∄")
(matchHelper ":nand" "⊼")
(matchHelper ":nor" "⊽")
(matchHelper ":xor" "⊕")
(matchHelper ":xnor" "⊙")
(matchHelper ":notimp" "↛")
(matchHelper ":notiff" "↮")
(matchHelper ":models" "⊨")
(matchHelper ":notmodels" "⊭")
(matchHelper ":proves" "⊢")
(matchHelper ":notproves" "⊬")
(matchHelper ":forces" "⊩")
(matchHelper ":notforces" "⊮")
(matchHelper ":top" "⊤")
(matchHelper ":bottom" "⊥")
(matchHelper ":dashv" "⊣")
(matchHelper ":necessary" "□")
(matchHelper ":possible" "◇")
]