% mathematical symbols by Anthony Phan. % file: mathuxdrv.mf (unsupported eXtensible symbols driver file) % last modification: May 16, 2005. mode_setup; math_setup; % PARENTHESIS %%paren_left_big:=hex"00"; paren_left_Big:=hex"01"; %%paren_left_bigg:=hex"02"; paren_left_Bigg:=hex"03"; %%paren_left_top:=hex"04"; paren_left_bot:=hex"05"; %%paren_left_mid:=hex"06"; %% %%paren_right_big:=hex"08"; paren_right_Big:=hex"09"; %%paren_right_bigg:=hex"0A"; paren_right_Bigg:=hex"0B"; %%paren_right_top:=hex"0C"; paren_right_bot:=hex"0D"; %%paren_right_mid:=hex"0E"; %% %%charlist paren_left_big: paren_left_Big: %%paren_left_bigg: paren_left_Bigg: paren_left_top; %%extensible paren_left_top: %%paren_left_top,0,paren_left_bot,paren_left_mid; %% %%charlist paren_right_big: paren_right_Big: %%paren_right_bigg: paren_right_Bigg: paren_right_top; %%extensible paren_right_top: %%paren_right_top,0,paren_right_bot,paren_right_mid; %% %%% BRACKETS %% %%bracket_left_big:=hex"10"; bracket_left_Big:=hex"11"; %%bracket_left_bigg:=hex"12"; bracket_left_Bigg:=hex"13"; %%bracket_left_top:=hex"14"; bracket_left_bot:=hex"15"; %%bracket_left_mid:=hex"16"; %% %%bracket_right_big:=hex"18"; bracket_right_Big:=hex"19"; %%bracket_right_bigg:=hex"1A"; bracket_right_Bigg:=hex"1B"; %%bracket_right_top:=hex"1C"; bracket_right_bot:=hex"1D"; %%bracket_right_mid:=hex"1E"; %% %%charlist bracket_left_big: bracket_left_Big: %%bracket_left_bigg: bracket_left_Bigg: bracket_left_top; %%extensible bracket_left_top: %%bracket_left_top,0,bracket_left_bot,bracket_left_mid; %% %%charlist bracket_right_big: bracket_right_Big: %%bracket_right_bigg: bracket_right_Bigg: bracket_right_top; %%extensible bracket_right_top: %%bracket_right_top,0,bracket_right_bot,bracket_right_mid; %% %%% BRACES %% %%brace_left_big:=hex"20"; brace_left_Big:=hex"21"; %%brace_left_bigg:=hex"22"; brace_left_Bigg:=hex"23"; %%brace_left_top:=hex"24"; brace_left_bot:=hex"25"; %%brace_left_mid:=hex"26"; brace_left_mod:=hex"27"; %% %%brace_right_big:=hex"28"; brace_right_Big:=hex"29"; %%brace_right_bigg:=hex"2A"; brace_right_Bigg:=hex"2B"; %%brace_right_top:=hex"2C"; brace_right_bot:=hex"2D"; %%brace_right_mid:=hex"2E"; brace_right_mod:=hex"2F"; %% %%charlist brace_left_big: brace_left_Big: %%brace_left_bigg: brace_left_Bigg: brace_left_top; %%extensible brace_left_top: %%brace_left_top,brace_left_mid,brace_left_bot,brace_left_mod; %% %%charlist brace_right_big: brace_right_Big: %%brace_right_bigg: brace_right_Bigg: brace_right_top; %%extensible brace_right_top: %%brace_right_top,brace_right_mid,brace_right_bot,brace_right_mod; %% %%% BBBRACKETS %% %%bbbracket_left_big:=hex"30"; bbbracket_left_Big:=hex"31"; %%bbbracket_left_bigg:=hex"32"; bbbracket_left_Bigg:=hex"33"; %%bbbracket_left_top:=hex"34"; bbbracket_left_bot:=hex"35"; %%bbbracket_left_mid:=hex"36"; %% %%bbbracket_right_big:=hex"38"; bbbracket_right_Big:=hex"39"; %%bbbracket_right_bigg:=hex"3A"; bbbracket_right_Bigg:=hex"3B"; %%bbbracket_right_top:=hex"3C"; bbbracket_right_bot:=hex"3D"; %%bbbracket_right_mid:=hex"3E"; %% %%charlist bbbracket_left_big: bbbracket_left_Big: %%bbbracket_left_bigg: bbbracket_left_Bigg: bbbracket_left_top; %%extensible bbbracket_left_top: %%bbbracket_left_top,0,bbbracket_left_bot,bbbracket_left_mid; %% %%charlist bbbracket_right_big: bbbracket_right_Big: %%bbbracket_right_bigg: bbbracket_right_Bigg: bbbracket_right_top; %%extensible bbbracket_right_top: %%bbbracket_right_top,0,bbbracket_right_bot,bbbracket_right_mid; %% %%% ANGLES %% %%angle_left_big:=hex"40"; angle_left_Big:=hex"41"; %%angle_left_bigg:=hex"42"; angle_left_Bigg:=hex"43"; %%angle_right_big:=hex"44"; angle_right_Big:=hex"45"; %%angle_right_bigg:=hex"46"; angle_right_Bigg:=hex"47"; %% %%charlist angle_left_big: angle_left_Big: %%angle_left_bigg: angle_left_Bigg; %%charlist angle_right_big: angle_right_Big: %%angle_right_bigg: angle_right_Bigg; %% %%% SLASHES %% %%backslash_big:=hex"48"; backslash_Big:=hex"49"; %%backslash_bigg:=hex"4A"; backslash_Bigg:=hex"4B"; %%slash_big:=hex"4C"; slash_Big:=hex"4D"; %%slash_bigg:=hex"4E"; slash_Bigg:=hex"4F"; %% %%charlist backslash_big: backslash_Big: %%backslash_bigg: backslash_Bigg; %%charlist slash_big: slash_Big: %%slash_bigg: slash_Bigg; %% %%% CEILINGS AND FLOORS %% %%ceiling_left_big:=hex"50"; ceiling_left_Big:=hex"51"; %%ceiling_left_bigg:=hex"52"; ceiling_left_Bigg:=hex"53"; %%ceiling_left_top:=bracket_left_top; %%ceiling_left_mid:=bracket_left_mid; %% %%ceiling_right_big:=hex"54"; ceiling_right_Big:=hex"55"; %%ceiling_right_bigg:=hex"56"; ceiling_right_Bigg:=hex"57"; %%ceiling_right_top:=bracket_right_top; %%ceiling_right_mid:=bracket_right_mid; %% %%charlist ceiling_left_big: ceiling_left_Big: %%ceiling_left_bigg: ceiling_left_Bigg: ceiling_left_mid; %%extensible ceiling_left_mid: %%ceiling_left_top,0,0,ceiling_left_mid; %% %%charlist ceiling_right_big: ceiling_right_Big: %%ceiling_right_bigg: ceiling_right_Bigg: ceiling_right_mid; %%extensible ceiling_right_mid: %%ceiling_right_top,0,0,ceiling_right_mid; %% %%floor_left_big:=hex"58"; floor_left_Big:=hex"59"; %%floor_left_bigg:=hex"5A"; floor_left_Bigg:=hex"5B"; %%floor_left_bot:=bracket_left_bot; %%floor_left_mid:=bracket_left_mid; %% %%floor_right_big:=hex"5C"; floor_right_Big:=hex"5D"; %%floor_right_bigg:=hex"5E"; floor_right_Bigg:=hex"5F"; %%floor_right_bot:=bracket_right_bot; %%floor_right_mid:=bracket_right_mid; %% %%charlist floor_left_big: floor_left_Big: %%floor_left_bigg: floor_left_Bigg: floor_left_bot; %%extensible floor_left_bot: %%0,0,floor_left_bot,floor_left_mid; %% %%charlist floor_right_big: floor_right_Big: %%floor_right_bigg: floor_right_Bigg: floor_right_bot; %%extensible floor_right_bot: %%0,0,floor_right_bot,floor_right_mid; %% %%radical_sign:=hex"60"; radical_big :=hex"61"; %%radical_Big :=hex"62"; radical_bigg:=hex"63"; %%radical_Bigg:=hex"64"; radical_bot :=hex"65"; %%radical_mod :=hex"66"; radical_top :=hex"67"; %% %%charlist radical_big: radical_Big: %%radical_bigg: radical_Bigg: radical_top; %%extensible radical_top: %%radical_top,0,radical_bot,radical_mod; %% %%overbrace_left :=hex"68"; %%overbrace_mid :=hex"69"; %%overbrace_right :=hex"6A"; %%overbrace_mod :=hex"6B"; %%underbrace_left :=hex"6C"; %%underbrace_mid :=hex"6D"; %%underbrace_right:=hex"6E"; %%underbrace_mod :=hex"6F"; %% %%vert_mod:=hex"07"; vvert_mod:=hex"0F"; vvvert_mod:=hex"17"; %%vert_thick_mod:=hex"1F"; left_filet:=hex"37"; right_filet:=hex"3F"; %% %%extensible vert_mod: 0,0,0,vert_mod; %%extensible vvert_mod: 0,0,0,vvert_mod; %%extensible vvvert_mod: 0,0,0,vvvert_mod; %%extensible vert_thick_mod: 0,0,0,vert_thick_mod; %%extensible left_filet: left_filet, %%left_filet,0,left_filet; %%extensible right_filet: right_filet, %%right_filet,0,right_filet; %% %%% BONUS %% %%group_left_big:=hex"76"; %%group_right_big:=hex"77"; %% %%% lgroup %%charlist group_left_big: brace_left_bot; %%extensible brace_left_bot: %%brace_left_top,0,brace_left_bot,brace_left_mod; %%% rgroup %%charlist group_right_big: brace_right_bot; %%extensible brace_right_bot: %%brace_right_top,0,brace_right_bot,brace_right_mod; %% %%% lmoustache, hope it works %%extensible paren_left_bot: %%brace_left_top,0,brace_right_bot,brace_left_mod; %%% rmoustache, hope it works %%extensible paren_right_bot: %%brace_right_top,0,brace_left_bot,brace_right_mod; %% %%input mathbdel; %% %input mathacnt; %% %%bplus_sign :=hex"90"; Bplus_sign :=hex"A0"; %%btimes_sign :=hex"91"; Btimes_sign :=hex"A1"; %%bcomplement :=hex"92"; Bcomplement :=hex"A2"; %bcap_sign :=hex"93"; Bcap_sign :=hex"A3"; %%bcup_sign :=hex"94"; Bcup_sign :=hex"A4"; %%bcup_plus :=hex"95"; Bcup_plus :=hex"A5"; %%bsqcap_sign :=hex"96"; Bsqcap_sign :=hex"A6"; %%bsqcup_sign :=hex"97"; Bsqcup_sign :=hex"A7"; %%bsqcup_plus :=hex"98"; Bsqcup_plus :=hex"A8"; %%bwedge_sign :=hex"99"; Bwedge_sign :=hex"A9"; %%bvee_sign :=hex"9A"; Bvee_sign :=hex"AA"; %%bwedge_curly:=hex"9B"; Bwedge_curly:=hex"AB"; %%bvee_curly :=hex"9C"; Bvee_curly :=hex"AC"; %% %%charlist bplus_sign: Bplus_sign; %%charlist btimes_sign: Btimes_sign; %%charlist bcomplement: Bcomplement; %%charlist bcap_sign: Bcap_sign; %%charlist bcup_sign: Bcup_sign; %%charlist bcup_plus: Bcup_plus; %%charlist bsqcap_sign: Bsqcap_sign; %%charlist bsqcup_sign: Bsqcup_sign; %%charlist bsqcup_plus: Bsqcup_plus; %%charlist bwedge_sign: Bwedge_sign; %%charlist bvee_sign: Bvee_sign; %%charlist bwedge_curly: Bwedge_curly; %%charlist bvee_curly: Bvee_curly; %% %%summation_sign :=hex"B0"; Summation_sign :=hex"B8"; %%product_sign :=hex"B1"; Product_sign :=hex"B9"; %%coproduct_sign :=hex"B2"; Coproduct_sign :=hex"BA"; %%bintegral_sign :=hex"B3"; Bintegral_sign :=hex"BB"; %%bintegral_double :=hex"B4"; Bintegral_double :=hex"BC"; %%bintegral_triple :=hex"B5"; Bintegral_triple :=hex"BD"; %%bintegral_contour:=hex"B6"; Bintegral_contour:=hex"BE"; %%bintegral_dblcont:=hex"B7"; Bintegral_dblcont:=hex"BF"; %% %%charlist summation_sign: Summation_sign; %%charlist product_sign: Product_sign; %%charlist coproduct_sign: Coproduct_sign; %%charlist bintegral_sign: Bintegral_sign; %%charlist bintegral_double: Bintegral_double; %%charlist bintegral_triple: Bintegral_triple; %%charlist bintegral_contour: Bintegral_contour; %%charlist bintegral_dblcont: Bintegral_dblcont; complement:=hex"43"; bold_complement:=hex"44"; bold_cup:=hex"45"; bold_cap:=hex"46"; Bourbaki_Z:=hex"47"; btriangle_up:=hex"48"; btriangle_down:=hex"49"; bBourbaki_Z:=hex"4A"; BBourbaki_Z:=hex"4B"; charlist bBourbaki_Z:BBourbaki_Z; btruc_sign :=hex"4C"; Btruc_sign :=hex"4D"; bcurt_sign :=hex"4E"; Bcurt_sign :=hex"4F"; charlist btruc_sign: Btruc_sign; charlist bcurt_sign: Bcurt_sign; bintegral_sign := hex"50"; bintegral_contour_pos :=hex"51"; bintegral_contour_neg :=hex"52"; bintegral_square :=hex"53"; bintegral_square_pos :=hex"54"; bintegral_square_neg :=hex"55"; % Bintegral_sign :=hex"BB"; %%bintegral_double :=hex"B4"; Bintegral_double :=hex"BC"; %%bintegral_triple :=hex"B5"; Bintegral_triple :=hex"BD"; %%bintegral_contour:=hex"B6"; Bintegral_contour:=hex"BE"; %%bintegral_dblcont:=hex"B7"; Bintegral_dblcont:=hex"BF"; input mathbigs; input mathltlk; %%main_name_string:="bcircle";% ``b'' stands for big. %%t:=hex"C0"; %%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; %% %%main_name_string:="bbox";% ``b'' stands for big. %%t:=hex"D0"; %%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; %% %%main_name_string:="Bcircle";% ``B'' stands for Big. %%t:=hex"E0"; %%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; %% %%main_name_string:="Bbox";% ``B'' stands for Big. %%t:=hex"F0"; %%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; %% %%forsuffixes $=_plus,_minus,_times,_division, %% _dot,_circle,_asterisk,_co_asterisk, %% _left,_right,_top,_bot, %% _sign,_slash,_backslash,_triangle_up: %% charlist scantokens("bcircle" & str$):scantokens("Bcircle" & str$); %% charlist scantokens("bbox" & str$):scantokens("Bbox" & str$); %%endfor; %% % see also: main_name_string:="bcircle"; t:=hex"80"; forsuffixes $= _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, _ying_yang,_peace_and_love: main_name_with($):=t; t:=t+1; endfor; input mathmbcb; main_name_string:="bbox"; t:=hex"A0"; forsuffixes $= _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, _ying_yang,_peace_and_love: main_name_with($):=t; t:=t+1; endfor; input mathmbcb; main_name_string:="Bcircle"; t:=hex"C0"; forsuffixes $= _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, _ying_yang,_peace_and_love: main_name_with($):=t; t:=t+1; endfor; input mathmbcb; main_name_string:="Bbox"; t:=hex"E0"; forsuffixes $= _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, _ying_yang,_peace_and_love: main_name_with($):=t; t:=t+1; endfor; input mathmbcb; forsuffixes $= _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, _ying_yang,_peace_and_love: charlist scantokens("bcircle" & str$):scantokens("Bcircle" & str$); charlist scantokens("bbox" & str$):scantokens("Bbox" & str$); endfor; %%arrow_top:=hex"9D"; arrow_bot:=hex"9E"; arrow_mod:=hex"9F"; %%extensible arrow_top: arrow_top,0,0,arrow_mod; %%extensible arrow_bot: 0,0,arrow_bot,arrow_mod; %%extensible arrow_mod: arrow_top,0,arrow_bot,arrow_mod; %% %%double_arrow_top:=hex"AD"; double_arrow_bot:=hex"AE"; %%double_arrow_mod:=hex"AF"; %%extensible double_arrow_top: double_arrow_top,0,0,double_arrow_mod; %%extensible double_arrow_bot: 0,0,double_arrow_bot,double_arrow_mod; %%extensible double_arrow_mod: double_arrow_top,0,double_arrow_bot, %%double_arrow_mod; %% %%input matharrw; % 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.