Draw: Double arrows ignore glue points.

asked 2016-11-22 16:33:00 +0200

kenift gravatar image

Single arrows cannot be turned into double arrows; double arrows ignore glue points.

edit retag flag offensive close merge delete


It is not clear what you want to do. Please describe it in detail.

Regina gravatar imageRegina ( 2016-11-23 23:34:00 +0200 )edit