fsymbols
Memuat simbol…
››
⩥

Antirestriksi range dalam notasi Z

Antirestriksi range dalam notasi Z

102/256

Dalam notasi Z, ⩥ adalah operator antirestriksi range: operator ini menghapus pasangan relasi yang nilai kanannya termasuk dalam himpunan yang dikecualikan. Dalam R ⩥ T, pasangan x ↦ y hanya tersisa jika y berada di luar T. Operator ini mengecualikan nilai keluaran sambil mempertahankan pasangan relasi lainnya.

Simbol teks

Apa arti ⩥

Operator ini memeriksa nilai kanan setiap pasangan. Untuk relasi R dan himpunan T, R ⩥ T menghapus x ↦ y tepat ketika y ∈ T; nilai x tidak menentukan hasilnya.

Dalam aljabar relasi Z, ⩥ berpasangan dengan , antirestriksi domain, yang menerapkan pengecualian pada nilai kiri pasangan. Lexer Z mengenali keduanya sebagai operator. Usulan Unicode tertanggal 14 Maret 2000 (March 14, 2000) mencantumkan ⩥ sebagai operator matematika; itu adalah tonggak pengodean karakter, bukan bukti kapan notasi ini bermula.

Jangan tertukar dengan

1

Cara mengetik atau menemukan ⩥

Cari sebagai
rsub · antirestriksi range · notasi Z · antirestriksi domain · restriksi range
Muncul di
Kolom teks apa pun · bentuknya bergantung pada fon yang digunakan
Windows (Word)
⎇Alt+XKetik 2A65, 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 range antirestriction”.
Linux
⎈Ctrl+⇧Shift+UKetik 2a65, lalu tekan Enter atau Spasi.
HTML
⩥
CSS
\2A65
Cara mengetik ⩥
Di editor yang mendukung masukan Unicode heksadesimal, masukkan 2A65 lalu gunakan pemicu yang dijelaskan editor tersebut; caranya berbeda di tiap aplikasi.
Perintah LaTeX untuk ⩥
Dengan Unicode-math dan XCharter-Math, tabel font memetakan \rsub ke ⩥.
Dukungan font untuk ⩥
Font matematika harus memuat glif ini. Jika yang muncul adalah kotak untuk karakter yang hilang, pilih font yang mendukungnya.
Kode dan pengodeanTitik kode: 1
HTML desimal
⩥
HTML heksadesimal
⩥
Konten CSS
content: "\2A65";
Setiap escape berakhir pada garis miring terbalik berikutnya; perlu spasi sebelum digit heksadesimal literal.
Dikodekan untuk URL
%E2%A9%A5
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