Double Colon Equal
Part of Math Symbols
Double Colon Equal has no standard Windows Alt code. Copy the character directly, or use its HTML entity or Unicode value instead.
- Alt code
- None
- HTML entity
- ⩴
- Unicode
- U+2A74
About this symbol
::= means “is defined as” in Backus-Naur form, a way of writing down the grammar of a programming language. John Backus devised it in 1959, and Peter Naur used it to describe ALGOL 60, as in a rule for what a digit can be.
Unicode facts
- Official name
- DOUBLE COLON EQUAL
- Type
- Maths symbol
- Unicode block
- Supplemental Mathematical Operators
- Unicode group
- Relational operators
- Added in
- Unicode 3.2 (2002)
Click the symbol or any value at the top of the page to copy it. See the full Math Symbols chart for related characters.