Matemática e filosofia edit
na lógica, é usado com dois significados diferentes mas relacionados. Pode referir-se ao se e somente se conectivo, também chamado de equivalência material. Esta é uma operação binária cujo valor é verdadeiro quando seus dois argumentos têm o mesmo valor um do outro. Alternativamente, em alguns textos ⇔ é usado com este significado, enquanto ≡ é usado para a noção metalógica de alto nível de equivalência lógica, de acordo com a qual duas fórmulas são logicamente equivalentes quando todos os modelos lhes dão o mesmo valor. Gottlob Frege usou uma barra tripla para uma noção mais filosófica de identidade, na qual duas afirmações (não necessariamente em matemática ou lógica formal) são idênticas se elas podem ser livremente substituídas umas pelas outras sem mudança de significado.
em matemática, a barra tripla é às vezes usada como um símbolo de identidade ou uma relação de equivalência (embora não seja a única; outras escolhas comuns incluem ~ e ≈). Particularmente, em Geometria, pode ser usado para mostrar que duas figuras são congruentes ou que são idênticas. Em teoria, ele tem sido utilizado início com Carl Friedrich Gauss (que pela primeira vez com este significado, 1801) significa modular congruência: a ≡ b ( mod N ) {\displaystyle um\equiv b{\pmod {N}}}
se N divide a − b. Ele também é usado para “idêntico” a igualdade de funções; se escreve f ≡ g {\displaystyle f\equiv g}
para duas funções f, g se temos f ( x ) = g ( x ) {\displaystyle f(x)=g(x)}
para todo x.
na teoria das categorias, barras triplas podem ser usadas para conectar objetos em um diagrama comutativo, indicando que eles são realmente o mesmo objeto ao invés de serem conectados por uma seta da categoria.
Este símbolo também é algumas vezes usado no lugar de um sinal igual para equações que definem o símbolo no lado esquerdo da equação, para contrastá-los com equações em que os termos em ambos os lados da equação já foram definidos. Uma notação alternativa para esse uso é para escrever as letras “def” acima de uma ordinário sinal de igualdade, a = d e f b {\displaystyle uma{\overset {\underset {\mathrm {def} }{}}{=}}b}
.
ScienceEdit
na Nomenclatura Botânica, a barra tripla denota sinônimos homotípicos (aqueles baseados no mesmo tipo de espécime), para distingui-los dos sinônimos heterotípicos (aqueles baseados em diferentes tipos de espécimes), que são marcados com um sinal igual.
em química, a barra tripla pode ser usada para representar uma ligação tripla entre átomos. Por exemplo, HC≡CH é uma abreviação comum para acetileno (nome sistemático: ethyne).
Application designEdit
In mobile, web, and general application design, a similar symbol is sometimes used as an interface element, where it is called a hamburger icon. O elemento tipicamente indica que um menu de navegação pode ser acessado quando o elemento é ativado; as barras do símbolo podem ser vistas como itens de menu estilizados, e algumas variações destes símbolos adicionam mais barras, ou pontos de bala para cada barra, para melhorar esta semelhança visual. A utilização deste símbolo remonta aos primeiros interfaces de computador desenvolvidos na Xerox PARC na década de 1980. também é semelhante ao ícone frequentemente usado para indicar o alinhamento de texto justificado. É um componente frequentemente utilizado das diretrizes de design de materiais do Google e muitos aplicativos Android e web apps que seguem essas diretrizes fazem uso do menu hambúrguer.