Hvad betyder ⊣
Læs ⊣ ud fra den notation, der definerer tegnet.
I kategoriteori betyder F ⊣ G, at F er venstreadjungeret til G – en formel relation mellem to konstruktioner. APL, et symbolsk programmeringssprog, bruger ⊣ som venstreidentitetsfunktion: X ⊣ Y giver X tilbage, mens ⊣Y giver Y tilbage.
I logik er ⊣ en omvendt turnstile; den præcise relation afhænger af systemet.
Retningen ændrer funktionen
Turnstile-familiens historie begynder i den formelle logik. I Freges bog Begriffsschrift fra 1879, et notationssystem for logik, blev der brugt et påstandszeichen med en vandret indholdsstreg og en lodret vurderingsstreg. Senere logiske systemer udviklede beslægtede tegn som ⊢ og ⊨ for at skelne mellem udledning og semantisk følge.
APL's historie beskriver to konkurrerende måder at navngive en tacks retning på. Derfor passer nogle sammensatte APL-navne ikke med Unicodes betegnelser for venstre/højre, selv om tegnet ser ens ud.
Teknisk notation: formelen eller det navngivne system er nødvendigt for at læse ⊣ sikkert.
Byt det ikke ud med ⊢ eller ⊨: omvendt retning eller en ekstra streg giver et andet tegn.
Hvad det betyder, når nogen sender det til dig
Fortolkninger: 3Forveksl ikke med
3Ofte stillede spørgsmål
1Er ⊣ det samme som ⊢?
Nej. De vender hver sin vej, og et formelt system kan give dem forskellige roller; en ombytning kan ændre udsagnet.
Sådan skriver du ⊣
⊣\22A3Koder og kodningKodepunkter: 1
Et synligt symbol kan indeholde flere kodepunkter. JS .length tæller UTF-16-enheder; UTF-8 tæller byte.