조직모드 논리 기호 문장 관계 표현 활용법

이 노트에 대하여

Org-mode에서 논리 기호를 실제 문서와 코드 안에 어떻게 자연스럽게 써 넣을지 실험한다. 단순 prettify-symbols 설정을 넘어, 문장 관계와 추론을 기호로 압축해 쓰는 감각을 다루는 운용 노트다.

히스토리

• [2026-05-01 Fri 15:10] 지피티랑 같이 업데이트
• [2024-06-14 Fri 14:27] 페이지 추가

#latex 측면에서 보자면, #레이텍: #모음: 기호 심볼 수식

2026 @힣 어쏠로지 유니코드 기호 파일명 의미 설계

이 노트는 유니코드 기호를 파일명과 표지에 쓰는 쪽이고, 여기서는 그것을 실제 문장 관계와 추론 표현에 옮겨 쓰는 쪽이다.

2024 논리 관계와 한글 조사를 제거하기 위한 논리 기호 표현

[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)))