AMS-LaTeX

---

AMS-LaTeX — набор макросширений для LaTeX, разработанный Американским математическим обществом. AMS-LaTeX вытеснил набор расширений AMS-TeX, который был написан Майклом Спиваком и использовался в 1983—1985 годах.

Набор предоставляет дополнительные математические символы, множество удобных возможностей для оформления математических формул (например, упрощённую работу с многострочными формулами) и используется почти во всех LaTeX-документах, в которых есть сколько-нибудь сложные формулы.

В пакете amssymb определено большое число дополнительных математических символов, в том числе привычные в русскоязычной среде символы: ${\displaystyle \leqslant }$ (\leqslant), ${\displaystyle \geqslant }$ (\geqslant) и ${\displaystyle \varkappa }$ (\varkappa) вместо стандартных ${\displaystyle \leq }$ (\le), ${\displaystyle \geq }$ (\ge) и ${\displaystyle \kappa }$ (\kappa), что делает это пакет почти необходимым при написании статей на русском языке.

Теорема (Пифагора) Пусть ${\displaystyle a\leqslant b\leqslant c}$ — длины сторон прямоугольного треугольника.
Тогда ${\displaystyle a^{2}+b^{2}=c^{2}}$.
Proof. . . □

Для того, чтобы вместо стандартного Proof получить русскоязычный аналог Доказательство, следует либо использовать необязательный аргумент команды \begin{proof}:

---