diff options
Diffstat (limited to 'Master/texmf-dist/fonts/source/public/fdsymbol/fdarrows.mf')
-rw-r--r-- | Master/texmf-dist/fonts/source/public/fdsymbol/fdarrows.mf | 35 |
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; |