⦉ có nghĩa là gì
Nó mở một liên kết trong ký hiệu Z.
Một liên kết ghép tên thành phần với giá trị; kiểu lược đồ khai báo kiểu của các thành phần. Trong ⦉x:X⦊, x là thành phần có tên và kiểu X, chứ không phải một giá trị được gán.
Một báo cáo về ngữ nghĩa hình thức của Z được công bố vào năm 1984. Z Base Standard được in vào năm 1992 và định nghĩa phần mở rộng liên kết là ánh xạ tên sang biểu thức. Các mốc năm này cho biết lịch sử của ý tưởng liên kết, không xác định nguồn gốc của hình dạng ngoặc này.
Ký hiệu chuyên biệt dùng trong các đặc tả hình thức Z.
⦉ là dấu mở, nên cần dấu đóng ⦊.
Đừng nhầm với
1Ý tưởng kết hợp
1Khai báo kiểu lược đồ: thành phần x có kiểu X.
Cách nhập ⦉
Windows (Word)
Alt+XNhập 2989, 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 left binding bracket”.
Linux
Ctrl+Shift+UNhập 2989, rồi nhấn Enter hoặc Space.
HTML
⦉CSS
\2989Trình bày Z
Một hệ thống trình bày Z có thể định nghĩa lệnh `\lblot` cho dấu mở này.
Mã nguồn Java
Trong mã nguồn Java, viết `\u2989` để biểu thị ký tự này.
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: "\2989";
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%89
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.