Cosa significa ⊤
A seconda della notazione, indica la verità, una tautologia o l’elemento massimo. In logica può indicare il verum (verità, in latino) o una tautologia, cioè un’affermazione vera in ogni caso. La teoria dei reticoli studia strutture ordinate; lì ⊤ indica l’elemento massimo. Nella teoria dei tipi può rappresentare una proposizione sempre vera.
Una nota sull’APL del 2000 registra le convenzioni concorrenti di Bosworth e London per i nomi dei simboli a forma di tack. APL è un linguaggio di programmazione con una propria notazione matematica.
Notazione formale di logica, teoria dei reticoli e teoria dei tipi.
Fa parte della raccolta
Non confonderlo con
2
Altro di simile
23
✓spunta
✗X sulla scheda elettorale
⇒Freccia doppia verso destra
⇔Doppia freccia sinistra-destra
⊆Sottoinsieme o uguale a
⌤Punta di freccia verso l’alto tra due barre orizzontali
⍎Simbolo di esecuzione APL
⍑Simbolo funzionale APL: T capovolta con barra sopra
⍡Simbolo funzionale APL: tack verso l’alto con dieresi
⟘Grande T capovolta
⟙Tack discendente grande
⟟T con un cerchio sopra
⫠Segno corto a T rivolto verso l’alto⫨Tack corto verso l’alto con barra inferioreBuffer di porta logica
⊢Turnstile destro
⊣Tack sinistro
⊥Chiodo verso l'alto
+Segno più
<Segno di minore
=Segno di uguale
>Segno di maggiore
|Linea verticaleCome digitare o trovare ⊤
- Cercalo come
- simbolo di massimo · significato di ⊤ · verum · massimo del reticolo · \top
- Compare in
- Qualsiasi campo di testo · la forma dipende dal carattere
Windows (Word)
Windows
HTML
⊤CSS
\22A4LaTeX
In modalità matematica LaTeX, digita
\top.Codici e codificaPunti di codice: 1
HTML decimale
⊤
HTML esadecimale
⊤
Contenuto CSS
content: "\22A4";
Ogni escape termina alla barra inversa successiva; serve uno spazio prima di una cifra esadecimale letterale.
Codifica URL
%E2%8A%A4
1
Sullo schermo
1
Punti di codice
1
JS .length
3
Byte UTF-8
Un simbolo visibile può contenere più punti di codice. JS .length conta le unità UTF-16; UTF-8 conta i byte.