#latex 측면에서 보자면, 이맥스: 레이텍: 수식: 입력: 스니펫: 활용법
논리 관계와 한글 조사를 제거하기 위한 논리 기호 표현
[2024-06-14 Fri 14:29]
김정한 -> :exist ⊢⊨
;;;; prettify-symbols with logic
;; https://en.wikipedia.org/wiki/Glossary_of_mathematical_symbols
;; 2024-03-07 기호를 활용하면 관계를 표현할 수 있다.
;; M-x list-unicode-display
(add-hook 'org-mode-hook (lambda ()
(push '("---" . "—") prettify-symbols-alist)
(push '("->" . "→" ) prettify-symbols-alist)
(push '("<-" . "←" ) prettify-symbols-alist)
(push '("<->" . "↔" ) prettify-symbols-alist)
;; (push '("<->" . "" ) prettify-symbols-alist) ; Action
(push '("=>" . "⇒") prettify-symbols-alist) ; if 조건 ⇒ ⟹
(push '("<=>" . "⟺") prettify-symbols-alist) ; 명제 논리 ; 동치
(push '(":not" . "!") prettify-symbols-alist); ¬
(push '(":and" . "∧") prettify-symbols-alist) ; 논리곱
(push '(":or" . "∨") prettify-symbols-alist) ; 논리합
(push '(":xor" . "⊕") prettify-symbols-alist) ; 베타적 논리합
(push '(":all" . "∀") prettify-symbols-alist)
(push '(":exist" . "∃") prettify-symbols-alist) ; 존재 실존
(push '(":vs" . "🆚") prettify-symbols-alist)
(push '(":ref" . "※") prettify-symbols-alist)
(push '(":prove" . "⊢") prettify-symbols-alist)
(push '(":entail" . "⊨") prettify-symbols-alist)
(push '(":in" . "∈") prettify-symbols-alist)
(push '(":notin" . "∉") prettify-symbols-alist)
(push '(":union" . "∪") prettify-symbols-alist)
(push '(":intersect" . "∩") prettify-symbols-alist)
(push '(":star" . "★") prettify-symbols-alist)
(prettify-symbols-mode)))