diff options
Diffstat (limited to 'Master/texmf-dist/fonts/source/public/fdsymbol/fdoperators.mf')
-rw-r--r-- | Master/texmf-dist/fonts/source/public/fdsymbol/fdoperators.mf | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Master/texmf-dist/fonts/source/public/fdsymbol/fdoperators.mf b/Master/texmf-dist/fonts/source/public/fdsymbol/fdoperators.mf index 627b8265531..3ea67622d4a 100644 --- a/Master/texmf-dist/fonts/source/public/fdsymbol/fdoperators.mf +++ b/Master/texmf-dist/fonts/source/public/fdsymbol/fdoperators.mf @@ -324,10 +324,11 @@ for sign = 1, -1: z1 = z0a + sign * scale * (0, 1/4r); z2 = z0a + sign * scale * (r, -1/4r); - fill stroke z0.e .. z1.e .. z2.e; if sign > 0: + fill stroke z0.e{dir 45} .. {dir 0}z1.e .. {dir -45}z2.e; draw_arrowhead(z2, -40, 2/3scale * arrow_spread, 5/6thick); else: + fill stroke z0.e{dir -135} .. {dir 180}z1.e .. {dir 135}z2.e; draw_arrowhead(z0, 40, 2/3scale * arrow_spread, 5/6thick); fi |