Single arrows cannot be turned into double arrows; double arrows ignore glue points.
It is not clear what you want to do. Please describe it in detail.
Single arrows cannot be turned into double arrows; double arrows ignore glue points.
It is not clear what you want to do. Please describe it in detail.