#latex 측면에서 보자면, #레이텍: #모음: 기호 심볼 수식
#노트테이킹: #유니코드: § † ‡ № ¶ ↔ → ∉ ⊢ ⊨ #기호 #파일명
이것도 유사한 개념이다.
논리 관계와 한글 조사를 제거하기 위한 논리 기호 표현
김정한 -> :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)))
#keyword
- #한글 #맞춤법: #문장부호 #모음 공식 비공식 ☛ ⁂ (2025-06-22)
- #기호: #그리스문자 #발음 αβγδεζηθικλμνξοπρςτυφχψω (2025-04-30)
- @힣: #노트테이킹 #유니코드 #기호: 파일명 § ⓕ † ‡ № ¶ ↔ → ∉ ⊢ © ¬ ¢ ¤ µ ¥ £ ¡ ¿ (2024-12-25)
- @tecosaur #스니펫 #이맥스: 수식 레이텍 §laas (2024-11-11)
- @데쓰노리 수학 기호 사전 - 레이텍 예제 (2024-10-04)
- #유니코드: #폰트 #합자 #Symbola (2024-09-16)
- #조직모드: 논리 기호 활용법 (2024-06-14)
- #모음: #수학 #논리 #기호 (2024-05-19)
- #모음 #레이텍 #스니펫 - 수식 기호 수학 화학 (2024-03-15)
- @노박 #심볼릭 #기호 #프로그래밍 (2025-02-04)
- @조지프마주르 #수학기호의역사 #상징의기원 (2024-10-05)
- @다카미즈유이치 #SF영화 #우주 #수식 @도미시마유스케 #수식독해력 (2024-10-05)