1 files changed, 61 insertions, 0 deletions
diff --git a/Master/texmf-dist/fonts/source/public/cmll/llcommon.mf b/Master/texmf-dist/fonts/source/public/cmll/llcommon.mf
index cc23926c29f..2272e2f05f0 100644
--- a/Master/texmf-dist/fonts/source/public/cmll/llcommon.mf
+++ b/Master/texmf-dist/fonts/source/public/cmll/llcommon.mf
@@ -164,3 +164,64 @@ x1=x2; z2=1/2[z3,z6]; y1-y2=x6-x3;
 if top y1>h: y1:=bot h; fi
 draw z1..z2;
 labels(1,2,3,4,5,6); endchar;
+
+cmchar "Reversed linear map symbol";
+beginchar(15,20u#,.8asc_height#,0#);
+adjust_fit(0,0); pickup rule.nib; autorounded;
+numeric circ_diam; circ_diam=5u;
+y2=math_axis; y8=y2+.5circ_diam; lft x6 = u;
+x6=x2-circ_diam;
+circle_points; draw_circle;
+x9=x2+.5rule_thickness; y9=y10=y2; x10=w-u-.5rule_thickness;
+draw z9---z10;
+penlabels(1,2,3,4,5,6,7,8,9,10); endchar;
+
+def negate (expr center) =
+    .5[z101,z102] = center;
+    y102-y101 = 9u;
+    x102-x101 = 2/5 (y102-y101);
+    draw z101---z102;
+    penlabels(101,102);
+enddef;
+
+
+cmchar "Negated multimap symbol";
+beginchar(16,20u#,.8asc_height#,0#);
+adjust_fit(0,0); pickup rule.nib; autorounded;
+numeric circ_diam; circ_diam=5u;
+y2=math_axis; y8=y2+.5circ_diam; rt x2=w-u;
+x6=x2-circ_diam;
+circle_points; draw_circle;
+x9=u+.5rule_thickness; y9=y10=y2; x10=x6-.5rule_thickness;
+draw z9---z10;
+penlabels(1,2,3,4,5,6,7,8,9,10);
+negate(.6[z9,z10]);
+endchar;
+
+cmchar "Negated reversed linear map symbol";
+beginchar(17,20u#,.8asc_height#,0#);
+adjust_fit(0,0); pickup rule.nib; autorounded;
+numeric circ_diam; circ_diam=5u;
+y2=math_axis; y8=y2+.5circ_diam; lft x6 = u;
+x6=x2-circ_diam;
+circle_points; draw_circle;
+x9=x2+.5rule_thickness; y9=y10=y2; x10=w-u-.5rule_thickness;
+draw z9---z10;
+penlabels(1,2,3,4,5,6,7,8,9,10);
+negate(.4[z9,z10]);
+endchar;
+
+cmchar "Negated linear equivalence symbol";
+beginchar(18,22u#,.8asc_height#,0#);
+adjust_fit(0,0); pickup rule.nib; autorounded;
+numeric circ_diam; circ_diam=5u;
+y2=math_axis; y8=y2+.5circ_diam; rt x2=w-u;
+x6=x2-circ_diam;
+circle_points; draw_circle;
+x11=u+.5rule_thickness; y11=y2;
+draw_circle shifted (z11-z6);
+x9=x11+circ_diam+.5rule_thickness; y9=y10=y2; x10=x6-.5rule_thickness;
+draw z9---z10;
+penlabels(1,2,3,4,5,6,7,8,9,10,11,12,13);
+negate(.5[z9,z10]);
+endchar;