After reading several papers, I started to wonder which types of arrows are used for what purpose. There are (generally spoken) two kinds of arrows: The short ones like
\Leftrightarrow and the long ones like
I got the feeling that for definitions, the longer variants are used, while for logical expressions, the shorter ones are more common. Are there any regulations or conventions?