Matemáticas y filosofíaeditar

En lógica, se utiliza con dos significados diferentes pero relacionados. Puede referirse al si y solo si conectivo, también llamado equivalencia de material. Esta es una operación binaria cuyo valor es verdadero cuando sus dos argumentos tienen el mismo valor el uno del otro. 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 usó 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 cambiar de significado.

En matemáticas, la barra triple se usa a veces como un símbolo de identidad o una relación de equivalencia (aunque no es la única; otras opciones comunes incluyen ~ y ≈). En particular, en geometría, se puede usar para mostrar que dos figuras son congruentes o que son idénticas. En teoría de números, se ha utilizado el principio de Carl Friedrich Gauss (que primero se usa con este significado en 1801) significa modular de congruencia: a ≡ b ( mod N ) {\displaystyle un\equiv b{\pmod {N}}}

si N divide a a − b. También se utiliza para «idénticos» igualdad » de las funciones; uno escribe f ≡ g {\displaystyle f\equiv g}

para dos funciones f, g, si tenemos f ( x ) = g ( x ) {\displaystyle f(x)=g(x)}

para todo x.

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 usa a veces en lugar de un signo igual para 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 componer las letras «def» por encima de un ordinario de igualdad de signo, a = d e f b {\displaystyle un{\desbordado {\underset {\mathrm {def} }{}}{=}}b}

.

ScienceEdit

En nomenclatura botánica, la barra triple denota sinónimos homotípicos (aquellos basados en el mismo tipo de espécimen), para distinguirlos de sinónimos heterotípicos (aquellos basados en diferentes tipos de especímenes), que están marcados con un signo igual.

En química, la barra triple se puede usar para representar un enlace triple entre átomos. Por ejemplo, HC CH CH es una abreviatura común para acetileno (nombre sistemático: etino).

Diseño de aplicacióneditar

En el diseño de aplicaciones móviles, web y generales, a veces se usa un símbolo similar como elemento de interfaz, donde se llama icono de hamburguesa. El elemento normalmente indica que se puede acceder a un menú de navegación cuando se activa el elemento; 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 de computadora desarrolladas en Xerox PARC en la década de 1980. También es similar al icono que se usa con frecuencia para indicar la alineación de texto justificada. Es un componente muy utilizado de las directrices de diseño de materiales de Google y muchas aplicaciones para Android y aplicaciones web que siguen estas directrices hacen uso del menú de hamburguesas.