TeXipedia
Find LaTeX symbols fast

A relational symbol denoting natural transformations between functors in category theory.

\simcoloncolon image