Пакеты прикладных программ

Санкт-Петербург, 2020
Ввод математических формул
Основная идея

был разработан для того, чтобы задача ввода сложных

математических выражений выполнялась пользователем без труда.

Основная идея состоит в том, что сложная формула разбивается на

менее сложные формулы, которые потом группируются вместе.

Таким образом, зная, как вводить простые математические

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

Для того, чтобы ввести их:

- оператор математической скобки в техе, включающий математический

режим ввода. Является служебным символом.
Служебные символы

Для вывода этих символов

Греческие буквы

Введя \texttt{\$\$\textbackslash alpha, \textbackslash beta,

\textbackslash gamma, \textbackslash delta\$\$} , вы получите
первые четыре буквы греческого алфавита: $$\alpha, \beta,
\gamma, \delta$$
Греческие буквы
Упражнение

Как напечатать формулу ?

Усложняем ввод
Индексы
Обратите внимание: операторы надстрочного, ‘^’, и подстрочного,
‘_’ ввода действуют только на один идущий следом символ. Для
распространения их действия на несколько символов используется
группировка (выполняется фигурными скобками):
Индексы
Вводить

или

недопустимо
Усложняем ввод
Рассмотрим следующий пример:
Вопрос
Чем будут отличны выводы следующих выражений:

?
Индексы
Допустимо одновременное присутствие подстрочного и
надстрочного индексов
Индексы
Подстрочный и надстрочный индексы выравниваются относительно
друг друга. Однако в случае некоторых букв, нижний индекс может
быть сдвинут.

Рассмотрим пример

Для выравнивания индексов можно применить конструкция с пустой

подформулой
Штрих
Команда ^\prime выводит символ .

В формулах штрих встречается повсеместно, поэтому введено

сокращенное обозначение: можно просто ввести кавычку, и это будет
истрактовано техом как ^\prime
Упражнение
В математике часто используется тензорная нотация, при которой
надстрочные и подстрочные индексы могут следовать в шахматном
порядке. Например, вот так .

Как бы вы ввели это выражение в техе?

Усложняем формулы
Команды \sqrt, \underline, \overline
Корень степени n
Команда \root

В новой записи: \sqrt[n]{x}

$\sqrt[n]{x}$

Тонкий тюнинг при помощи пакета amsmath:

$\sqrt[\leftroot{-2}\uproot{2}\beta]{k}$
 Некоторые особенности
Рассмотрим $\sqrt{g}+\sqrt{d}+\sqrt{y}$

Для выравнивания можно воспользоваться болванкой \mathstrut

$\sqrt{\mathstrut g}+\sqrt{\mathstrut d}+\sqrt{\mathstrut y}$

Бинарные операции

\lor \land
Бинарные операции
Могут быть также использованы как обычные символы в
надстрочных и подстрочных индексах.
Упражнение

Как вбить в тех выражения и ?

Другие бинарные операторы
Тех трактует символы =, <, >, : как бинарные операции отношения.
Пространство вокруг этих операторов организуется
соответствующим образом.
Знаки препинания
Два символа, ‘,’ (запятая) и ‘;’ (точка с запятой), используются техом в
качестве знаков препинания в формулах. Тех сделает небольшой
отступ после такого знака, но не перед ним.

К точке тех относится как к обычному символу. Если вы хотите, чтобы

двоеточие, ‘:’, толковалось как знак препинания, а не как бинарный
оператор, воспользуйтесь командой \colon
Знаки препинания
Если вы хотите обработать запятую как обычный символ (н., в числах
с плавающей запятой), а не как знак препинания, заключите её в
фигурные скобки. Знаки препинания в фигурных скобках будут
поняты техом как обычные символы без добавочного отступа.

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

siunitx
Акценты
«Домик», «крышка», черта, тильда, точка и т.д. и т. п.

$\vec{a}$
Акценты
Хорошей идеей будет воспользоваться макросом для часто
употребляемых вами выражений
Акценты
В случае, если акценты ставятся над буквами i или j, необходимо
использовать аналоги этих букв без точек сверху:
Они вызываются командами \imath и \jmath

К примеру, если статья использует обозначения или , стоит

начать её написание со ввода следующих определений:
Широкие акценты
Математическое окружение
в среде LaTeX
Математическое окружение
Использование $ и $$ для перехода в режим математического ввода
является прерогативой Plain TeX’a. Для LaTeX’а характерно
использование математического окружения, задаваемого \( … \)
(строчной режим) и \[ … \] (display-mode, выключной режим).

Plain TeX:

\( \[
LaTeX: x 2
\) \]
Дроби
Команда \over. Действует на все, что следует за ней. Предел её
действия можно установить посредством заключения выражения в
фигурные скобки.
Дроби
Последовательное использование команды \over должно
сопровождаться уточнением, что стоит над чем в дроби.

Подобные выражения, однако, лучше выглядят, если записать их

через косую черту:
Дроби
Cовременным вариантом является использование команды
\frac{числитель}{знаменатель}

\frac{y+z/2}{y^{2}+1}

\frac{x+y}{1 + \frac{y}{z+1}}
 Дроби
Команды \dfrac{}{} и \tfrac{}{}. Их отличие от \frac{}{}.

\[
f(x) = \frac{1}{2} x^2 = \dfrac{1}{2} x^2 = \tfrac{1}{2} x^2
\]

$
f(x) = \frac{1}{2} x^2 = \dfrac{1}{2} x^2 = \tfrac{1}{2} x^2
$
 Дроби
