unitsize(1cm); // Une autre façon de spécifier la taille de la tête de flèche (en mm) // et différents réglages de la largeur du corps de la flèche. DefaultHead=HookHead; // On spécifie le type des têtes de flèches qui suivent. draw((0,0)--(2,2),Arrow()); // TYPE 3 draw((1,0)--(3,2),.5mm+red,Arrow(size=2mm)); draw((2,0)--(4,2),1mm+blue,Arrow(size=4mm)); draw((3,0)--(5,2),1.5mm+green,Arrow(size=6mm)); DefaultHead=TeXHead; // On change le type des têtes de fléches. draw((0,-3)--(2,-1),Arrow()); // TYPE 4 draw((1,-3)--(3,-1),.5mm+red,Arrow(size=1mm)); draw((2,-3)--(4,-1),1mm+blue,Arrow(size=1.5mm)); draw((3,-3)--(5,-1),1.5mm+green,Arrow(size=2mm)); shipout(bbox(5mm,white));