euxmch.mf

Concrete_Mathematics_2nd_Ed_TeX_Source_Code

% EUXMCH.MF
% AMS deleted two characters that I need in Concrete Math; they
% are resuscitated here -- Don Knuth
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
more_side(0);
"smlessthanorequal";
% by DEK, not HZ!
charbegin( oct"024", 2800h#, (1430+925)*v#, (1430-925)*v#);

n := 0;

numeric a[],b[],alpha[],beta[];
pair vec[];
a6=a8=a10=2493; a7=a9=347; .5[b6,b8]=b7; .5[b6,b10]=925; b6-b8=2000;
b8-b10=b7-b9=860;
vec1=(a6,b6)-(a7,b7); vec2=(a8,b8)-(a7,b7);
vec3=unitvector vec1 rotated 90; vec4=unitvector vec2 rotated 90;
(a2,b2)=(a6,b6)+55vec3; (a3,b3)=(a6,b6)-75vec3;
(a0,b0)=(a8,b8)-75vec4; (a5,b5)=(a8,b8)+75vec4;
(a1,b1)=(a6,b6)+75vec3+alpha1*vec1=(a0,b0)+beta1*vec2;
(a4,b4)=(a3,b3)+alpha2*vec1=(a5,b5)+beta2*vec2;

adj_fill.A() % fixed x points
 () % fixed y points
 () % tied points
 () % verticals
 () % horizontals
 ((a0,b0)-- % 0
 (a1,b1)-- % 1
 (a2,b2)-- % 2
 (a3,b3)-- % 3
 (a4,b4)-- % 4
 (a5,b5)--cycle); % 5

adj_fill.B() % fixed x points
 () % fixed y points
 () % tied points
 () % verticals
 () % horizontals
 (((a10,b10)-75vec4)-- % 0
 ((a9-60,b9)-75vec4)-- % 1
 ((a9,b9)+75vec4)-- % 2
 ((a10,b10)+75vec4)--cycle); % 3

endchar(0);

"smgreaterthanorequal";
% by DEK, not HZ!
charbegin( oct"025", 2800h#, (1430+925)*v#, (1430-925)*v#);

n := 0;

numeric a[],b[],alpha[],beta[];
pair vec[];
a6=a8=a10=307; a7=a9=2453; .5[b6,b8]=b7; .5[b6,b10]=925; b6-b8=2000;
b8-b10=b7-b9=860;
vec1=(a6,b6)-(a7,b7); vec2=(a8,b8)-(a7,b7);
vec3=unitvector vec1 rotated 90; vec4=unitvector vec2 rotated 90;
(a2,b2)=(a6,b6)-55vec3; (a3,b3)=(a6,b6)+75vec3;
(a0,b0)=(a8,b8)+75vec4; (a5,b5)=(a8,b8)-75vec4;
(a1,b1)=(a6,b6)-75vec3+alpha1*vec1=(a0,b0)+beta1*vec2;
(a4,b4)=(a3,b3)+alpha2*vec1=(a5,b5)+beta2*vec2;

adj_fill.A() % fixed x points
 () % fixed y points
 () % tied points
 () % verticals
 () % horizontals
 ((a0,b0)-- % 0
 (a1,b1)-- % 1
 (a2,b2)-- % 2
 (a3,b3)-- % 3
 (a4,b4)-- % 4
 (a5,b5)--cycle); % 5

adj_fill.B() % fixed x points
 () % fixed y points
 () % tied points
 () % verticals
 () % horizontals
 (((a10,b10)+75vec4)-- % 0
 ((a9+60,b9)+75vec4)-- % 1
 ((a9,b9)-75vec4)-- % 2
 ((a10,b10)-75vec4)--cycle); % 3

endchar(0);