Символ ∤ (Не делит): Что означает математический знак и как его использовать

Символ ∤ (Не делит) — это математический знак, который показывает, что одно целое число не делится нацело на другое без остатка. В алгебре и теории чисел он используется для прямого отрицания свойства делимости. Например, математическое выражение «3 ∤ 10» читается просто: «три не делит десять». В стандарте Юникода этот знак имеет код U+2224.

Исторически этот символ появился как логическое продолжение знака делимости — прямой вертикальной черты (|). В математической логике перечеркивание символа косой линией традиционно означает отрицание. Точно так же, как знак «равно» (=) превращается в «не равно» (≠), вертикальная черта стала знаком «не делит» (∤). Иногда в старых базах данных или при машинном переводе документации его могут называть «Математический оператор 33» (Mathematical Operator 33), но его официальное международное имя в стандарте — Does Not Divide.

В таблице Юникода символ ∤ находится в блоке «Математические операторы» (Mathematical Operators), который объединяет важнейшие знаки для точных наук. Его шестнадцатеричный код — U+2224. Символ отлично поддерживается всеми современными операционными системами, браузерами и мессенджерами, поэтому можешь смело отправлять его в Telegram или VK, не боясь, что собеседник увидит вместо него пустой квадрат.

Чаще всего символ ∤ встречается в суровой математике. Он незаменим при записи доказательств теорем, работе с простыми числами и в криптографии — например, при описании алгоритмов шифрования, на которых держится безопасность всего интернета. В программировании символ ∤ напрямую в код не пишут. Там правит бал оператор остатка от деления: чтобы проверить, что 10 не делится на 3, разработчик напишет `10 % 3 != 0`. Зато в комментариях к коду, научной документации, статьях на Хабре или в математических пабликах этот знак используется регулярно.

Ввести символ ∤ с обычной клавиатуры с наскока не выйдет, но есть несколько удобных способов:
• В HTML используй код `∤` или мнемонику `∤`.
• В текстовых редакторах на Windows (например, в Word) набери `2224` и нажми `Alt + X`.
• В LaTeX для него предусмотрена специальная команда `\nmid`.
Но давай честно: проще всего скопировать его прямо из этой статьи и вставить в свой текст или пост.

У символа ∤ есть несколько близких родственников. Во-первых, это его прямой антагонист — вертикальная черта `|` (U+007C), которая как раз означает делимость. Не стоит путать ∤ с обычным слешем `/` (U+002F) или классическим школьным знаком деления `÷` (U+00F7). А еще в Юникоде есть визуально похожий знак `∦` (U+2226), который расшифровывается как «не параллельно» и используется исключительно в геометрии.