A relational symbol combining colon and tilde to denote a natural isomorphism between functors in category theory.
