Co oznacza ⊤
Zależnie od zapisu oznacza prawdę, tautologię albo element największy. W logice może oznaczać verum (łacińskie określenie prawdy) lub tautologię, czyli zdanie prawdziwe w każdym przypadku. Teoria krat bada uporządkowane struktury; ⊤ oznacza w niej element największy. W teorii typów może oznaczać zdanie zawsze prawdziwe.
Notatka o APL z 2000 roku wymienia konkurencyjne konwencje Boswortha i Londona dotyczące nazw symboli typu tack. APL to język programowania z własną notacją matematyczną.
Formalny zapis w logice, teorii krat i teorii typów.
Należy do kolekcji
Nie myl z
2
Więcej podobnych
23
✓ptaszek
✗X na karcie do głosowania
⇒Podwójna strzałka w prawo
⇔Podwójna strzałka w lewo i w prawo
⊆Podzbiór lub równy
⌤Grot strzałki skierowanej w górę między dwiema poziomymi kreskami
⍎Symbol wykonania APL
⍑Symbol funkcyjny APL: odwrócone T z nadkreśleniem
⍡Symbol funkcyjny APL: tack skierowany w górę z dierezą
⟘Duży znak odwróconej litery T
⟙Duży dolny tack
⟟Znak T z kółkiem u góry
⫠Krótki znak w kształcie T skierowany w górę⫨Krótki górny tack z dolną kreskąBufor bramki logicznej
⊢Prawy turnstile
⊣Lewy tack
⊥Pinezka w górę
+Znak plus
<Znak mniejszości
=Znak równości
>Znak większości
|Linia pionowaJak wpisać lub znaleźć ⊤
- Szukaj jako
- symbol maksimum · znaczenie ⊤ · verum · największy element kraty · \top
- Pojawia się w
- Każde pole tekstowe · kształt zależy od czcionki
Windows (Word)
Windows
HTML
⊤CSS
\22A4LaTeX
W trybie matematycznym LaTeX wpisz
\top.Kody i kodowaniePunkty kodowe: 1
HTML dziesiętnie
⊤
HTML szesnastkowo
⊤
Treść CSS
content: "\22A4";
Sekwencja ucieczki kończy się przy następnym ukośniku odwrotnym; przed dosłowną cyfrą szesnastkową potrzebna jest spacja.
Kodowanie URL
%E2%8A%A4
1
Na ekranie
1
Punkty kodowe
1
JS .length
3
Bajty UTF-8
Widoczny symbol może zawierać kilka punktów kodowych. JS .length liczy jednostki UTF-16, a UTF-8 liczy bajty.