Hvad betyder ⊤
Afhængigt af notationen betegner det sandhed, en tautologi eller det største element. I logik kan det stå for verum (latin for sandhed) eller en tautologi, altså et udsagn, der altid er sandt. Gitterteori undersøger ordnede strukturer; her betegner ⊤ det største element. I typeteori kan det betegne et altid sandt udsagn.
En APL-note fra 2000 registrerer konkurrerende navnekonventioner fra Bosworth og London for tack-symboler. APL er et programmeringssprog med sin egen matematiske notation.
Formel notation i logik, gitterteori og typeteori.
En del af samlingen
Forveksl ikke med
2
Flere som denne
23
✓flueben
✗X på stemmeseddel
⇒Dobbeltpil mod højre
⇔Dobbeltpil venstre-højre
⊆Delmængde af eller lig med
⌤Opadvendt pilespids mellem to vandrette streger
⍎APL-udførelsessymbol
⍑APL-funktionssymbol: omvendt T med streg over
⍡APL-funktionssymbol: opadvendt tack med trema
⟘Stort omvendt T-tegn
⟙Stor nedadgående tack
⟟Opadvendt T med en cirkel ovenover
⫠Kort opadvendt T-tegn⫨Kort opadgående tack med understregLogikgatebuffer
⊢Højre turnstile
⊣Venstre tack
⊥Opadvendt stift (up tack)
+Plustegn
<Mindre end-tegn
=Lighedstegn
>Større end-tegn
|Lodret stregSådan skriver eller finder du ⊤
- Søg efter som
- symbol for største element · betydningen af ⊤ · verum · største element i gitter · \top
- Vises i
- Alle tekstfelter · formen afhænger af skrifttypen
Windows (Word)
Windows
HTML
⊤CSS
\22A4LaTeX
Skriv
\top i LaTeX' matematiske tilstand.Koder og kodningKodepunkter: 1
HTML decimal
⊤
HTML hexadecimal
⊤
CSS-indhold
content: "\22A4";
Hver escape-sekvens slutter ved næste omvendte skråstreg; der skal være et mellemrum før et bogstaveligt hexadecimalt ciffer.
URL-kodet
%E2%8A%A4
1
På skærmen
1
Kodepunkter
1
JS .length
3
UTF-8-byte
Et synligt symbol kan indeholde flere kodepunkter. JS .length tæller UTF-16-enheder; UTF-8 tæller byte.