From: rush Date: Thu, 9 Jul 2026 15:27:58 +0000 (-0400) Subject: potentially fix pretty symbols being overridden X-Git-Url: https://git.earman.xyz/?a=commitdiff_plain;h=74b913986a0d4ea771c824689cbf6eae4b2c4e8f;p=emacsinit.git potentially fix pretty symbols being overridden --- diff --git a/init.el b/init.el index 3fec5b3..003dc14 100644 --- a/init.el +++ b/init.el @@ -912,12 +912,12 @@ If in org-mode, call `org-end-of-line' first." ;;; Pretty Symbols -(setq prettify-symbols-alist '(("lambda" . 955) - ("delta" . 120517) - ("epsilon" . 120518) - ("->" . 8594) - ("<=" . 8804) - (">=" . 8805))) +(setq-default prettify-symbols-alist '(("lambda" . 955) + ("delta" . 120517) + ("epsilon" . 120518) + ("->" . 8594) + ("<=" . 8804) + (">=" . 8805))) (global-prettify-symbols-mode t)