From 3b3dcabc8289e3c887e443c95a2338f2f6ba7aee Mon Sep 17 00:00:00 2001 From: Marcel van der Boom Date: Wed, 11 Jan 2023 18:10:53 +0100 Subject: [PATCH] Add somet other lambda prettifiers This is a bit messy, do this per mode and a bit more careful. --- mrb.org | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/mrb.org b/mrb.org index 76b3946..2950276 100644 --- a/mrb.org +++ b/mrb.org @@ -3650,12 +3650,14 @@ Make our source look a bit more attractive by enabling =prettify-symbol-mode= in org-mode org-journal-mode) . mrb/prettify-symbols) :init + ;; TODO this is a bit messy, do this in mode packages and per mode (defun mrb/prettify-symbols () (interactive) ;; set buffer local variable to map the symbols (setq prettify-symbols-alist '(("lambda" . ?λ) - ("lambda*" . "λ*") + ("lambda*" . (?λ (Br . Bl) ?*)) ; just in scheme really + ("-lambda" . (?- (Br . Bl) ?λ)) ;("map" . ?↦) ; this one is a bit of a pain actually ("->" . ?⟶) ("<-" . ?⟵)