Делит, «таких что» (∣) в LaTeX

Q: Чем \mid отличается от | в LaTeX?

\mid это отношение со встроенными интервалами, оно подходит для «делит» и «таких что». Обычная | это просто символ, который часто берут как быстрый разделитель модуля, но своей логики интервалов у него нет.

Q: Как записать «таких что» в записи множества?

Поставьте \mid внутрь фигурных скобок: \{x \mid P(x)\} читается как «множество таких x, что выполняется P(x)».

Q: Как записать «не делит» в LaTeX?

Используйте \nmid, он выводится как ∤ и требует пакет amssymb.

Q: Нужно ли использовать \mid для условной вероятности?

Да, P(A \mid B) это стандартный способ с хорошими интервалами, он лучше обычной вертикальной черты.

\mid даёт одну вертикальную черту (∣) как отношение: чаще всего «делит» в теории чисел и «таких что» в записи множества условием.

∣

Команда LaTeX

\mid

Это не тот символ? Нарисуйте его, чтобы найти команду →

Набираете рукописные конспекты? Преобразуйте целую страницу рукописного текста в LaTeX →

В теории чисел $a ∣ b$ означает, что a делит b нацело, то есть b это целое кратное a. Это утверждение о целых числах, и оно совсем не то же, что дробь: $2 ∣ 6$ истинно, а 2/6 это число. Отрицание записывается как \nmid, например $7 ∤ 15$ .

Внутри фигурных скобок \mid читается как «таких что»: \{ $x ∣ x$ > 0\} это множество всех x, удовлетворяющих условию после черты. \mid также стандартно используют в условной вероятности, P( $A ∣ B$ ), где он получает разумные интервалы, которых нет у обычной набранной вертикальной черты.

\mid это отношение, поэтому не используйте его там, где нужен разделитель. Модуль лучше писать как \lvert x \rvert (или просто | в быстрых заметках), а ограничение функции записывают голой чертой с индексом, f|_A, а не через \mid.

Другие варианты

\nmidне делит (∤)

Примеры

2 ∣ 6

$2 \mid 6$

2 делит 6

{x ∣ x > 0}

$\{x \mid x > 0\}$

запись множества условием, читается как «таких что»

P (A ∣ B)

$P(A \mid B)$

условная вероятность с правильными интервалами

7 ∤ 15

$7 \nmid 15$

7 не делит 15

Советы и частые ошибки

В записи множества условием и в условной вероятности берите \mid, а не просто набранную |: интервалы заметно лучше с обеих сторон.
Для «не делит» используйте \nmid, а не \mid с чертой сверху; ему нужен пакет amssymb.
Если множество по обе стороны от \{ \} должно растягиваться, оберните скобки в \left\{ ... \right\}, и \mid обычно всё равно встанет посередине правильно.
Не используйте \mid для знаков модуля; берите \lvert x \rvert: эта пара скобок работает правильно и ведёт себя так, как математики ждут от разделителя.

Работаете с рукописными конспектами?

LatexNotes превращает фото или PDF с рукописной математикой в аккуратный компилируемый LaTeX, вместе с графиками. Попробуйте бесплатно, без регистрации.

Посмотрите шаг за шагом, как работает преобразование рукописного текста в LaTeX, а если вы пишете на iPad, откройте GoodNotes в LaTeX (в Notability всё устроено так же).

Преобразовать математику в LaTeX →

Частые вопросы

Чем \mid отличается от | в LaTeX?

\mid это отношение со встроенными интервалами, оно подходит для «делит» и «таких что». Обычная | это просто символ, который часто берут как быстрый разделитель модуля, но своей логики интервалов у него нет.

Как записать «таких что» в записи множества?

Поставьте \mid внутрь фигурных скобок: \{ $x ∣ P$ (x)\} читается как «множество таких x, что выполняется P(x)».

Как записать «не делит» в LaTeX?

Используйте \nmid, он выводится как ∤ и требует пакет amssymb.

Нужно ли использовать \mid для условной вероятности?

Да, P( $A ∣ B$ ) это стандартный способ с хорошими интервалами, он лучше обычной вертикальной черты.