Barra triple
La barra triple o tribar, ≡, es un símbolo con múltiples significados que dependen del contexto y que indican la equivalencia de dos cosas diferentes. Sus principales usos son en matemáticas y lógica. Tiene la apariencia de un signo igual ⟨=⟩ con una tercera línea.
Codificación
El carácter de triple barra en Unicode es el punto de código U+2261 ≡ IDÉNTICO A (&Congruente ;, ≡). El punto de código estrechamente relacionado U+2262 ≢ NO IDÉNTICO A (≢, ≢ ) es el mismo símbolo con una barra diagonal que indica la negación de su significado matemático.
En las fórmulas matemáticas LaTeX, el código \equiv produce el símbolo de barra triple y \not\equiv produce el símbolo de barra triple negada como salida.
Usos
Matemáticas y filosofía
En lógica, se usa con dos significados diferentes pero relacionados. Puede referirse al conectivo si y solo si, también llamado equivalencia material. Esta es una operación binaria cuyo valor es verdadero cuando sus dos argumentos tienen el mismo valor entre sí. Alternativamente, en algunos textos ⇔ se usa con este significado, mientras que ≡ se usa para la noción metalógica de equivalencia lógica de nivel superior, según la cual dos fórmulas son lógicamente equivalentes cuando todos los modelos les dan el mismo valor. Gottlob Frege utilizó una barra triple para una noción más filosófica de identidad, en la que dos afirmaciones (no necesariamente en matemáticas o lógica formal) son idénticas si pueden sustituirse libremente entre sí sin cambio de significado.
En matemáticas, la barra triple se utiliza a veces como un símbolo de identidad o una relación de equivalencia (aunque no la única; otras opciones comunes incluyen ~ y ♥). En particular, en la geometría, puede utilizarse para demostrar que dos cifras son congruentes o que son idénticas. En teoría de números, se ha utilizado comenzando con Carl Friedrich Gauss (quien primero lo usó con este significado en 1801) para significar congruencia modular: si N divideciones a − b.
En teoría de categorías, se pueden usar barras triples para conectar objetos en un diagrama conmutativo, lo que indica que en realidad son el mismo objeto en lugar de estar conectados por una flecha de la categoría.
Este símbolo también se utiliza a veces en lugar de un signo igual para las ecuaciones que definen el símbolo en el lado izquierdo de la ecuación, para contrastarlos con ecuaciones en las que los términos en ambos lados de la ecuación ya estaban definidos. Una notación alternativa para este uso es escribir las letras "def" sobre un signo de igualdad común, . Del mismo modo, otra notación alternativa para este uso es preceder al signo igual con un colon, . La notación de colon tiene la ventaja de que refleja la asimetría inherente en la definición de un objeto de objetos ya definidos.
Ciencia
En la nomenclatura botánica, la barra triple denota sinónimos homotípicos (aquellos basados en el mismo espécimen tipo), para distinguirlos de los sinónimos heterotípicos (aquellos basados en especímenes de diferentes tipos), que están marcados con un signo igual.
En química, la triple barra se puede utilizar para representar un triple enlace entre átomos. Por ejemplo, HC≡CH es una abreviatura común de acetileno (nombre sistemático: etino).
Diseño de aplicaciones
En el diseño de aplicaciones móviles, web y en general, a veces se utiliza un símbolo similar como elemento de la interfaz, donde se le llama icono de hamburguesa. El elemento normalmente indica que se puede acceder a un menú de navegación cuando el elemento está activado; Las barras del símbolo pueden verse como elementos de menú estilizados, y algunas variaciones de estos símbolos agregan más barras, o viñetas a cada barra, para mejorar esta similitud visual. El uso de este símbolo se remonta a las primeras interfaces informáticas desarrolladas en Xerox PARC en la década de 1980. También es similar al icono que se utiliza frecuentemente para indicar la alineación del texto justificado. Es un componente de uso frecuente de las pautas de diseño de materiales de Google y muchas aplicaciones de Android y aplicaciones web que siguen estas pautas utilizan el menú de hamburguesas.