Как писать формулы

Формулы в LibreTimes Markdown пишутся на LaTeX и набираются KaTeX. Если вы пишете на LaTeX, почти всё, что вы знаете, работает; это руководство показывает то, что относится именно к формулам внутри Markdown, и немногие места, где KaTeX отличается от установленного LaTeX.

Формула в предложении

Заключите формулу в одинарные знаки доллара, без пробела сразу за ними и перед ними:

Результат

Отображение $f : X \to Y$ непрерывно, если $f^{- 1} (U)$ открыто для любого открытого $U \subseteq Y$ .

Markdown

Отображение $f\colon X \to Y$ непрерывно, если $f^{-1}(U)$ открыто для любого открытого $U \subseteq Y$.

Формула стоит в строке и принимает размер строки, поэтому держите её короткой: дробь в строке читается лучше как \tfrac{1}{2} или 1/2, чем как полный \frac.

$ … $ тоже работает, так что текст, вставленный из файла .tex, не нужно переписывать. Знак доллара в смысле денег пишется \$.

Формула на отдельной строке

Напишите $$ на отдельной строке, формулу — на следующих строках и $$ снова на отдельной строке после неё:

Результат

Интеграл Гаусса равен

\int_{- \infty}^{\infty} e^{- x^{2}} d x = π .

Markdown

Интеграл Гаусса равен
 
$$
\int_{-\infty}^{\infty} e^{-x^2}\,dx = \sqrt{\pi}.
$$

Обе строки $$ должны стоять отдельно. Если написать $$\sqrt{\pi}$$ внутри строки или даже одной строкой, формула останется в строке: она не будет выровнена по центру, а окружение, которому нужна выключная формула, например align*, будет показано красным. Редактор всегда записывает форму на отдельных строках. \[ и \] на отдельных строках означают то же, что $$.

Выключная формула шире экрана прокручивается вбок внутри своей рамки, поэтому длинная формула никогда не расширяет страницу на телефоне.

Выровнять цепочку равенств

Внутри выключной формулы откройте aligned, поставьте & перед знаком, по которому выравнивается каждая строка, и \\ в конце каждой строки, кроме последней:

Результат

(a + b)^{2} = (a + b) (a + b) = a^{2} + ab + ba + b^{2} = a^{2} + 2 ab + b^{2}

Markdown

$$
\begin{aligned}
(a+b)^2 &= (a+b)(a+b) \\
        &= a^2 + ab + ba + b^2 \\
        &= a^2 + 2ab + b^2
\end{aligned}
$$

align, align*, gather, cases и матричные окружения тоже работают; полный список — на странице KaTeX supported environments.

Пронумеровать формулу и сослаться на неё

KaTeX сам формулы не нумерует, поэтому номер — тот, который вы напишете, а ссылка на него — обычная ссылка на якорь.

Поставьте в конце формулы \tag{…} с номером, который нужно напечатать.
Поставьте прямо над строкой $$ строку атрибутов с якорем, например {#eq-energy}, без пустой строки между ними.
Сошлитесь на неё из текста: [(1)](#eq-energy), номер в тексте ссылки пишете вы сами:

Результат

E = m c^{2} (1)

Согласно (1), у покоящегося тела всё равно есть энергия.

Markdown

{#eq-energy}
$$
E = mc^2 \tag{1}
$$
 
Согласно [(1)](#eq-energy), у покоящегося тела всё равно есть энергия.

\label, \ref и \eqref в формуле недоступны. Имя якоря начинается с буквы и используется в документе один раз; имя, в котором есть . или :, пишется так: {id="eq:2.1"}. Ссылки на теоремы и иллюстрации устроены так же, см. Как цитировать работы и ссылаться на части текста.

Записать вывод по строкам

Доказательство, записанное пронумерованными строками, где в каждой строке есть обоснование, — это одна выключная формула: array со столбцом для каждой части строки.

Откройте внутри выключной формулы \begin{array}{lll}, по одному l на столбец.
Пишите по строке вывода на строку массива, с & между столбцами и \\ в конце каждой строки, кроме последней.
Названия правил и сокращения пишите в \text{…}, чтобы они набирались прямым шрифтом:

Результат

[Hyp] [Hyp] [(1), (2), Syll] ⊢ p \supset q ⊢ q \supset r ⊢ p \supset r (1) (2) (3)

Markdown

$$
\begin{array}{lll}
[\text{Hyp}] & \vdash p \supset q & (1)\\
[\text{Hyp}] & \vdash q \supset r & (2)\\
[(1), (2), \text{Syll}] & \vdash p \supset r & (3)
\end{array}
$$

Для столбца, который нужно выровнять по центру или вправо, пишите c или r вместо l. Отдельного блока для выводов нет, и он не нужен: такая запись рендерится как написана и переводится в LaTeX без изменений.

Проверить написанное

Откройте в редакторе Просмотр или посмотрите опубликованную страницу.
Найдите всё, что показано красным. Это формула или команда внутри неё, которую KaTeX не смог прочитать; остальная страница рендерится как обычно.
Исправьте по причинам ниже — они покрывают почти любую красную формулу.

Команда, которой KaTeX не знает. Пакетов нет, поэтому команда из пакета, например \norm или \abs из physics, будет красной. Распишите её: \lVert x \rVert, \lvert x \rvert. Список — на странице KaTeX supported functions.
Окружение выключной формулы, записанное в строке. Поставьте $$ на отдельные строки.
Макрос из другой формулы. \newcommand или \def действует только до конца формулы, в которой определён, поэтому не определяйте то, что нужно дважды; пишите команду полностью там, где она нужна.
Ссылка. \href и \url не принимаются. Поставьте ссылку в предложение.

Ожидаемый результат — страница, где все формулы набраны и ни одна не красная: формулы в предложениях размером с текст, выключные формулы по центру на отдельных строках, цепочка равенств выровнена по знакам, а у формул с \tag номера стоят справа.

Нарисовать коммутативный квадрат

Прямоугольная диаграмма с прямыми стрелками — это формула: KaTeX понимает окружение CD из amscd.

Внутри выключной формулы откройте \begin{CD}.
Напишите объекты и стрелки между ними: @>f>> — стрелка вправо с подписью $f$ сверху, @>>k> — с подписью снизу, @VgVV — стрелка вниз с подписью слева, @VVhV — с подписью справа. Каждую строку заканчивайте \\.

Результат

A g ↓ ⏐ C f k B ↓ ⏐ h D

Markdown

$$
\begin{CD}
A @>f>> B \\
@VgVV @VVhV \\
C @>>k> D
\end{CD}
$$

Диагональные и изогнутые стрелки, графики и рисунки — не математический режим. Рисуйте их в блоке TikZ, который настоящий LaTeX компилирует при сохранении работы.