%%% ====================================================================
%%% @METAFONT-file{
%%% author-1 = "Jeremy Gibbons",
%%% author-2 = "Alan Jeffrey",
%%% version = "1.1",
%%% date = "02 June 1992",
%%% time = "15:06:36 BST",
%%% filename = "stmaryba.mf",
%%% address-1 = "Department of Computer Science
%%% University of Aukland
%%% Private Bag
%%% Aukland
%%% New Zealand",
%%% address-2 = "School of Cognitive and Computing Sciences
%%% University of Sussex
%%% Brighton BN1 9QH
%%% UK",
%%% telephone-1 = "+64 9 373 7599 x 5120",
%%% telephone-2 = "+44 273 606755 x 3238",
%%% FAX-1 = "+64 9 373 7453",
%%% FAX-2 = "+44 273 678188",
%%% checksum = "49457 121 567 4939",
%%% email-1 = "[email protected]",
%%% email-2 = "[email protected]",
%%% codetable = "ISO/ASCII",
%%% keywords = "metafont symbols math fonts",
%%% supported = "yes",
%%% abstract = "This is part of the metafont program for
%%% the St Mary's Road symbol font.",
%%% docstring = "This is part of the metafont program for
%%% the St Mary's Road symbol font. The font
%%% contains a number of mathematical
%%% characters which are not present in the
%%% standard TeX and AMS symbol fonts.
%%%
%%% It is described in stmaryrd.tex.
%%%
%%% Copyright 1992 Jeremy Gibbons and Alan Jeffrey.
%%%
%%% The checksum field above contains a CRC-16
%%% checksum as the first value, followed by the
%%% equivalent of the standard UNIX wc (word
%%% count) utility output of lines, words, and
%%% characters. This is produced by Robert
%%% Solovay's checksum utility.",
%%% package = "St Mary's Road",
%%% dependencies = "none",
%%% }
%%% ====================================================================
%%%
%%% 20 May 1991, v1.0: Created the font out of alans.mf and galileo.mf.
%%%
%%% 2 Jun 1992, v1.1: added the headers.
% This is the base file for the St Mary's Road symbol font, stmaryrd.mf.
% The following stolen from the AMS bsymbols.mf file:
def char_negate(suffix c,t,b) = %c is center point; t is top point; b is bottom
pickup rule.nib;
w-x.t=x.b; y.t-y.c=y.c-y.b; draw z.t--z.b;
penlabels(t,c,b); enddef;
def char_center(suffix c) = % find center of type character
x.c=w/2; y.c=.5[-d,h]; enddef;
% The command to draw semantic brackets:
def left_semantic_bracket(expr breadth,do_top,do_bot) =
pickup crisp.nib;
numeric thickness; thickness=hround breadth;
pos1(thickness,0); pos2(thickness,0);
top y1=h; bot y2=1-d; lft x1l=lft x2l=hround(2.5u-.5thickness);
filldraw stroke z1e--z2e; % stem1
pos3(thickness,90); pos4(thickness,90);
pos5(thickness,90); pos6(thickness,90);
x3=x5=x1l; rt x4=rt x6=hround(w-.75u+.5thickness);
y3r=y4r=y1; y5l=y6l=y2;
if do_top: filldraw stroke z3e--z4e; fi % upper bar
if do_bot: filldraw stroke z5e--z6e; fi % lower bar
pos7(thickness,0); pos8(thickness,0);
y7=y1; y8=y2; x7=x8=x1+hround(0.5(w - 3.25u));
filldraw stroke z7e--z8e; % stem2
penlabels(1,2,3,4,5,6,7,8); enddef;
def right_semantic_bracket(expr breadth,do_top,do_bot) =
pickup crisp.nib;
numeric thickness; thickness=hround breadth;
pos1(thickness,0); pos2(thickness,0);
top y1=h; bot y2=1-d; rt x1r=rt x2r=hround(w-2.5u+.5thickness);
filldraw stroke z1e--z2e; % stem1
pos3(thickness,90); pos4(thickness,90);
pos5(thickness,90); pos6(thickness,90);
x3=x5=x1r; lft x4=lft x6=hround(.75u-.5thickness);
y3r=y4r=y1; y5l=y6l=y2;
if do_top: filldraw stroke z3e--z4e; fi % upper bar
if do_bot: filldraw stroke z5e--z6e; fi % lower bar
pos7(thickness,0); pos8(thickness,0);
y7=y1; y8=y2; x7=x8=x1-hround(0.5(w - 3.25u));
filldraw stroke z7e--z8e; % stem2
penlabels(1,2,3,4,5,6,7,8); enddef;
% The command to draw a circle (with free symmetry hacks):
def begincircle (expr n) =
beginarithchar(n);
pickup rule.nib;
if .5w <> good.x .5w: change_width; fi
lft x6=hround u-eps; x2=w-x6; y2=math_axis; y8-y2 = .5(x2-x6);
circle_points; draw_circle % circle
enddef;
% And to draw a box (with free symmetry hacks):
def beginbox (expr n) =
beginarithchar(n);
pickup rule.nib;
if .5w <> good.x .5w: change_width; fi
lft x1=hround 1.5u-eps; x2=w-x1; x3=x2; x4=x1;
y1-y4 = x2-x1; .5[y1,y4]=math_axis; y1=y2; y3=y4;
draw z1--z2--z3--z4--cycle; % box
enddef
|