Reputation: 47962
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?
Upvotes: 2
Views: 252
Reputation: 47962
Based on @rici's tip that Unicode simply calls it DOUBLE COLON EQUALS
, it doesn't seem there's another official name.
Upvotes: 1