Утверждения

Утверждения – семейство теоремных окружений LaTeX в виде директив. Каждое рендерится с типографской меткой в традиции математического текста: метка полужирным, тело сразу за ней.

Виды

(note, warning и caution – это выноски, а не утверждения: они рендерятся рамками, а не теоремным текстом.)

Базовое использование

:::definition
Группа -- это множество с ассоциативной операцией, нейтральным элементом и
обратными.
:::

Именованные утверждения

[метка] называет результат – она рендерится в скобках после вида:

:::theorem[Лагранж]
Порядок подгруппы делит порядок группы.
:::
 
:::proof
Смежные классы разбивают группу и равномощны.
:::

Могильный камень доказательства ($■$) добавляется автоматически – свой знак QED не набирайте.

Метки переводятся

Текст метки следует языку публикации, а не языку интерфейса читателя: в англоязычной публикации :::theorem рендерится как Theorem., во французской – Théorème., и так далее для немецкого и китайского. Имя директивы всегда пишется по-английски; локализуется рендеринг.

Содержимое

Тело утверждения – полный Markdown: выключные формулы, списки, код, изображения, даже вложенная диаграмма TikZ (внешней ограде – больше двоеточий; см. вложенность). Утверждения не нумеруются автоматически; если на утверждение нужно ссылаться, дайте ему [метку] и ссылайтесь по имени.