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

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

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

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

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

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

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

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

$f\colon X\to Y$

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

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

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

<

Начало Назад Вперед