feat(org): add new Org user entities

This commit is contained in:
Kiana Sheibani 2024-08-27 14:05:12 -04:00
parent 83f3bfd0d1
commit 2a5c3e6ba1
Signed by: toki
GPG key ID: 6CB106C25E86A9F7

View file

@ -2947,10 +2947,15 @@ It's sometimes nice to be able to click a link in an Org file that takes me to o
#+begin_src emacs-lisp
(after! org
(setq org-pretty-entities t)
(pushnew! org-entities-user
'("top" "\\top" t "⊤" "" "22A4" "")
'("bot" "\\bot" t "⊥" "" "22A5" "⊥")))
(setq org-pretty-entities t
org-entities-user
'(("top" "\\top" t "⊤" "" "22A4" "")
("bot" "\\bot" t "⊥" "" "22A5" "⊥")
("bbN" "\\mathbb{N}" t "" "" "2115" "")
("bbZ" "\\mathbb{Z}" t "" "" "2124" "")
("bbQ" "\\mathbb{Q}" t "" "" "211A" "")
("bbR" "\\mathbb{R}" t "" "" "211D" "")
("qed" "\\square" t "" "" "25A0" "■"))))
#+end_src
*** Modern