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