“이 기호를 LaTeX에서 어떻게 입력하지?” 수학을 쓰다 보면 반드시 마주치는 질문입니다. 답에 이르는 도구는 대체로 네 가지로 정리됩니다. 먼저 표준 LaTeX에 없는 기호 대부분을 보충하는 amssymb 패키지입니다. 다음은 패키지별, 분야별로 약 25,000개의 기호를 정리한 Scott Pakin의 Comprehensive LaTeX Symbol List입니다. 기호를 손으로 그려 명령 이름을 찾는 Detexius(Detexify) 도 있습니다. 그리고 수식 모드에서 단위나 온도 같은 직립 기호를 쓰는 mathcomp/textcomp가 있습니다. 이 페이지는 또 하나의 개별 기호표가 아니라, 그런 “기호를 찾기 위한 도구 상자”를 정리하고 분야별 자세한 목록 페이지로 이어 줍니다.
amssymb — 표준 다음에 불러올 패키지
찾는 기호가 표준 LaTeX에 없다면 가장 먼저 시도할 것은 amssymb 입니다. 미국수학회(AMS)가 제공한 패키지로, 프리앰블에 \usepackage{amssymb} 한 줄만 쓰면 수백 개의 추가 기호를 사용할 수 있습니다. amsmath와는 별개입니다. amsmath가 수식의 구조(정렬 환경, 분수 관련 기능)를 담당하고, amssymb는 기호 자체를 늘려 주는 패키지라고 보면 구분하기 쉽습니다.
구조를 조금만 살펴보겠습니다. amssymb를 불러오면 내부에서 AMSFonts의 amsfonts 패키지가 호출되고, msam과 msbm이라는 두 AMS 기호 글꼴을 사용할 수 있게 됩니다. amssymb.sty는 그 글꼴 안의 글리프에 명령 이름을 붙이는 파일입니다. 따라서 \usepackage{amssymb} 하나만으로도 amsfonts가 제공하는 \mathbb(blackboard bold), \mathfrak(Fraktur), 그리고 \checkmark, \hbar 같은 기호까지 함께 얻습니다(엄밀히는 amsfonts 쪽 정의이지만 amssymb가 이를 불러오므로 따로 지정할 필요가 없습니다).
amssymb가 추가하는 기호는 크게 다섯 계열로 나뉩니다. 이를 염두에 두면 원하는 기호가 여기에 있을지 가늠할 수 있습니다.
- 추가 관계자. 표준 관계자의 변형과 친척들:
\leqslant(기울어진 “작거나 같음”)와\geqslant,\lesssim과\gtrsim, 이중선의\subseteqq와\supseteqq등. - 부정 관계자. 처음부터 사선이 그려진 전용 기호:
\nleq(작거나 같지 않음),\ngeq,\nsim,\nsubseteq,\nmid(나누어떨어지지 않음) 등. - 추가 화살표.
\twoheadrightarrow(두 머리 = 전사),\rightrightarrows(나란한 두 화살표),\rightsquigarrow(물결선),\dashrightarrow(파선) 같은 장식적 화살표. - 기타 기호.
\varnothing(둥근 공집합),\square/\blacksquare,\complement,\nexists,\circledast등. - 히브리 문자.
\beth,\gimel,\daleth(기수에 사용). 단\aleph만은 이미 표준 LaTeX에 있습니다.
\usepackage{amssymb} % 追加の関係子・否定・矢印・雑記号・ヘブライ文字
% ...
\[ 0 \leqslant x \lesssim 1, \qquad a \nmid b, \qquad A \subseteqq B \]
\[ f \colon X \twoheadrightarrow Y, \qquad \varnothing \ne S, \qquad \aleph_0 < \beth_1 \]amssymb의 관계자와 부정(대표 예)
관계자의 변형과 부정형은 amssymb 안에서도 특히 자주 쓰이는 계열입니다. 아래에는 대표적인 것들을 듭니다(망라한 목록은 아니며, 모두 amssymb가 필요합니다). “작거나 같음”을 기울어진 \leqslant(⩽)로 조판하는 것은 수학에서 널리 선호되며, 부정에는 \not\leq처럼 즉석에서 만드는 방식보다 처음부터 사선이 들어간 전용 기호가 더 깔끔합니다.
| 명령 | 자형 | 의미(모두 amssymb 필요) |
|---|---|---|
\leqslant | ⩽ | 작거나 같음(기울어진 변형) |
\geqslant | ⩾ | 크거나 같음(기울어진 변형) |
\lesssim | ≲ | 작거나 유사함 |
\gtrsim | ≳ | 크거나 유사함 |
\subseteqq | ⫅ | 부분집합, 이중 등호 막대 |
\nleq | ≰ | 작거나 같지 않음 |
\ngeq | ≱ | 크거나 같지 않음 |
\nsim | ≁ | 유사하지 않음 |
\nsubseteq | ⊈ | 부분집합 또는 같음이 아님 |
\nmid | ∤ | 나누어떨어지지 않음 |
\nparallel | ∦ | 평행하지 않음 |
전용 부정 기호가 없는 관계자는 앞에 \not 을 붙여 즉석에서 부정할 수 있습니다(예: \not\equiv). 하지만 \not의 사선은 크기와 기울기가 고정되어 있어 어떤 기호 위에서는 어색하게 겹칩니다. \ne(≠)와 \notin(∉)은 표준 LaTeX에 이미 전용 명령이 있으므로 amssymb도 \not도 필요하지 않습니다. 관계자 클래스의 간격과 \not의 자세한 사용법은 “관계자” 페이지에서 다룹니다.
amssymb의 화살표, 기타 기호와 히브리 문자
나머지 세 계열도 대표 예를 들어 둡니다(모두 amssymb). 화살표에서는 전사를 나타내는 두 머리 \twoheadrightarrow(↠), 단사를 나타내는 꼬리 달린 \rightarrowtail(↣), 물결 모양의 \rightsquigarrow(⇝)가 자주 쓰입니다. 기타 기호에서는 둥근 공집합 \varnothing(∅), 증명 끝의 □ 에 쓰는 \square, 여집합의 \complement가 표준적입니다.
| 명령 | 자형 | 의미 / 비고(모두 amssymb 필요) |
|---|---|---|
\twoheadrightarrow | ↠ | 두 머리 오른쪽 화살표; 전사 |
\rightarrowtail | ↣ | 꼬리 달린 오른쪽 화살표; 단사 |
\rightrightarrows | ⇉ | 오른쪽 화살표 두 개 나란히 |
\rightsquigarrow | ⇝ | 물결 오른쪽 화살표 |
\varnothing | ∅ | 둥근 공집합(\emptyset의 변형) |
\square | □ | 흰 사각형 / 증명 끝(QED) |
\blacksquare | ■ | 검은 사각형 |
\complement | ∁ | 여집합 |
\nexists | ∄ | 존재하지 않음(∃의 부정) |
\checkmark | ✓ | 체크 표시(amsfonts에서 옴) |
\beth | ℶ | 히브리 문자 beth(기수) |
\gimel | ℷ | 히브리 문자 gimel |
\daleth | ℸ | 히브리 문자 daleth |
히브리 문자는 집합론의 기수(무한한 농도)에 쓰입니다. \aleph(ℵ)만 표준 LaTeX에 있고, 이어지는 \beth, \gimel, \daleth는 amssymb가 필요합니다. 또한 \digamma(ϝ), \varkappa(ϰ) 같은 그리스 문자 변형도 amssymb가 제공합니다(그리스 문자 페이지 참조). 각 계열의 망라적 목록은 “화살표”, “기타 기호”, “관계자” 페이지에 있습니다. 이 메타 페이지는 어디를 보면 되는지 알려 주는 입구입니다.
Comprehensive LaTeX Symbol List(망라적 결정판)
amssymb에도 없는 기호이거나, 어느 패키지에 들어 있는지 확인해야 할 때 결정판은 Scott Pakin의 The Comprehensive LaTeX Symbol List입니다. LaTeX에서 사용할 수 있는 기호를 패키지별, 주제별로 정리한 목록이며, 수록 수는 판을 거듭하며 늘어 2026년 현재 약 25,000개에 이릅니다(2020년의 약 14,600개에서 크게 늘었습니다). 각 기호에 대해 자형, 명령 이름, 필요한 패키지를 표로 보여 주고, 뒤에는 색인도 붙어 있습니다.
TeX Live와 MiKTeX에 기본으로 포함되어 있으므로 인터넷에 연결하지 않아도 로컬에서 열 수 있습니다. 터미널에서 다음처럼 입력하면 설치된 PDF가 뷰어에서 열립니다. CTAN에서의 이름은 comprehensive이고, PDF 파일 이름은 symbols-a4.pdf(A4용)와 symbols-letter.pdf(letter용)입니다.
# インストール済みの「記号網羅一覧」を開く / open the installed symbol list
texdoc comprehensive
# ファイル名を直接指定してもよい / or name the file directly
texdoc symbols-a4사용 요령은 주제(topic) 장에서 범위를 좁힌 뒤, 패키지별 표에서 명령 이름을 확인하는 것입니다. 예를 들어 “전기 회로 기호”, “체스 말”, “천문 기호” 같은 분야를 넘나드는 기호도 여기에 실려 있습니다. 다만 수록된 기호 중 상당수는 전용 글꼴이나 패키지를 별도로 설치해야 사용할 수 있다는 점에 주의하세요. 목록 앞부분에도 모든 것이 표준 환경에서 사용 가능한 것은 아니라고 명시되어 있습니다. 라이선스는 LPPL(LaTeX Project Public License)입니다.
Detexify — 그려서 명령 찾기
기호의 이름도 분야도 모르지만 모양만은 알고 있을 때 편리한 도구가 Detexify입니다. Daniel Kirsch의 웹 앱으로, 칸 안에 마우스나 손가락으로 기호를 그리면 모양이 가까운 LaTeX 명령 후보를 순서대로 보여 줍니다. “이 휘어진 화살표 명령이 뭐였더라?” 같은 상황에서는 종이 목록을 처음부터 훑는 것보다 훨씬 빠를 수 있습니다.
각 후보에는 그 명령이 표준 LaTeX인지, 아니면 amssymb 같은 어떤 패키지가 필요한지도 표시됩니다. 손그림 인식이므로 항상 한 번에 맞지는 않지만, 어떤 후보가 정답이었는지 알려 주면 인식 모델 개선에 반영되어 이후 정확도가 올라갑니다. 공식 사이트는 detexify.kirelabs.org입니다. 로컬에서 쓰고 싶은 사람을 위해 같은 발상의 데스크톱 / 모바일 앱도 몇 가지 있습니다.
mathcomp / textcomp — 직립 단위와 기호
잊기 쉬운 또 하나의 도구 계열이 textcomp와 그 수식 모드판인 mathcomp입니다. textcomp는 TS1 (Text Companion) 이라는 추가 인코딩을 활성화하여 본문(text mode)에서 도 기호 \textdegree(°), 퍼밀 \textperthousand(‰), 옴 \textohm(Ω), 마이크로 \textmu(µ), 섭씨 \textcelsius(℃) 등을 낼 수 있게 합니다. 현대 LaTeX에서는 이 중 많은 것이 커널에 포함되어 있지만, 오래된 문서나 특정 글꼴에서는 명시적으로 불러와야 할 수 있습니다.
그런데 이런 기호를 수식 모드 안에서 쓰고 싶을 때가 있습니다. 예를 들어 단위 “µm”을 기울어진 변수가 아니라 직립 µ 로 조판하고 싶은 경우입니다. 이때 쓰는 것이 mathcomp입니다. textcomp의 \text… 기호를 수식 모드용 \tc…(text companion) 명령으로 다시 제공합니다. 이름 규칙은 단순해서 text를 tc로 바꾸면 됩니다. 즉 \textmu는 \tcmu, \textdegree는 \tcdegree가 됩니다.
| 명령(mathcomp) | 자형 | 의미 |
|---|---|---|
\tcohm | Ω | 옴(저항 단위); 직립 |
\tcmu | µ | 마이크로 기호(µm의 µ); 직립 |
\tcdegree | ° | 도 기호 |
\tccelsius | ℃ | 섭씨도(\tccentigrade도 동의어) |
\tcperthousand | ‰ | 퍼밀(천분율) |
\tcpertenthousand | ‱ | 만분율(베이시스 포인트) |
불러오기는 \usepackage{mathcomp}만 하면 되며 내부에서 textcomp도 호출됩니다. 옵션으로 글꼴 패밀리를 지정할 수 있고(예: \usepackage[ppl]{mathcomp}로 Palatino의 TC 글꼴 사용), \tcdigitoldstyle{0} … \tcdigitoldstyle{9}로 올드스타일 숫자도 얻을 수 있습니다. \tcohm(Ω)은 그리스 대문자 \Omega와 별개의 것으로, 이것이 정식 단위 기호입니다. 단위 조판을 본격적으로 하려면 단위 전용 siunitx 패키지가 더 목적에 맞는 경우가 많으며, 이는 “단위(siunitx)” 페이지에서 다룹니다. XeLaTeX / LuaLaTeX에서 OpenType 수식 글꼴을 쓰는 경우에는 Will Robertson 등의 unicode-math 패키지가 다른 계통의 선택지이며, \mforall처럼 Unicode 이름에 대응하는 명령으로 기호를 호출할 수 있습니다(pdfLaTeX에서는 사용할 수 없습니다).