From 5918d9d7567f69ee14accb699b4b8cbd9d589d91 Mon Sep 17 00:00:00 2001
From: Lucien Cartier-Tilet <lucien@phundrak.com>
Date: Fri, 10 Mar 2023 15:33:20 +0100
Subject: [PATCH] [Emacs] Remove some prettified symbols

---
 org/config/emacs.org | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

diff --git a/org/config/emacs.org b/org/config/emacs.org
index 2106dde..a7fdb5c 100644
--- a/org/config/emacs.org
+++ b/org/config/emacs.org
@@ -7873,12 +7873,8 @@ built-in! With that, I can replace strings of my choice by another
 character of my choice! First, let’s declare the general symbols that
 will be used everywhere.
 #+begin_src emacs-lisp
-
-
 (defun prog-mode-set-symbols-alist ()
-  (setq prettify-symbols-alist '(("lambda"  . ?λ)
-                                 ("null"    . ?∅)
-                                 ("NULL"    . ?∅)))
+  (setq prettify-symbols-alist '(("lambda"  . ?λ)))
   (prettify-symbols-mode 1))
 
 (add-hook 'prog-mode-hook #'prog-mode-set-symbols-alist)