fsymbols
🔍
Chargement des symboles…
››
⊤

T à barre supérieure

T à barre supérieure

⊤ est un symbole formel de maximum : en logique, il peut désigner la vérité ou une tautologie, et en théorie des treillis, l’élément maximal. En théorie des types, il peut aussi représenter une proposition toujours vraie.

Symbole textuel
Recherchez-le comme
symbole de maximum · signification de ⊤ · verum · maximum d’un treillis · \top
Apparaît dans
Tout champ acceptant du texte · sa forme dépend de la police

Que signifie ⊤

Selon la notation, il désigne la vérité, une tautologie ou l’élément maximal. En logique, il peut nommer le verum (vérité, en latin) ou une tautologie, une proposition vraie dans tous les cas. La théorie des treillis étudie les structures ordonnées ; ⊤ y désigne l’élément maximal. En théorie des types, il peut représenter une proposition toujours vraie.

Une note sur APL publiée en 2000 relève deux conventions concurrentes, Bosworth et London, pour nommer les symboles en forme de tack. APL est un langage de programmation doté de sa propre notation mathématique.

Notation formelle en logique, théorie des treillis et théorie des types.

Ne pas le confondre avec

2
⊥
Taquet vers le haut
Sa barre est sous la tige verticale : le glyphe est inversé.
⊢
Turnstile droit
Sa barre part vers la droite ; en logique, ce symbole indique qu’une déduction est possible ou marque un jugement de preuve.

Comment saisir ⊤

Windows (Word)
Alt+XSaisissez 22A4, puis Alt+X 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 « down tack ».
Linux
Ctrl+Shift+USaisissez 22a4, puis Entrée ou Espace.
HTML
⊤
CSS
\22A4
LaTeX
En mode mathématique LaTeX, saisissez `\top`.
Codes et encodagePoints de code : 1
HTML décimal
⊤
HTML hexadécimal
⊤
Contenu CSS
content: "\22A4";
Chaque échappement se termine à la barre oblique inverse suivante ; ajoutez une espace avant un chiffre hexadécimal littéral.
Encodage URL
%E2%8A%A4
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️⃣