% Filename: stmarych.mf
% Authors: Jeremy Gibbons and Alan Jeffrey
% Maintained by: Alan Jeffrey
% E-mail: jeffrey@cs.chalmers.se
% Last modified: 24 May 1991

% Defines the character positions and extension information for the St
% Mary's Road font, stmaryrd.mf.

% Copyright 1991 Jeremy Gibbons and Alan Jeffrey.

% 20 May 1991: Created the file out of which.mf, which performed a
% similar job for alans.mf and galileo.mf.

% 21 May 1991: Renamed some of the characters to be more AMSy.

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;