⦉ 的含義
它在 Z 記法中開啟一個綁定。
綁定會將成分名稱對應到值;綱要型別則宣告這些成分的型別。在 ⦉x:X⦊ 中,x 是型別為 X 的具名成分,這裡並沒有指定值。
一份討論 Z 形式語意的報告於 1984 年發表。技術規則文件 Z Base Standard 於 1992 年印行,並將綁定擴充定義為名稱與運算式的對應。這些年份說明綁定概念的歷史,並非此括號字形的起源。
用於 Z 形式規格的專門記法。
開啟的 ⦉ 需要對應的閉合符號 ⦊。
不要與它混淆
1組合想法
1綱要型別宣告:成分 x 的型別是 X。
⦉ 的輸入方式
Windows (Word)
Alt+X輸入 2989,再按 Alt+X 即可得到 ⦉。
Windows
Win+R執行 charmap 查看完整表格,或使用表情符號選擇器的 Ω 分頁(Win + .)。
macOS
Control+Command+Space開啟字元檢視器並搜尋「z notation left binding bracket」。
Linux
Ctrl+Shift+U輸入 2989,再按 Enter 或 Space。
HTML
⦉CSS
\2989Z 排版
Z 排版環境可能會將 `\lblot` 定義為這個左括號的指令。
Java 原始碼
在 Java 原始碼中寫 `\u2989`,即可表示這個字元。
代碼與編碼碼位數:1
HTML 十進位
⦉
HTML 十六進位
⦉
CSS 內容
content: "\2989";
每個跳脫序列在下一個反斜線處結束;若後面直接接十六進位數字字元,必須先加空格。
URL 編碼
%E2%A6%89
1
畫面上
1
碼位
1
JS .length
3
UTF-8 位元組
一個可見符號可能包含多個碼位。JS .length 計算 UTF-16 單位;UTF-8 計算位元組。
