6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann%%% ====================================================================
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann%%% @METAFONT-file{
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann%%% author-1 = "Jeremy Gibbons",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann%%% author-2 = "Alan Jeffrey",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann%%% version = "1.1",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann%%% date = "02 June 1992",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann%%% time = "15:06:36 BST",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann%%% filename = "stmarych.mf",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann%%% address-1 = "Department of Computer Science
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann%%% University of Aukland
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann%%% Private Bag
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann%%% New Zealand",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann%%% address-2 = "School of Cognitive and Computing Sciences
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann%%% University of Sussex
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann%%% Brighton BN1 9QH
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann%%% telephone-1 = "+64 9 373 7599 x 5120",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann%%% telephone-2 = "+44 273 606755 x 3238",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann%%% FAX-1 = "+64 9 373 7453",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann%%% FAX-2 = "+44 273 678188",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann%%% checksum = "17234 221 693 7683",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann%%% email-1 = "jeremy@cs.aukuni.ac.nz",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann%%% email-2 = "alanje@cogs.sussex.ac.uk",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann%%% codetable = "ISO/ASCII",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann%%% keywords = "metafont symbols math fonts",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann%%% supported = "yes",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann%%% abstract = "This is part of the metafont program for
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann%%% the St Mary's Road symbol font.",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann%%% docstring = "This is part of the metafont program for
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann%%% the St Mary's Road symbol font. The font
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann%%% contains a number of mathematical
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann%%% characters which are not present in the
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann%%% standard TeX and AMS symbol fonts.
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann%%% It is described in stmaryrd.tex.
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann%%% Copyright 1992 Jeremy Gibbons and Alan Jeffrey.
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann%%% The checksum field above contains a CRC-16
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann%%% checksum as the first value, followed by the
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann%%% equivalent of the standard UNIX wc (word
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann%%% count) utility output of lines, words, and
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann%%% characters. This is produced by Robert
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann%%% Solovay's checksum utility.",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann%%% package = "St Mary's Road",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann%%% dependencies = "none",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann%%% ====================================================================
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann%%% 20 May 1991, v1.0: Created the file out of which.mf, which performed a
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann%%% 21 May 1991, v1.01: Renamed some of the characters to be more AMSy.
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann%%% 2 Jun 1992, v1.1: added the headers.
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann% Defines the character positions and extension information for the St
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann% Mary's Road font, stmaryrd.mf.
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannshort_left_arrow := 0;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannshort_right_arrow := 1;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannshort_up_arrow := 2;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannshort_down_arrow := 3;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannvar_curly_vee := 8;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannvar_curly_wedge := 9;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannminus_o := 10;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannbbslash := 13;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannvar_o_times := 15;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannvar_o_ast := 16;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannvar_o_bar := 17;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannvar_o_dot := 18;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannvar_o_slash := 19;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannvar_o_bslash := 20;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannvar_o_circle := 21;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannvar_o_plus := 22;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannvar_o_minus := 23;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannbox_ast := 24;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannbox_bar := 25;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannbox_dot := 26;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannbox_slash := 27;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannbox_bslash := 28;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannbox_circle := 29;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannbox_box := 30;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannbox_empty := 31;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannlightning := 32;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannvar_times := 34;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannfat_semi := 35;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannssw_arrow := 36;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannsse_arrow := 37;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmanncurly_wedge_up_arrow := 38;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmanncurly_wedge_down_arrow := 39;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannfat_slash := 40;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannfat_bslash := 41;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannvar_big_circ := 44;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannleft_right_arrow_eq := 45;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmanncurly_vee_down_arrow := 46;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmanncurly_vee_up_arrow := 47;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannnnw_arrow := 48;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannnne_arrow := 49;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannleft_slice := 50;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannright_slice := 51;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannvar_o_less_than := 52;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannvar_o_greater_than := 53;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannvar_o_vee := 54;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannvar_o_wedge := 55;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmanntall_oblong := 56;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmanninterleave := 57;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmanno_bslash := 59;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmanno_less_than := 60;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmanno_greater_than := 61;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmanno_wedge := 63;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannin_plus := 65;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannni_plus := 66;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannsub_set_plus := 68;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannsup_set_plus := 69;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannsub_set_plus_eq := 70;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannsup_set_plus_eq := 71;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannll_bracket := 74;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannrr_bracket := 75;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannll_parenthesis := 76;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannrr_parenthesis := 77;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannbin_ampersand := 78;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannbin_dnasrepma := 79;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmanntriangle_left_eq_slant := 80;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmanntriangle_right_eq_slant := 81;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannn_triangle_left_eq_slant := 82;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannn_triangle_right_eq_slant := 83;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannll_floor := 84;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannrr_floor := 85;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannll_ceil := 86;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannrr_ceil := 87;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannarrow_not := 88;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel HausmannArrow_not := 89;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel HausmannMaps_to_char := 90;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannmaps_from_char := 91;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel HausmannMaps_from_char := 92;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannleft_right_arrow_triangle := 93;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannleft_arrow_triangle := 94;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannright_arrow_triangle := 95;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannbig_triangle_down := 96;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannbig_triangle_up := 97;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannbig_curly_vee := 98;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannbig_curly_wedge := 99;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannbig_sq_cap := 100;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannbig_box := 101;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannbig_parallel := 102;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannbig_interleave := 103;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannbig_n_plus := 112;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannbig_ll_bracket := 113;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannbig_rr_bracket := 121;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmanncharlist big_sq_cap: big_sq_cap+8;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmanncharlist big_box: big_box+8;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmanncharlist big_parallel: big_parallel+8;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmanncharlist big_interleave: big_interleave+8;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmanncharlist big_n_plus: big_n_plus+8;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmanncharlist big_triangle_down: big_triangle_down+8;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmanncharlist big_triangle_up: big_triangle_up+8;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmanncharlist big_curly_vee: big_curly_vee+8;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmanncharlist big_curly_wedge: big_curly_wedge+8;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmanncharlist big_ll_bracket:
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann big_ll_bracket+1: big_ll_bracket+2: big_ll_bracket+3: big_ll_bracket+4;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannextensible big_ll_bracket+4:
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann big_ll_bracket+4,0,big_ll_bracket+5,big_ll_bracket+6;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmanncharlist big_rr_bracket:
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann big_rr_bracket+1: big_rr_bracket+2: big_rr_bracket+3: big_rr_bracket+4;
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannextensible big_rr_bracket+4:
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann big_rr_bracket+4,0,big_rr_bracket+5,big_rr_bracket+6;