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