🔍

Laddar symboler…

››

⊣

Vänster tack

Vänster tack

⊣ har ingen enda betydelse i alla notationer; rollen beror på vilket system som använder det. I logik betecknar det en relation, i kategoriteori en vänsteradjunktion och i APL en vänsteridentitetsfunktion. För att läsa tecknet ensamt behöver man känna till formeln eller notationssystemet.

Textsymbol

Vad betyder ⊣

Läs ⊣ utifrån notationen som definierar det.

I kategoriteori betyder F ⊣ G att F är vänsteradjungerad till G, ett formellt förhållande mellan två konstruktioner. APL, ett symboliskt programmeringsspråk, använder ⊣ som vänsteridentitetsfunktion: X ⊣ Y ger tillbaka X, medan ⊣Y ger tillbaka Y.

I logik är ⊣ ett omvänt turnstile; den exakta relationen det betecknar beror på systemet.

Riktningen ändrar funktionen

Turnstile-tecknens historia börjar i den formella logiken. I Freges bok Begriffsschrift från 1879, ett notationssystem för logik, användes ett påståendetecken av en vågrät innehållslinje och en lodrät bedömningslinje. Senare logiska system utvecklade besläktade tecken som och för att skilja härledning från semantisk följd.

APL:s historia beskriver två konkurrerande sätt att namnge tackens riktning. Därför stämmer vissa sammansatta APL-namn inte med Unicodes beteckningar för vänster och höger, trots att tecknet ser likadant ut.

Teknisk notation: formeln eller det namngivna systemet behövs för att tolka ⊣ säkert.

Byt inte ut det mot eller : en omvänd riktning eller ett extra streck ändrar tecknet.

Vad det betyder när någon skickar det till dig

Tolkningar: 3

F är vänsteradjungerad till G.

Blanda inte ihop med

3

Höger turnstile

Det lodräta strecket möter det vågräta i den motsatta änden, så tecknet pekar åt andra hållet än ⊣.

Det har två lodräta streck; ⊣ har bara ett.

Uppåtvänd stift (up tack)

Det lodräta strecket går ned från ett övre tvärstreck; ⊣ har ett streck åt sidan. Den uppåtriktade tacket används också för botten, falskhet eller vinkelräthet.

Vanliga frågor

1

Är ⊣ samma sak som ?

Nej. De pekar åt motsatta håll och ett formellt system kan ge dem olika roller; ett byte kan ändra påståendet.

Så skriver eller hittar du ⊣

Kallas också: omvänt turnstile · dashv · vänster-T
Sök efter: turnstile · APL vänsteridentitet · adjunktion kategoriteori
Finns i: Alla textfält · formen beror på teckensnittet

Windows (Word)

⎇Alt+XSkriv 22A3 och tryck på AltX för ⊣.

Windows

⊞Win+RKör charmap för hela tabellen eller använd Ω-fliken i emojiväljaren (Win .).

macOS

⌃Control+⌘Command+␣SpaceÖppna teckenvisaren och sök efter ”left tack”.

Linux

⎈Ctrl+⇧Shift+USkriv 22a3 och tryck på Enter eller blanksteg.

HTML

⊣

CSS

\22A3

LaTeX

Använd \dashv i matematikläge.

HTML

Använd ⊣ eller infoga tecknet ⊣ direkt.

Koder och kodningKodpunkter: 1

HTML decimalt

⊣

HTML hexadecimalt

⊣

CSS-innehåll

content: "\22A3";

Varje escape-sekvens slutar vid nästa omvända snedstreck; ett blanksteg behövs före en bokstavlig hexadecimal siffra.

URL-kodat

%E2%8A%A3

1

På skärmen

1

Kodpunkter

1

JS .length

3

UTF-8-byte

En synlig symbol kan innehålla flera kodpunkter. JS .length räknar UTF-16-enheter; UTF-8 räknar byte.

Symbolens grupper

1

Matematik och tal1 835 symboler

1️⃣📏📐✖️➕➖➗🟰♾️#️⃣*️⃣0️⃣