⨡ có nghĩa là gì
Phép này giữ điều kiện của cả hai lược đồ nhưng chỉ hiện tên của lược đồ thứ hai. Lược đồ Z nhóm các biến có tên cùng những điều kiện; các tên được khai báo tạo thành chữ ký của nó.
Trong S ⨡ T, các giá trị phải thỏa mãn cả hai lược đồ, nhưng chỉ tên của T còn hiển thị. Phép ẩn lược đồ (S \ (x)) chỉ rõ biến cần ẩn. Một báo cáo của Oxford năm 1984 mô tả Z là ngôn ngữ dùng để đặc tả hệ thống máy tính. Tiêu chuẩn ISO định nghĩa phép chiếu là một toán tử lược đồ; phông chữ có thể hiển thị ⨡ khác nhau hoặc không có ký tự này.
Cách nhập ⨡
Windows (Word)
Alt+XNhập 2A21, rồi nhấn Alt+X để được ⨡.
Windows
Win+RChạy charmap để xem bảng đầy đủ, hoặc dùng thẻ Ω của bộ chọn emoji (Win + .).
macOS
Control+Command+SpaceMở trình xem ký tự và tìm “z notation schema projection”.
Linux
Ctrl+Shift+UNhập 2a21, rồi nhấn Enter hoặc Space.
HTML
⨡CSS
\2A21LaTeX cho Z
Cú pháp LaTeX của Community Z Tools dùng `\project` cho ⨡.
Mã và mã hóaĐiểm mã: 1
HTML thập phân
⨡
HTML thập lục phân
⨡
Nội dung CSS
content: "\2A21";
Mỗi chuỗi thoát kết thúc ở dấu gạch chéo ngược tiếp theo; cần khoảng trắng trước chữ số thập lục phân viết trực tiếp.
Mã hóa URL
%E2%A8%A1
1
Trên màn hình
1
Điểm mã
1
JS .length
3
Byte UTF-8
Một ký hiệu hiển thị có thể gồm nhiều điểm mã. JS .length đếm đơn vị UTF-16; UTF-8 đếm byte.