fsymbols
🔍
Memuat simbol…
››
⊸

Multimap

Multimap

Dalam logika linear, ⊸ berarti sumber daya A dapat digunakan untuk memperoleh B, lalu A habis terpakai. Simbol ini muncul dalam pembuktian dan sistem tipe pemrograman yang melacak sumber daya. Bentuknya bergantung pada jenis huruf, jadi tampilannya bisa berbeda dalam teks biasa dan rumus yang ditata.

Simbol teks
Juga disebut
lolli · implikasi linear
Cari sebagai
logika linear · simbol multimap
Muncul di
Kolom teks apa pun · bentuknya bergantung pada fon yang digunakan

Apa arti ⊸

Sumber daya masukan A dipakai untuk memperoleh B.

Logika linear adalah cara bernalar yang melacak sumber daya: suatu premis tidak bisa begitu saja digunakan ulang atau dibuang. Saat implikasi A ⊸ B diterapkan, A habis terpakai untuk menghasilkan B.

Jean-Yves Girard memperkenalkan logika linear pada 1987; dalam notasinya, ⊸ menandai implikasi linear.

Notasi khusus dalam logika linear dan sistem tipe pemrograman yang melacak sumber daya.

Jangan membacanya sebagai “jika A maka B” biasa: penggunaannya menghabiskan A.

Pertanyaan umum

1

Apakah ⊸ sama dengan →?

Tidak. Dalam logika linear, ⊸ melacak penggunaan sumber daya; → biasa tidak memuat aturan itu dengan sendirinya. Di luar konteks logika linear yang jelas, ikuti definisi penulis.

Cara mengetik ⊸

Windows (Word)
Alt+XKetik 22B8, 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 “multimap”.
Linux
Ctrl+Shift+UKetik 22b8, lalu tekan Enter atau Spasi.
HTML
⊸
CSS
\22B8
Kode dan pengodeanTitik kode: 1
HTML desimal
⊸
HTML heksadesimal
⊸
Konten CSS
content: "\22B8";
Setiap escape berakhir pada garis miring terbalik berikutnya; perlu spasi sebelum digit heksadesimal literal.
Dikodekan untuk URL
%E2%8A%B8
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️⃣