В следующей таблице мы собрали символы "бинарных отношений". Вокруг них 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 |