BNF 中`::=` 符号的名称？

Name for the `::=` symbol in BNF?

Backus-Naur 形式在文法产生式规则的左右两边之间使用 ::=。维基百科告诉我表示法是从 :≡ 演变而来的。这些符号中的任何一个都有名字吗？

根据@rici 的提示，Unicode 简单地称之为 DOUBLE COLON EQUALS，似乎没有另一个官方名称。