Fixing problems with alignment of double arrows