Apa arti ⊦
Tanda ini menyatakan suatu penilaian sebagai pernyataan. Rumus sesudahnya diajukan sebagai benar; tanda itu sendiri tidak membuktikannya.
Tanda pernyataan Frege pertama kali muncul dalam Begriffsschrift pada 1879. Garis mendatar memperkenalkan isi; garis tegak menandai tindakan menilainya.
Notasi logika yang muncul kemudian membedakan keterbuktian dan konsekuensi semantis dengan tanda turnstile yang berkaitan.
Notasi khusus dalam logika formal.
Periksa definisi sistemnya sebelum menggantinya dengan ⊢ atau ⊨.
Jangan tertukar dengan
2Cara mengetik ⊦
Windows (Word)
Alt+XKetik 22A6, lalu tekan Alt+X untuk mendapatkan ⊦.
Windows
Win+RJalankan charmap untuk tabel lengkap, atau gunakan tab Ω pada pemilih emoji (Win + .).
macOS
Control+Command+SpaceBuka penampil karakter dan cari “assertion”.
Linux
Ctrl+Shift+UKetik 22a6, lalu tekan Enter atau Spasi.
HTML
⊦CSS
\22A6Masukan Unicode
Masukkan U+22A6 dengan metode masukan heksadesimal Unicode di sistem operasi, jika diaktifkan.
LaTeX (STIX Two)
Muat `stix2`, lalu gunakan `\assert` dalam mode matematika.
Kode dan pengodeanTitik kode: 1
HTML desimal
⊦
HTML heksadesimal
⊦
Konten CSS
content: "\22A6";
Setiap escape berakhir pada garis miring terbalik berikutnya; perlu spasi sebelum digit heksadesimal literal.
Dikodekan untuk URL
%E2%8A%A6
1
Di layar
1
Titik kode
1
JS .length
3
Byte UTF-8
Satu simbol yang terlihat dapat berisi beberapa titik kode. JS .length menghitung unit UTF-16; UTF-8 menghitung byte.