Що означає ∣
Ліве число ділить праве без остачі.
Отже, 3 ∣ 12 — істина, а 5 ∣ 12 — хиба. У теорії чисел і доведеннях зазвичай пишуть a ∣ b і читають «a ділить b».
У фігурних дужках, як-от {n ∣ n > 0}, риску читають «таких, що»: множина всіх n таких, що n більше за 0.
Позначення закріпилося на початку XX століття
Німецький фахівець із теорії чисел Едмунд Ландау пояснив цей запис у своєму Handbuch 1909 року — довіднику про розподіл простих чисел; ширше вживання прийшло в 1930-х. Воно замінило коротким знаком відношення, яке раніше записували словами.
Формальна теорія чисел і доведення; у звичайному чаті сигналізує про спеціальне математичне позначення.
Це не ділення: 3 ∣ 12 — твердження, істинне або хибне.
Не плутайте з
2Як набрати ∣
Windows (Word)
Alt+XВведіть 2223, потім натисніть Alt+X, щоб отримати ∣.
Windows
Win+RЗапустіть charmap для повної таблиці або скористайтеся вкладкою Ω у панелі емодзі (Win + .).
macOS
Control+Command+SpaceВідкрийте переглядач символів і знайдіть «divides».
Linux
Ctrl+Shift+UВведіть 2223, потім натисніть Enter або пробіл.
HTML
∣CSS
\2223LaTeX
Пишіть `a \mid b`; звичайна | матиме неправильні відступи.
LaTeX, заперечення
Пишіть `a \nmid b` (потрібен пакет amssymb).
Windows (Word)
Наберіть 2223 і натисніть Alt+X.
Linux (програми GTK)
Натисніть Ctrl+Shift+U, наберіть 2223, натисніть Enter.
Коди й кодуванняКодових точок: 1
HTML десятковий
∣
HTML шістнадцятковий
∣
Вміст CSS
content: "\2223";
Кожна escape-послідовність закінчується наступною зворотною скісною рискою; перед звичайною шістнадцятковою цифрою потрібен пробіл.
Кодування URL
%E2%88%A3
1
На екрані
1
Кодові точки
1
JS .length
3
Байти UTF-8
Видимий символ може містити кілька кодових точок. JS .length рахує одиниці UTF-16, а UTF-8 — байти.