5. Расширяемые и настраиваемые символы | LaTeX

В LaTeX есть определенные возможности, позволяющие создавать структуры, которые могут расти до любого необходимого размера. Математическая верстка остро нуждается в такой вариативности. Некоторые аспекты этого процесса мы обсудим в этой статье. Все команды, описанные в этом разделе (если не указано иное), предоставляются стандартом LaTeX.

5.1. Многоточие…

Пакет amsmath заменяет (почти во всех случаях) все эти \ldots, cdots и т. д. из стандартного LaTeX одной командой \dots. И вертикальное положение многоточия, и пространство вокруг него выбираются автоматически в зависимости от типа символа, следующего за \dots. Если следующим символом является, скажем, знак плюса, точки будут располагаться по центру; если это запятая, они попадут на базовую линию. Это всегда три точки, но интервал варьируется.

\usepackage{amsmath}
% -------------------------------------------------------------------------------
A series $H_1, H_2, \dots, H_n$, a sum
$H_1 + H_2 + \dots + H_n$, an orthogonal product
$H_1 \times H_2 \times \dots \times H_n$.

Однако, когда точки появляются в конце формулы, следующим объектом будет что-то вроде \end или \) или $, и это не дает LaTeX никакой информации о расположении точек. В таком случае вы должны помочь, используя \dotsc для точек, за которыми следуют запятые, \dotsb для точек, за которыми следует Бинарный оператор или Символ отношения, \dotsm для точек, за которыми следуют точки умножения, \dotsm для точек, за которыми следуют точки умножения, \dotsiдля точек, за которыми следуют целые числа, или\dotso` в любом другом случае.

\usepackage{amsmath}
% -------------------------------------------------------------------------------
A series $H_1, H_2, \dotsc\,$, a sum
$H_1 + H_2 + \dotsb\,$, an orthogonal product
$H_1 \times H_2 \times \dotsm\,$, and an infinite
integral: \[ \int_{H_1} \int_{H_2} \dotsi \;
{-\Gamma}\, d\Theta \]

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

По сути, LaTeX позволяет настроить любую команду математического акцента для создания соответствующего глифа из диапазона ширины, когда они предусмотрены доступными шрифтами. Однако в стандартном LaTeX таких команд всего две: \widehat и \widetilde.

В следующем примере мы демонстрируем использование нескольких команд, которые создают конструкции, аналогичные вышеупомянутым расширяемым акцентам. Все они создают составные символы математического класса Ordinary.

\usepackage{amsmath}
% -------------------------------------------------------------------------------
\begin{align*}
\widehat {\psi_\delta(t) E_t h}
&= \widetilde {\psi_\delta(t) E_t h} \\
\overline {\psi_\delta(t) E_t h}
&= \underline {\psi_\delta(t) E_t h} \\
\overbrace {\psi_\delta(t) E_t h}
&= \underbrace {\psi_\delta(t) E_t h}
& & \text{Do not change style} \\
\overrightarrow {\psi_\delta(t) E_t h} 
&= \overleftarrow {\psi_\delta(t) E_t h}
& & \text{Do not change style} \\[-3pt]
& & & \text{without \textsf{amsmath}} \\
\underrightarrow {\psi_\delta(t) E_t h}
&= \underleftarrow {\psi_\delta(t) E_t h}
& & \text{Do need \textsf{amsmath}} \\
\overleftrightarrow {\psi_\delta(t) E_t h}
&=\underleftrightarrow{\psi_\delta(t) E_t h}
& & \text{Do need \textsf{amsmath}}
\end{align*}

Здесь «изменить стиль» означает, что на используемый символ влияет используемый математический стиль, поэтому он будет выглядеть правильно при использовании, например, в дробях или нижнем/надстрочном индексе. Те, которые не меняют стиль, будут отображаться правильно только на верхнем уровне отображаемых формул.

5.3. Символы, которые можно расширять по вертикали

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

Вертикально расширяемые символы

	( )		\{ \}		\lVert \rVert
	\langle \rangle		\lbrace \rbrace		\lvert \rvert
	\lgroup \rgroup		[ ]		`
	\lmoustache \rmoustache		\lbrack \rbrack		\vert
	\Downarrow		\lceil \rceil		\arrowvert
	\Uparrow		\lfloor \rfloor		\bracevert
	\Updownarrow		\llbracket \rrbracket		\Arrowvert
	\downarrow		/		|
	\uparrow		\backslash		\Vert
	\updownarrow		.		\sqrtsign

Символы, выделенные курсивом, требуют либо пакета amsmath, либо, если они дополнительно набраны жирным шрифтом, пакета stmaryrd. Точка (.) сама по себе не является расширяемым символом, но ее можно использовать для создания «невидимого» разделителя. Символ \sqrtsign нельзя использовать с \left, \right или \middle.

Синонимы: [ - \lbrack, [; ] - \rbrack, ]; { - \lbrace, \{; } - \rbrace, \}; | - \vert, |; || - \Vert, \|.

Эти символы становятся расширяемыми только в определенных случаях. В их основе должна лежать следующая конструкция:

\left <ext-Open> <sub-formula> \right <ext-Close>

Если LaTeX использует программу eTeX, то вы также можете использовать эти расширяемые символы с \middle.

Здесь <ext-Open> и <ext-Close> могут быть любыми символами (кроме \sqrtsign), перечисленными в таблице выше. Это должны быть символы, которые можно расширять, как описано в fntguide. Таким образом, должен быть доступен символ, обозначающий отсутствие фактического глифа. Так получилось, что этот символ, также известный как нулевой разделитель, является точкой (.). Размеры реальных глифов для набора расширяемого символа выбираются так, чтобы они соответствовали высоте и глубине подформулы, лежащей между ними.

Радикальный символ \sqrtsign увеличивается как по вертикали, так и по горизонтали, чтобы соответствовать размеру своего аргумента. В LaTeX для получения этого символа лучше использовать команду \sqrt.

\[
  \sqrtsign{1 + \sqrtsign{1 + \sqrtsign{1 +
    \sqrtsign{1 + \sqrtsign{1 + \sqrtsign{1 + x}}}}}}
\]