在一份 LaTeX 文档中,我发现了结构的定义{\cal_A}_0 = (bbbn; 0; s; =)
(写为编译文档中出现的文字,而不是源代码和/或数学模式)。
'\bbbn' 是什么意思?从上下文来看,可能出现 $\mathhbb{N}$ 之类的东西,但我不确定,从可计算性理论的主题来看,它可能是其他任何东西。我无法询问作者。
答案1
有一个已过时的amsmath
命令\Bbb
,它已被 取代\mathbb
,\Bbbn
因此相当于\Bbb{n}
,即。出于向后兼容的目的,\mathbb{n}
该符号仍然存在。它也仍然存在于 MathJax 源代码中。amssymb