🔍

Memuat simbol…

››

⊣

Tanda tack kiri

Tanda tack kiri

⊣ tidak memiliki satu arti yang berlaku untuk semua notasi; perannya bergantung pada sistem yang menggunakannya. Dalam logika, tanda ini menunjukkan hubungan; dalam teori kategori, adjungsi kiri; dan dalam APL, fungsi identitas kiri. Untuk membaca tanda ini sendirian, Anda perlu mengetahui rumus atau sistem notasinya.

Simbol teks

Apa arti ⊣

Baca ⊣ sesuai notasi yang mendefinisikannya.

Dalam teori kategori, F ⊣ G berarti F adalah adjung kiri dari G, hubungan formal antara dua konstruksi. APL, bahasa pemrograman simbolik, menggunakan ⊣ sebagai fungsi identitas kiri: X ⊣ Y menghasilkan X, sedangkan ⊣Y menghasilkan Y.

Dalam logika, ⊣ adalah turnstile terbalik; hubungan tepat yang ditandainya bergantung pada sistem.

Arah mengubah fungsinya

Sejarah keluarga tanda turnstile berawal dari logika formal. Buku Frege tahun 1879, Begriffsschrift, sebuah sistem notasi logika, memakai tanda pernyataan yang menggabungkan garis horizontal untuk isi dan garis vertikal untuk penilaian. Sistem logika kemudian mengembangkan tanda terkait seperti dan untuk membedakan derivasi dari konsekuensi semantik.

Sejarah APL mencatat dua cara yang saling bersaing untuk menamai arah tack. Karena itu, beberapa nama gabungan APL tidak cocok dengan nama kiri/kanan Unicode, meskipun bentuk tandanya tetap sama.

Notasi teknis: rumus atau nama sistem diperlukan agar ⊣ dapat dibaca dengan tepat.

Jangan menggantinya dengan atau : arah terbalik atau garis tambahan menghasilkan tanda yang berbeda.

Artinya saat seseorang mengirimkannya kepada Anda

Penafsiran: 3

F adalah adjung kiri dari G.

Jangan tertukar dengan

⊢

Turnstile kanan

Garis tegaknya bertemu dengan garis horizontal di ujung yang berlawanan, sehingga arahnya berlawanan dengan ⊣.

⊨

Benar

Tanda ini memiliki dua garis tegak; ⊣ hanya memiliki satu.

⊥

Paku ke atas

Garis tegaknya menjulur ke bawah dari garis atas; ⊣ memiliki garis samping. Tack yang mengarah ke atas juga digunakan untuk bottom, kepalsuan, atau ketegaklurusan.

Pertanyaan umum

Apakah ⊣ sama dengan ?

Tidak. Arahnya berlawanan, dan sistem formal dapat memberi keduanya peran berbeda; menukarnya dapat mengubah pernyataan.

Cara mengetik atau menemukan ⊣

Juga disebut: turnstile terbalik · dashv · T kiri
Cari sebagai: turnstile · identitas kiri APL · adjungsi teori kategori
Muncul di: Kolom teks apa pun · bentuknya bergantung pada fon yang digunakan

Windows (Word)

⎇Alt+XKetik 22A3, lalu tekan AltX untuk mendapatkan ⊣.

Windows

⊞Win+RJalankan charmap untuk tabel lengkap, atau gunakan tab Ω pada pemilih emoji (Win .).

macOS

⌃Control+⌘Command+␣SpaceBuka penampil karakter dan cari “left tack”.

Linux

⎈Ctrl+⇧Shift+UKetik 22a3, lalu tekan Enter atau Spasi.

HTML

⊣

CSS

\22A3

LaTeX

Gunakan \dashv dalam mode matematika.

HTML

Gunakan ⊣ atau masukkan karakter ⊣ secara langsung.

Kode dan pengodeanTitik kode: 1

HTML desimal

⊣

HTML heksadesimal

⊣

Konten CSS

content: "\22A3";

Setiap escape berakhir pada garis miring terbalik berikutnya; perlu spasi sebelum digit heksadesimal literal.

Dikodekan untuk URL

%E2%8A%A3

Di layar

Titik kode

JS .length

Byte UTF-8

Satu simbol yang terlihat dapat berisi beberapa titik kode. JS .length menghitung unit UTF-16; UTF-8 menghitung byte.

Kelompok simbol ini

Matematika dan angka1.835 simbol

1️⃣📏📐✖️➕➖➗🟰♾️#️⃣*️⃣0️⃣