fsymbols
🔍
Memuat simbol…
››
⦇

Kurung Kiri Citra Relasi dalam Notasi Z

Kurung Kiri Citra Relasi dalam Notasi Z

8/128

⦇ membuka notasi citra relasi dalam Z. Dalam R⦇S⦈, seluruh ekspresi menyatakan nilai yang dihubungkan relasi R dengan setidaknya satu anggota himpunan S. Notasi ini digunakan dalam spesifikasi formal.

Simbol teks

Apa arti ⦇

Tanda ini membuka ekspresi citra relasi dalam notasi Z.

Z adalah bahasa matematika untuk menjelaskan perangkat lunak dan sistem diskret lainnya secara tepat. Dalam R⦇S⦈, relasi R menghubungkan nilai-nilai dan S adalah himpunan; ekspresi itu menyatakan nilai yang terhubung dengan setidaknya satu anggota S.

Karya Jean-Raymond Abrial tentang Z dimulai pada akhir 1970-an. Para peneliti di Oxford mengembangkan notasi ini, yang digunakan dalam proyek industri pada 1980-an; kemudian notasi ini juga diajarkan dalam metode formal.

Sangat teknis: tanda ini menunjukkan spesifikasi Z atau notasi relasi bergaya Z.

Tutup dengan ⦈, bukan tanda kurung biasa.

Ide kombinasi

1
Citra relasi dari S melalui R: nilai yang terhubung dengan setidaknya satu anggota S.

Cara mengetik atau menemukan ⦇

Juga disebut
kurung citra · kurung citra relasional · limg
Cari sebagai
citra relasi · operator citra · kurung notasi Z · R⦇S⦈
Muncul di
Kolom teks apa pun · bentuknya bergantung pada fon yang digunakan
Windows (Word)
⎇Alt+XKetik 2987, 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 “z notation left image bracket”.
Linux
⎈Ctrl+⇧Shift+UKetik 2987, lalu tekan Enter atau Spasi.
HTML
⦇
CSS
\2987
Kode dan pengodeanTitik kode: 1
HTML desimal
⦇
HTML heksadesimal
⦇
Konten CSS
content: "\2987";
Setiap escape berakhir pada garis miring terbalik berikutnya; perlu spasi sebelum digit heksadesimal literal.
Dikodekan untuk URL
%E2%A6%87
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.

Kelompok simbol ini

1

Matematika dan angka1.835 simbol

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