Введение

Символ с несколькими значениями

Тройная черта или трибар (≡) — символ с несколькими значениями, зависящими от контекста, указывающий на эквивалентность двух различных понятий. Основное применение — в математике и логике. Он выглядит как знак равенства с добавленной третьей чертой.

Кодирование

Тройной штрих в Юникоде — это кодовая точка. Тесно связанная кодовая точка — это тот же символ, но с диагональной чертой, обозначающей отрицание его математического смысла.

Математика и философия

В логике оно используется с двумя различными, но связанными значениями. Это может относиться к бинарному соединителю "если и только если", также называемому материальной эквивалентностью. Это двоичная операция, значение которой истинно, когда два аргумента имеют одно и то же значение. В качестве альтернативы, в некоторых текстах ⇔ используется для обозначения этого значения, а ≡ – для металогического понятия логической эквивалентности более высокого уровня, согласно которому две формулы логически эквивалентны, если все модели присваивают им одно и то же значение. Готтлоб Фреге использовал тройную черту для обозначения более философского понятия идентичности, в котором два утверждения (не обязательно в математике или формальной логике) идентичны, если их можно свободно заменять друг другом без изменения смысла. В математике тройная черта иногда используется как символ идентичности или отношения эквивалентности (хотя и не единственный; другие распространенные варианты включают ~ и ≈). В частности, в геометрии она может использоваться для обозначения того, что две фигуры конгруэнтны или идентичны. В теории чисел она использовалась, начиная с Карла Фридриха Гаусса (который впервые использовал её в этом значении в 1801 году), для обозначения модульной конгруэнтности: если N делит a − b. В теории категорий тройные черты могут использоваться для соединения объектов в коммутативной диаграмме, указывая, что они на самом деле являются одним и тем же объектом, а не связаны стрелкой категории. Этот символ также иногда используется вместо знака равенства для уравнений, определяющих символ, находящийся слева от знака равенства, чтобы отличить их от уравнений, в которых члены с обеих сторон уже определены. Альтернативное обозначение для этого случая – напечатать буквы "def" над обычным знаком равенства. Аналогично, другой альтернативный способ обозначения – поставить двоеточие перед знаком равенства. Обозначение двоеточием имеет преимущество в том, что оно отражает присущую асимметрию в определении одного объекта на основе уже определенных объектов.

Наука

В ботанической номенклатуре тройная черта обозначает гомотипные синонимы (основанные на одном и том же типовом экземпляре), чтобы отличить их от гетеротипных синонимов (основанных на разных типовых экземплярах), которые обозначаются знаком равенства. В химии тройная черта может использоваться для обозначения тройной связи между атомами. Например, HC≡CH – общепринятое сокращение для ацетилена (систематическое название: этин).

Конструкция приложения

В дизайне мобильных, веб-приложений и приложений в целом подобный символ иногда используется как элемент интерфейса, где он известен как иконка «гамбургер». Этот элемент обычно указывает на то, что при нажатии открывается навигационное меню; полоски символа могут восприниматься как стилизованные пункты меню, а некоторые варианты этого символа добавляют дополнительные полоски или маркеры к каждой полоске, чтобы усилить это визуальное сходство. Использование этого символа восходит к ранним компьютерным интерфейсам, разработанным в Xerox PARC в 1980-х годах. Он также похож на иконку, часто используемую для обозначения выравнивания текста по ширине. Это часто используемый компонент в рекомендациях Google по Material Design, и многие приложения для Android и веб-приложения, придерживающиеся этих рекомендаций, используют меню «гамбургер».