SRFI like cut (SRFI-26) but with ordered arguments Jakub T. Jankiewicz (14 Aug 2021 07:30 UTC)
Re: SRFI like cut (SRFI-26) but with ordered arguments Shiro Kawai (14 Aug 2021 08:57 UTC)
Unicode lambda revisited Lassi Kortela (14 Aug 2021 09:45 UTC)
Re: Unicode lambda revisited Lassi Kortela (14 Aug 2021 09:52 UTC)
Re: Unicode lambda revisited Marc Nieper-Wißkirchen (15 Aug 2021 06:17 UTC)
Re: Unicode lambda revisited Peter (15 Aug 2021 17:21 UTC)
Re: Unicode lambda revisited Marc Nieper-Wißkirchen (15 Aug 2021 17:28 UTC)
Re: Unicode lambda revisited Vladimir Nikishkin (16 Aug 2021 07:37 UTC)
Re: Unicode lambda revisited Marc Nieper-Wißkirchen (16 Aug 2021 10:58 UTC)
Re: Unicode lambda revisited Shiro Kawai (16 Aug 2021 12:09 UTC)
Re: Unicode lambda revisited Jeronimo Pellegrini (16 Aug 2021 12:54 UTC)
Re: Unicode lambda revisited Marc Nieper-Wißkirchen (16 Aug 2021 13:38 UTC)
Re: Unicode lambda revisited Jeronimo Pellegrini (16 Aug 2021 14:58 UTC)
Re: Unicode lambda revisited Jakub T. Jankiewicz (16 Aug 2021 19:11 UTC)
Re: Unicode lambda revisited John Cowan (16 Aug 2021 15:49 UTC)
Re: Unicode lambda revisited Marc Nieper-Wißkirchen (16 Aug 2021 19:56 UTC)
Re: Unicode lambda revisited Shiro Kawai (16 Aug 2021 23:26 UTC)
Re: Unicode lambda revisited John Cowan (17 Aug 2021 03:40 UTC)
Re: Unicode lambda revisited Shiro Kawai (17 Aug 2021 04:15 UTC)
Re: Unicode lambda revisited John Cowan (17 Aug 2021 15:04 UTC)
Re: Unicode lambda revisited Marc Nieper-Wißkirchen (17 Aug 2021 15:34 UTC)
Re: Unicode lambda revisited John Cowan (17 Aug 2021 19:00 UTC)
Re: Unicode lambda revisited Marc Nieper-Wißkirchen (17 Aug 2021 19:22 UTC)
Re: Unicode lambda revisited Shiro Kawai (17 Aug 2021 20:40 UTC)
Re: Unicode lambda revisited Marc Nieper-Wißkirchen (17 Aug 2021 20:49 UTC)
Re: Unicode lambda revisited John Cowan (18 Aug 2021 23:13 UTC)
Re: Unicode lambda revisited Marc Nieper-Wißkirchen (19 Aug 2021 16:03 UTC)
Re: Unicode lambda revisited Daphne Preston-Kendal (19 Aug 2021 16:19 UTC)
Re: Unicode lambda revisited Marc Nieper-Wißkirchen (19 Aug 2021 16:49 UTC)
Re: Unicode lambda revisited Daphne Preston-Kendal (16 Aug 2021 21:03 UTC)
Re: Unicode lambda revisited John Cowan (16 Aug 2021 21:37 UTC)
Re: Unicode lambda revisited Lassi Kortela (17 Aug 2021 05:04 UTC)
Re: Unicode lambda revisited Peter (16 Aug 2021 16:58 UTC)
Re: Unicode lambda revisited Arthur A. Gleckler (16 Aug 2021 17:00 UTC)
Re: Unicode lambda revisited Lassi Kortela (16 Aug 2021 17:36 UTC)
Re: Unicode lambda revisited Arthur A. Gleckler (16 Aug 2021 17:56 UTC)
Re: Unicode lambda revisited Vladimir Nikishkin (17 Aug 2021 04:37 UTC)

Re: Unicode lambda revisited Vladimir Nikishkin 17 Aug 2021 04:26 UTC

In addition to the code snippet from Arthur, I can suggest the
following:

#+begin_src elisp
(defvar lockywolf/common-mathematical-prettify-alist
  (list '("<=" . ?≤)
	'(">=" . ?≥))
  "Lockywolf's custom prettification list.")

(add-hook 'scheme-mode-hook
	  (lambda ()
	    (setq prettify-symbols-alist
	       (seq-concatenate 'list
				(list '("define" . ?≝)
				      '("set!"  . ?≐)
				      '("set-car!"  . ?≔)
				      '("set-cdr!"  . ?≕)
				      '("#t"  . ?✓)
				      '("#f"  . ?✗)
				      '("'()"  . ?∅)
				      '("if"  . ?⁇)
				      '("or"  . ?∨)
				      '("and"  . ?∧))
				lockywolf/common-mathematical-prettify-alist
				prettify-symbols-alist))
	    ))

(add-hook 'emacs-lisp-mode-hook
	  (lambda ()
	    (setq prettify-symbols-alist
	          (seq-concatenate 'list
				   (list '("defun"  . ?≝)
				         '("set"  . ?≔)
				         '("setf"  . ?≕)
				         '("setq"  . ?≐)
				         '("t"  . ?✓)
				         '("nil"  . ?⦰)
				         '("'()"  . ?∅)
				         '("if"  . ?⁇)
				         '("or"  . ?∨)
				         '("and"  . ?∧))
				   lockywolf/common-mathematical-prettify-alist
				   prettify-symbols-alist))
))

(use-package prettify-greek
  :ensure t
  :demand t)

(global-prettify-symbols-mode 1)
(setq prettify-symbols-unprettify-at-point t)
(add-hook 'prog-mode-hook
	  (lambda ()
            (setq prettify-symbols-alist
	          (seq-concatenate 'list
				   prettify-symbols-alist
				   prettify-greek-upper
				   prettify-greek-lower))))

#+end_src

You can check if it is readable for you by, for example:

#+begin_src
;;;; check prettification
(lambda (a b)
  (or (+ a b)
      (if nil t '())))
#+end_src

This list is unfinished, I would generally like to have a way to:
1. Quickly distinguish primitive forms from derived.
2. Quickly distinguish procedures from syntax.

But (1) would require reading a lot through the character table, and I
do not have a lot of time for that at the moment; (2) is do not know how
to do.

"Peter" <xxxxxx@gmx.net> writes:

>> Saying that, however, I do use Emacs fontification to substitute fancy
>> symbols in place of lambda, define, set!, set-car, set-cdr, and some
>> other built-ins.
>
> Would you mind sharing that mapping? That sounds interesting!

--
Your sincerely,
Vladimir Nikishkin (MiEr, lockywolf)
(Laptop)