超级账本文档问题

Hyperledger documentation questions

我正在经历 Hyperledger documentation on architecture。我无法理解某些符号和文字。例如,

Both V and N contain a special element \bot,

\bot 是什么意思?

for k\in K and v\in V,

k\ 和 \v 是什么意思?

请注意,Hyperledger 文档中的架构部分是高度数学化的。某些符号(或 intended 符号)可能来自其他来源,未在文档中正确呈现。

LaTeX 中的\bot 符号表示空类型或错误类型:⊥。在状态映射的特殊情况下K -> (V X N),作者只是试图解释当一个键被初始化时所有的值和版本都是空的。

\in符号表示关系"is a member of": k ∈ K and v ∈ V.