Is there a way to typeset the symbol ":⇔" correctly in LaTeX (i.e. with the right alignment and spacing)?
I know that using
:\Longleftrightarrow gets me the symbol I'm looking for (more or less), but the spacing doesn't look right to me. Constructions using
\colon didn't really seem to do the trick, either.
Do I have to define such a symbol myself (if so: how?), or is there a package proving this? Unfortunately, I did not find anything myself (especially because I don't know what to search for exactly; I got the description "defined to be logically equivalent" from Wikipedia, since I didn't even know the correct name).