Search code examples
parsingbnf

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

Backus-Naur Form uses ::= between the left and right sides of the production rules of a grammar. Wikipedia tells me that notation evolved from :≡. Do either of those symbols have a name?

Solution

  • Based on @rici's tip that Unicode simply calls it DOUBLE COLON EQUALS, it doesn't seem there's another official name.