From dda19ae3bc2e4590ca4ab36ed7ef6be7f820fb40 Mon Sep 17 00:00:00 2001
From: Aryadev Chavali <aryadev@aryadevchavali.com>
Date: Tue, 1 Sep 2020 23:25:00 +0100
Subject: +some more symbols ~indenting

---
 Emacs/.config/emacs/config.org | 30 +++++++++++++++---------------
 1 file changed, 15 insertions(+), 15 deletions(-)

(limited to 'Emacs/.config')

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
-- 
cgit v1.2.3-13-gbd6f