TeXipedia
Find LaTeX symbols fast

A relational symbol denoting a colon-equals definition or specification, commonly used in category theory and formal mathematics.

\Coloneq image