<< Пред. стр.

стр. 7
(общее количество: 18)

ОГЛАВЛЕНИЕ

След. стр. >>


расширением 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

<< Пред. стр.

стр. 7
(общее количество: 18)

ОГЛАВЛЕНИЕ

След. стр. >>