Äquivalenzpfeil mit integriertem Doppelpunkt?

[Elio]

Hallo, also \iff erstellt den Äquivalenzpfeil. Wie bekomme ich links vor das enthaltene Gleichheitszeichen einen Doppelpunkt für Definitionen?
<:=> kann ja nicht des Rätsels Lösuns sein....

[edico]

schau mal nach in Comprehensive LaTeX Symbols List (symbols-a4.pdf)
edico

[Elio]

Hi,
super, danke für den Tipp, tolles pdf.
Vielleicht steht es ja drin, nach dem ersten Überfliegen aber nicht.