乙太坊黃皮書的代數符號指南

有很多人在解釋電腦科學論文中使用的代數方面經驗有限。因此，如果有一份黃皮書中使用的所有代數符號的列表，以及它們在論文中應用的定義，那將是最有用的。

本指南當然有，但是，對於某些符號，有多種解釋。

請列出使用的符號並定義其含義。我的理解如下面的回答。我在我特別不確定的地方使用了粗斜體。請指出我錯在哪裡。

編輯-我已將列表發佈為社區 wiki。

普遍認可的數學符號及其名稱/含義

被定義為/等價於

等於

不等於

大小（長度）的

在以下集合中

不在以下集合中

對全部

union（相鄰集合中的公共元素）

和

這樣

放

函式或元組

數組索引

或（例如 eq 11），不確定等式 24 和 29

比…更棒

添加

減法

求和

要麼 要麼 — 通常用於表示情況，例如具有類似“如果這個，那個”的行為的分段函式。否則，這是不同的事情’。

不。字節數（例如 eq 96）

地面; 最低元素

天花板; 最高元素

排他或

[大於或等於a且小於b的實數

空集

序列連接（例如方程 166,227）

那裡存在

---

在黃皮書中有特定含義但在一般數學中沒有普遍使用的符號

𝔹 n大小為n字節的散列

引用自：https://ethereum.stackexchange.com/questions/6022