Tex: подробное описание С. М. Львовский

7. Разное
7.1. Теоремы, выключные формулы
Чтобы изменить оформление
«теорем» (окружений, определяемых с помощью \newtheorem),
надо переопределить команды \@begintheorem и \@opargbegintheorem (первая из них от

вечает за оформление
«теорем» без необязательного аргумента, вторая — за оформление
«теорем» с необязательным аргументом. Первая из этих команд определена так:
\newcommand{\@begintheorem}[2]{\begin{trivlist}\it
\item[\hspace{\labelsep}{\bf #1\ #2}]}
Здесь аргумент #1 означает название
«теоремы» (например, «Теорема», «Предложение»,
«Лемма». . . — в команде \newtheorem это слово являлось вторым обязательным аргумен
том), а аргумент #2 означает номер
«теоремы». Если мы, например, хотим, чтобы после но
мера
«теорем» стояла точка, нам достаточно переопределить в стилевом файле эту команду,
добавив точку после #1; что делать для того, чтобы сменить шрифт, которым печатаются но

мер или текст
«теорем», также достаточно ясно.
Команда \@opargbegintheorem определяется так:
\newcommand{\@opargbegintheorem}[3]{\begin{trivlist}
\it\item[\hspace{\labelsep}{\bf #1\ #2\ (#3)}]}
Здесь #1 и #2 по-прежнему означают название и номер теоремы, а #3
— необязательный
аргумент
«теоремы» (как мы помним, обычно в качестве такового задается имя ученого, ко
торому приписывается данная теорема).
Если Вы не собираетесь делать в оформлении
«теорем» более серьезных изменений, чем
изменения шрифта и расстановка дополнительных точек, то ничего больше знать про
«тео
ремы
» Вам и не надо. Если, однако, Вас не устраивает оформление, задаваемое окружени
ем trivlist, то Вы можете переопределить обе эти команды более радикально. Общий прин

цип тут таков. Перед текстом
«теоремы», не имеющей необязательного аргумента, исполня
ется команда \@begintheorem; у этой команды должно быть два аргумента, причем первый
из них
— название «теоремы», а второй — ее номер. Если «теорема» имеет необязатель
ный аргумент, то перед ее текстом исполняется команда \@opargbegintheorem, имеющая
три аргумента: первые два
— такие же, как у \@begintheorem, и третий — необязательный
аргумент
«теоремы» (имя первооткрывателя). Наконец, после текста «теоремы» исполняет
ся команда \@endtheorem, которая изначально определена очень просто:
\newcommand{\@endtheorem}{\end{trivlist}}
В принципе Вы можете переопределить все три эти команды, чтоб получить свое оформ

ление
«теорем» (например, в духе макросов для автоматической нумерации задач, о кото
рых шла речь в главе
VII
). Только следите, чтобы переопределения всех трех команд были
согласованы друг с другом: если, например, Вы изгоните \begin{trivlist} из определе

ния \@begintheorem, но при этом оставите команду \@endtheorem в неприкосновенности, то
на каждой
«теореме» L
A
TEX будет сообщать Вам об ошибке (отсутствие баланса \begin’ов
и \end’ов).
Теперь скажем кое-что про стиль оформления номеров выключных формул, заданных
в виде окружения equation. Помимо таких, уже известных Вам, возможностей, как пере

определение команды \theequation или изменение подчиненности счетчика equation с по

мощью команды \@addtoreset, которые меняют оформление самих номеров формул, можно

---

IX.7. РАЗНОЕ
205
также, в принципе, изменить то, что печатается возле этих номеров. Для этого следует пере

определить команду \@eqnnum. Изначально она определена так:
\newcommand{\@eqnnum}{(\theequation)}
При желании можно заменить тут круглые скобки на что-нибудь другое. Имейте в виду, что
номер выключной формулы обрабатывается TEXом «в математическом режиме», как фор
мула (латинские буквы по умолчанию набираются
«математическим курсивом», и т п.).