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