%%% ====================================================================
%%% @METAFONT-file{
%%% author-1 = "Jeremy Gibbons",
%%% author-2 = "Alan Jeffrey",
%%% version = "1.1",
%%% date = "02 June 1992",
%%% time = "15:06:36 BST",
%%% filename = "stmarych.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 = "17234 221 693 7683",
%%% email-1 = "jeremy@cs.aukuni.ac.nz",
%%% email-2 = "alanje@cogs.sussex.ac.uk",
%%% 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 file out of which.mf, which performed a
%%% similar job for alans.mf and galileo.mf.
%%%
%%% 21 May 1991, v1.01: Renamed some of the characters to be more AMSy.
%%%
%%% 2 Jun 1992, v1.1: added the headers.
% Defines the character positions and extension information for the St
% Mary's Road font, stmaryrd.mf.
short_left_arrow := 0;
short_right_arrow := 1;
short_up_arrow := 2;
short_down_arrow := 3;
Y_up := 4;
Y_down := 5;
Y_left := 6;
Y_right := 7;
var_curly_vee := 8;
var_curly_wedge := 9;
minus_o := 10;
bar_o := 11;
sslash := 12;
bbslash := 13;
moo := 14;
var_o_times := 15;
var_o_ast := 16;
var_o_bar := 17;
var_o_dot := 18;
var_o_slash := 19;
var_o_bslash := 20;
var_o_circle := 21;
var_o_plus := 22;
var_o_minus := 23;
box_ast := 24;
box_bar := 25;
box_dot := 26;
box_slash := 27;
box_bslash := 28;
box_circle := 29;
box_box := 30;
box_empty := 31;
lightning := 32;
merge := 33;
var_times := 34;
fat_semi := 35;
ssw_arrow := 36;
sse_arrow := 37;
curly_wedge_up_arrow := 38;
curly_wedge_down_arrow := 39;
fat_slash := 40;
fat_bslash := 41;
l_bag := 42;
r_bag := 43;
var_big_circ := 44;
left_right_arrow_eq := 45;
curly_vee_down_arrow := 46;
curly_vee_up_arrow := 47;
nnw_arrow := 48;
nne_arrow := 49;
left_slice := 50;
right_slice := 51;
var_o_less_than := 52;
var_o_greater_than := 53;
var_o_vee := 54;
var_o_wedge := 55;
tall_oblong := 56;
interleave := 57;
o_bar := 58;
o_bslash := 59;
o_less_than := 60;
o_greater_than := 61;
o_vee := 62;
o_wedge := 63;
oblong := 64;
in_plus := 65;
ni_plus := 66;
n_plus := 67;
sub_set_plus := 68;
sup_set_plus := 69;
sub_set_plus_eq := 70;
sup_set_plus_eq := 71;
L_bag := 72;
R_bag := 73;
ll_bracket := 74;
rr_bracket := 75;
ll_parenthesis := 76;
rr_parenthesis := 77;
bin_ampersand := 78;
bin_dnasrepma := 79;
triangle_left_eq_slant := 80;
triangle_right_eq_slant := 81;
n_triangle_left_eq_slant := 82;
n_triangle_right_eq_slant := 83;
ll_floor := 84;
rr_floor := 85;
ll_ceil := 86;
rr_ceil := 87;
arrow_not := 88;
Arrow_not := 89;
Maps_to_char := 90;
maps_from_char := 91;
Maps_from_char := 92;
left_right_arrow_triangle := 93;
left_arrow_triangle := 94;
right_arrow_triangle := 95;
big_triangle_down := 96;
big_triangle_up := 97;
big_curly_vee := 98;
big_curly_wedge := 99;
big_sq_cap := 100;
big_box := 101;
big_parallel := 102;
big_interleave := 103;
big_n_plus := 112;
big_ll_bracket := 113;
big_rr_bracket := 121;
charlist big_sq_cap: big_sq_cap+8;
charlist big_box: big_box+8;
charlist big_parallel: big_parallel+8;
charlist big_interleave: big_interleave+8;
charlist big_n_plus: big_n_plus+8;
charlist big_triangle_down: big_triangle_down+8;
charlist big_triangle_up: big_triangle_up+8;
charlist big_curly_vee: big_curly_vee+8;
charlist big_curly_wedge: big_curly_wedge+8;
charlist big_ll_bracket:
big_ll_bracket+1: big_ll_bracket+2: big_ll_bracket+3: big_ll_bracket+4;
extensible big_ll_bracket+4:
big_ll_bracket+4,0,big_ll_bracket+5,big_ll_bracket+6;
charlist big_rr_bracket:
big_rr_bracket+1: big_rr_bracket+2: big_rr_bracket+3: big_rr_bracket+4;
extensible big_rr_bracket+4:
big_rr_bracket+4,0,big_rr_bracket+5,big_rr_bracket+6;
|
