<< Пред. стр.

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

ОГЛАВЛЕНИЕ

След. стр. >>

моде. Прочная.
\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

<< Пред. стр.

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

ОГЛАВЛЕНИЕ

След. стр. >>