summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/fonts/source/public/fdsymbol/fdarrows.mf
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/fonts/source/public/fdsymbol/fdarrows.mf')
-rw-r--r--Master/texmf-dist/fonts/source/public/fdsymbol/fdarrows.mf35
1 files changed, 20 insertions, 15 deletions
diff --git a/Master/texmf-dist/fonts/source/public/fdsymbol/fdarrows.mf b/Master/texmf-dist/fonts/source/public/fdsymbol/fdarrows.mf
index b7fc83c3edc..01b36a12f9b 100644
--- a/Master/texmf-dist/fonts/source/public/fdsymbol/fdarrows.mf
+++ b/Master/texmf-dist/fonts/source/public/fdsymbol/fdarrows.mf
@@ -280,10 +280,10 @@ endfor;
for alpha = 0, 90, 180, 270:
beginarrow(alpha, 1, 3/4plus_size# + ifneg(1,0) * arrow_spread#); "pitchfork (" & decimal alpha & ")";
draw_line(foot_ex, head_ex, false);
- draw_subset(a, foot + 3/4plus_size * dir arrow_dir, foot_ex, 3/4plus_size, line_thickness);
+ draw_subset(a, foot + 1/2arrow_len * dir arrow_dir, foot_ex, 3/4plus_size, line_thickness);
if negated:
- stroke_through_arrow(1/2[foot, head - 3/8plus_size * dir arrow_dir], alpha, 3/4plus_size + arrow_spread)(80, 80, 100, 100, 80, 80, 100, 100);
+ stroke_through_arrow(1/4[foot, head], alpha, 3/4plus_size + arrow_spread)(80, 80, 100, 100, 80, 80, 100, 100);
fi
endchar;
endfor;
@@ -481,7 +481,7 @@ for alpha = 0, 90, 180, 270, 45, 135, 225, 315:
draw_arrowhead(z2, arrow_dir - 50, arrow_spread, thick);
if negated:
- stroke_through_arrow(1/10[z1,z2], alpha, 3/2arrow_spread)(80, 80, 80, 80, 80, 80, 80, 80);
+ stroke_through_arrow(1/10[z1,z2] + 1/8arrow_spread * dir (arrow_dir - 90), alpha, 3/2arrow_spread)(80, 80, 80, 80, 80, 80, 80, 80);
fi
endchar;
endfor;
@@ -502,7 +502,7 @@ for alpha = 0, 90, 180, 270, 45, 135, 225, 315:
draw_arrowhead(z2, arrow_dir + 50, arrow_spread, thick);
if negated:
- stroke_through_arrow(1/10[z1,z2], alpha, 3/2arrow_spread)(110, 110, 110, 110, 110, 110, 110, 110);
+ stroke_through_arrow(1/10[z1,z2] + 1/8arrow_spread * dir (arrow_dir + 90), alpha, 3/2arrow_spread)(110, 110, 110, 110, 110, 110, 110, 110);
fi
endchar;
endfor;
@@ -524,7 +524,7 @@ for alpha = 0, 90, 180, 270, 45, 135, 225, 315:
draw_arrowhead(z2, arrow_dir - 50, arrow_spread, thick);
if negated:
- stroke_through_arrow(z1, alpha, 3/2arrow_spread)(80, 80, 100, 100, 80, 80, 100, 100);
+ stroke_through_arrow(z1 + 1/8arrow_spread * dir (arrow_dir - 90), alpha, 3/2arrow_spread)(80, 80, 100, 100, 80, 80, 100, 100);
fi
endchar;
endfor;
@@ -570,8 +570,13 @@ for sign = 1, -1:
if negated:
1/2[z8,z9] = centre;
- y8 - y9 = large_op_size;
- z8 - z9 = whatever * dir 80;
+ if (alpha = 90) or (alpha = 270):
+ y8 - y9 = large_op_size * sind 45;
+ z8 - z9 = whatever * dir 40;
+ else:
+ y8 - y9 = large_op_size;
+ z8 - z9 = whatever * dir 80;
+ fi
draw_straight(z8, z9, stroke_through_thickness, false);
fi
@@ -586,10 +591,10 @@ for alpha = 0, 90, 180, 270:
z4 - z3 = z5 - z4 = 2/3equal_spread * dir (arrow_dir + 90);
z4 = head_ex;
- draw_straight(z0, arrowhead_intersection(head, arrow_dir, 14/10arrow_spread, z0 -- z3), 4/5line_thickness, false);
- draw_straight(z1, arrowhead_intersection(head, arrow_dir, 14/10arrow_spread, z1 -- z4), 4/5line_thickness, false);
- draw_straight(z2, arrowhead_intersection(head, arrow_dir, 14/10arrow_spread, z2 -- z5), 4/5line_thickness, false);
- draw_arrowhead(head, arrow_dir, 14/10arrow_spread, line_thickness);
+ draw_straight(z0, arrowhead_intersection(head, arrow_dir, 3/2arrow_spread, z0 -- z3), 4/5line_thickness, false);
+ draw_straight(z1, arrowhead_intersection(head, arrow_dir, 3/2arrow_spread, z1 -- z4), 4/5line_thickness, false);
+ draw_straight(z2, arrowhead_intersection(head, arrow_dir, 3/2arrow_spread, z2 -- z5), 4/5line_thickness, false);
+ draw_arrowhead(head, arrow_dir, 3/2arrow_spread, line_thickness);
if negated:
stroke_through_arrow(1/2[foot, head - arrow_spread * dir arrow_dir], alpha, 21/10arrow_spread)(70, 70, 110, 110, 70, 70, 110, 110);
@@ -661,7 +666,7 @@ for alpha = 0, 90, 180, 270:
draw_line(foot - 3/4arrow_spread * dir (arrow_dir + 90), foot + 3/4arrow_spread * dir (arrow_dir + 90), true);
if negated:
- stroke_through_arrow(1/2[foot, head], alpha, 2arrow_spread)(70, 70, 110, 110, 70, 70, 110, 110);
+ stroke_through_arrow(2/3[foot, head], alpha, 2arrow_spread)(70, 70, 110, 110, 70, 70, 110, 110);
fi
endchar;
endfor;
@@ -677,7 +682,7 @@ for alpha = 0, 90, 180, 270:
draw_line(foot - 7/8arrow_spread * dir (arrow_dir + 90), foot + 7/8arrow_spread * dir (arrow_dir + 90), true);
if negated:
- stroke_through_arrow(1/2[foot, head], alpha, 9/4arrow_spread)(70, 70, 110, 110, 70, 70, 110, 110);
+ stroke_through_arrow(2/3[foot, head], alpha, 9/4arrow_spread)(70, 70, 110, 110, 70, 70, 110, 110);
fi
endchar;
endfor;
@@ -691,7 +696,7 @@ for alpha = 0, 90, 180, 270:
draw_line(z0 - 7/8arrow_spread * dir (arrow_dir + 90), z0 + 7/8arrow_spread * dir (arrow_dir + 90), true);
if negated:
- stroke_through_arrow(1/2[z0, head], alpha, 9/4arrow_spread)(70, 70, 110, 110, 70, 70, 110, 110);
+ stroke_through_arrow(5/8[z0, head], alpha, 9/4arrow_spread)(70, 70, 110, 110, 70, 70, 110, 110);
fi
endchar;
endfor;
@@ -709,7 +714,7 @@ for alpha = 0, 90, 180, 270:
draw_line(z4 - arrow_spread * dir (arrow_dir + 90), z4 + arrow_spread * dir (arrow_dir + 90), true);
if negated:
- stroke_through_arrow(1/2[z4, head], alpha, 5/2arrow_spread)(70, 70, 110, 110, 70, 70, 110, 110);
+ stroke_through_arrow(5/8[z4, head], alpha, 5/2arrow_spread)(70, 70, 110, 110, 70, 70, 110, 110);
fi
endchar;
endfor;