Apa arti ⟦
Tanda ini memisahkan teks kode dari arti matematis di baliknya. Saat menganalisis bahasa pemrograman, peneliti menulis ⟦P⟧ untuk menyatakan fungsi atau nilai yang dihasilkan oleh ekspresi P, bukan teks kode P itu sendiri. Jika P adalah deretan karakter, maka ⟦P⟧ adalah fungsi abstrak, keadaan mesin, atau nilai kebenaran.
Konvensi ini bermula pada pertengahan 1960-an lewat karya logikawan Dana Scott, yang beralih dari garis ganda ke tanda kurung siku agar rumus panjang tetap rapi, dan tercetak pada 1967. Karena jasanya, tanda ini terkadang disebut kurung Scott. Dalam sistem formal seperti notasi Z, tanda ini juga mengapit multiset (bag), sehingga pembaca perlu memperhatikan definisi di sekitarnya.
Bagian dari koleksi
Artinya saat seseorang mengirimkannya kepada Anda
Penafsiran: 2Nilai semantik atau fungsi matematis yang dinyatakan oleh ekspresi.
Jangan tertukar dengan
2
[[ Dua kurung siku terpisah; ⟦ adalah satu karakter tipografi utuh.
Karakter terkait
3
Pertanyaan umum
2Mengapa ⟦ terlihat terlalu lebar pada beberapa fon?
U27E6 dirancang ramping. Jika fon tidak memiliki simbol matematika ini atau menerapkan aturan spasi Asia Timur, karakter ini dapat tampil dengan jarak spasi yang lebar.
Bolehkah mengetik dua kurung biasa [[ sebagai gantinya?
Untuk catatan santai boleh. Namun dalam dokumen teknis dan persamaan resmi, penulisan standar menggunakan karakter khusus ⟦ agar kerapian jarak tetap terjaga.
Yang serupa
15
〈Kurung sudut kiri
〉Kurung sudut kanan
❱Ornamen kurung sudut tebal mengarah ke kanan
❯Ornamen tanda kutip sudut tebal yang mengarah ke kanan
⟅Pembatas bag kiri berbentuk S
⟆Pembatas kanan berbentuk S untuk multiset
⸌Kurung penghilangan kiri terangkat
⟤Persegi putih dengan garis ke kiri
⟥Persegi putih dengan garis pendek ke kanan
⟧Kurung siku putih kanan matematis
+Tanda tambah
<Tanda kurang dari
=Tanda sama dengan
>Tanda lebih besar dari
|Garis vertikalKoleksi yang memuat ⟦
2
Cara mengetik atau menemukan ⟦
- Juga disebut
- kurung ganda kiri · kurung siku ganda · kurung Scott
- Cari sebagai
- llbracket · kurung ganda · kurung semantik · kurung multiset Z · kurung multiset · kurung siku putih
- Muncul di
- Kolom teks apa pun · bentuknya bergantung pada fon yang digunakan
⟦\27E6\usepackage{stmaryrd} lalu ketik \llbracket untuk membuka dan \rrbracket untuk menutup.[\![ lalu tekan spasi, atau ketik 27E6 lalu tekan AltX.Kode dan pengodeanTitik kode: 1
Satu simbol yang terlihat dapat berisi beberapa titik kode. JS .length menghitung unit UTF-16; UTF-8 menghitung byte.