AMS-LaTeX

1. 개요

2. amsmath 번들

• amsmath - align, gather, multline, split나 \tag, \eqref 등 흔히 알고 있는 대부분의 display align environment 기능을 제공한다. 그리고 pmatrix, bmatrix 등 상당수의 행렬 응용 environment도 이 패키지에서 나온다.
• amstext
• amsopn
• amsbsy
• amscdCTAN# - 다이어그램 및 가환 다이어그램 작성용. 사실상 네모반듯한 array 형태의 다이어그램만 그릴 수 있어 간단한 상황을 제외하면 사용성은 tikz-cd, xymatrix 등 다른 패키지에 비해 밀리는 편이다. 다만 하도 단순하기 때문에 포팅도 쉽고, 무려 MathJax나 KaTeX 등 웹 환경에서까지 구현되는 위엄을 누리고 있다. 나무위키가 수식 렌더러로 KaTeX을 쓰기 때문에 현재 나무위키 범주론 관련 문서에는 amscd를 쓴 다이어그램이 매우 많다.
• amsxtra

3. amscls

• amsart
• amsbook
• amsproc
• amsthmCTAN# - LaTeX의 수학 쪽 theorem/proof environment의 사실상 표준. amscls의 다른 문서 양식은 사실 미국 수학회의 컨퍼런스(amsproc)나 논문 게재(amsart)할 때 아니면 자주 볼 일도 없고 꼭 이것만 써야 하는 건 아니지만, amsthm은 예외적으로 압도적인 범용성을 가지고 있어 미국 수학회랑 관련 없는 곳에서도 자주 쓰는 것. ntheorem 등 신생 패키지도 많지만 여전히 amsthm이 압도적으로 자주 쓰이고, 사실 거의 대부분은 amsthm 이상의 기능이 필요하지 않기도 하다. Typst 생태계에서도 theorion 등 가장 자주 쓰이는 environment package는 대부분 기본적으로 amsthm 스타일을 따라가고 있다.# 참고로 \proof 매크로의 경우 display mode 수식으로 블록이 끝날 때 QED 마커를 다음 행에 두는 사람과 같은 행에 두는 사람으로 스타일이 갈리는데, amsthm 기본 동작은 전자이다. 후자를 원할 경우 \qedhere를 해주면 된다.

4. AMS-LaTeX은 아니지만 관련있는 패키지

• amsfonts - 우리가 흔히 쓰는 TeX 칠판 볼드체(\mathbb)나 프락투어(\mathfrak) 글꼴의 출처. 참고로 amsmath 번들에 포함되어 있지 않은데, 따라서 amsmath만 불러오고 amsfonts를 안 불러오면 \mathbb R 같은 게 컴파일이 안된다.
• amssymb - 사실 기본 TeX 수식 모드에서 지원하는 심볼은 얼마 없다. 조금만 특이한 수학 기호여도 Detexify하거나 그 근원을 찾아보면 상당수 출처가 amssymb이다. 결과적으로 반 필수적인 패키지인 편.