Trippel bar

Den här artikeln handlar om symbolen. För hästhoppet, se oxer .

För annan användning, se ≡ (disambiguation) .

≡
Identisk med
U+2261 ≡ IDENTICAL TO ( ≡, ≡ )

≢
Inte identisk med
U+2262 ≢ INTE IDENTISK MED ( ≢, ≢ )

  Trippelstapeln eller tristapeln , ≡ , är en symbol med flera , kontextberoende betydelser som indikerar likvärdighet mellan två olika saker. Dess huvudsakliga användningsområden är i matematik och logik. Det ser ut som ett likhetstecken ⟨=⟩ med en tredje linje.

Kodning

Tecknet med tre streck i Unicode är kodpunkt U+2261 ≡ IDENTICAL TO ( ≡, ≡ ). Den närbesläktade kodpunkten U+2262 ≢ INTE IDENTISK MED ( ≢, ≢ ) är samma symbol med ett snedstreck genom den, vilket indikerar negationen av dess matematiska betydelse.

I LaTeX matematiska formler producerar koden \equiv den tredubbla stapelsymbolen och \not\equiv producerar den negerade trippelstapelsymbolen som utdata.

Används

Matematik och filosofi

I logik används det med två olika men relaterade betydelser. Det kan syfta på om och endast om bindande, även kallat materialekvivalens. Detta är en binär operation vars värde är sant när dess två argument har samma värde som varandra. Alternativt används ⇔ i vissa texter med denna betydelse, medan ≡ används för den metalliska begreppet logisk ekvivalens på högre nivå , enligt vilken två formler är logiskt ekvivalenta när alla modeller ger dem samma värde. Gottlob Frege använde en trippelstapel för en mer filosofisk uppfattning om identitet, där två påståenden (inte nödvändigtvis i matematik eller formell logik) är identiska om de fritt kan ersätta varandra utan att ändra betydelse.

I matematik används trippelstapeln ibland som en symbol för identitet eller en ekvivalensrelation (även om den inte är den enda; andra vanliga val inkluderar ~ och ≈). Särskilt i geometri kan det användas antingen för att visa att två figurer är kongruenta eller att de är identiska. I talteorin har det använts med början med Carl Friedrich Gauss (som först använde det med denna betydelse 1801) för att betyda modulär kongruens : $a\equiv b{\pmod {N}}$ om N delar a − b .

I kategoriteorin kan trippelstaplar användas för att koppla ihop objekt i ett kommutativt diagram , vilket indikerar att de faktiskt är samma objekt snarare än att de är förbundna med en pil i kategorin.

Denna symbol används också ibland i stället för ett likhetstecken för ekvationer som definierar symbolen på vänster sida av ekvationen, för att kontrastera dem med ekvationer där termerna på båda sidor av ekvationen redan var definierade. En alternativ notation för denna användning är att sätta bokstäverna "def" ovanför ett vanligt likhetstecken, $a\mathbin {\overset {\underset {\mathrm {def} }{}}{= }} b$ .

Vetenskap

I botanisk nomenklatur betecknar trippelstången homotypiska synonymer (de baserade på samma typexemplar ), för att skilja dem från heterotypiska synonymer (de som är baserade på olika typexemplar), som är markerade med ett likhetstecken .

Inom kemi kan trippelstången användas för att representera en trippelbindning mellan atomer. Till exempel är HC≡CH en vanlig förkortning för acetylen (systematiskt namn: etyn).

Applikationsdesign

Se även: Hamburgerknapp

I mobil- , webb- och allmän applikationsdesign används en liknande symbol ibland som ett gränssnittselement, där den kallas en hamburgerikon . Elementet indikerar vanligtvis att en navigeringsmeny kan nås när elementet är aktiverat; symbolens staplar kan ses som stiliserade menyalternativ, och vissa varianter av dessa symboler lägger till fler staplar, eller punktpunkter till varje stapel, för att förstärka denna visuella likhet. Användningen av denna symbol går tillbaka till de tidiga datorgränssnitten som utvecklades vid Xerox PARC på 1980-talet. Den liknar också den ikon som ofta används för att indikera justerad textjustering . Det är en ofta använd komponent i Googles riktlinjer för materialdesign och många Android- appar och webbappar som följer dessa riktlinjer använder sig av hamburgermenyn.