Имена функций

. Лекция: Как набирать формулы

Некоторые из приемов, описываемых здесь, становятся доступными только после подключения специальных стилевых пакетов. Напомним, что слова наподобие "чтобы сделать то-то и то-то, надо подключить стилевые пакеты yweird и queer" означают, что в преамбулу документа следует включить строчку вида \usepackage{weird,queer} Особенно полезны возможности, предоставляемые пакетами amssymb и amsmath рекомендуем подключать их всегда, если в вашем тексте присутствуют сколько-нибудь сложные формулы. Имея все это в виду, приступим к делу. Таблицы спецзнаков с комментариями В этом разделе мы перечислим математические знаки, предоставляемые LaTeX'ом. Знаков этих очень много, поэтому разобьем их на несколько групп. Это разбиение делается не только для удобства восприятия: как мы увидим в разд. "Снова об интервалах и формулах", расстановка интервалов в формулах зависит от того, к какой группе (бинарная операция, бинарное отношение, обыкновенный символ и т.д.) относится математический символ. Операции, отношения и просто значки Начнем с греческих букв. Имя команды, задающей строчную греческую букву, совпадает с английским названием этой буквы (например, буква

задается командой \alpha). Исключение составляет буква

(она называется "омикрон"): по начертанию она совпадает с курсивной латинской o, так что специальной команды для нее не предусмотрено, и для ее набора достаточно просто написать o в формуле. Некоторые греческие буквы имеют по два варианта начертаний; это также отражено в следующей ниже таблице.

	\alpha
	\beta
	\gamma
	\delta
	\epsilon
	\varepsilon
	\zeta
	\eta
	\theta
	\vartheta
	\iota
	\kappa
	\lambda
	\mu
	\nu
	\xi
	\pi
	\varpi
	\rho
	\varrho
	\sigma
	\varsigma
	\tau
	\upsilon
	\phi
	\varphi
	\chi
	\psi
	\omega

Имя команды, задающей прописную греческую букву, пишется с прописной буквы (например, буква задается командой Psi). Некоторые прописные греческие буквы (" альфа", например) совпадают по начертанию с латинскими, и для них специальных команд нет — надо просто набрать соответствующую латинскую букву прямым шрифтом. Не надо использовать греческие буквы и из этой таблицы в качестве знаков суммы и произведения: для этих целей есть специальные команды, о которых пойдет речь дальше. Итак, вот прописные греческие буквы, не совпадающие по начертанию с латинскими:

	\Gamma
	\Delta
	\Theta
	\Lambda
	\Xi
	\Pi
	\Sigma
	\Upsilon
	\Phi
	\Psi
	\Omega

Следующая серия символов — символы, рассматриваемые TeX'ом как символы бинарных операций (наподобие знаков сложения, умножения и т.п.); TeX оставляет в формуле небольшие пробелы по обе стороны этих знаков, кроме случаев, когда есть основания считать, что эти знаки используются не для обозначения операций, а для других целей (если, например, стоят два плюса подряд, то дополнительного пробела между ними не будет). Итак, вот список символов бинарных операций:

	+
	-
	*
	\pm
	\mp
	\times
	\div
	\setminus
	\cdot
	\circ
	\bullet
	\cap
	\cup
	\uplus
	\sqcap
	\sqcup
	\vee
	\wedge
	\oplus
	\ominus
	\otimes
	\odot
	\oslash
	\triangleleft
	\triangleright
	\amalg
	\diamond
	\wr
	\star
	\dagger
	\ddagger
	\bigtriangleup
	\bigcirc
	\bigtriangledown

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

	<
	>
	=
	:
	\le
	\ge
	\ne
	\sim
	\simeq
	\approx
	\cong
	\equiv
	\ll
	\gg
	\doteq
	\parallel
	\perp
	\in
	\notin
	\ni
	\subset
	\subseteq
	\supset
	\supseteq
	\succ
	\prec
	\succeq
	\preceq
	\asymp
	\sqsubseteq
	\sqsupseteq
	\models
	\vdash
	\dashv
	\smile
	\frown
	\mid
	\bowtie
	\propto

Команда \mid в этой таблице определяет вертикальную черточку, рассматриваемую как знак бинарного отношения; ее не следует употреблять, если вертикальная черточка употребляется как аналог скобки (например, как знак абсолютной величины). Типичный случай, когда нужна команда mid — запись определения множеств:

$M=\{\,x\in A\mid x>0\,\}$

Если тут написать "|" вместо \mid, то пробелы вокруг вертикальной черты будут недостаточны. Команды \ нужны, чтобы сделать дополнительные маленькие пробелы возле фигурных скобок (подробнее см. разд. "Тонкая настройка ").

Стоит еще отметить, что при записи отображений нужно использовать не двоеточие, а команду \colon:

$f\colon X\to Y$

Если здесь задать двоеточие непосредственно, то вокруг него получатся слишком большие интервалы.

Если вы подключите стилевой пакет latexsym, то вам, кроме того, будут доступны следующие семь символов:

	\lhd
	\unlhd
	\rhd
	\unrhd
	\sqsubset
	\sqsupset
	\Join

В следующей таблице собраны стрелки различных видов.

	\to
	\longrightarrow
	\Rightarrow
	\Longrightarrow
	\hookrightarrow
	\mapsto
	\longmapsto
	\leadsto
	\gets
	\longleftarrow
	\Leftarrow
	\Longleftarrow
	\hookleftarrow
	\leftrightarrow
	\longleftrightarrow
	\Leftrightarrow
	\Longleftrightarrow
	\uparrow
	\Uparrow
	\downarrow
	\Downarrow
	\updownarrow
	\Updownarrow
	\nearrow
	\searrow
	\swarrow
	\nwarrow
	\leftharpoondown
	\leftharpoonup
	\rightharpoonup
	\rightharpoondown
	\rightleftharpoons

При подключении стилевого пакета latexsym будет также доступна стрелка (она задается командой \leadsto).

Из привычных российскому читателю символов в вышеприведенных таблицах нет знаков и , выглядящих гораздо лучше, чем и ; кроме того, греческая буква " каппа" лучше смотрится в виде , чем в виде (\kappa). Эти символы становятся доступными, если подключить стилевой пакет amssymb. При условии, что это сделано, можно задавать в математических формулах букву командой \varkappa, а символы и — командами \leqslant и \geqslant.