aboutsummaryrefslogtreecommitdiff
path: root/Emacs/.config/emacs/config.org
diff options
context:
space:
mode:
Diffstat (limited to 'Emacs/.config/emacs/config.org')
-rw-r--r--Emacs/.config/emacs/config.org38
1 files changed, 19 insertions, 19 deletions
diff --git a/Emacs/.config/emacs/config.org b/Emacs/.config/emacs/config.org
index 44af76c..0460865 100644
--- a/Emacs/.config/emacs/config.org
+++ b/Emacs/.config/emacs/config.org
@@ -1599,8 +1599,8 @@ Tons of stuff, namely:
("true" . "⊨")
("false" . "⊭")
("!" . "¬")
- ("&&" . "⋀")
- ("||" . "⋁")
+ ("&&" . "∧")
+ ("||" . "∨")
("for" . "∀")
("return" . "⟼"))
(c++-mode-hook
@@ -1615,8 +1615,8 @@ Tons of stuff, namely:
("true" . "⊨")
("false" . "⊭")
("!" . "¬")
- ("&&" . "⋀")
- ("||" . "⋁")
+ ("&&" . "∧")
+ ("||" . "∨")
("for" . "∀")
("return" . "⟼"))
:init
@@ -1807,8 +1807,8 @@ omnisharp.
("true" . "⊨")
("false" . "⊭")
("!" . "¬")
- ("&&" . "⋀")
- ("||" . "⋁")
+ ("&&" . "∧")
+ ("||" . "∨")
("for" . "∀")
("return" . "⟼")))
#+end_src
@@ -1828,8 +1828,8 @@ features to be fair.
("true" . "⊨")
("false" . "⊭")
("!" . "¬")
- ("&&" . "⋀")
- ("||" . "⋁")
+ ("&&" . "∧")
+ ("||" . "∨")
("for" . "∀")
("return" . "⟼"))
:config
@@ -1917,8 +1917,8 @@ source code blocks.
("True" . "⊨")
("False" . "⊭")
("!" . "¬")
- ("&&" . "⋀")
- ("||" . "⋁")
+ ("&&" . "∧")
+ ("||" . "∨")
("for" . "∀")
("print" . "φ")
("lambda" . "λ")
@@ -2087,15 +2087,15 @@ appropriately.
:straight nil
:pretty
(lisp-mode-hook
- ("lambda" . "λ")
- ("t" . "⊨")
- ("nil" . "Ø")
- ("and" . "⋀")
- ("or" . "⋁")
- ("defun" . "ƒ")
- ("for" . "∀")
- ("mapc" . "∀")
- ("mapcar" . "∀"))
+ ("lambda" . "λ")
+ ("t" . "⊨")
+ ("nil" . "Ø")
+ ("and" . "∧")
+ ("or" . "∨")
+ ("defun" . "ƒ")
+ ("for" . "∀")
+ ("mapc" . "∀")
+ ("mapcar" . "∀"))
:general
(:states '(normal motion visual)
:keymaps '(emacs-lisp-mode-map lisp-mode-map)