fsymbols
Simgeler yükleniyor…
››
⊣

Sol tack işareti

Sol tack işareti

164/256

⊣ işaretinin her gösterimde geçerli tek bir anlamı yoktur; rolü onu kullanan sisteme bağlıdır. Mantıkta bir bağıntıyı, kategori teorisinde sol eşleniği, APL'de ise sol özdeşlik işlevini belirtir. Tek başına görülen işareti okuyabilmek için formülünü veya gösterim sistemini bilmek gerekir.

Metin simgesi

⊣ ne anlama gelir

⊣ işaretini, onu tanımlayan gösterime göre okuyun.

Kategori teorisinde F ⊣ G, F'nin G'nin sol eşleniği olduğunu belirtir; bu, iki yapı arasındaki biçimsel bir ilişkidir. Sembollerle program yazılan bir dil olan APL'de ⊣, sol özdeşlik işlevi olarak kullanılır: X ⊣ Y, X'i; ⊣Y ise Y'yi döndürür.

Mantıkta ⊣ ters turnstile işaretidir; gösterdiği kesin bağıntı sisteme göre değişir.

Yönü işlevini değiştirir

Turnstile işaretleri ailesinin geçmişi biçimsel mantığa dayanır. Frege'nin 1879 tarihli mantık gösterimi kitabı Begriffsschrift'te, yatay bir içerik çizgisiyle dikey bir yargı çizgisini birleştiren bir bildirim işareti kullanılmıştı. Daha sonraki mantık sistemleri, türetim ile anlamsal sonucu ayırmak için ve gibi ilişkili işaretler geliştirdi.

APL'nin tarihinde tack yönünü adlandırmak için birbiriyle yarışan iki yöntem kaydedilmiştir. Bu yüzden bazı birleşik APL adları, çizilen işaret aynı kalsa da Unicode'un sol/sağ adlandırmasıyla uyuşmaz.

Teknik gösterim: ⊣ işaretini güvenilir biçimde yorumlamak için formülü veya sistemi bilmek gerekir.

ya da ile değiştirmeyin; yönü ters çevirmek veya çizgi eklemek işareti değiştirir.

Birinin size bunu göndermesi ne anlama gelir

Yorumlar: 3

F, G'nin sol eşleniğidir.

Şununla karıştırmayın

3

Sık sorulan sorular

1

⊣ ile aynı mı?

Hayır. Zıt yönlere bakarlar ve biçimsel bir sistem onlara farklı roller verebilir; yerlerini değiştirmek ifadeyi değiştirebilir.

⊣ nasıl yazılır veya bulunur

Diğer adı
ters turnstile · dashv · sol T
Şu şekilde arayın
turnstile · APL sol özdeşlik · kategori teorisi eşlenik
Şurada görünür
Metin alanları · görünümü kullanılan yazı tipine bağlıdır
Windows (Word)
⎇Alt+X22A3 yazın, ardından ⊣ için AltX 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 “left tack” arayın.
Linux
⎈Ctrl+⇧Shift+U22a3 yazın, ardından Enter veya Boşluk tuşuna basın.
HTML
⊣
CSS
\22A3
LaTeX
Matematik modunda \dashv kullanın.
HTML
⊣ kullanın ya da ⊣ karakterini doğrudan ekleyin.
Kodlar ve kodlamaKod noktaları: 1
HTML ondalık
⊣
HTML onaltılık
⊣
CSS içeriği
content: "\22A3";
Her kaçış sonraki ters eğik çizgide biter; düz bir onaltılık rakamdan önce boşluk gerekir.
URL kodlaması
%E2%8A%A3
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