fsymbols
Simgeler yükleniyor…
››
⊤

Üst çizgili T

Üst çizgili T

⊤, biçimsel bir en üst simgesidir: mantıkta doğruluğu veya totolojiyi, kafes kuramında en büyük elemanı gösterebilir. Tip kuramında her zaman doğru olan bir önermeyi de gösterebilir.

Metin simgesi
Şu şekilde arayın
en büyük eleman simgesi · ⊤ anlamı · verum · kafesin en büyük elemanı · \top
Şurada görünür
Metin alanları · görünümü kullanılan yazı tipine bağlıdır

⊤ ne anlama gelir

Gösterimi, doğruluk, totoloji veya en büyük eleman anlamına gelebilir. Mantıkta verum (Latince doğruluk) ya da her durumda doğru olan bir ifade anlamında kullanılabilir. Sıralı yapıları inceleyen kafes kuramında ⊤ en büyük elemanı gösterir. Tip kuramında her zaman doğru olan bir önermeyi gösterebilir.

2000 tarihli bir APL notu, tack biçimli simgeler için Bosworth ve London adlı farklı adlandırma geleneklerini kaydeder. APL, kendine özgü matematiksel gösterimi olan bir programlama dilidir.

Mantık, kafes kuramı ve tip kuramında kullanılan biçimsel gösterim.

Şununla karıştırmayın

2

⊤ nasıl yazılır

Windows (Word)
Alt+X22A4 yazın, ardından ⊤ için Alt+X tuşlarına basın.
Windows
Win+RTam tablo için charmap çalıştırın veya emoji seçicinin Ω sekmesini kullanın (Win + .).
macOS
Control+Command+SpaceKarakter görüntüleyiciyi açın ve “down tack” arayın.
Linux
Ctrl+Shift+U22a4 yazın, ardından Enter veya Boşluk tuşuna basın.
HTML
⊤
CSS
\22A4
LaTeX
LaTeX matematik kipinde `\top` yazın.
Kodlar ve kodlamaKod noktaları: 1
HTML ondalık
⊤
HTML onaltılık
⊤
CSS içeriği
content: "\22A4";
Her kaçış sonraki ters eğik çizgide biter; düz bir onaltılık rakamdan önce boşluk gerekir.
URL kodlaması
%E2%8A%A4
1
Ekranda
1
Kod noktaları
1
JS .length
3
UTF-8 baytları

Görünür bir sembol birden fazla kod noktası içerebilir. JS .length UTF-16 birimlerini, UTF-8 ise baytları sayar.

Bu sembolün grupları

1

Matematik ve sayılar1.835 sembol