---
title: "조직모드 논리 기호 문장 관계 표현 활용법"
url: "https://notes.junghanacs.com/notes/20240614T142704"
author: "Junghan Kim"
date: "2024-06-14T14:27:00+09:00"
lastmod: "2026-05-01T15:10:00+09:00"
tags: ["howtouse","logic","orgmode","symbol","writing"]
description: "조직모드에서 논리 기호를 입력하고 prettify-symbols로 보이게 하며 문장 관계와 추론을 압축해 표현하는 실전 노트."
---

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

## 히스토리

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

## #latex 측면에서 보자면, [#레이텍: #모음: 기호 심볼 수식](https://notes.junghanacs.com/notes/20240315T075956)

## 2026 [@힣 어쏠로지 유니코드 기호 파일명 의미 설계](https://notes.junghanacs.com/notes/20241225T052744)

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

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

[2024-06-14 Fri 14:29]

김정한 -> :exist ⊢⊨

```emacs-lisp
;;;; 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)))
```