Команды \dfrac{}{} и \tfrac{}{}. Их отличие от \frac{}{}.

Другие примеры:

$
\frac{x}{1+x}=\dfrac{x}{1+x}=\tfrac{x}{1+x}
$

\[
\frac{x}{1+x}=\dfrac{x}{1+x}=\tfrac{x}{1+x}
\]
Упражнение

Что не так в записи $$x = (y^2\over k+1)$$ ?

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

Всего имеется восемь различных стилей, согласно которым

определяется размер, а именно:

▪ display style «выключной» стиль

▪ text style текстовый («включённый») стиль
▪ script style стиль для индексов
▪ scriptscript style стиль для индексов к индексам
плюс четыре аналогичных им, однако несколько более «тесных»
стиля, где показатели степени не поднимаются слишком высоко.
Стили и размеры
Обозначим стили следующим образом:

где D – «выключной» (display) стиль, D’ – «тесный» (“cramped”) выключ-

ной стиль, T – текстовый стиль и т. д.

Тех также использует три размера математических шрифтов.

И для символов в стиле использует

Минимальный размер
Минимальным размером шрифта является размер scriptscript. Стиля
SSS или размера scriptscriptscript в латехе не существует. Индексы
третьего и более высоких порядков набираются теми же шрифтами,
что и индексы второго порядка.

Расстраиваться по этому поводу не надо,

поскольку эти шрифты и так мелкие.

— Львовский С. М. Набор и вёрстка

в системе .
Стили в индексах
Таким образом, размер scriptscript является самым мелким.

В формуле, чей стиль стиль

стиль надстрочного индекса подстрочного индекса

S
Пример: $$x^{a_b}$$ SS’
D
Стили в дробях
Тех выбирает разные стили для числителя и знаменателя.

В формуле α\overβ,
Cтиль числителя α Cтиль знаменателя β
выводимой в стиле

S
Пример: (в тексте) $1\over2$ T
S’
Еще пара фактов

❑ \underline не переключает стиль.

❑ Акценты, команды \sqrt и \overline меняют стиль на

аналогичный стиль со штрихом (н., S -> S’). Имеющийся же
«тесный» стиль эти команды оставляют без изменений.
Упражнение

$$\sqrt{p^{e'}_2}$$

Где какие стили и какого размера?

Прямое указание стиля
Предположим, вас не устроило то, какой стиль выбрал тех. В таком
случае можно воспользоваться следующими командами, которые
явным образом указывают теху, какой стиль следует применить:

• \displaystyle
• \textstyle
• \scriptstyle
• \scriptscriptstyle

Пример: $$n+\scriptstyle n+\scriptscriptstyle n.$$

Прямое указание стиля
Полезный пример

Вы хотите вбить в тех следующую цепную дробь:

Прямое указание стиля
Реальный полезный пример

Действуя в лоб, а именно: Вы получите следующий результат:

\[ \frac{7}{25} = \frac{1}{
3+\frac{1}{
1+\frac{1}{
1+\frac{1}{3}}}}
\]
Прямое указание стиля
Верный способ получить желаемое – указать теху, какой стиль стоит
использовать:
\[
\frac{7}{25}=
\frac{1}{\displaystyle
3+\frac{1}{\displaystyle
1+\frac{1}{\displaystyle
1+\frac{1}{3}}}}
\]
Прямое указание стиля
Другой не менее верный способ – использовать команду \cfrac:

\[
\frac{7}{25} = \cfrac{1}{
3+\cfrac{1}{
1+\cfrac{1}{
1+\cfrac{1}{3}}}}
\]
Прямое указание стиля
Если по какой-либо причине Вы хотите, чтобы числитель был
расположен не по центру, его можно подвинуть командой \hfill,
расположенной до или после него.
... ...
\frac{1\hfill}{... \frac{\hfill1}{...
Без дробной черты
Команда \atop аналогична команде \over за исключением того,
что не выводит дробную черту.

$$x\atop y+2$$

Для часто встречающегося случая выражений вида биномиальных

коэффициентов существует команда \choose.

$$n\choose k$$
Без дробной черты
В пакете amsmath для биномиальных коэффициентов
предусмотрена специальная команда \binom{}{}.

\[
\binom{n}{k}=\frac{n!}{k!(n-k)!}
\]

Для нее аналогично тому, как это было в случае команды \frac,
существуют команды \dbinom и \tbinom, задающие
соответствующий стиль.

\[
C_n^k=\binom nk=\dbinom nk=\tbinom nk
\]
Обобщенный случай
В пакете amsmath общей командой для создания двухэтажных
конструкций, таких как дроби, биномиальные коэффициенты и
прочее, является команда \genfrac{}{}{}{}{}{}.

\[
\genfrac{\langle}{\rangle}{1pt}{1}{n+m}{n}
\]
0.4pt по умолчанию

0 display style
1 text style
2 script style
3 Scriptscript style
Обобщенный случай
Полезно, например, для печати символа Кристоффеля ( )

$\genfrac{\{}{\}}{0pt}{}{ij}{k}$

Можно, однако, использовать чистый тех:

\noindentРаньше вместо~$\Gamma^k_{ij}$\\
писали~$\left\{ij\atop k\right\}$.
Смотри также

https://oeis.org/wiki/List_of_LaTeX_mathematical_symbols

http://milde.users.sourceforge.net/LUCR/Math/mathpackages/amssymb
-symbols.pdf