summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/fonts/source/public/drm/mathsym.mf
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/fonts/source/public/drm/mathsym.mf')
-rw-r--r--Master/texmf-dist/fonts/source/public/drm/mathsym.mf284
1 files changed, 284 insertions, 0 deletions
diff --git a/Master/texmf-dist/fonts/source/public/drm/mathsym.mf b/Master/texmf-dist/fonts/source/public/drm/mathsym.mf
new file mode 100644
index 00000000000..91155c685cf
--- /dev/null
+++ b/Master/texmf-dist/fonts/source/public/drm/mathsym.mf
@@ -0,0 +1,284 @@
+% +AMDG This document was begun on 23 June 11EX, the feast
+% of the Sacred Heart, and it is humbly dedicated to the
+% Sacred Heart of Jesus, for His mercy.
+
+beginchar(oct"173",0.6ex#+2ss#,ex#,0); "dotless i";
+italcorr(ex#*slant);
+
+pickup pencircle yscaled thinl;
+currentpicture := dotlessi;
+
+endchar;
+
+beginchar(oct"174",0.6ex#+2ss#,ex#,dep#); "dotless j";
+italcorr(ex#*slant);
+
+pickup pencircle yscaled thinl;
+currentpicture := dotlessj;
+
+endchar;
+
+beginchar(oct"054",0.3ex#+2ss#,ex#,0); "open c";
+italcorr(ex#*slant);
+
+pickup pencircle scaled 1.5thinl;
+top rt z0 = (w-ss,h);
+lft z1 = (ss,4h/5);
+rt z2 = (w-ss,3h/5);
+path mathc; mathc = z0{left}..z1..{right}z2;
+draw mathc;
+
+penlabels(0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18);
+endchar;
+
+beginchar(oct"055",0.3ex#+2ss#,ex#,0); "close c";
+italcorr(ex#*slant);
+
+pickup pencircle scaled 1.5thinl;
+draw mathc reflectedabout ((w/2,h),(w/2,0));
+
+endchar;
+
+beginchar(oct"056",ex#+2ss#,ex#,0); "right-pointing triangle";
+italcorr(ex#*slant);
+
+pickup pencircle scaled 1.5thinl;
+
+rt z0 = (w-ss,h/2);
+top lft z1 = (ss,h);
+bot lft z2 = (ss,0);
+path mathtri; mathtri = z0--z1--z2--cycle;
+draw mathtri;
+
+penlabels(0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18);
+endchar;
+
+beginchar(oct"057",ex#+2ss#,ex#,0); "left-pointing triangle";
+italcorr(ex#*slant);
+
+pickup pencircle scaled 1.5thinl;
+draw mathtri reflectedabout ((w/2,h),(w/2,0));
+
+endchar;
+
+beginchar(oct"072",pwid#,pwid#,0); "The decimal point, .";
+fill period;
+endchar;
+
+beginchar(oct"073",pwid#,pwid#,0); "The comma, ,";
+fill commapost;
+endchar;
+
+beginchar(oct"075",ex#/2+2ss#,cap#,0); "The forward slash, /";
+
+currentpicture := slash;
+
+endchar;
+
+beginchar(oct"077",theight#+2ss#,theight#,0); "solid five-pointed star";
+
+z0 = (w/2,h/2);
+z1 = (w/2,h+o);
+z2 = z1 rotatedaround (z0,72);
+z3 = z2 rotatedaround (z0,72);
+z4 = z3 rotatedaround (z0,72);
+z5 = z4 rotatedaround (z0,72);
+z6 = (z2--z5) intersectionpoint (z1--z4);
+z7 = (z2--z5) intersectionpoint (z1--z3);
+z8 = (z3--z5) intersectionpoint (z4--z1);
+z9 = (z4--z2) intersectionpoint (z3--z1);
+z10 = (z2--z4) intersectionpoint (z3--z5);
+
+path fivestar; fivestar = z1--z6--z5--z8--z4--z10--z3--z9--z2--z7--cycle;
+fill fivestar;
+
+penlabels(0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51);
+endchar;
+
+beginchar(oct"100",ex#+2ss#,cap#,0); "partial differential";
+italcorr(ex#*slant);
+
+penpos0(thinl,0);
+z0l = (ss,h-1.5curlh);
+penpos1(thinl,90);
+z1r = z0r;
+penpos2(thinl,180);
+z2r = z1r;
+penpos3(thinl,-90);
+z3r = z2r;
+penpos4(thinl,-90);
+z4l = (w/2,h+o);
+penpos5(thickl,180);
+z5l = (w-ss,3h/4);
+penpos6(thickl,180);
+z6l = (w-ss,h/4);
+penpos7(thinl,90);
+z7l = (w/2,0-o);
+penpos8(curvl,0);
+z8l = (ss,h/4);
+penpos9(thinl,-90);
+z9l = (w/2,ex+o);
+
+penstroke z3e..z2e..z1e..z0e;
+penstroke z0e{up}..z4e..z5e---z6e..z7e..z8e..z9e..z6e;
+
+penlabels(0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51);
+endchar;
+
+beginchar(oct"133",0.6ex#+2ss#,asch#,0); "musical flat";
+italcorr(ex#*slant);
+
+penpos0(thinl,0);
+z0l = (ss,h);
+penpos1(thinl,0);
+z1l = (ss,0);
+penpos2(thinl,90);
+z2l = z1;
+penpos3(curvl,180);
+z3l = (w-ss,0.4h);
+penpos5(thinl,-90);
+z5 = (x1,0.4h);
+
+penstroke z0e--z1e;
+penstroke z2e{right}..z3e..z5e;
+
+penlabels(0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51);
+endchar;
+
+beginchar(oct"134",0.6ex#+2ss#,asch#,dep#); "musical natural";
+italcorr(ex#*slant);
+
+penpos0(thinl,30);
+z0l = (ss,h);
+penpos1(thinl,30);
+z1l = (ss,-dep/2);
+penpos2(thinl,30);
+z2r = (w-ss,h-dep/2);
+penpos3(thinl,30);
+z3r = (w-ss,-dep);
+penpos4(thickl,-90);
+z4r = z1r;
+penpos5(thickl,-90);
+z5l = z2l;
+z6 = (w,y4);
+penpos7(thickl,-90);
+z7 = z6 rotatedaround(z4,30);
+z8 = (0,y5);
+z9 = z8 rotatedaround(z5,30);
+penpos9(thickl,-90);
+
+penstroke z0e--z1e;
+penstroke z2e--z3e;
+penstroke z4e--z7e;
+penstroke z9e--z5e;
+
+penlabels(0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51);
+endchar;
+
+beginchar(oct"135",ex#+2ss#,asch#,dep#); "musical sharp";
+italcorr(ex#*slant);
+
+penpos0(thinl,30);
+z0l = (w/4,h);
+penpos1(thinl,30);
+z1l = (w/4,-dep/2);
+penpos2(thinl,30);
+z2r = (3w/4,h-dep/2);
+penpos3(thinl,30);
+z3r = (3w/4,-dep);
+penpos4(thickl,120);
+x4r = (ss); y4r = 0;
+penpos5(thickl,120);
+x5l = w-ss; y5l = h-dep;
+z6 = (ss,y5);
+z7 = (w-ss,y4);
+penpos8(thickl,120);
+z8 = z6 rotatedaround (z5,15);
+penpos9(thickl,120);
+z9 = z7 rotatedaround (z4,15);
+penpos10(thinl,30);
+z10 = (x1,-dep);
+penpos11(thinl,30);
+z11 = (x2,h+o);
+
+penstroke z0e--z10e;
+penstroke z11e--z3e;
+penstroke z8e--z5e;
+penstroke z4e--z9e;
+
+penlabels(0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51);
+endchar;
+
+beginchar(oct"136",cap#+dep#+2ss#,asch#,dep#); "curve open up";
+italcorr(ex#*slant);
+
+currentpicture := paren rotated (90) shifted
+ (w/2+dep,h/2-pwid);
+
+endchar;
+
+beginchar(oct"137",cap#+dep#+2ss#,asch#,dep#); "curve open down";
+italcorr(ex#*slant);
+
+currentpicture := paren rotated (-90) shifted
+ (w/2-dep,h/2+pwid/2);
+
+endchar;
+
+beginchar(oct"176",ex#+2ss#,cap#,0); "vector arrow";
+italcorr(ex#*slant);
+
+pickup pencircle scaled 1.5thinl;
+lft z0 = (ss,h-curlh);
+rt z1 = (w-ss,h-curlh);
+z2 = (2w/3,h+o);
+z3 = (2w/3,h-2curlh);
+
+draw z0--z1;
+filldraw z2--z1--z3--cycle;
+
+penlabels(0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51);
+endchar;
+
+beginchar(oct"177",ex#+2ss#,cap#,0); "tie";
+italcorr(ex#*slant);
+
+pickup pencircle scaled 1.5thinl;
+top z0 = (w-ss,h-curlh);
+top z1 = (w+w/2,h+o);
+top z2 = (2w,h-curlh);
+
+draw z0..z1..z2;
+
+penlabels(0,1,2,3,4,5,6);
+endchar;
+
+beginchar(oct"175",1.2ex#+2ss#,ex#,dep#); "wp";
+italcorr(ex#*slant);
+
+penpos0(thinl,-90);
+z0 = (w/4,h);
+penpos1(thickl,0);
+z1l = (ss,3h/4);
+penpos2(thickl,0);
+z2l = (w/4,0);
+penpos3(thinl,-90);
+z3r = (w/8+hair,-dep);
+penpos4(thinl,180);
+z4r = (ss,-dep/2);
+penpos5(thinl,90);
+z5r = (0.6w,h+o);
+penpos6(thickl,0);
+z6r = (w-ss,h/2);
+penpos7(thinl,-90);
+z7r = (0.6w,0-o);
+penpos8(thinl,0);
+z8 = (x1r,h/4);
+penpos9(thinl,180);
+z9r = (x2r,y8);
+
+penstroke z0e{left}..z1e..z8e..z2e..z3e..z4e..{right}z5e..
+ z6e..z7e..z9e;
+
+penlabels(0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51);
+endchar;