Another edge case for double arrows align