TeXipedia
Find LaTeX symbols fast

A relational symbol combining a colon and approximation to denote "approximately maps to" in category theory and abstract algebra.

\colonapprox image