<<

стр. 2
(всего 5)

СОДЕРЖАНИЕ

>>

1 да да
\section
2 да да
\subsection
3 нет нет
\subsubsection
4 нет нет
\paragraph
5 нет нет
\subparagraph

Рис. 10. Команды рубрикации стилей документа book и report.



То же можно сказать и про нумерацию таблиц (X.1, X.2, . . ., где X номер
главы). Заметим, что и уравнение, и рисунок, и таблица, могут иметь один
и тот же номер, скажем, X.1 и что если командные скобки eqnarray, рису-
нок или таблица встретятся перед командой \chapter, то X будет равен 0.
См. также описание стиля article и рис.5 на стр.33.
booktitle Имя поля элемента библиографической базы данных BibTEX’a. Ис-
пользуется для названия работы, на часть которой делается ссылка.
\bordematrix Команда plain TEX’a для окаймленной матрицы. Только в мате-
матической моде. Имеет синтаксис:

\bordematrix{form11 & form12 & . . . & form1n \cr
form21 & form22 & . . . & form2n \cr
.
.
.
formm1 & formm2 & . . . & formmn \cr}

Похожа на \pmatrix, но вдоль верхнего ряда и вдоль левого столбца полу-
чаемой матрицы размещаются метки:
$$A=\bordermatrix{
&p &q \cr
p q
p & I_p & O \cr
p Ip O
q&O & J_q \cr }$$ A=
q O Jq

Матрица n?n задается как матрица (n+1)?(n+1), в которой коэффициент
(1, 1) отсутствует. TEX сам решает, как ему разместить круглые скобки.
\bot Производит ординарный символ ?, но только в математической моде.
$(E+F)^\bot=E^\bot\cap F^\bot$ . . . . . . . . . . . . . . . . . . . (E + F )? = E ? ? F ?
Имеются также команды \perp, \vdash и \dashv, рисующие, соответствен-
но, значки ?, , и . Прочная.

33
\bottomfraction Значением команды является вещественное число от 0 до 1.
Оно указывает, какая часть внизу каждой страницы текста может быть
занята плавающими вставками. Его можно изменить командами \def или
\renewcommand. По умолчанию равно 0.3. Если выбрана опция стиля доку-
мента twocolumn, то команда действует только на вставки шириной в одну
колонку; аналогичной команды для вставок в две колонки нет.
bottomnumber Счетчик, равный максимальному числу плавающих вставок, то
есть, таблиц или рисунков, которые могут появиться внизу каждой тексто-
вой страницы. По умолчанию равен 1. Если выбрана опция стиля документа
twocolumn, значение счетчика действует только на вставки шириной в одну
колонку. Аналогичной команды для вставок в две колонки нет.
\bowtie Производит символ бинарного отношения , но только в математиче-
ской моде. Прочная.
\Box Производит ординарный символ P, но только в математической моде. За-
метим, что в plain TEX’e такой команды нет. Прочная.
bp Ключевое слово TEX’a для большого пункта (big point), единицы длины, кото-
рая удовлетворяет равенству: 1 дюйм=72 bp. (Приблизительно, 1 bp= 0.0139in= 0.35mm= 1.004pt).
{form1 \brace form2 } Производит похожее на дробь расположение символов,
где form1 находится над form2 , дробной черты нет, а вся конструкция за-
ключена в фигурные скобки. Команда plain TEX’a. Используется только в
математической моде. Синтаксис сходен с \over:
n
$p+{n \brace k}$ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . p + k
n
$\displaystyle p+{n \brace k}$ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . p +
k
\bracevert Доступна только в математической моде, где должна стоять либо
после \left, либо после \right и где дает ограничитель, показанный на
рис.5, стр.21 и рис.6, стр.22.
{form1 \brack form2 } Производит похожее на дробь расположение символов,
где form1 находится над form2 , дробной черты нет, а вся конструкция за-
ключена в квадратные скобки. Команда plain TEX’a. Синтаксис сходен с
\over.
n
$k+{n\brack k}$ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . k + k
n
$\displaystyle{n\brack k}+k$ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . +k
k
\breve Рисует над последующим символом знак “качели” (?). Только в матема-
тической моде.
$\breve a$, $\breve x$, $t\,\breve{}$ . . . . . . . . . . . . . . . . . . . . . . . . . . .?, x, t?
a?
Прочная.

34
\buildrel Команда plain TEXа для размещения какого-либо математического
символа над другим символом или их последовательностью. Только в ма-
тематической моде:
def
$x \buildrel def \over{=} 1$ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . x = 1
$x\buildrel\mbox{\scriptsize слабо}
слабо
\over{\longrightarrow} 0$ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . x ?> 0
$T\buildrel\mbox{\scriptsize равномерно}\over
равномерно
{\hbox to 2cm{\rightarrowfill}} 1$ . . . . . . . . . . . . . . . . . . . . T ? ? ? ? ? 1
? ? ? ?>
Сравните также с командой L TEXа \stackrel см. ее описание.
A


\bullet Производит символ бинарного оператора •, но только в математической
моде. Чтобы получить ‘?’, используйте $\circ$. (Не забывайте указывать
математическую моду!)Прочная.


c

\c char или \c{char} Производит цедиллу (?) под следующим за ней одним сим-
o
волом char в LR или абзацной моде:
hame\c con, FRAN\c CON, \c S . . . . . . . . . . . . . . . . . . . hame?on, FRANCON, S
c ? ?
\cal Позволяет получать каллиграфические буквы. Работает только в матема-
тической моде и только с заглавными буквами:
$\cal A$, ${\cal H}-{\cal X}$ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . A, H ? X
Не забывайте ставить фигурные скобки, иначе результаты могут оказаться
непредсказуемыми:
$\cal A*b+c*T+x/y-z$ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . A ? + ? T + §/† ? ‡
Прочная.
\cap В математической моде производит символ бинарного оператора ?:
$A\cap B)\cap C=A\cap(B\cap C)$ . . . . . . . . . . . . . . A ? B) ? C = A ? (B ? C)
Прочная.
\caption{heading} Команда, которая может встретиться только внутри команд-
ных скобок figure, figure*, table или table*. Производит пронумерован-
ную подпись под рисунком или таблицей. Если Вам нужно сослаться на
рисунок или таблицу, имеющую подпись, то внутри тела командных ско-
бок, либо в heading, либо где-нибудь еще после команды \caption надо
поставить команду \label. Пример использования этих команд можно ви-
деть на рис.3 на стр.17, а результат на рис. 4 на стр.18. Например, эта
ссылка была получена так:

35
рис.\ref{talein} на стр.\pageref{talein}, ...
рис.\ref{taleout} на стр.\pageref{taleout}.
Если список рисунков или таблиц получается командой \listoffigures
или \listoftables, то в полученном списке появится текст из heading. За-
метим, что heading является подвижным аргументом, поэтому перед любой
хрупкой командой в нем должна стоять команда \protect. (Хрупкая).
\caption[entry]{heading} То же самое, что команда \caption{heading}, но в
списках таблиц или рисунков, полученных командой \listoftables или
\listoffigures, появится текст из entry. В этом случае подвижным аргу-
ментом является entry, а не heading. Хрупкая.
\cases Соединение математических условий с помощью фигурной скобки. Удоб-
ная команда Plain TEXа. В данном случае используется несколько мод: в
первой колонке математическая, чего не скажешь про вторую колонку:

$\varphi(x) = \cases{ для x ? 0,
0
?(x) =
e?1/x
0 & для $x\leq 0 $,\cr иначе.
e?{-1/x}& иначе. \cr }
Следовательно, в первой колонке знак $ не требуется. Напротив, ни в коем
случае не следует забывать его при задании математических объектов вто-
рой колонки (“для $X\leq 0$”). Чтобы слегка раздвинуть строки, введите
\noalign{\smallskip} непосредственно после \cr.
cc Ключевое слово TEX’a для единицы длины цицеро, удовлетворяющей равен-
ству 1 cc=12 dd. (Приблизительно, 1 cc=0.1777 in=4.51 mm=12.84 pt.)
\cc{text} Команда, которая может встретиться только внутри командных ско-
бок letter. Используется для перечисления “carbon copies” лиц, кому
посылаются копии. L TE
A X генерирует ‘cc:’ и затем text. Пример использо-

