Wat betekent ⊤
Afhankelijk van de notatie staat het voor waarheid, een tautologie of het grootste element. In de logica kan het verum (Latijn voor waarheid) of een tautologie aanduiden: een uitspraak die altijd waar is. De roostertheorie bestudeert geordende structuren; daarin staat ⊤ voor het grootste element. In de typentheorie kan het een altijd ware uitspraak aanduiden.
Een APL-notitie uit 2000 vermeldt concurrerende naamgevingsconventies van Bosworth en London voor tack-symbolen. APL is een programmeertaal met een eigen wiskundige notatie.
Formele notatie in de logica, roostertheorie en typentheorie.
Niet verwarren met
2Zo typ je ⊤
Windows (Word)
Alt+XTyp 22A4 en druk op Alt+X voor ⊤.
Windows
Win+RStart charmap voor de volledige tabel of gebruik het Ω-tabblad van de emojikiezer (Win + .).
macOS
Control+Command+SpaceOpen de tekenweergave en zoek naar “down tack”.
Linux
Ctrl+Shift+UTyp 22a4 en druk op Enter of Spatie.
HTML
⊤CSS
\22A4LaTeX
Voer in de wiskundemodus van LaTeX `\top` in.
Codes en coderingCodepunten: 1
HTML decimaal
⊤
HTML hexadecimaal
⊤
CSS-inhoud
content: "\22A4";
Elke escape eindigt bij de volgende backslash; vóór een letterlijk hexadecimaal cijfer is een spatie nodig.
URL-gecodeerd
%E2%8A%A4
1
Op het scherm
1
Codepunten
1
JS .length
3
UTF-8-bytes
Een zichtbaar symbool kan meerdere codepunten bevatten. JS .length telt UTF-16-eenheden; UTF-8 telt bytes.