Утверждения и выноски

В LibreTimes Markdown два семейства блоков с меткой, и в исходном тексте они похожи: :::theorem и :::warning — это ограждение, имя и тело. На странице это разные вещи, и в этом весь смысл. Утверждение — часть математики. Выноска — автор говорит с читателем о тексте. Эта страница объясняет, почему их держат раздельно, почему нумеруется только одно из них и как понять, что нужно фрагменту.

Два вида текста с меткой

У математического текста всегда было два голоса. Первый — сама теория: определения, теоремы, леммы, доказательства, примеры, замечания. Каждая из этих единиц — то, что читатель ищет, цитирует и проверяет, и больше века у них одна типографика: полужирная метка в начале абзаца, название результата в скобках, формулировка теоремы курсивом, доказательство со знаком конца.

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

Второй голос — редакторский: «при первом чтении это можно пропустить», «так быстрее», «проверьте размерности, прежде чем идти дальше». Это не часть теории, и печатная книга выносит такое на поля или в рамку.

:::tip
Доказательство леммы читайте только после теоремы: оно больше ни на что не
опирается.
:::

Утверждения — первый голос, выноски — второй. Полные списки — в справочнике синтаксиса.

В строку или в рамке

Утверждение отображается в строку: метка — первые слова его первой строки, и текст продолжается в той же строке. Это абзац рассуждения с меткой впереди, поэтому он стоит в потоке текста без рамки. Читатель, ищущий глазами Теорема, находит её по полужирному слову, как в любом печатном тексте.

Выноска отображается в рамке: цветная рамка с полосой заголовка, в которой стоит название вида. Рамка говорит «это не рассуждение» — ровно то, что должно говорить отступление. Поэтому же выноски не бесплатны: каждая рамка притягивает взгляд, и страница со множеством рамок читается как страница из одних перебиваний.

Ни один вид не бывает и тем и другим

note, warning и caution — выноски и никогда не утверждения. У двух семейств нет общих имён, и это правило существует потому, что его нарушение ломало страницы. Когда сторона чтения и редактор однажды разошлись в том, к какому семейству относится :::note, опубликованная заметка печатала свою метку дважды, а предупреждение строило рамку дважды, одну внутри другой. Слово, обозначающее отступление, — это выноска, а математическое замечание — это :::remark.

Почему утверждения нумеруются, а выноски нет

Номер нужен, чтобы на него ссылаться. «По теореме 3.2» отправляет читателя в одно место текста — в лекции, в статье, которая цитирует лекцию, в экзамене, который ссылается на курс. Каждый вид утверждения — единица, на которую можно сослаться, поэтому у утверждений есть номера.

Никто не ссылается на «Совет 3». Выноску читают там, где она стоит, или не читают вовсе, поэтому номер на ней был бы шумом, и его нет.

Сегодня номер утверждения — тот, который вы ему дали. Автоматической нумерации на опубликованной странице пока нет, поэтому теорема без номера помечается Теорема., а с названием — Теорема (Лагранжа). Собственная нумерация источника сохраняется ключом number= или номером в слоте метки:

:::theorem{number=3.2}
Всякая ограниченная монотонная последовательность сходится.
:::
 
:::problem[4]
Докажите, что $\sqrt{2}$ иррационально.
:::

Напишите теорему и её доказательство показывает, как пронумеровать целый набор результатов и ссылаться на них по якорю.

Метки следуют языку документа

Вид вы всегда пишете по-английски, а страница печатает его метку на языке документа: :::theorem в русской лекции — это Теорема, :::warning в немецкой — Warnung. Язык интерфейса читателя на это не влияет, потому что метка — часть текста: русская лекция, которую читают с английским интерфейсом, остаётся русской лекцией, и ссылка на «Теорему 2» должна найти то слово, которое она называет.

Два запасных выхода сохраняют словарь закрытым, никого не запирая:

• label="…" заменяет печатаемое слово для одного блока и сохраняет всё остальное в его виде. :::proof{label="Набросок доказательства"} по-прежнему заканчивается знаком ∎; :::warning{label="Перед экзаменом"} сохраняет цвет предупреждения.
• :::statement[Предложение] — утверждение, метка которого — ваше собственное слово.

Ни то ни другое не переводится: выбранное вами слово — часть того, что вы написали.

Почему семейства закрыты

Нет ни :::proposition, ни :::question. Новому виду пришлось бы научить редактор, импорт из LaTeX и Word, метки на всех языках и каждый экспорт, и документ с ним ломался бы в тот день, когда что-то одно отстало. Метка на существующем виде даёт ту же страницу без всего этого: :::theorem{label="Предложение"} печатает Предложение и во всём остальном ведёт себя как теорема.

Два семейства соответствуют и двум вещам в LaTeX. Утверждения — это окружения amsthm, поэтому теоремы и доказательства файла .tex импортируются как утверждения. У выносок там соответствия нет, а стили Note или Warning документа Word импортируются как выноски.

Как выбрать

Спросите себя, что читатель будет делать с фрагментом.

Две ошибки встречаются часто. Определение, записанное как :::note, теряет метку, место в рассуждении и соответствие в LaTeX. А отступление, записанное как :::remark, читается как часть теории, так что читатель, пропускающий замечания при первом чтении, пропустит и ваше предупреждение.