%%% ====================================================================

%%% @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;