⦇ có nghĩa là gì
Nó mở một biểu thức ảnh quan hệ trong ký hiệu Z.
Z là ngôn ngữ toán học dùng để mô tả chính xác phần mềm và các hệ rời rạc khác. Trong R⦇S⦈, quan hệ R nối các giá trị với nhau còn S là một tập hợp; biểu thức chỉ các giá trị được nối với ít nhất một phần tử của S.
Công trình về Z của Jean-Raymond Abrial bắt đầu vào cuối thập niên 1970. Các nhà nghiên cứu ở Oxford phát triển ký hiệu này, và nó được dùng trong các dự án công nghiệp vào thập niên 1980; sau đó nó được đưa vào giảng dạy phương pháp hình thức.
Rất chuyên môn: dấu này báo hiệu đặc tả Z hoặc ký hiệu quan hệ theo kiểu Z.
Đóng bằng ⦈, không dùng dấu ngoặc thông thường.
Ý tưởng kết hợp
1Ảnh quan hệ của S qua R: các giá trị được nối với ít nhất một phần tử của S.
Cách nhập ⦇
Windows (Word)
Alt+XNhập 2987, 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 image bracket”.
Linux
Ctrl+Shift+UNhập 2987, rồi nhấn Enter hoặc Space.
HTML
⦇CSS
\2987Mã 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: "\2987";
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%87
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.