A relational symbol representing a colon-like similarity or natural transformation between functors in category theory.
