A relational symbol combining similarity and colon notations, commonly used in category theory and abstract algebra.
