fsymbols
🔍
Chargement des symboles…
››
⊣

Taquet gauche

Taquet gauche

164/256

⊣ n'a pas le même sens dans toutes les notations : son rôle dépend du système qui l'emploie. Il marque une relation en logique, une adjonction à gauche en théorie des catégories et une fonction identité à gauche en APL. Pour interpréter le signe seul, il faut connaître la formule ou le système de notation.

Symbole textuel

Que signifie ⊣

Lisez ⊣ selon la notation qui le définit.

En théorie des catégories, F ⊣ G signifie que F est adjoint à gauche de G, une relation formelle entre deux constructions. APL, un langage de programmation symbolique, utilise ⊣ comme fonction identité à gauche : X ⊣ Y renvoie X, tandis que ⊣Y renvoie Y.

En logique, ⊣ est un tourniquet inversé ; la relation exacte qu'il marque dépend du système.

La direction change son rôle

L'histoire de la famille des tourniquets commence en logique formelle. Dans le livre de Frege de 1879, Begriffsschrift, un système de notation logique, le signe d'assertion était formé d'un trait horizontal représentant le contenu et d'un trait vertical représentant le jugement. Des systèmes logiques ultérieurs ont développé des signes apparentés, comme et , pour distinguer la dérivation de la conséquence sémantique.

L'histoire d'APL fait état de deux façons concurrentes de nommer la direction du tack. Certains noms composés d'APL ne correspondent donc pas aux indications gauche/droite de Unicode, même si le signe dessiné reste identique.

Notation technique : pour lire ⊣ de façon fiable, il faut sa formule ou le système auquel il appartient.

Ne le remplacez pas par ou : inverser le trait ou en ajouter un change le signe.

Ce que cela signifie quand on vous l’envoie

Interprétations : 3

F est l'adjoint à gauche de G.

Ne pas le confondre avec

3
⊢
Turnstile droit
Son trait vertical rejoint la barre horizontale à l'autre extrémité ; il est orienté à l'opposé de ⊣.
⊨
Vrai
Il comporte deux traits verticaux ; ⊣ n'en a qu'un.
⊥
Taquet vers le haut
Son trait vertical descend depuis une barre supérieure ; ⊣ a une barre latérale. Le tack vers le haut sert aussi à noter bottom, le faux ou la perpendicularité.

Questions fréquentes

1

⊣ est-il identique à ?

Non. Ils sont orientés en sens opposés et un système formel peut leur donner des rôles différents ; les échanger peut changer l'énoncé.

Taper ou trouver ⊣

Aussi appelé
tourniquet inversé · dashv · T gauche
Recherchez-le comme
tourniquet · identité à gauche APL · adjonction théorie des catégories
Apparaît dans
Tout champ acceptant du texte · sa forme dépend de la police
Windows (Word)
⎇Alt+XSaisissez 22A3, puis AltX pour obtenir ⊣.
Windows
⊞Win+RLancez charmap pour la table complète ou utilisez l’onglet Ω du sélecteur d’emojis (Win .).
macOS
⌃Control+⌘Command+␣SpaceOuvrez le visualiseur de caractères et cherchez « left tack ».
Linux
⎈Ctrl+⇧Shift+USaisissez 22a3, puis Entrée ou Espace.
HTML
⊣
CSS
\22A3
LaTeX
Utilisez \dashv en mode mathématique.
HTML
Utilisez ⊣ ou insérez directement le caractère ⊣.
Codes et encodagePoints de code : 1
HTML décimal
⊣
HTML hexadécimal
⊣
Contenu CSS
content: "\22A3";
Chaque échappement se termine à la barre oblique inverse suivante ; ajoutez une espace avant un chiffre hexadécimal littéral.
Encodage URL
%E2%8A%A3
1
À l’écran
1
Points de code
1
JS .length
3
Octets UTF-8

Un symbole visible peut contenir plusieurs points de code. JS .length compte les unités UTF-16 ; UTF-8 compte les octets.

Groupes de ce symbole

1

Mathématiques et nombres1 835 symboles

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