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