Tex верстка математических формул
Вот теперь мы готовы! В этой главе мы встретимся с основной мощью T E X: математической версткой. Но имейте в виду, что эта глава дает только поверхностный обзор. Хотя для многих из вас изложенных здесь вещей будет достаточно, не отчаивайтесь, если вы не сможете найти решение, отвечающее нуждам верстки вашей математики. Весьма возможно, что ваша проблема решается в AMS-L A T E X 16 или в каком-нибудь ином пакете.
L A T E X включает в себя специальный режим для верстки математики. . Математический текст внутри абзаца вводится между ( и ), между $ и $ или между \begin < math >или \end .
Складывая $a$ в квадрате с $b$ в квадрате, получаем $c$ в квадрате. Или излагая языком математики: $c^=a^+b^$
Складывая a в квадрате с b в квадрате, получаем c в квадрате. Или излагая языком математики: c 2 = a 2 + b 2
\TeX<> произносится как $\tau\epsilon\chi$.\\[6pt] 100~м$^$ воды.\\[6pt] Это исходит от моего $\heartsuit$.
Большие математические уравнения или формулы предпочтительнее >, то есть верстать их на отдельных строчках. Для этого заключайте их между [ и ] или между \begin < displaymath >и \end . Это дает вам не нумерованные формулы. Если вы хотите, чтобы L A T E X их нумеровал, пользуйтесь окружением equation.
Складывая $a$ в квадрате с $b$ в квадрате, получаем $c$ в квадрате. Или излагая языком математики: \begin c^=a^+b^ \end И еще одна строчка
Складывая a в квадрате с b в квадрате, получаем c в квадрате. Или излагая языком математики:
При помощи label и ref вы можете в тексте ссылаться на уравнение.
\begin \label \epsilon > 0 \end Из (\ref) выводим \ldots
Заметьте, что выражения в выключных формулах верстаются в другом стиле:
\begin \lim_ \sum_^n \frac = \frac<\pi^2> \end
Математический режим отличается от текстового режима . Например, в математическом режиме :
1. Большинство пробелов и возвратов каретки не принимаются во внимание, так как все пробелы либо выводятся из логики математических выражений, или должны в явном виде задаваться командами вроде ,, quad или qquad. 2. Пустые строчки недопустимы. Каждая формула занимает только один абзац. 3. Каждая буква считается именем переменной, и верстается в этом качестве. Если вы хотите в формулу ввести нормальный текст (нормальный прямой шрифт с нормальными пробелами), то вам нужно вводить его командами \textrm <. >.
\begin \forall x \in \mathbf: \qquad x^ \geq 0 \end
\begin x^ \geq 0\qquad \textrmx\in \mathbf \end
Математики бывают очень строги к используемым символам: здесь будет удобно использовать `ажурные полужирные символы’ , которые получаются командой mathbb из пакетов amsfonts или amssymb. Последний пример теперь выглядит так:
\begin x^ \geq 0\qquad \textrmx\in \mathbb \end
Большинство команд математического режима действует только на следующий символ. Так что, если вы хотите, чтобы команда влияла на несколько символов, вам нужно сгруппировать их вместе при помощи фигурных скобок: <. >.
В этом разделе будут описаны наиболее важные команды, используемые в математической верстке. Список всех доступных символов смотрите в разделе 3.9.
Строчные греческие буквы вводятся как \alpha , \beta , \gamma , . прописные буквы вводятся как \Gamma , \Delta , . 17
Верхние и нижние индексы вводятся при помощи символов ^ >> и >>.
$a_$ \qquad $x^$ \qquad $e^$ \qquad $a^_$\\ $e^ \neq ^2$
Квадратный корень вводится как sqrt, корень n -ной степени печатается при помощи \sqrt[ n ] . Размер знака корня выбирается L A T E X автоматически. Если нужен один только знак, используйте \surd .
$\sqrt$ \qquad $\sqrt< x^+\sqrt >$ \qquad $\sqrt[3]$\\[3pt] $\surd[x^2 + y^2]$
Команды overline и underline создают горизонтальные линии сразу над или под выражением.
Команды overbrace и underbrace создают длинные горизонтальные фигурные скобки сразу над или под выражением.
Для добавления к переменным знаков математических акцентов, таких, как маленькие стрелки или знака тильда, вы можете пользоваться командами, перечисленным в таблице. Широкие > и тильды, охватывающие несколько символов, генерируются командами widetilde и widehat. Символ >> дает знак производной. .
\begin y=x^\qquad y’=2x \qquad y»=2 \end
Векторы часто указываются добавлением маленьких стрелок стрелки над переменной. Это делается командой vec. Для обозначения вектора от A до B полезны две команды overrightarrow и overleftarrow.
\begin \vec a\quad \overrightarrow \end
Имена функций типа часто верстаются прямым шрифтом, а не курсивом, как переменные. Поэтому L A T E X содержит следующие команды для набора имен наиболее важных функций:
\arccos \cos \csc \exp \ker \limsup \min \sinh \arcsin \cosh \deg \gcd \lg \ln \Pr \sup \arctan \cot \det \hom \lim \log \sec \tan \arg \coth \dim \inf \liminf \max \sin \tanh
Для функции модуля функция модуля есть две команды: bmod для бинарного оператора > и pmod для выражений вроде >.
Двухъярусная дробь верстается командой frac <. > <. >. Часто предпочтительнее ее форма с косой чертой 1/2, потому что она смотрится лучше при небольшом количестве `дробного материала’.
$1\frac$~часа \begin \frac < x^>< k+1 >\qquad x^< \frac >\qquad x^ < 1/2 >\end
Для верстки биноминальных коэффициентов или аналогичных структур можно пользоваться или <. choose . >, или <. atop . >. Вторая команда дает тот же вывод, что и первая, но без скобок.
Оператор интеграла печатает команда int, оператор суммы — команда sum. Верхние и нижние пределы указываются при помощи знаков > и >, так же, как верхние и нижние индексы.
\begin \sum_^ \qquad \int_^<\frac<\pi>> \qquad \end
Для скобок и прочих ограничителей в T E X существует множество символов (скажем, ). Круглые и квадратные скобки можно вводить соответствующими клавишами, фигурные скобки — \< , прочие ограничители -- специальными командами (например, \updownarrow ). Список доступных ограничителей смотрите в таблице.
Если вы поместите перед открывающим ограничителем команду left, или перед закрывающим — right, то T E X автоматически выберет правильный размер ограничителя. Заметьте, что вы должны каждый left закрывать соответствующим right. Если вы не хотите ничего справа, используйте невидимый ограничитель right..
\begin 1 + \left( \frac < 1-x^> \right) ^3 \end
В некоторых случаях необходимо указать корректный размер математического ограничителя вручную, для этого есть команды big, Big, bigg и Bigg, служащие префиксами к большинству команд ограничителей 18 .
$\Big( (x+1) (x-1) \Big) ^$\\ $\big(\Big(\bigg(\Bigg($\quad $\big\>\Big\>\bigg\>\Bigg\>$\quad $\big\|\Big\|\bigg\|\Bigg\|$
Чтобы ввести в формулу три точки , есть несколько команд. ldots верстает точки на базовой линии, cdots — центрированные. Кроме того, существуют команды vdots для вертикальных и ddots для диагональных точек. В разделе 3.5 вы найдете другой пример.
\begin x_,\ldots,x_ \qquad x_+\cdots+x_ \end
Если выбранные T E X пробелы внутри формул неудовлетворительны, вы можете их подстраивать с использованием команд управления пробелами. Команды для маленьких пробелов: , для (0.166em), : для (0.222em) и ; для (0.277em). Экранированный символ пробела \ дает средних размелов пробел, а quad (1em) и qquad (2em) дают большие пробелы. Размер quad примерно соответствует ширине буквы `M’ в текущем шрифте. Команда \! «! производит отрицательный пробел размером (0.166em).
\newcommand<\ud><\mathrm
Заметьте, что `d’ в дифференциале обычно верстается прямым шрифтом.
3.5 Вертикально расположенный материал
Для верстки матриц пользуйтесь окружением array. Его работа напоминает окружение tabular. Для разрыва строки используется команда \\ .
\begin \mathbf = \left( \begin x_ & x_ & \ldots \\ x_ & x_ & \ldots \\ \vdots & \vdots & \ddots \end \right) \end
Окружение array можно также использовать для верстки выражений, имеющих один большой ограничитель, подставляя > в качестве невидимого правого ограничителя:
\begin y = \left\< \begin a & \textrmc$>\\ b+x & \textrm\\ l & \textrm \end \right. \end
Для формул, занимающих несколько строк или для систем уравнений вместо equation пользуйтесь окружениями eqnarray и eqnarray* . В eqnarray каждая строка получает отдельный номер уравнения. В eqnarray* номера не ставятся.
Окружения eqnarray и eqnarray* работают наподобие таблицы из трех столбцов формата , где средний столбец используется для знака равенства, или знака неравенства, или другого подходящего знака. Команда \\ разбивает строки.
\begin f(x) & = & \cos x \\ f'(x) & = & -\sin x \\ \int_^ f(y)dy & = & \sin x \end
Заметьте, что по обеим сторонам средней колонки, знаков равенства, слишком много свободного места. Оно может быть уменьшено установкой \setlength\arraycolsep , как в следующем примере.
Длинные уравнения не будут автоматически разбиваться на правильные части. Автор должен указать, где их разбивать и насколько выравнивать. Чаще всего для этого используют следующие методы:
\setlength\arraycolsep \begin \sin x & = & x -\frac> +\frac>-<> \nonumber\\ & & <>-\frac>+<>\cdots \end>
\begin \lefteqn< \cos x = 1 -\frac> +<> > \nonumber\\ & & <>+\frac> -\frac>+<>\cdots \end
Команда nonumber заставляет L A T E X не генерировать номер для этого уравнения.
Такими методами может быть сложно получить правильно выглядящие вертикально выровненные уравнения; более мощную альтернативу предоставляет пакет amsmath.
В математическом режиме T E X выбирает размер шрифта в зависимости от контекста. Индексы, например, верстаются меньшим шрифтом. Если вы хотите добавить к уравнению обычный текст командой \textrm , механизм переключения размера работать не будет, так как \textrm временно выходит в текстовый режим. Чтобы оставить его работающим, используйте команду \mathrm 19 . Но имейте в виду, mathrm будет хорошо работать только с короткими элементами. Пробелы по-прежнему не активны и акцентированные символы не работают 20 .
\begin 2^\textrm \quad 2^\mathrm \end
Все же иногда вам нужно указать L A T E X корректный размер шрифта. В математическом режиме размер устанавливается четырьмя командами:
Смена стилей влияет также на способ изображения пределов.
\begin \mathop<\mathrm
Это один из примеров, когда нам нужны скобки большие, чем предоставляемые стандартными \left[ \right] .
При написании математических документов, вам, вероятно, нужен способ верстки >, >, > и аналогичных структур. L A T E X поддерживает это командами
newtheorem < название >[ счетчик ]< текст >[ раздел ] Аргумент название — это краткое ключевое слово, используемое для идентификации >. Аргументом текст вы определяете настоящее название >, под которым она будет печататься в документе.
Аргументы в квадратных скобках необязательны. Оба они используются для определения того, как нумеровать >. Аргументом счетчик вы может указать название предварительно объявленной >. Новая > будет тогда нумероваться в той же последовательности. Аргумент раздел позволяет вам указать раздел, внутри которого вы хотите нумеровать вашу >.
После использования в преамбуле документа команды newtheorem, вы можете пользоваться следующими командами:
\begin< название >[ текст ]
Это интересная теорема.
\end
На этом теории должно быть достаточно. Дальнейшие примеры должны развеять последнюю тень сомнений, и окончательно убедить вас, что окружение \newtheorem слишком сложно, чтобы его можно было понять:
% определения для % преамбулы документа \newtheorem \newtheorem[law] % в теле документа \begin \label Don’t hide in the witness box \end \begin[The Twelve] It could be you! So beware and see law \ref\end \beginNo, No, No\end
Теорема > использует тот же счетчик, что и теорема >. Следовательно, она получит номер в последовательности с другими теоремами >. Аргумент в квадратных скобках указывает заголовок теоремы, или нечто аналогичное.
\flushleft \newtheorem[subsection] \begin Если существует два или более способа сделать нечто, и один их этих способов может привести к катастрофе, то кто-то обязательно это сделает. \end
Murphy 3.7.1 Если существует два или более способа сделать нечто, и один их этих способов может привести к катастрофе, то кто-то обязательно это сделает.
Теорема > получает номер, связанный с номером текущего раздела. Вы можете также использовать другую структурную единицу, например, главу или подраздел.
3.8 Полужирные символы
В L A T E X довольно непросто получить жирные символы; это, вероятно, сделано преднамеренно, потому что непрофессионалы слишком часто злоупотребляют ими. Команда смены шрифта \mathbf дает полужирные символы, но они обычные (прямые), тогда как математические символы обычно курсивные. Существует команда boldmath, но она может использоваться только вне математического режима . То же относится и к символам.
\begin \mu, M \qquad \mathbf \qquad \mbox \end
Заметьте, что запятая тоже полужирная, что может быть нежелательным.
Пакет amsbsy (включаемый пакетом amsmath) включает команду boldsymbol, и команду > pmb 21 , которая использует двухпроходную печать в системах без шрифтов, требуемых для полужирных символов.
\begin \mu, M \qquad \boldsymbol<\mu>, \boldsymbol \qquad \pmb<\mu>, \pmb \end
3.9 Список математических символов
В следующих таблицах вы найдете все символы, известные обычно в математическом режиме .
Для доступа к символам, перечисленным в таблицах 22 в преамбуле документа должен быть загружен пакет amssymb, и в системе должны быть установлены математические шрифты AMS. Если пакеты и шрифты AMS в вашей системе не установлены, посмотрите на
CTAN:macros/latex/packages/amslatex