Matematica e filosofiaedit

In logica, viene utilizzato con due significati diversi ma correlati. Può riferirsi al connettivo se e solo se, chiamato anche equivalenza materiale. Questa è un’operazione binaria il cui valore è vero quando i suoi due argomenti hanno lo stesso valore l’uno dell’altro. In alternativa, in alcuni testi ⇔ è usato con questo significato, mentre ≡ è usato per la nozione metalogica di livello superiore di equivalenza logica, secondo la quale due formule sono logicamente equivalenti quando tutti i modelli danno loro lo stesso valore. Gottlob Frege ha usato una tripla barra per una nozione più filosofica di identità, in cui due affermazioni (non necessariamente in matematica o logica formale) sono identiche se possono essere liberamente sostituite l’una dall’altra senza cambiare significato.

In matematica, la barra tripla è talvolta usata come simbolo di identità o relazione di equivalenza (anche se non l’unica; altre scelte comuni includono ~ e ≈). In particolare, in geometria, può essere utilizzato sia per mostrare che due figure sono congruenti o che sono identici. In teoria dei numeri, è stato utilizzato inizio con Carl Friedrich Gauss (che per primo ha usato con questo significato, 1801), a significare modulare congruenza: a ≡ b ( mod N ) {\displaystyle a\equiv b{\pmod {N}}}

se N divide a − b. Esso è anche utilizzato per il “identici uguaglianza” di funzioni; si scrive f ≡ g {\displaystyle f\equiv g}

per due funzioni f, g se abbiamo f ( x ) = g ( x ) {\displaystyle f(x)=g(x)}

per ogni x.

Nella teoria delle categorie, le barre triple possono essere utilizzate per collegare oggetti in un diagramma commutativo, indicando che sono in realtà lo stesso oggetto piuttosto che essere collegati da una freccia della categoria.

Questo simbolo è talvolta usato anche al posto di un segno di uguale per le equazioni che definiscono il simbolo sul lato sinistro dell’equazione, per contrastarle con equazioni in cui i termini su entrambi i lati dell’equazione erano già definiti. Una notazione alternativa per questo utilizzo consiste nel comporre le lettere “def” sopra un normale segno di uguaglianza, a = d e f b {\displaystyle a{\overset {\underset {\mathrm {def} }{}}{=}}b}

.

ScienceEdit

Nella nomenclatura botanica, la tripla barra indica sinonimi omotipici (quelli basati sullo stesso esemplare tipo), per distinguerli dai sinonimi eterotipici (quelli basati su diversi esemplari tipo), che sono contrassegnati con un segno di uguale.

In chimica, la barra tripla può essere utilizzata per rappresentare un triplo legame tra atomi. Ad esempio, HC CH CH è una abbreviazione comune per acetilene (nome sistematico: ethyne).

Application designEdit

Nella progettazione di applicazioni mobili, web e generali, un simbolo simile viene talvolta usato come elemento di interfaccia, dove viene chiamato icona hamburger. L’elemento indica in genere che è possibile accedere a un menu di navigazione quando l’elemento è attivato; le barre del simbolo possono essere viste come voci di menu stilizzate e alcune varianti di questi simboli aggiungono più barre o punti elenco a ciascuna barra, per migliorare questa somiglianza visiva. L’uso di questo simbolo risale alle prime interfacce informatiche sviluppate a Xerox PARC negli anni ‘ 80. È anche simile all’icona usata frequentemente per indicare l’allineamento del testo giustificato. È un componente spesso utilizzato delle linee guida di progettazione dei materiali di Google e molte app Android e app Web che seguono queste linee guida utilizzano il menu hamburger.