⦂ có nghĩa là gì
Nó ngăn cách tên được khai báo với biểu thức kiểu. Z là ngôn ngữ hình thức dùng để mô tả hệ thống máy tính. Trong một khai báo, tên đứng trước ⦂ và biểu thức tập hợp đứng sau; biểu thức này giới hạn các giá trị có thể có và xác định kiểu của biến.
Ký hiệu Z bắt nguồn từ công trình của Jean-Raymond Abrial vào cuối thập niên 1970 và được phát triển thêm tại Oxford. Văn bản Z thường dùng : thông thường cho khai báo này; ⦂ là một dạng Unicode riêng.
Ký tự chuyên biệt dùng trong đặc tả hình thức Z.
Đừng nhầm với
1Cách nhập ⦂
Windows (Word)
Alt+XNhập 2982, 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 type colon”.
Linux
Ctrl+Shift+UNhập 2982, rồi nhấn Enter hoặc Space.
HTML
⦂CSS
\2982Cách nhập dấu hai chấm kiểu trong ký hiệu Z
Dùng phương thức nhập Unicode thập lục phân cho U+2982; tổ hợp phím tùy thiết bị.
Phông chữ không có dấu hai chấm kiểu trong ký hiệu Z
Nếu ⦂ không hiện hoặc hiện thành ô vuông, phông chữ có thể không hỗ trợ; hãy chọn phông có hỗ trợ U+2982.
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: "\2982";
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%A6%82
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.