aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAryadev Chavali <aryadev@aryadevchavali.com>2020-09-01 23:25:00 +0100
committerAryadev Chavali <aryadev@aryadevchavali.com>2020-09-01 23:25:00 +0100
commitdda19ae3bc2e4590ca4ab36ed7ef6be7f820fb40 (patch)
treebf3e354a4eb3f79f884ef2651fc53ab16d9e9585
parentd76098587da0f7aba5e269cbc1aa13eb348e8fdf (diff)
downloaddotfiles-dda19ae3bc2e4590ca4ab36ed7ef6be7f820fb40.tar.gz
dotfiles-dda19ae3bc2e4590ca4ab36ed7ef6be7f820fb40.tar.bz2
dotfiles-dda19ae3bc2e4590ca4ab36ed7ef6be7f820fb40.zip
+some more symbols ~indenting
-rw-r--r--Emacs/.config/emacs/config.org30
1 files changed, 15 insertions, 15 deletions
diff --git a/Emacs/.config/emacs/config.org b/Emacs/.config/emacs/config.org
index a2dc036..fd00206 100644
--- a/Emacs/.config/emacs/config.org
+++ b/Emacs/.config/emacs/config.org
@@ -692,21 +692,21 @@ packages can leverage it.
Here's a collection of symbols I have currently that may be used
later.
#+begin_example
-("null" . "∅")
-("list" . "𝕃")
-("string" . "𝕊")
-("true" . "𝕋")
-("false" . "𝔽")
-("char" . "ℂ")
-("int" . "ℤ")
-("float" . "ℝ")
-("bool" . "𝔹")
-("!" . "¬")
-("&&" . "∧")
-("||" . "∨")
-("for" . "∀")
-("return" . "⟼")
-("lambda" . "λ")
+("null" . "∅")
+("list" . "ℓ")
+("string" . "𝕊")
+("true" . "⊤")
+("false" . "⊥")
+("char" . "ℂ")
+("int" . "ℤ")
+("float" . "ℝ")
+("!" . "¬")
+("&&" . "∧")
+("||" . "∨")
+("for" . "∀")
+("return" . "⟼")
+("print" . "ℙ")
+("lambda" . "λ")
#+end_example
** Window management
Window management is really important. I find the default window