fsymbols
正在載入符號…
››
⦉

Z 記法左綁定括號

Z 記法左綁定括號

⦉ 在 Z 記法中開啟綁定:一種類似記錄的結構,將有名稱的成分與其值或型別連在一起。正式規格會搭配右側的 ⦊ 使用。

文字符號
搜尋方式
Z 綁定 · 綁定括號 · lblot
出現在
任何文字輸入欄位 · 外形取決於字型

⦉ 的含義

它在 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
\2989
Z 排版
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 計算位元組。

此符號所屬群組

1

數學與數字1,835個符號