1.3О промежутках между символами

TEX игнорирует все пробелы, вставленные между символами в исходном тексте, и расставляет промежутки сам. Размер промежутка зависит от того, к какому типу относятся символы. Пример:

y = 1.2 + x y=(+x) + 1, 2 \( y=1.2+x \qquad y{=}(+x)+1,2 \)

В первой формуле знаки «=» и «+» рассматриваются как символы сравнения и арифметической операции, соответственно. Их TEX окружает надлежащими пробелами. Во второй формуле этих пробелов нет, поскольку знак «=» стоит в фигурных скобках и рассматривается не как символ бинарного отношения, а как подформула; знак «+» перед буквой x не считается символом бинарной операции; запятая, в отличие от точки, считается символом пунктуации, после которых ставится небольшой пробел.

TEX различает восемь типов символов. Имеются специальные команды, которые объявляют свой аргумент — любую формулу — «символом» соответствующего типа. \mathord задаёт обычный символ (A 0 Φ ∞), \mathopen и \mathclose — открывающий (h b |) и закрывающий разделители (| i c), \mathpunct — знак пунктуации (, ; !). \mathbin, \mathrel и \mathop определяют бинарные

		P	log), соответствен-
операции (+ × ±), бинарные отношения (= ) и математические операции (
но. Последняя команда	\mathalpha	предназначена для объявления символов	алфавитными, чтобы
			R

на них действовали команды, приведённые в разделе «Математические алфавиты».

Рассмотрим на примере, как с помощью команды \mathop можно «расставить» правильные пробелы. В формуле

Spσˆ i = 0 \( \mathrm{Sp} \hat{\sigma}_i = 0 \)

явно не хватает небольшого пробела между Sp и σˆ i. Конечно, его можно вставить вручную командами из таблицы 34. Но лучше доверить эту работу TEXу: он уж точно сделает правильные пробелы. Поэтому объявим обозначение шпура матрицы математической операцией (что соответствует действительности):

Sp σˆ i = 0

\( \mathop{\mathrm{Sp}} \hat{\sigma}_i=0 \)

Видно, что теперь TEX сделал необходимый пробел. AMS-LATEX автоматизировал определение новых математических операций. Процедура описана на стр. 28.

1.4О размерах символов

В математической моде используются символы трех размеров: текстового, индексов и индексов к индексам. Если размер шрифта документа равен 10 pt, то размер индексов будет 7 pt, а индексов к индексам любого уровня — 5 pt. Размер символов, которыми печатается та или иная часть формулы, задаётся её стилем. TEX сам выбирает, какой стиль использовать в числителе и знаменателе дробей, в индексах и т.д. Можно, однако, изменить стиль формулы следующими декларациями:

\displaystyle задаёт стиль для формул на отдельной строке. В этом стиле используется текстовый размер символов.

\textstyle задаёт стиль для формул в тексте и в окружение array. В этом стиле также используется текстовый размер символов.

\scriptstyle задаёт стиль для индексов первого уровня. В этом стиле используется размер индексов.

\scriptscriptstyle задаёт стиль для индексов высших уровней. В этом стиле используется размер индексов к индексам.

От стиля зависит не только размер символов, но и положение показателя степени. Сравните

x2 x2

$ x^2 \quad \displaystyle x^2 $

Если не учитывать эту деталь, то правила переключения стиля можно сформулировать так.

11