问ECMAScript 5规范中可能的排版吗？

EN

有谁知道为什么在ECMA-262，第5版规范第7.6节末尾，非终端UnicodeLetter、UnicodeCombiningMark、UnicodeDigit、UnicodeconnectorPunctuation和UnicodeEscapeSequence后面没有两个冒号？

第5.1.6节：

非终端符号以斜体显示。非终端的定义由被定义为一个或多个冒号的非终端的名称引入。(冒号表示产品所属的语法。)

因为词汇的产生是通过有两个冒号来区别的，这是在“词汇惯例”下，我想他们是想把冒号放进去。听起来对吗？

确保这些都是非终结语，它们确实是词汇语法的一部分。

编辑

我注意到有人投票决定结束这件事。为了说明这与编程相关的原因，它与任何想要实现ECMAScript解释器的人都相关。