вания этой команды можно видеть на рис.16 на стр.79, а результат на
рис. 17 на стр.80. В аргументе text для обозначения конца строки могут
встретиться команды \\.
\cdot Производит символ бинарного оператора · (точка, окруженная пробела-
ми). Только в математической моде. Служит, например, для обозначения
скалярного произведения:
$x\cdot y=x_1y_1+\cdots+x_ny_n$ . . . . . . . . . . . . . . . x · y = x1 y1 + · · · + xn yn
Чтобы поставить точку в качестве знака препинания после горизонталь-
ной черты в дроби, используйте команду \cdotp, которая следует далее.
Прочная.
\cdotp Команда, которая ставит точку в формулах не в качестве бинарного опе-
ратора, а в качестве знака препинания, и к тому же на уровне горизонталь-
ной черты в дроби. Команда Plain TEXа, которая используется, в частности,
в определении команды \cdots.

36
\cdots Производит многоточие (· · ·), состоящее из трех “центрированных” точек,
но только в математической моде. Пример можно посмотреть в \cdot (без
буквы ‘s’ на конце). Вставляется между знаками +, ?, ?, =, >, ?, <, ? ?
и ?. Прочная.
center Командные скобки, которые используются для центрирования текста
(или любого бокса). Для того, чтобы показать, где надо начать новую стро-
ку, внутри этих командных скобок можно использовать команду \\. Внутри
этих командных скобок L TEX находится в абзацной моде.
A


\centering Декларация, которая указывает, что текст (или бокс), находящийся
в ее области действия, должен центрироваться в теле страницы. Заметим,
что команда TEX’a с тем же именем делает нечто другое. Ее оригинальное
определение в L TEX’e присвоено команде \@centering.
A


chapter Поле элемента библиографической базы данных BibTEX’a, содержащее
номер главы, на которую делается ссылка.
chapter Счетчик, который используется для управления нумерацией глав. Его
начальное значение равно 0, и он увеличивается командой \chapter перед
тем, как генерируется номер. Ему можно присвоить новое значение, исполь-
зуя команду \setcounter. (Так, например, если Вы хотите, чтобы первая
глава имела номер 0, то надо в преамбулу включить команду \setcounter{chapter}{-1}.)
\chapter[entry]{heading} Команда рубрикации, которая открывает новую гла-
ву. Ее нельзя использовать в стиле документа article. Если используется
стиль документа report или book, то главы имеют номер уровня 0. Во всех
стилях документа главы по умолчанию нумеруются автоматически. (Это
можно изменить, изменяя значение счетчика secnumdepth.) Если отсутству-
ет необязательный аргумент entry, то в оглавлении (если оно делается) по
умолчанию появится heading. (Это можно изменить, изменяя значение счет-
чика tocdepth.) Если присутствует entry, то в названии главы появится
heading, а в оглавлении entry. Если entry присутствует, то он являет-
ся подвижным аргументом, а если отсутствует, то подвижным аргументом
является heading. Хрупкая.
\chapter*{heading} Команда рубрикации, которая открывает новую главу, не
имеющую номера и не появляющуюся в оглавлении. Хрупкая.

\chari Выводит символ текущего шрифта, номер кода которого равен i. Если i
восьмеричное число, перед ним должна стоять открывающая кавычка,
а если i шестнадцатиричное число, это перед ним должен стоять знак
двойной кавычки Число 15 означает ’17 в восьмеричной системе и ”F
в шестнадцатиричной. Все три команды \char‘017, \char 15 и \char"F
печатают символ текущего шрифта, десятичный код ASCII которого 15.
Это дает лигатуру ‘?’ в прямом шрифте и ‘?’ в курсивном. В шрифте
\tt Вы получите ‘?’.


