How to draw double arrows