summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/fonts/source/public/fdsymbol/fdrelations.mf
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/fonts/source/public/fdsymbol/fdrelations.mf')
-rw-r--r--Master/texmf-dist/fonts/source/public/fdsymbol/fdrelations.mf57
1 files changed, 35 insertions, 22 deletions
diff --git a/Master/texmf-dist/fonts/source/public/fdsymbol/fdrelations.mf b/Master/texmf-dist/fonts/source/public/fdsymbol/fdrelations.mf
index 5a8bc3b418b..01940430e0f 100644
--- a/Master/texmf-dist/fonts/source/public/fdsymbol/fdrelations.mf
+++ b/Master/texmf-dist/fonts/source/public/fdsymbol/fdrelations.mf
@@ -66,7 +66,7 @@ fi;
if negated < 2:
beginorder(1, order_width#, ifneg(5/2,7/2) * equal_spread#); "triple sim";
- s := equal_spread;
+ s := equal_spread;
draw_sim(a, left_ex + s * up, right_ex + s * up, 1/4equal_spread, line_thickness);
draw_sim(b, left_ex, right_ex, 1/4equal_spread, line_thickness);
@@ -159,8 +159,8 @@ if negated < 2:
beginorder(1, order_width#, ifneg(4/2,7/2) * equal_spread# + ifneg(1,0) * 2/5order_width#); "bump over equal";
s := equal_spread;
- draw_bump(a, 1, left_ex + s * up, right_ex + s * up, order_width/5, line_thickness);
- draw_line(left_ex, right_ex, false);
+ draw_bump(a, 1, left_ex + s * up, right_ex + s * up, order_width/5, line_thickness);
+ draw_line(left_ex, right_ex, false);
draw_line(left_ex - s * up, right_ex - s * up, false);
if negated = 1:
@@ -242,6 +242,21 @@ if negated < 2:
endfor;
fi;
+if negated < 1:
+ for sign = 1, -1:
+ beginorder(sign, 4/3order_width# + 3/4dot_size#, equal_spread# + dot_size#); "colon equal";
+ s := 1/2equal_spread;
+ pair left_sep;
+ left_sep := left_ex + sign * (3/4dot_size + 1/3order_width) * right;
+
+ fill dot(left_ex + s * up + sign * 3/4dot_size * right, 3/4dot_size);
+ fill dot(left_ex - s * up + sign * 3/4dot_size * right, 3/4dot_size);
+ draw_line(left_sep + s * up, right_ex + s * up, false);
+ draw_line(left_sep - s * up, right_ex - s * up, false);
+ endchar;
+ endfor;
+fi;
+
if negated < 2:
for sign = 1, -1:
beginorder(1, order_width#, ifneg(1/2,5/2) * equal_spread#); "smile";
@@ -335,7 +350,7 @@ if negated < 2:
s := 1/2equal_spread;
r := 5/4s + 3/4line_thickness;
t := 1/11r;
-
+
reg_poly_points(a)(5, centre + 7/2s * up, r, 90);
reg_poly_points(b)(5, centre + 7/2s * up, .4r, 126);
@@ -408,7 +423,7 @@ if negated < 3:
if negated = 1:
stroke_through(centre, 6/3equal_spread + 3/4greater_spread);
elseif negated = 2:
- stroke_through(1/2[z2,z3], equal_spread);
+ stroke_through(1/2[z2,z3], equal_spread);
fi;
endchar;
endfor;
@@ -542,7 +557,7 @@ if negated < 2:
endfor;
fi;
-if negated < 3:
+if negated < 2:
for sign = 1, -1:
beginorder(sign, order_width#, ifneg(7/3,17/6 + 1/2sign, 7/3) * equal_spread# + 3/2greater_spread#); "less double equal greater";
s := 3/4greater_spread;
@@ -556,8 +571,6 @@ if negated < 3:
if negated = 1:
stroke_through(centre, (17/6 + 1/2sign) * equal_spread + 2s);
- elseif negated = 2:
- stroke_through(centre, 2equal_spread);
fi;
endchar;
endfor;
@@ -667,7 +680,7 @@ if negated < 2:
fill stroke z4.e{dir (theta - 90)} .. {dir(-theta - 90)}z5.e;
- if negated = 1:
+ if negated = 1:
stroke_through(centre, equal_spread + greater_spread);
fi;
endchar;
@@ -678,8 +691,8 @@ if negated < 2:
for sign = 1, -1:
beginorder(sign, order_width# * sqrt(7/6), ifneg(1,2) * equal_spread# + 3/4greater_spread#); "round less than or slanted equal";
thick := line_thickness;
- s := 3/4greater_spread;
- t := 1/2equal_spread;
+ s := 3/4greater_spread;
+ t := 1/2equal_spread;
z0 = left_ex + t * up;
z1 = z0 + order_width * dir angle(right_ex - left_ex);
@@ -696,13 +709,13 @@ if negated < 2:
fill stroke z4.e{dir (theta - 90)} .. {dir(-theta - 90)}z5.e;
- if sign = 1:
- draw_line(z1a - 2t * up, z4a - 2t * up, false);
- else:
- draw_line(z0a - 2t * up, z3a - 2t * up, false);
- fi;
+ if sign = 1:
+ draw_line(z1a - 2t * up, z4a - 2t * up, false);
+ else:
+ draw_line(z0a - 2t * up, z3a - 2t * up, false);
+ fi;
- if negated = 1:
+ if negated = 1:
stroke_through(centre, 2equal_spread + 3/4greater_spread);
fi;
endchar;
@@ -738,7 +751,7 @@ if negated < 3:
draw_line(z0' + s/2 * up, z0' - s/2 * up, false);
draw_line(z2, z3, false);
- if negated = 1:
+ if negated = 1:
stroke_through(centre, 5/2equal_spread + s);
elseif negated = 2:
stroke_through(1/2[z2,z3] + 1/2equal_spread * up, 2equal_spread);
@@ -945,7 +958,7 @@ if negated < 3:
beginorder(sign, order_width#, ifneg(5/3,8/3,8/3) * equal_spread# + 3/4greater_spread#); "curly less than or double equal";
s := 3/4greater_spread;
- z0 - z2 = z1 - z3 = (2/3equal_spread + s/2) * up;
+ z0 - z2 = z1 - z3 = (2/3equal_spread + s/2) * up;
z0 - left_ex = z1 - right_ex = 5/6equal_spread * up;
z2 - z4 = z3 - z5 = equal_spread * up;
@@ -953,7 +966,7 @@ if negated < 3:
draw_line(z2, z3, false);
draw_line(z4, z5, false);
- if negated = 1:
+ if negated = 1:
stroke_through(centre, 8/3equal_spread + 3/4greater_spread);
elseif negated = 2:
stroke_through(1/2[1/2[z2,z3], 1/2[z4,z5]], 2equal_spread);
@@ -1072,7 +1085,7 @@ if negated < 2:
for sign = 1, -1:
beginorder(sign, order_width#, ifneg(1,2) * equal_spread# + 3/4greater_spread#); "slanted equal or less than";
s := 3/4greater_spread;
- t := 1/2equal_spread;
+ t := 1/2equal_spread;
draw_less(a, left_ex - t * up, right_ex - t * up, s, line_thickness, false);
@@ -1092,7 +1105,7 @@ fi
if negated < 2:
for sign = 1, -1:
beginorder(sign, order_width#, ifneg(1,2) * equal_spread# + 3/4greater_spread#); "curly equal or curly less than";
- s := 3/4greater_spread;
+ s := 3/4greater_spread;
z0 - z2 = -equal_spread * up;
z1 - z3 = -(7/5equal_spread + s/2) * up;