AMS давно является подмножеством LaTeX и фактически все его возможности становятся доступны при подключении amsmath и amssymb. Пакет так и называется amsmath.
Более подробно:
Цитата:
\FullVersion\textpkg{amsmath} "--- базовый стиль \AMS-\LaTeX. Определяет дополнительные окружения для выключенных формул. При загрузке автоматически подгружает пакеты \textpkg{amsbsy} (жирные математические символы), \textpkg{amsopn} (создание новых математических операторов) и \textpkg{amstext} (определяет команду \textcmd{text}, которая позволяет набирать обычный текст в математическом режиме). Если в документе есть формулы, то этот стиль обязателен для использования.
\FullVersion\textpkg{amssymb} "--- даёт имена всем символам из шрифтов семейства \AMS. Автоматически загружает пакет \textpkg{amsfonts} (дополнительные математические символы и шрифты). Входит в коллекцию \AMS.
\FullVersion\textpkg{amscd} "--- коммутативные диаграммы. Входит в коллекцию \AMS.
\textpkg{amsthm} "--- улучшенные теоремы. Определяет окружение \textenv{proof}. Входит в коллекцию \AMS.
P.S. Дело не в кириллической кодировке, как тоже самое происходит и с koi8-r и c utf8.