Операции, отношения и просто значки

Начнем с греческих букв. Имя команды, задающей строчную греческую букву, совпадает с английским названием этой буквы (например, буква

задается командой \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

<
p> Обозначения для многих из выписанных знаков длинны и сложны. С этим неудобством борются следующим образом: если в вашем тексте часто встречается какое-то длинное обозначение для математического символа, имеет смысл определить для этого символа свою более удобную команду (например, btu вместо bigtriangleup). Как это сделать, рассказано в начале лекции 7; вы можете прочитать это уже сейчас.

В следующей таблице мы собрали символы "бинарных отношений". Вокруг них TeX также оставляет дополнительные пробелы (не такие, как вокруг символов бинарных операций). Вообще говоря, нет смысла много задумываться об этих пробелах, поскольку 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

<


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

	\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.


Содержание раздела

---

---