diff options
Diffstat (limited to 'Master/texmf-dist/fonts/source/public/mathabx/mathadrv.mf')
-rw-r--r-- | Master/texmf-dist/fonts/source/public/mathabx/mathadrv.mf | 280 |
1 files changed, 280 insertions, 0 deletions
diff --git a/Master/texmf-dist/fonts/source/public/mathabx/mathadrv.mf b/Master/texmf-dist/fonts/source/public/mathabx/mathadrv.mf new file mode 100644 index 00000000000..d196c6f55bc --- /dev/null +++ b/Master/texmf-dist/fonts/source/public/mathabx/mathadrv.mf @@ -0,0 +1,280 @@ +% mathematical symbols by Anthony Phan. +% file: mathadrv.mf (driver file for matha serie) +% last modification: May 16, 2005. + +mode_setup; + +math_setup; + +% Activate to allow characters with undefined code. +% (for proof mode compilation) +% let iff=always_iff; + +% BINARY OPERATORS, RELATIONS + +input mathasym; + +% RELATIONS + +% MISCELLANEOUS + +negation_sign := hex"20";% we're not making any text font +dominated := hex"21"; +dominating := hex"22"; +hash_sign := hex"23"; + +not_sign := hex"7F"; + +%negation_sign := hex"26"; +%reverse_negation_sign := hex"27"; + +vdash_sign := hex"24"; +dashv_sign := hex"25"; +vdash_not := hex"26"; +dashv_not := hex"27"; +vDash_sign := hex"28"; +Dashv_sign := hex"29"; +vDash_not := hex"2A"; +Dashv_not := hex"2B"; +Vdash_sign := hex"2C"; +dashV_sign := hex"2D"; +Vdash_not := hex"2E"; +dashV_not := hex"2F"; +% hex"30"...hex"35", numerals... + +degree_sign := hex"30"; +prime_sign := hex"31"; +second_sign := hex"32"; +third_sign := hex"33"; +fourth_sign := hex"34"; + +ligtable prime_sign : prime_sign =: second_sign; +ligtable second_sign : prime_sign =: third_sign; +ligtable third_sign : prime_sign =: fourth_sign; + +musical_flat_sign := hex"35"; +musical_natural_sign := hex"36"; +musical_sharp_sign := hex"37"; + +% mathfine.mf + +Infinity := hex"38"; +proportionnal_to := hex"39"; +dagger := hex"3A"; +double_dagger := hex"3B"; + +% mathbigs.mf + +small_summation_sign := hex"3C"; +small_product_sign := hex"3D"; +small_coproduct_sign := hex"3E"; +radical_sign := hex"3F"; + +% upper_asterisk := hex"3A"; lower_asterisk := hex"3B"; +% triple_asterisk := hex"3C"; +% colon_sign := hex"5B"; + +Dominated := hex"CE"; +Dominating := hex"CF"; + +% LETTER LIKE SYMBOLS + +% mathltlk.mf + +for_all := hex"40"; +complement := hex"41"; +partial := hex"42"; +partial_slash := hex"43"; +there_exists := hex"44"; +there_not_exists := hex"45"; +F_inverse := hex"46"; +G_inverse := hex"47"; +empty_set := hex"48"; +diameter_sign := hex"49"; +top_sign := hex"4A"; +bot_sign := hex"4B"; +not_top_sign := hex"4C"; +not_bot_sign := hex"4D"; +wedge_curly := hex"4E"; +vee_curly := hex"4F"; +%%%%%%%% Q_inverse := hex"4A"; +%%%%%%%% Bourbaki_Z := hex"4F"; + +belong_to := hex"50"; +not_belong_to := hex"52"; +var_not_belong_to := hex"54"; +belong_to_bar := hex"56"; +rev_belong_to := hex"51"; +not_rev_belong_to := hex"53"; +var_not_rev_belong_to := hex"55"; +rev_belong_to_bar := hex"57"; + +cap_sign := hex"58"; +cup_sign := hex"59"; +cup_plus := hex"5A"; +sqcap_sign := hex"5B"; +sqcup_sign := hex"5C"; +sqcup_plus := hex"5D"; +wedge_sign := hex"5E"; +vee_sign := hex"5F"; + +% DELIMITERS + +paren_left := hex"70"; +paren_right := hex"71"; +bracket_left := hex"72"; +bracket_right := hex"73"; +brace_left := hex"74"; +brace_right := hex"75"; +bbbracket_left := hex"76"; +bbbracket_right := hex"77"; +angle_left := hex"78"; +angle_right := hex"79"; +backslash := hex"7A"; +slash := hex"7B"; +vert_sign := hex"7C"; +vvert_sign := hex"7D"; +vvvert_sign := hex"7E"; + +% TRIANGLES AS RELATIONS + +triangle_left := hex"98"; triangle_right := hex"99"; +not_triangle_left := hex"9A"; not_triangle_right := hex"9B"; +triangle_left_eq := hex"9C"; triangle_right_eq := hex"9D"; +not_triangle_left_eq := hex"9E"; not_triangle_right_eq := hex"9F"; + +% ARROWS and HARPOONS + +arrow_left := hex"D0"; +arrow_right := hex"D1"; +arrow_up := hex"D2"; +arrow_down := hex"D3"; +arrow_northwest := hex"D4"; +arrow_northeast := hex"D5"; +arrow_southwest := hex"D6"; +arrow_southeast := hex"D7"; +arrow_left_right := hex"D8"; +arrow_up_down := hex"D9"; +arrow_left_not := hex"DA"; +arrow_right_not := hex"DB"; +arrow_left_right_not := hex"DC"; + +relbar_char := hex"DD"; +maps_to_char := hex"DE"; +maps_from_char := hex"DF"; + +harpoon_left_up := hex"E0"; +harpoon_right_up := hex"E1"; +harpoon_left_down := hex"E2"; +harpoon_right_down := hex"E3"; +harpoon_up_left := hex"E4"; +harpoon_down_left := hex"E5"; +harpoon_up_right := hex"E6"; +harpoon_down_right := hex"E7"; +harpoons_left_right := hex"E8"; +harpoons_right_left := hex"E9"; +harpoons_up_down := hex"EA"; +harpoons_down_up := hex"EB"; + +double_arrow_left := hex"F0"; +double_arrow_right := hex"F1"; +double_arrow_up := hex"F2"; +double_arrow_down := hex"F3"; +double_arrow_left_right := hex"F4"; +double_arrow_up_down := hex"F5"; +double_arrow_left_not := hex"F6"; +double_arrow_right_not := hex"F7"; +double_arrow_left_right_not := hex"F8"; +Relbar_char := hex"F9"; +Maps_to_char := hex"FA"; +Maps_from_char := hex"FB"; + +% let the show begin : + +input mathltlk; +input mathfine; +input mathbigs; +input mathsmsy; +input mathsymb; +input matharrw; +input mathbdel; + +main_name_string := "subset"; +t := hex"80"; +forsuffixes $=, _not, _eq, _not_eq, _eq_not, + _eq_varnot, _eqq, _not_eqq, _eqq_not, _eqq_varnot, + _double, _double_not: + main_name_with($) := t; t := t+2; endfor; +input mathsubs; + +main_name_string := "supset"; +t := hex"81"; +forsuffixes $=, _not, _eq, _not_eq, _eq_not, + _eq_varnot, _eqq, _not_eqq, _eqq_not, _eqq_varnot, + _double, _double_not: + main_name_with($) := t; t := t+2; endfor; +input mathsubs; + +main_name_string := "less"; +t := hex"A0"; +forsuffixes $=, _not, _slant, _not_slant, + _eq, _not_eq, _eq_not, %_eqvarnot, + _eqq, _not_eqq, _eqq_not, _eqq_varnot, + _upperslant, _not_upperslant, + _opposite, _eq_opposite, _eqq_opposite, + _sim, _not_sim, _sim_not, _approx, _not_approx, _approx_not, _dot: + main_name_with($) := t; t := t+2; endfor; +input mathineq; + +main_name_string := "greater"; +t := hex"A1"; +forsuffixes $=, _not, _slant, _not_slant, + _eq, _not_eq, _eq_not, %_eq_varnot, + _eqq, _not_eqq, _eqq_not, _eqq_varnot, + _upperslant, _not_upperslant, + _opposite, _eq_opposite, _eqq_opposite, + _sim, _not_sim, _sim_not, _approx, _not_approx, _approx_not, _dot: + main_name_with($) := t; t := t+2; endfor; +input mathineq; + +main_name_string := "mcircle";% ``m'' stands for medium. +t := hex"60"; +forsuffixes $=_plus, _minus, _times, _division, + _dot, _circle, _asterisk, _co_asterisk, + _left, _right, _top, _bot, + _sign, _slash, _backslash, _triangle_up: + main_name_with($) := t; t := t+1; endfor; +input mathmbcb; + +% see also: +% _peace_and_love, _ying_yang, +% _truc, _curt, _full_circle, _five_star, _six_star, +% _triangle_down, _triangle_left, _triangle_right, +% _top_dot_minus, _bot_dot_minus, _horiz, _vert, _cross, _across, +% _wedge, _vee, +% _black_left, _black_right, _black_top, _black_bot, +% _black_northwest, _black_northeast, _black_southwest, _black_southeast: + + +% parameters for TFM files. + +font_slant=0; +font_x_height=x_height#; +%font_normal_stretch=3u#; +%font_normal_shrink=2u#; +font_quad=18u#+4letter_fit#; +font_extra_space=2u#; +font_normal_space=6u#+2letter_fit#; + +end. + + + + + + + + + + + |