U+2A74 "⩴" Double Colon Equal Unicode Character

U+2A74 "⩴" Double Colon Equal is a mathematical symbol used primarily in formal logic, computer science, and type theory to denote definitional equality or assignment, often indicating that the left-hand side is defined as being equivalent to the right-hand side. It resembles a doubled colon followed by an equals sign, combining the roles of a definitional colon and an equality operator. This character is part of the Supplemental Mathematical Operators block and provides a concise notation for stipulating that a term or variable is explicitly defined by an expression, distinguishing such definitions from mere equations or assertions.