[hah]

How can I make a double-headed arrow? I can find all kinds of arrows
(--> I--> -->>) but not douple-headed ones (<-->).
Any idea?