This question already has an answer here:
How can I typeset the equality symbol
::= used in the definition of syntactic categories of BNF grammars?
I would like to use it both in typewriter font (using
\texttt) and in math mode.
$:\coloneqq$) are ugly.