Apa arti ⌜
Tanda ini membuka kutipan sudut.
Pada 1940, ahli logika W. V. Quine memperkenalkan kuasi-kutipan: merujuk pada ungkapan yang belum ditentukan sambil menunjukkan bentuknya. Pasangan sudut ini juga dapat menyatakan bilangan Gödel suatu rumus, angka yang diberikan agar aritmetika dapat merujuk kepadanya.
Tanda baca formal untuk logika dan tata letak matematika.
Jika sendiri, ⌜ tampak belum lengkap; menutup pasangannya.
Bagian dari koleksi
Jangan tertukar dengan
2
Karakter terkait
1
Ide kombinasi
1Dalam penomoran Gödel, bentuk ini menunjukkan bilangan yang diberikan kepada rumus φ.
Yang serupa
13
Koleksi yang memuat ⌜
4
Cara mengetik atau menemukan ⌜
- Juga disebut
- sudut Quine · kutipan sudut
- Cari sebagai
- ulcorner · kuasi-kutipan · bilangan Gödel · LaTeX ulcorner
- Muncul di
- Kolom teks apa pun · bentuknya bergantung pada fon yang digunakan
Windows (Word)
Windows
HTML
⌜CSS
\231CLaTeX
Gunakan perintah LaTeX \ulcorner; pasangkan dengan \urcorner untuk sudut kanan.
Kode dan pengodeanTitik kode: 1
HTML desimal
⌜
HTML heksadesimal
⌜
Konten CSS
content: "\231C";
Setiap escape berakhir pada garis miring terbalik berikutnya; perlu spasi sebelum digit heksadesimal literal.
Dikodekan untuk URL
%E2%8C%9C
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.