37
TEX прекрасно понимает, что таблица шрифтов не всегда у Вас перед глаза-
ми, поэтому предлагает такое средство: \char‘\A печатает символ текущего
шрифта, ASCII-код которого такой же, как у A (функция ‘\ заключается в
том, чтобы выдавать нужный код). Например, если текущий шрифт \tt,
\char‘\{ напечатает открывающую скобку ‘{’, а \char‘\\ обратную ко-
сую черту ‘\’ (в романском шрифте нет бэкслэша!). Очевидно, эта хитрость
работает только с символами, которые есть на клавиатуре (лигатуры ‘?’ на
клавиатуре нет). Команда примитивного TEX’а, которую нельзя использо-
вать в математической моде.
\check “Галочка”, без которой некоторые математики не представляют себе жиз-
ни. Естественно, математическая мода.
??
$\check x*\check C+D\check{}$ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . x ? C + D?
Иногда “галочка” нужна справа от буквы. Как можно заметить, “галочка”
в этом случае оказывается слишком близко к ‘D’. Приведем описание мак-
рокоманды, которая прилично справляется с этой проблемой:

\def\tcheche#1{#1\mkern2.5mu\check{}}

Макрокоманда \mkern это керн для математической моды. Использу-
ются единицы mu (математические единицы). Зачем эти сложности? За-
тем, что имеется четыре стиля: \displaystyle, \textstyle, \scriptstyle
и \scriptscriptstyle. Значение mu зависит от этих стилей. Вот что полу-
чается в каждом из этих стилей (синтаксис $\tcheche A+\tcheche B$):

A?+ B?+ C?+ D?+ M?+ X?+ Y ?+ Z?
A?+ B?+ C?+ D?+ M?+ X?+ Y ?+ Z?
A?+B?+C?+D?+M?+X? ?
+Y +Z?

A?
+B?
+C?
+D?
+M?
+X?
+Y ?
+Z?


Прочная.
\chi В математической моде производит ординарный символ ?. Прочная.
{form1 \choose form2 } Производит похожее на дробь расположение символов,
где form1 находится над form2 , дробной черты нет, а вся конструкция за-
ключена в круглые скобки. Команда plain TEX’а. Синтаксис аналогичен
команде \over, так как определение этой команды использует “дробь с огра-
ничителем” \atopwithdelims:
n
$p+{n\choose n+k}$ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . p + n+k
n
$\displaystyle p+{n\choose n+k}$ . . . . . . . . . . . . . . . . . . . . . . . . . . p +
n+k



38
'$
#




 \unitlength=1pt

\begin{picture}(122,200)(-25,-120)




"!
&% \put(30,40){\circle{16}}
\put(30,40){\circle{20}}
`a pqr
b \put(30,40){\circle{24}}
c s
d t ...
e u
f v \put(0,0){\circle{1}}
g w
h x \put(0,-1.5){\circle{2}}
i y \put(0,-4.0){\circle{3}}
j z ...
k { \put(60,0){\circle*{1}}
l | \put(60,-1.5){\circle*{2}}
m } \put(60,-4.0){\circle*{3}}
...
n ˜


Рис. 11. Окружности и круги, доступные для построения рисунков в командных
скобках picture.

\circ Производит символ бинарного оператора ?, но только в математической
моде.
$(f\circ g)’=f’\circ g\times g’$ . . . . . . . . . . . . . . . . . . . (f ? g) = f ? g ? g
Если не нравится, что вокруг кружочка остается слишком много места,
предлагаем два способа исправления этого недостатка:
$u{\circ}v$, $u\mathord\circ v$ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .u?v, u?v
Чтобы нарисовать этот кружочек на месте показателя степени, например,
так: 1? ), напишите 1$^\circ$). Прочная.
\circle{d} Команда, которая может встретиться только в качестве аргумен-
та команды \put или \multiput внутри командных скобок picture. Так,
\put(i, j){\circle{d}} помещает на картинке окружность диаметром d
так, что ее центр находится в точке с координатами (i, j). Заметим, что
L TEX может производить только очень ограниченный набор окружностей.
A

Размер самой большой окружности, которую он может нарисовать, равен
40 pt (что приблизительно равно половине дюйма). Также разрешается ис-
пользовать только очень ограниченное число размеров диаметра. Если ука-
занный размер не совпадает в точности с тем, что имеется в наличии, L TEX
A

находит в своем репертуаре окружность, которая ближе всего подходит к
указанной. См. также рис.11 на стр.39. Хрупкая.
\circle*{d} Команда, аналогичная команде \circle{d}, за тем исключением,
что производится закрашенный круг или диск. Заметим, что L TEX может
A



39
производить только очень ограниченный набор дисков. Размер самого боль-
шого диска, который он может нарисовать, имеет диаметр, равный 15 пунк-
тов (или около одной пятой дюйма). Также разрешается использовать толь-
ко очень ограниченное число размеров диаметра. Если указанный размер
не совпадает в точности с тем, что имеется в наличии, L TEX находит в
A

своем репертуаре диск, который ближе всего подходит к указанному. См.
также рис.11 на стр.39. Хрупкая.
\cite[text]{key-list} Используется для получения ссылок на библиографию, по-
лученную BibTEX’oм или сделанную вручную. Аргумент key-list это спи-
сок ключей, разделенных запятыми, которые определяются либо в bib-
файле, либо в командных скобках thebibliography. Например, библиогра-
фия в конце этого руководства получена командными скобками thebibliography:

\begin{thebibliography}
\bibitem{...}
...
\bibitem{Lamp}
Leslie Lamport, ‘‘{\it \LaTeX\ A Document Preparation System}’’,
Addison-Wesley, 1986.
\bibitem{...}
...
\end{thebibliography}

и ссылка [2] на книгу Лампорта получается командой \cite{Lamp}. Если
присутствует text, он добавляется к ссылке в виде аннотации. Хрупкая.
\cleardoublepage Команда которую можно использовать только в абзацной
моде прерывает текущий абзац и текущую страницу. Все незаполненное
место будет располагаться внизу страницы, а не между абзацами, даже если
использовалась декларация \flushbottom. Все рисунки и таблицы будут
выведены из “памяти”. Если действует двусторонняя печать, то следующий
текст начнется с правосторонней страницы, имеющей нечетный номер. Если
использовалась опция стиля документа twocolumn, то \cleardoublepage
может привести к тому, что вся правая колонка будет пустой. Хрупкая.
\clearpage Команда прерывает текущий абзац и текущую страницу. Ее можно
использовать только в абзацной моде. Все незаполненное место будет распо-
лагаться внизу страницы, а не между абзацами, даже если использовалась
декларация \flushbottom. Все рисунки и таблицы, хранящиеся в “памяти”,
будут выведены. Если использовалась опция стиля документа twocolumn,
то \clearpage может привести к тому, что вся правая колонка будет пустой.
Прочная.
\cline{i-j} Команда доступна только внутри командных скобок array, tabular
или tabular*. В то время как \hline дает горизонтальную черту во всю


40
ширину таблицы, эта команда проводит горизонтальную прямую только
через колонки от i-ой до j-ой, включительно. Как i, так и j обязательны,
но могут быть и равными. Должна находиться после команды, которая
открывает командные скобки, после команды \\ или после другой \cline.
Вот примеры использования этой команды в командных скобках tabular и
в командных скобках array:

гнус грамм $13.65 \begin{tabular}{||l|lr||} \hline
каждый .01 гнус & грамм &\$13.65 \\
гну чучело 92.50 \cline{2-3}
лемур 33.33 & каждый & .01 \\ \hline
армадилл мороженый 8.99 гну & чучело & 92.50
\\
\cline{1-1} \cline{3-3}
лемур & & 33.33 \\
\hline
армадилл & мороженый & 8.99 \\
\hline
\end{tabular}


$$
\def\temp{\multicolumn{1}{c|}{0}}
? ?
10?0?? C = \left[
?0 1 ? 0 ? ??
\begin{array}{cccccc}
C=?
? 0 0 0 1 ? ? ?.
?
1 & 0 & \ast & 0 & \ast &
000000 \ast \\ \cline{1-1}
\temp & 1 & \ast & 0 & \ast &
\ast \\ \cline{2-3}
0 & 0 & \temp & 1 & \ast &
\ast \\ \cline{4-6}
0 &0&0 &0&0 &0
\end{array}
\right].
$$

\closing{text} Команда, которая может встретиться только внутри командных
скобок letter. Используется для сообщения, которое может быть в конце
письма. Например, аргумент text может быть равен Искренне Ваш. Пример
использования этой команды можно видеть на рис.16 на стр.79, а результат
на рис. 17 на стр.80.
\clubsuit Производит ординарный символ ¦, но только в математической моде.
Прочная.



41
cm Ключевое слово TEX’a для сантиметра, единицы длины, которая удовлетворя-
ет равенству: 1 дюйм=2.54 cm. (Приблизительно, 1 cm=0.3937 in=28.45 pt.)
\colon Команда plain TEXa для двоеточия (:) внутри математической формулы:
Двоеточие : в математической моде не считается знаком препинания. Оно
рассматривается как символ бинарного отношения. Если Вам в математи-
ческой моде нужно двоеточие как знак препинания, то его надо получать
командой \colon. Обратите внимание на различие между двумя следую-
щими формулами:


f: X > Y $f \colon X \to Y$
f :X>Y $f : X \to Y$

\columsep Параметр жесткой длины, значение которого равно ширине пробела
между двумя колонками текста, если в команде \documentstyle задана
опция twocolumn. Прочная команда, поэтому перед ней не надо помещать
команду \protect.
\columseprule Параметр жесткой длины, значение которого равно толщине вер-
тикальной прямой, разделяющей две колонки текста, если в команде \documentstyle
задана опция twocolumn. По умолчанию его значение равно 0 дюймам, то
есть, между колонками нет видимой линии. Прочная команда, поэтому пе-
ред ней не надо ставить \protect.
\cong Производит символ бинарного отношения ?, но только в математической
=
моде. Имеется также команда \simeq, которая выдает .Прочная.
\coprod Может встретиться только в математической моде, где производит сим-
вол большого оператора ( ) или . Только в математической моде. Не
путать с бинарной операцией \amalg:
$\amalg$, $\coprod$, $\displaystyle\coprod$ . . . . . . . . . . . . . . . . , , .
В выключенных формулах этот символ будет чуть большего размера, чем в
формулах в тексте. Если в выключенной формуле этот символ имеет ниж-
ний и верхний индексы, то они печатаются под и над ним в виде пределов.
Прочная.
\copyright Во всех модах производит символ копирайт c . Прочная.
\cos Производит обозначение тригонометрической функции (cos), но только в
математической моде.
$\cos^2x+\sin^2x=1$ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . cos2 x + sin2 x = 1
Нижние и верхние индексы у этого символа никогда не появляются в виде
пределов. Прочная.



42
\cosh Производит обозначение тригонометрической функции (cosh), но только
в математической моде.
$\cosh^2t-\sinh^2t=1$ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . cosh2 t ? sinh2 t = 1
Если \cosh вам не по душе, используйте другое определение:
\def\ch{\mathop{\rm ch\nolimits}}
Нижние и верхние индексы у этого символа никогда не появляются в виде
пределов. Прочная.
\cot Производит обозначение тригонометрической функции (cot), но только в
математической моде. Если Вы предпочитаете обозначение cotg, посмот-
рите на две строки выше, где определяется макрокоманда \ch.
$\cot(x)=\cos(x)/\sin(x)$ . . . . . . . . . . . . . . . . . . . . . . . . . cot(x) = cos(x)/ sin(x)
Нижние и верхние индексы у этого символа никогда не появляются в виде
пределов. Прочная.
\coth Производит обозначение тригонометрической функции (coth), но только
в математической моде.
$\coth x=\cosh x/\sinh x$ . . . . . . . . . . . . . . . . . . . . . . . . . coth x = cosh x/ sinh x
Сравните это с записью котангенса, где используются круглые скобки. Ка-
кая из них кажется Вам более читабельной? Нижние и верхние индексы у
этого символа никогда не появляются в виде пределов. Прочная.
\cr Команда примитивного TEX’a, используется для обозначения конца строк в
аргументах команд \bordermatrix, \cases, \displaylines, \matrix, \pmatrix
и др. см. их описание.
\csc Производит обозначение тригонометрической функции (csc), но только в
математической моде. Нижние и верхние индексы у этого символа никогда
не появляются в виде пределов. Прочная.
\cup Производит символ бинарного оператора ?, но только в математической
моде.
$(A\cup B)\cap C=(A\cap C)
\cup(B\cap C)$ . . . . . . . . . . . . . . . . . . . . . . . . . . . (A ? B) ? C = (A ? C) ? (B ? C)
Большой символ объединения задается командой \bigcup:
$\cup$, $\bigcup$, $\displaystyle\bigcup$ . . . . . . . . . . . . . . . . . . . .?, ,
Макрокоманда пересечения будет, естественно, выглядеть как \bigcap. Проч-
ная.


d

43
\d char или \d{char } Производит точечный акцент (o) под следующим одним
.
символом char в LR или абзацной моде.
kr\d sna, KR\d SNA . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . krsna, KRSNA
. .
Прочная.
\dag Производит символ “кинжал” † во всех модах. Прочная.
\dagger Производит символ бинарного оператора †, но только в математической
моде. Прочная.
\dashbox{h}(i, j)[pos]{объект рисунка} Может появиться только внутри команд-
ных скобок picture. Производит бокс, вокруг которого пунктиром нарисо-
вана рамка. Аргументы команды имеют то же значение, что и в команде
\makebox (см. ее описание), за исключением аргумента h, равного длине
тире и пробелов в пунктирной линии, которой нарисована рамка. Действие
этой команды показано на рис.12, стр.45. Хрупкая.

\dashv Производит символ бинарного отношения , но только в математической
моде. Если нужно получить зеркальное отражение ( ), дается команда
\vdash. Прочная.
\date{text} (1) Используется, чтобы задать text, который будет использоваться
в качестве даты документа. Если она опущена, то в качестве даты доку-
мента будет использоваться дата обработки L TEX’ом входного файла. Для
A

того, чтобы сделать разбиение строк, внутри text можно использовать ко-
манды \\, а также одну или несколько команд \thanks, делающих сноски
с метками, ширина которых считается равной нулю. Если команда \thanks
не оканчивает строку, то чтобы вставить пробел, перед ней должна нахо-
диться команда \ . (2) Также может встретиться в стиле документа letter,
чтобы получить дату по своему выбору. В этом случае в тексте text могут
встретиться команды \\, но нельзя использовать команды \thanks.
\dblfloatpagefraction Действует, только если выбрана опция стиля докумен-
та twocolumn. Значением является вещественное число между 0 и 1, ука-
зывающее минимальную величину области страницы, которая может быть
занята плавающими вставками шириной в две колонки на странице, состо-
ящей только из плавающих вставок. Например, если оно равно 0.6, то не
менее 60% страницы должно быть занято плавающими вставками шириной
в две колонки. Значение этой команды можно изменить командами \def
или \renewcommand. По умолчанию оно равно 0.5.
\dblfloatsep Если в команде \documentstyle задана опция стиля документа
twocolumn, то этот параметр эластичной длины действует на размещение




44
формальные методы

  d
  d
  d
  d
  d
  d
  d
  d
  d
формальная спецификация верифицированная конструкция




\begin{center}
%
\unitlength=1mm
\begin{picture}(110,50)(0,5)
%
\put(55,45){\makebox(0,0){формальные методы}}
\put(20,5){\makebox(0,0)%
{\framebox(50,9){формальная спецификация}}}
\put(90,5){\makebox(0,0){\dashbox{1.5}(58,9)%
{верифицированная конструкция}}}
%
\put(50,40){\line(-1,-1){30}}
\put(60,40){\line(1,-1){30}}
%
\end{picture}
%
\end{center}


Рис. 12. Пример использования команд \makebox, \dashbox и \framebox в ко-
мандных скобках picture.




45
плавающих вставок двухколоночной ширины. Он равен величине верти-
кального пробела, который помещается между двумя плавающими встав-
ками на странице, содержащей как текст, так и вставки. Прочная команда,
перед которой не надо ставить команду \protect.
\dbltextfloatsep Параметр эластичной длины, который действует, только если
выбрана опция стиля документа twocolumn. Он равен величине вертикаль-
ного пробела, вставляемого между двухколоночной плавающей вставкой и
текстом над и под ней. Прочная команда, перед которой не надо ставить
\protect.
\dbltopfraction Действует, только если выбрана опция стиля документа twocolumn.
Это вещественное число между 0 и 1, указывающее, какая часть вверху
каждой текстовой страницы может быть использована для двухколоноч-
ных плавающих вставок. По умолчанию значение равно 0.7 и может быть
изменено командами \def и \renewcommand.
dbltopnumber Счетчик, который действует, только если выбрана опция стиля
документа twocolumn. Равен максимальному числу плавающих вставок, ко-
торые могут появиться вверху каждой текстовой страницы. По умолчанию
равен 2.
dd Ключевое слово TEX’a для обозначения пункта Дидо (didot point), единицы
длины, которая удовлетворяет равенству 1157 dd=1238 pt. (Приблизитель-
но, 1 dd=0.0148 in=0.376 mm=1.07 pt.)
\ddag Производит символ ‡ во всех модах. Прочная.
\ddager Производит символ бинарного оператора ‡, но только в математической
моде. Прочная.
\ddot Производит акцент в математической моде. Необходима для тех, кто ис-
пользует для производных ньютоновские обозначения:
$\ddot x(t)=f(x,t)$ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . x(t) = f (x, t)
?
Прочная.
.
\ddots Производит диагональное многоточие . . , состоящее из трех расположен-
ных по диагонали точек, но только в математической моде. Прочная.
\defcmd #1#2...#i{def } Определяет команду cmd которая должна начинать-
ся с бэкслэша как команду, эквивалентную def . Определяемая команда
может иметь до 9 аргументов. Когда употребляется такая команда с пара-
метрами, как cmd{arg1 }{arg2 }. . . {argi }, она заменяется на def , где вместо
#j (для 1 ? j ? i) подставляется argi . Следует быть внимательным и не
оставлять в списке аргументов никаких пробелов ни перед, ни между,
ни после #j. В этом руководстве можно встретить множество примеров ис-
пользования команды \def. Подробное обсуждение этой команды можно
найти в главе 20 книги Кнут (1993). Команда примитивного TEX’a.

46
\deg Оператор, который пишет в формулах “deg” прямым шрифтом. Только в
математической моде:
$\deg(FG)=\deg F+\deg G$ . . . . . . . . . . . . . . . . . . . . . . . deg(F G) = deg F + deg G
Если Вам больше нравятся градусы, составьте другую макрокоманду:
\def\degres{$^\circ$}
угол в 138\degres . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . угол в 138?
Нижние и верхние индексы у символа никогда не появляются в виде пре-
делов. Прочная.
\delta Производит ординарный символ ?, но только в математической моде. Для
получения ординарного символа ? используйте \partial. Прочная.
\Delta Производит ординарный символ ?, но только в математической моде.
Прочная.
description Командные скобки для получения глоссариев. Команда \item[text]
внутри них печатает text жирным шрифтом. Например, команды

\begin{description}
\item[филер]
Поставщик таких ‘‘важных’’ услуг, как наблюдение и слежка.
\item[киллер]
Агент, обязанность которого убивать указанных людей.
\item[медвежатник]
Вор, специалист по взлому сейфов.
\end{description}

дают следующий мини-глоссарий детективного жаргона:

филер Поставщик таких “важных” услуг, как наблюдение и слежка.
киллер Агент, обязанность которого убивать указанных людей.
медвежатник Вор, специалист по взлому сейфов.

Заметим, что хотя определяемые слова задаются здесь как необязатель-
ные аргументы команд \item, но если их опустить, результат, получаемый
L TEX’ом, будет выглядеть очень странно. По умолчанию необязательный
A

аргумент команды \item печатается в выходном документе жирным шриф-
том, но это можно изменить, если внутри квадратных скобок поставить
изменяющую стиль шрифта декларацию, например, так:

\begin{description}
\item[\tt chapter]
Счетчик, используемый \LaTeX’ом для нумерации глав.
\item[${[x]}X$]

47
Используется в комбинаторной логике для представления
скобочной абстракции.
\item[\it пенальти]
Одиннадцатиметровый штрафной удар в футболе за нарушение
правил в штрафной площадке.
\end{description}

Эти команды дают следующий результат:

chapter Счетчик, используемый L TEX’ом для нумерации глав.
A

[x]X Используется в комбинаторной логике для представления скобочной
абстракции.
пенальти Одиннадцатиметровый штрафной удар в футболе за нарушение
правил в штрафной площадке.

Отметим присутствие в \item[${[x]}X$] фигурных скобок. Они нужны,
чтобы L TEX не перепутал квадратные скобки, заключающие необязатель-
A

ный аргумент, с квадратными скобками, которые надо напечатать в выход-
ном документе.

\det Оператор det (для сокращенного обозначения детерминанта). Только в ма-
тематической моде:
Если $\det A\ne 0$, матрица $A^{-1}$ существует. . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Если det A = 0, матрица A?1 существует.
Для печати самого детерминанта матрицы используйте команду
\left|\matrix{...}\right|.
Если символ имеет нижний и верхний индексы, то в выключенных форму-
лах они располагаются под и над ним в виде пределов. Прочная.
\diamond Производит символ бинарного оператора , но только в математиче-
ской моде.
закон $x\diamond y=xy/(x+y)$ . . . . . . . . . . . . . . . . . . . закон x y = xy/(x + y)
Прочная.
\Diamond Производит символ бинарного оператора Q, но только в математиче-
ской моде. Заметим, что в plain TEX’e этой команды нет. Прочная.

\diamondsuit Производит ординарный символ ¦, но только в математической
моде. Прочная.
\dim Производит оператор (dim) (для размерности). Только в математической
моде:
$\dim(U+V)=\dim U+\dim V-\dim U\cap V$ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .


48
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .dim(U + V ) = dim U + dim V ? dim U ? V
Нижние и верхние индексы у символа никогда не появляются в виде пре-
делов. Прочная.
\displaylimits Команда cmd\displaylimits_form1 ^form2 в выключенном сти-
ле (в математической моде) помещает form1 в виде нижнего предела под
символом, который производит cmd , а form2 помещается над этим симво-
лом в виде верхнего предела. Восстанавливает нормальные соглашения о
пределах больших операторов ( , , ...), которые могли быть Вами изме-
нены командами \limits и \nolimits. Команда примитивного TEX’a.
\displaylines{form1 \cr form2 \cr ...formn \cr} Каждая из formi помещается
на отдельной строке и центрируется на ней. Только в выделенной матема-
тической моде:
$$\displaylines{
x_1+\cdots+x_n=y_1+\cdots+y_m,\cr
A=B+C. \cr
}$$
Таким образом мы получим две отцентрированные строки:

x1 + · · · + xn = y1 + · · · + ym ,
A = B + C.

Синтаксис такой же, как в таблицах без преамбулы с одной колонкой. Не
забывайте, что каждая строка заканчивается \cr. Довольно частая ошиб-
ка, которая приводит в смущение многих начинающих пользователей
ставить знак пунктуации после \cr. TEX справедливо предполагает, что на-
чинается новая строка. Он не встречает \cr, который закрывает эту стро-
ку, но, поскольку существует механизм, который исправляет эту ошибку
(\crcr), TEX не жалуется. Единственный осязаемый результат возникает
в том случае, если знак пунктуации оказывается размещенным на другой
строке, в центре, как если бы это была новая формула. Грубой ошибкой,
встречающейся довольно часто, считается пропуск фигурной скобки, за-
крывающей запись макрокоманды, т.е. примерно так:
$$\displaylines{
...
...\cr$$
В конце программы написан \cr, но закрывающая фигурная скобка от-
сутствует. После множества протестов TEX’а Вы не получите . . . ничего!
Команда примитивного TEX’a.
\displaymath Командные скобки для набора математической формулы на от-
дельной строке. Имеются и более сжатые формы: \[form\] и $$form$$,

49
причем последняя конструкция не затрагивается опцией fleqn в команде
\documentstyle. Внутри этих командных скобок L TEX работает в матема-
A

тической моде и в выключенном стиле.
\displaystyle Декларация, которую можно использовать только в математиче-
ской моде. Указывает TEX’у набирать формулу в выключенном стиле, т.е.
в стиле, который по умолчанию принят для набора расположенной на от-
дельной строке формулы: пробелы по обе стороны от формулы шире, чем в
обычной математической моде (\textstyle). Есть разница в размерах сим-
волов и в положении индексов. Cм. пример с \displaystyle (между двумя
одиночными долларами мы находимся в режиме \textstyle, чтобы задать
режим \displaystyle, нужно запрашивать его явно):
$\displaystyle\sum_{n=0}
n=?
xn
^{n=\infty}{x_n\over 1+x_n^2}$ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1 + x2
n
n=0
Вот та же самая формула в \textstyle:
n=? xn
$\sum_{n=0}^{n=\infty }{x_n\over1+x_n^2}$ . . . . . . . . . . . . . . . . n=0 1+x2
n

Разумеется, можно в любом месте задавать \displaystyle:
a
дробь ${a\over b}$ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . дробь b
a
дробь $\displaystyle{a\over b}$ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . дробь
b
a
дробь ${\displaystyle a\over b}$ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .дробь b
a
дробь ${a\over\displaystyle b}$ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . дробь
b
Команда примитивного TEX’а. Прочная.
\div Производит символ бинарного оператора ?, но только в математической
моде:
$15\div 4=3$ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15 ? 4 = 3
Прочная.
\divide Делит одно число на другое. Часть языка программирования TEX. Ко-
манда \divide\dimen117 by 12 заменяет содержимое \dimen117 на резуль-
тат его деления на 12, т.е. в современном языке программирования надо
было бы писать \dimen117:=\dimen117 div 12.
.doc Расширение имени файла, содержащего те же команды, что и соответству-
ющий sty-файл, но с дополнительными комментариями и пояснениями.
document Самые внешние командные скобки для всех входных файлов. Каждый
входной файл L TEX’а имеет следующую структуру:
A




50
\documentstyle[opt-list]{doc-style}
dec-seq
\begin{document}
text
\end{document}

Часть входного файла L TEX’а, которая располагается между командой
A

\documentstyle и открывающей командной скобкой document, называется
преамбулой. Здесь она представлена в виде dec-seq и состоит из возможно
пустой последовательности деклараций, которые влияют на окончательный
вид входного документа.

\documentstyle[opt-list]{doc-style} Команда, обязательная в каждом входном
файле L TEX’a. Задает стиль документа. Стандартными стилями являются
A

article, report, book и letter, но в Вашей системе могут быть и другие.
Можно задать только один doc-style, и по команде \documentstyle будет
читаться файл doc-style.sty.
Стандартными опциями являются 11pt, 12pt, draft, fleqn, leqno, openbib,
titlepage, twocolumn и twoside.5 Если задается более одной опции, они
должны разделяться запятыми и между ними нельзя вставлять пробелы.
Для каждой опции opt, присутствующей в opt-list, L TEX либо выполняет
A

команду \ds@opt (если она существует), либо читает файл opt.sty. Перед
командой \documentstyle может встретиться только небольшое количество
команд; например, команды \batchmode, \errorstopmode, \nonstopmode и
\scrollmode. Пример этой команды можно видеть на рис.16 на стр.79, а
результат на рис.17 на стр.80.
\dot Для изображения точки над символом, следующим за командой. Только в
математической моде. Незаменима при изображении ньютоновских произ-
водных:
$\dot x(t)=f\bigl(x(t),t\bigr)$ . . . . . . . . . . . . . . . . . . . . . . . . x(t) = f x(t), t
?
Обратите внимание на использование команд plain TEXа \bigl и \bigr,
которые увеличивают размеры ограничителей (в данном случае, круглых
скобок). Для получения двух точек над каким-либо символом используется
командa \ddot. Прочная.
.
\doteq Производит символ бинарного отношения =, но только в математической
моде. Прочная.
\dotfill Производит ряд точек как, например, в оглавлениях который за-
полняет все отведенное им место, как это показано на рис.13, стр.52. При
наборе примеров команд в данном руководстве она также часто использо-
валась. Прочная.
5 Для подготовки текстов на русском языке используется русифицированный L TEX, который вы-
A
зывается опцией russian.



51
\makebox[2in]{\hrulefill}

\makebox[2in]{\downbracefill}

\makebox[2in]{\upbracefill}

................................ \makebox[2in]{\dotfill}

<? ? ? ? ? ? ? ? ? ? ? ?
? ? ? ? ? ? ? ? ? ? ? ?? \makebox[2in]{\leftarrowfill}

?? ? ? ? ? ? ? ? ? ? ? ?
? ? ? ? ? ? ? ? ? ? ? ?> \makebox[2in]{\rightarrowfill}

Рис. 13. Шесть ?ll-команд.


\doublerulesep Параметр жесткой длины, равный расстоянию, разделяющему
либо две вертикальные прямые, которые производятся выражением || в
преамбуле командных скобок array, tabular и tabular*, либо две горизон-
тальные прямые, получаемые двумя последовательными командами \hline.
Прочная команда, поэтому перед ней не надо помещать \protect.
\downarrow Производит символ бинарного отношения v, но только в математи-
ческой моде. Однако после команды \left или \right она дает соответ-
ствующий ограничитель. Для получения вертикальной стрелки высотой 12
мм, например, задайте:
\left\downarrow\vbox to 6mm{}\right.
См. также рис.5 на стр.21 и рис.6 на стр.22. Прочная.
\Downarrow Производит символ бинарного отношения ?, но только в математи-
ческой моде. Однако после команды \left или \right она дает соответству-
ющий ограничитель. Замечания в описании предыдущей команды.Прочная.
\downbracefill Производит горизонтальную фигурную скобку, направленную
острием вверх, которая растягивается на все отведенное ей горизонтальное
пространство. Графически это показано на рис.13, стр.52.
draft Возможная опция команды \documentstyle. Если она задана, то случаи,
когда текст залезает на правое поле, будут на этом поле помечены черным
прямоугольником.
\ds@opt Если опция opt появляется в списке опций команды \documentstyle, то
выполняется команда \dsopt если она определена в противном случае
выполняются команды из стилевого файла opt.sty.
.dvi Расширение имени независимого от устройства (device independent) файла,
создаваемого при обработке L TEX’ом соответствующего входного файла (с
A

расширением tex).

52
e

edition (Имя поля BibTEX’а.) Указывает, на какое издание делается ссылка.
Например, 7 или “Тридцать девятое”. Должно задаваться либо числом, либо
числительным, написанным с прописной буквы.
editor (Имя поля BibTEX’a.) Содержит имя редактора книги (или имена, если
редакторов несколько) или имя редактора части книги, такой как труды
конференции (или имена, если редакторов несколько).
\ell Производит ординарный символ , но только в математической моде. Срав-
ните следующие примеры и выберите то, что Вас больше устраивает:
$l-l*x_1^2+y_l^\alpha$ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . l ? l ? x2 + yl
?
1
$\ell-\ell*x_\ell^2+y_\ell^\alpha$ . . . . . . . . . . . . . . . . . . . . . . ? ? x2 + y ?
Две другие латинские буквы в этих формулах пишутся в несколько моди-
фицированном виде: \imath (?) и \jmath (?). Это позволяет использовать
их вместе со стрелками (или с чем-либо еще): в результате $\vec\imath$ и
$\vec\jmath$ получается ? и ?. Прочная.
em Зависимая от шрифта единица длины. Когда-то она была равна ширине за-
главной буквы М, но сейчас может иметь и другое значение. Обычно ис-
пользуется для горизонтальных размеров. Она также равна ширине одного
\quad, двойной ширине \enskip или \enspace и половине \qquad.
\em Изменяет текущий шрифт печати. В то время как команда \it всегда задает
курсив, а команда \rm романский шрифт, действие команды \em зависит
от контекста, в котором она встречается. Например, если действовала \rm,
то \em эквивалентна \it, а если действовала \it, то \em эквивалентна \rm
см. рис.9 на стр.28. Прочная.
empty Опция стиля страницы в декларациях \pagestyle и \thispagestyle. За-
головок и основание страницы оставляются пустыми. Хотя номера страниц
и не появляются в выходном результате, L TEX продолжает их присваивать.
A

Текущая страница напечатана без номера и бегущего заголовка, поскольку
была дана команда \thispagestyle{empty}.
\emptyset Производит ординарный символ ?, но только в математической моде.
Не путать со скандинавской буквой \O (O), которая имеет более округлую
форму. Прочная.
\encl{text} Встречается только внутри командных скобок letter. Используется
для описи вложений. L TEX генерирует ‘encl:’, а затем помещает text. Внутри
A

аргумента text для указания на начало новой строки можно использовать
одну или несколько команд \\.
\end{env } Команда для окончания командных скобок env . Хрупкая.
\enskip Во всех модах производит горизонтальный пробел, ширина которого
равна \hskip .5em\relax) текущего шрифта. Команда \relax служит для
отделения \hskip от последующего текста в том случае, когда он начи-
нается с “plus”, “Plus”, “minus” или “Minus”. TEX’у в этом случае может
показаться, что написано \hskip .5em plus..., и он будет горько жало-
ваться на отсутствие размера после plus. Это команда plain TEX’a, и все
подробности приведены здесь только для общего образования.
\enspace Во всех модах производит горизонтальный пробел, ширина которого
равна половине em. А противоположность \enskip, в том месте, где встре-
тилась эта команда, не может произойти разрыв строки. Команда plain
TEX’a.
enumerate Командные скобки для получения нумерованных списков. Нумеро-
ванные списки в L TEX’е выглядят так:
A



1) Докажите следующие формулы из логики высказываний:
а) Q ? R (P ? Q) ? (P ? R).
б) ((P ? Q) ? P ) ? P .
2) Докажите следующие формулы из логики предикатов:
а) (?x)(P x ? Qx) (?x)P x ? (?x)Qx.
б) (?x)(?y)P xy (?y)(?x)P xy.

Этот список был получен следующими командами:

\begin{enumerate}
\item
Докажите следующие формулы из логики высказываний:
%
\begin{enumerate}
\item
$Q \Rightarrow R \vdash (P \lor Q) \Rightarrow (P \lor R)$.
\item
\label{PEIRCE}
$\vdash ((P \Rightarrow Q) \Rightarrow P) \Rightarrow P$.
\end{enumerate}
%
\item
Докажите следующие формулы из логики предикатов:
%
\begin{enumerate}
\item


54
$(\forall x) (Px \Rightarrow Qx)
\vdash (\forall x) Px \Rightarrow (\forall x) Qx$.
\item
$(\exists x)(\forall y) Pxy \vdash (\forall y)(\exists x) Pxy$.
\end{enumerate}
%
\end{enumerate}

В списках этого вида разрешены только четыре уровня вложенности. Пунк-
ты верхнего уровня помечаются 1., 2. и т.д., следующего уровня (a), (b) и
т.д., на следующем уровне метками будут i., ii. и т.д., а на четвертом уровне
появятся метки A., B. и т.д. Метки генерируются автоматически, для чего
используются четыре счетчика: enumi, enumii, enumiii и enumiv.
Команда \item командных скобок enumerate может иметь необязательный
аргумент. Так, например, команды

\begin{enumerate}
\item[(1)]
$Q \Rightarrow R \vdash (P \lor Q) \Rightarrow (P \lor R)$.
\item[(2)]
$\vdash ((P \Rightarrow Q) \Rightarrow P) \Rightarrow P$.
\end{enumerate}

дают следующий нумерованный список:

(1) Q ? R (P ? Q) ? (P ? R).
((P ? Q) ? P ) ? P .
(2)

Если в команде \item задается необязательный аргумент, то соответствую-
щий счетчик не увеличивается.
enumi Счетчик для отслеживания меток в командных скобках enumerate, кото-
рые не вложены в другие командные скобки enumerate.
enumii Счетчик для отслеживания меток в командных скобках enumerate, ко-
торые вложены в одну пару других командных скобок enumerate.

enumiii Счетчик для отслеживания меток в командных скобках enumerate, ко-
торые вложены в две пары других командных скобок enumerate.
enumiv Счетчик для отслеживания меток в командных скобках enumerate, ко-
торые вложены в три пары других командных скобок enumerate.

\epsilon Производит ординарный символ , но только в математической моде.
Чтобы получить ординарный символ ?, надо использовать \varepsilon, а
для бинарного отношения ? \in.


55
eqnarray (Массив уравнений.) Командные скобки для получения нескольких вы-
ключенных уравнений, каждое из которых имеет номер. (Чтобы подавить
нумерацию, надо использовать командные скобки eqnarray*.) Внутри них
L TEX находится в математической моде. Например, команды
A


\begin{eqnarray}
(x + y + z)^2 & = & (x + y + z) (x + y + z), \label{BB} \\
& = & x^2 + 2xy + y^2 \nonumber \\
& & \qquad \mbox{} + 2yz + z^2 + 2zx. \label{CC}
\end{eqnarray}

дают следующий помеченный набор выключенных уравнений:

(x + y + z)2 = (x + y + z)(x + y + z), (1)
= x2 + 2xy + y 2
+ 2yz + z 2 + 2zx. (2)

Команда \nonumber подавляет автоматическое получение метки на той стро-
ке, на которой она встречается.
eqnarray* Командные скобки для получения нескольких непронумерованных
выключенных уравнений.Результат как при использовании командных
скобок array с преамбулой rcl с тем исключением, что выражения в пер-
вой и третьей колонках набираются в выключенном стиле, в то время как
выражение во второй колонке набирается в текстовом стиле. К тому же в
командных скобках eqnarray нельзя использовать команду \multicolumn.
Конец ряда указывается командным символом \\, а элементы каждой из
трех колонок разделяются амперсандами &. В конце последней строки ко-
мандный символ конца строки не нужен. Если же его все-таки поставить,
в выходной результат будет добавлена пустая строка. Например, команды

\begin{eqnarray*}
{[x]} E &=& {\bf K} E, \\
{[x]} x &=& {\bf I}, \\
{[x]} E x & = & E, \\
{[x]} E X & = & {\bf B} E ([x] X), \\
{[x]} X E & = & {\bf C} ([x] X) E, \\
{[x]} X Y & = & {\bf S} ([x] X) ([x] Y).
\end{eqnarray*}

дают следующий алгоритм:

[x]E = KE,
[x]x = I,
[x]Ex = E,

56
[x]EX = BE([x]X),
[x]XE = C([x]X)E,
[x]XY = S([x]X)([x]Y ).
Следует отметить правильно расставленные знаки препинания. То, что вы
пишете математический текст, вовсе не означает, что надо забыть все пра-
вила пунктуации, которые вы когда-то знали.
\eqno Команда примитивного TEX’a, доступная только в математической моде
и в выключенном стиле, где производит метку уравнения в правой части
тела страницы.
$$e^{i\pi}=-1\eqno{\rm (ЭЙЛЕР)}$$

ei? = ?1 ()
Чтобы поставить номер слева от формулы, используется \leqno:
$$e^{i\pi}=-1\leqno{\rm (ЭЙЛЕР)}$$


ei? = ?1
()

Вы заметили \rm, обязательный из-за того, что в математической моде
происходит смена шрифтов? Внимание: хотя в последнем варианте номе-
ра печатаются слева, в команде тем не менее они должны быть записаны
справа от формулы. И последняя рекомендация: Вы не можете использо-
вать макрокоманду \eqno в \displaylines. Иначе говоря, \eqno позволяет
нумеровать только одну изолированную отцентрированную строку.
equation Счетчик, используемый командными скобками equation и eqnarray,
чтобы отслеживать, как помечаются выключенные формулы.
equation Командные скобки, производящие выключенную математическую фор-
мулу, числовая метка которой генерируется автоматически. В стиле доку-
мента article формулы нумеруются последовательно во всем документе,
начиная с (1), а метка состоит просто из одного номера. В стилях документа
report и book формулы нумеруются последовательно внутри каждой гла-
вы, начиная с (X.1), где X это номер главы, а все метки состоят из двух
чисел. Так, помеченная формула
(x + y)(x ? y) = x2 ? y 2 . (3)
была получена следующими командами:

\begin{equation}
(x + y)(x - y) = x^2 - y^2.
\label{AA}
\end{equation}

57
Функция команды \label облегчить ссылку на эту формулу из других
частей написанного Вами текста.
\equiv Производит символ бинарного отношения ?, но только в математической
моде. Противоположное отношение ? задается с помощью $\not\equiv$.
Прочная.

\errorstopmode Команда примитивного TEX’а, после которой TEX, когда на-
талкивается на ошибку, запрашивает ответ пользователя. По умолчанию
принята именно эта мода работы. Одна из немногих команд, которые во
входном файле могут стоять перед командой \documentstyle.
\eta Производит ординарный символ ?, но только в математической моде. Проч-
ная.
\evensidemargin Параметр жесткой длины, действующий на внешний вид чет-
ных страниц выходного результата. На левосторонних страницах если за-
дана двусторонняя печать расстояние между левой границей листа бума-
ги и левой границей тела страницы равно сумме значения \evensidemargin
и одного дюйма. (См. рис.23 на стр.137.) Прочная команда, перед которой
не надо ставить \protect.
ex Зависящая от шрифта единица длины, которая изначально была равна высоте
строчной буквы ‘x’, но сейчас может и не быть таковой. Обычно использу-
ется для вертикальных измерений.
\exists Производит ординарный символ ?, но только в математической моде.
Для логиков, а также для любителей “современной математики”: Например,
такое математическое определение
Функция f непрерывна по x, если ?? ? R+ ?? ? R+ такое, что ?h ? R
? ?
h < ?, |h| < ? выполняется |f (x + h) ? f (x)| < ?
было получено следующими командами:

{\sl Функция $f$ непрерывна по $x$, если
$\forall\varepsilon \in {\bf R}_\ast^+\>\>
\exists\nu\in{\bf R}_\ast^+$ такое, что
$\forall h\in{\bf R} $ $h<\nu$, $\vert h\vert < \nu$
выполняется $\vert f(x + h) - f(x)\vert<\varepsilon$}

Прочная.
\exp Производит обозначение элементарной функции (exp), но только в матема-
тической моде. Нижние и верхние индексы у нее никогда не появляются в
виде пределов.
$\exp(x+y)=\exp x\exp y$ . . . . . . . . . . . . . . . . . . . . . . . . exp(x + y) = exp x exp y



58
\extracolsep{len} Параметр длины, который может встретиться только внутри
@-выражения в преамбулах командных скобок array, tabular и tabular*.
Помещает пробел величиной len слева от всех следующих колонок, который
не подавляется присутствием других @-выражений.


f

\fbox{text} Сокращенная версия команды \framebox. Производит text во всех
модах, но не внутри командных скобок picture, причем text обрабатывает-
ся в LR моде. Толщина образующих рамку линий определяется значением
параметра длины \fboxrule, а ширина пробела, отделяющего text от рам-
ки, задается параметром длины \fboxsep. Ширина результирующего бокса
равна ширине бокса, полученного при обработке текста text, плюс удвоен-
ная сумма \fboxrule и \fboxsep. Прочная.

\fboxrule Параметр жесткой длины, равный толщине горизонтальных и вер-
тикальных “рамочных” линий, которые получаются командами \fbox или
\framebox, но не внутри командных скобок picture. Толщину линий вну-
три командных скобок picture задают другие команды.
\fboxsep Параметр жесткой длины, равный величине пробела, который отде-
ляет бокс, получаемый при обработке аргумента text командой \fbox или
\framebox, от горизонтальных и вертикальных прямых, образующих окру-
жающую его “рамку”, но не внутри командных скобок picture. Внутри
командных скобок picture такой пробел не оставляется.
figure Счетчик для нумерации плавающих вставок, которые создаются команд-
ными скобками figure и figure*. Автоматически увеличивается только
тогда, когда внутри этих командных скобок имеется команда \caption.
figure Командные скобки, которые производят плавающую вставку см. рис.3
на стр.17 и рис. 4 на стр.18. Если выбрана опция стиля документа twocolumn,
то плавающие вставки имеют ширину только одной колонки и аргумент pos
не может принимать значение b и h. В противном случае они ведут себя так
же, как командные скобки figure* (см. ниже).
figure* Командные скобки, которые производят плавающую вставку. Если вну-
три них имеется команда \caption, то автоматически генерируется слово
‘Figure’6 и числовая метка. Если выбрана опция стиля документа twocolumn,
то производимая вставка имеет ширину в две колонки. Их синтаксис такой:

\begin{figure*}[pos] text \end{figure*}
6В русифицированной версии ‘Рис.’




59
Аргумент text обрабатывается в абзацной моде и при этом получается аб-
зацный бокс шириной \textwidth. Необязательный аргумент pos это по-
следовательность из от одной до четырех букв, выбранных из b, h, p и t. Он
действует на позиционирование плавающей вставки следующим образом:
b вставка может появиться внизу текстовой страницы;
h вставка в выходном результате появляется в том же положении отно-
сительно текста вокруг нее, что и во входном файле;
p вставка может появиться на странице, составленной только из вставок;
t вставка может появиться вверху текстовой страницы.
По умолчанию значение pos равно tbp.
\fill Команда эластичной длины, которая может “бесконечно” растягиваться.
\flat Производит ординарный символ , но только в математической моде. Проч-
ная.
fleqn Опция стиля документа: все выключенные уравнения, которые встречают-
ся между командами \[ и \], а также внутри командных скобок displaymath,
equation, eqnarray и eqnarray*, не центрируются, как это принято по
умолчанию, а печатаются с отступом от левого поля, равным \mathindent.
Заметим, что эта опция не действует на уравнения внутри пар из двойных
знаков долларов. Они продолжают центрироваться, даже если выбрана оп-
ция fleqn.
\floatpagefraction Значение команды является вещественным числом между
0 и 1. Указывает минимальную часть страницы, которая должна быть заня-
та плавающими вставками, если на странице располагаются только встав-
ки. Например, если оно равно 0.6, то не менее 60% такой страницы долж-
но быть занято плавающими вставками. По умолчанию равно 0.5, но его
можно изменить командами \def или \renewcommand. Если выбрана опция
стиля документа twocolumn, то действует только на вставки шириной в од-
ну колонку; для плавающих вставок шириной в две колонки см. команду
\dblfloatpagefraction.
\floatsep Параметр эластичной длины, равный величине вертикального про-
бела между плавающими вставками, которые встречаются на одной и той
же текстовой странице. Если выбрана опция стиля документа twocolumn,
то эта команда действует только на плавающие вставки шириной в одну
колонку; для вставок шириной в две колонки см. \dblfloatsep. Прочная
команда, перед которой не надо ставить \protect.
\flushbottom Декларация, делающая высоту тела всех страниц одинаковой, для
чего между абзацами, если надо, вставляются дополнительные пробелы.
flushleft Командные скобки для получения абзацев, которые справа не выров-
нены, а имеют неровный правый край.

60
flushright Командные скобки для получения абзацев, которые слева не выров-
нены, а имеют неровный левый край.
\fnsymbol{ctr } Здесь ctr счетчик, значение которого должно находиться меж-
ду 1 и 9, включительно. Команда может использоваться только в мате-
матической моде, где, в зависимости от счетчика ctr , производит один из
следующих девяти символов: ?, †, ‡, §, ¶, |, ??, †† и ‡‡. Например, команды:
\newcounter{stone}\setcounter{stone}{4}$\fnsymbol{stone}$
дают §. Прочная.
\footheight Параметр жесткой длины, действующий на внешний вид страницы
результата. Равен высоте бокса, содержащего текст в основании страницы.
См. рис.23 на стр.137. Прочная команда, поэтому перед ней не надо ставить
\protect.
footnote Счетчик для нумерации сносок. В стилях документов book и report
устанавливается в нуль в начале каждой главы, а в стиле документа article
устанавливается в нуль только в начале документа. Увеличивается автома-
тически командами \footnote и \footnotetext перед их использованием.
\footnote[i]{text} Может использоваться либо в абзацной моде, либо внутри
командных скобок minipage для получения сносок. В абзацной моде, если
необязательный числовой аргумент i отсутствует, счетчик footnote увели-
чивается и используется как номер сноски. Он появляется в виде верхнего
индекса в том месте тела страницы, где встретилась команда \footnote, а
также в основании страницы, где печатается text. Если i которое должно
быть положительным целым числом присутствует, то счетчик footnote
остается неизмененным, а i используется в качестве числовой метки снос-
ки1995 . Внутри командных скобок minipage сноски помечаются строчными
буквами и помещаются не внизу страницы, а под текстом, генерируемым
этими командными скобками (см. пример в описании командных скобок
minipage. В этом случае также, если присутствует аргумент i (который
должен быть положительным целым числом), то в качестве метки снос-
ки будет использоваться соответствующая строчная буква. Заметим, что
команда отличается от \footnote plain TEX’a. Хрупкая.
\footnotemark[i] Используется в любой моде для получения метки сноски, при-
чем метка появляется в теле страницы в виде верхнего индекса, и больше
нигде. Если i отсутствует, то счетчик footnote увеличивается на единицу
и это значение используется как метка сноски. Если же i, которое долж-
но быть положительным целым числом, присутствует, то счетчик footnote
остается неизменным, а в качестве метки сноски используется i. Команда
обычно используется вместе с командой \footnotetext. Хрупкая.
1995 Сноска,
которую Вы сейчас читаете, была получена командой \footnote[1995]{Сноска, которую
Вы сейчас читаете, ...}.



61
Результат Команды

\tiny\temp
Жили-были старик . . .

\scriptsize\temp
Жили-были старик . . .
\footnotesize\temp
Жили-были старик . . .
Жили-были старик . . . \small\temp
Жили-были старик . . . \normalsize\temp
Жили-были старик . . . \large\temp
Жили-были старик . . . \Large\temp
Жили-были старик . . . \LARGE\temp
Жили-были старик . . . \huge\temp

Жили-были старик . . . \Huge\temp


Рис. 14. Размеры шрифтов.


\footnoterule Обычно сноска на странице отделяется от основного текста гори-
зонтальной чертой протяженностью в треть ширины страницы. Это обес-
печивает команда \footnoterule. Ее определение в L TEXе выглядит сле-
A

дующим образом:
\def\footnoterule{\kern -3pt
\hrule width .4\columnwidth \kern 2.6pt}
Это отличается от соответствующего определения в plain TEXе. Ширину
(width) этой черты можно легко изменять.

\footnotesep Параметр жесткой длины, значение которого минус текущее зна-
чение пробела, разделяющего базовые линии, дает величину пробела между
сносками, а также сразу под горизонтальной чертой, генерируемой \footnoterule.
Прочная команда, перед которой не надо ставить \protect.
\footnotesize Изменяет размер шрифта, а в этом размере выбирает романский
шрифт. В математической моде использовать нельзя. Обычно выбирается
размер, чуть больший, чем \scriptsize и чуть меньший, чем \small. См.
рис.14 на стр.62. Хрупкая.
\footnotetext[i]{text} Может использоваться в любой моде. Ведет себя так же,
как и \footnote, за тем исключением, что в теле страницы, на которой име-
ется сноска, метка сноски не появляется. Обычно используется с командой
\footnotemark. Хрупкая.


\footskip Параметр жесткой длины, действующий на внешний вид каждой стра-
ницы результата. Равен расстоянию между нижней границей тела страницы


62
text

len
\framebox[len][l]{text}

text

len
\framebox[len]{text}

text

len
\framebox[len][r]{text}

Рис. 15. Действие аргумента pos в команде \framebox.


и нижней границей ее основания. См. рис.23 на стр.137. Прочная команда,
поэтому перед ней никогда не надо ставить \protect.
\forall Производит ординарный символ ?, но только в математической моде.
См. \exists. Прочная.

\frac{top}{bot} Команда, которую можно использовать только в математиче-
ской моде для получения дроби с top над дробной чертой и bot под ней:
n!
\frac{n!}{i!(n-1)!} . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . i!(n?1)!
Прочная.
\frame{объект рисунка} Можно использовать только внутри командных скобок
picture. Помещает вокруг аргумента объект рисунка рамку, составленную
из вертикальных и горизонтальных прямых, не отделяя ее пробелами. На-
пример, внутри командных скобок picture команда \put(0,0){\frame{\shortstack{L\\A\\T\\E\\X}}}
дает следующий результат:

L
A
T
E
X

Точкой привязки является нижний левый угол результирующего бокса.
Хрупкая.




63
\framebox[len][pos]{text} Вне командных скобок picture обрабатывает аргу-
мент text в LR моде, а затем “обрамляет” результат, как показано на рис.15,
стр. 63. Хрупкая.
\framebox(i, j)[pos]{объект рисунка} В этой форме команда может встретить-
ся только внутри командных скобок picture. Параметры имеют то же самое
значение, что и в описанной ниже команде \makebox. Единственное отли-
чие этой команды от \makebox то, что она производит текст в “рамке” из
вертикальных и горизонтальных прямых. Действие этой команды показано
на рис.12, стр.45.7 Хрупкая.
\frenchspacing Равномерно распределяет пробелы по всей строке. Чтобы по-
нять эту макрокоманду, нужно знать, что в англо-американской полигра-
фии после точки, вопросительного и восклицательного знаков ставят двой-
ной пробел. С другой стороны, после запятой и точки с запятой они во-
обще не используют пробелов. Французы, напротив, предпочитают, что-
бы все пробелы были примерно одинаковыми. Следовательно, Вы долж-
ны выбирать (\frenchspacing или \nonfrenchspacing?) в зависимости от
того, на каком языке вы пишите. В русском языке обычно используется
\nonfrenchspacing (к тому же принятый в формате plain по умолчанию),
а пробелы после запятых добавляются вручную. Хрупкая.
\frown Производит символ бинарного отношения , но только в математической
моде. Прочная.

\fussy Влияет на разбиение строк. Под ее действием а по умолчанию это
так текст иногда может залезать на правое поле, причем об этом на
терминал будет выдаваться сообщение. Если она действует в конце абзаца,
то действует и на весь абзац.


g

\gamma Производит ординарный символ ?, но только в математической моде.
Прочная.

\Gamma Производит ординарный символ ?, но только в математической моде.

<<

стр. 2
(всего 5)

СОДЕРЖАНИЕ

>>