diff options
Diffstat (limited to 'Master/texmf-dist/fonts/source/public/boisik/bsklist-ex.mf')
-rw-r--r-- | Master/texmf-dist/fonts/source/public/boisik/bsklist-ex.mf | 213 |
1 files changed, 213 insertions, 0 deletions
diff --git a/Master/texmf-dist/fonts/source/public/boisik/bsklist-ex.mf b/Master/texmf-dist/fonts/source/public/boisik/bsklist-ex.mf new file mode 100644 index 00000000000..e9dc43d6e4d --- /dev/null +++ b/Master/texmf-dist/fonts/source/public/boisik/bsklist-ex.mf @@ -0,0 +1,213 @@ +%Boisik list for extensible math font + +chars.math_sum_text:=80; +chars.math_sum_disp:=88; +chars.math_prod_text:=81; +chars.math_prod_disp:=89; +chars.math_coprod_text:=96; +chars.math_coprod_disp:=97; +chars.math_int_text:=82; +chars.math_int_disp:=90; +chars.math_oint_text:=72; +chars.math_oint_disp:=73; +chars.math_union_text:=83; +chars.math_union_disp:=91; +chars.math_intersection_text:=84; +chars.math_intersection_disp:=92; +chars.math_multiunion_text:=85; +chars.math_multiunion_disp:=93; +chars.math_squnion_text:=70; +chars.math_squnion_disp:=71; +chars.math_lattice_inf_text:=86; +chars.math_lattice_inf_disp:=94; +chars.math_lattice_sup_text:=87; +chars.math_lattice_sup_disp:=95; +chars.math_circle_dot_text:=74; +chars.math_circle_dot_disp:=75; +chars.math_circle_plus_text:=76; +chars.math_circle_plus_disp:=77; +chars.math_circle_times_text:=78; +chars.math_circle_times_disp:=79; +chars.math_curly_brace_left_big:=8; +chars.math_curly_brace_left_Big:=110; +chars.math_curly_brace_left_bigg:=26; +chars.math_curly_brace_left_Bigg:=40; +chars.math_curly_brace_left_top:=56; +chars.math_curly_brace_left_bot:=58; +chars.math_curly_brace_left_mid:=60; +chars.math_curly_brace_left_ext:=62; +chars.math_curly_brace_right_big:=9; +chars.math_curly_brace_right_Big:=111; +chars.math_curly_brace_right_bigg:=27; +chars.math_curly_brace_right_Bigg:=41; +chars.math_curly_brace_right_top:=57; +chars.math_curly_brace_right_bot:=59; +chars.math_curly_brace_right_mid:=61; +chars.math_curly_brace_right_ext:=128; +chars.math_parent_left_big:=0; +chars.math_parent_left_Big:=16; +chars.math_parent_left_bigg:=18; +chars.math_parent_left_Bigg:=32; +chars.math_parent_left_top:=48; +chars.math_parent_left_bot:=64; +chars.math_parent_left_mid:=66; +chars.math_parent_right_big:=1; +chars.math_parent_right_Big:=17; +chars.math_parent_right_bigg:=19; +chars.math_parent_right_Bigg:=33; +chars.math_parent_right_top:=49; +chars.math_parent_right_bot:=65; +chars.math_parent_right_mid:=67; +chars.math_accent_hat_wide:=98; +chars.math_accent_hat_wider:=99; +chars.math_accent_hat_widest:=100; +chars.math_accent_tilde_wide:=101; +chars.math_accent_tilde_wider:=102; +chars.math_accent_tilde_widest:=103; +chars.math_root_big:=112; +chars.math_root_Big:=113; +chars.math_root_bigg:=114; +chars.math_root_Bigg:=115; +chars.math_root_bottom:=116; +chars.math_root_mid:=117; +chars.math_root_top:=118; +chars.arrow_double_ext_top:=126; +chars.arrow_double_ext_mid:=119; +chars.arrow_double_ext_bot:=127; +chars.arrow_ext_top:=120; +chars.arrow_ext_mid:=63; +chars.arrow_ext_bot:=121; +chars.math_vertical_ext:=12; +chars.math_double_vertical_ext:=13; +chars.math_slash_big:=14; +chars.math_slash_Big:=46; +chars.math_slash_bigg:=30; +chars.math_slash_Bigg:=44; +chars.math_backslash_big:=15; +chars.math_backslash_Big:=47; +chars.math_backslash_bigg:=31; +chars.math_backslash_Bigg:=45; +chars.math_angle_left_big:=10; +chars.math_angle_left_Big:=68; +chars.math_angle_left_bigg:=28; +chars.math_angle_left_Bigg:=42; +chars.math_angle_right_big:=11; +chars.math_angle_right_Big:=69; +chars.math_angle_right_bigg:=29; +chars.math_angle_right_Bigg:=43; +chars.math_bracket_left_big:=2; +chars.math_bracket_left_Big:=104; +chars.math_bracket_left_bigg:=20; +chars.math_bracket_left_Bigg:=34; +chars.math_bracket_left_top:=50; +chars.math_bracket_left_mid:=54; +chars.math_bracket_left_bot:=52; +chars.math_bracket_right_big:=3; +chars.math_bracket_right_Big:=105; +chars.math_bracket_right_bigg:=21; +chars.math_bracket_right_Bigg:=35; +chars.math_bracket_right_top:=51; +chars.math_bracket_right_mid:=55; +chars.math_bracket_right_bot:=53; +chars.math_ceiling_left_big:=6; +chars.math_ceiling_left_Big:=108; +chars.math_ceiling_left_bigg:=24; +chars.math_ceiling_left_Bigg:=38; +chars.math_ceiling_right_big:=7; +chars.math_ceiling_right_Big:=109; +chars.math_ceiling_right_bigg:=25; +chars.math_ceiling_right_Bigg:=39; +chars.math_floor_left_big:=4; +chars.math_floor_left_Big:=106; +chars.math_floor_left_bigg:=22; +chars.math_floor_left_Bigg:=36; +chars.math_floor_right_big:=5; +chars.math_floor_right_Big:=107; +chars.math_floor_right_bigg:=23; +chars.math_floor_right_Bigg:=37; + +charlist chars.math_squnion_text: chars.math_squnion_disp; +charlist chars.math_oint_text: chars.math_oint_disp; +charlist chars.math_circle_dot_text: chars.math_circle_dot_disp; +charlist chars.math_circle_plus_text: chars.math_circle_plus_disp; +charlist chars.math_circle_times_text: chars.math_circle_times_disp; +charlist chars.math_sum_text: chars.math_sum_disp; +charlist chars.math_prod_text: chars.math_prod_disp; +charlist chars.math_int_text: chars.math_int_disp; +charlist chars.math_union_text: chars.math_union_disp; +charlist chars.math_multiunion_text: chars.math_multiunion_disp; +charlist chars.math_lattice_inf_text: chars.math_lattice_inf_disp; +charlist chars.math_lattice_sup_text: chars.math_lattice_sup_disp; +charlist chars.math_coprod_text: chars.math_coprod_disp; + +charlist chars.math_parent_left_big: + chars.math_parent_left_Big: chars.math_parent_left_bigg: chars.math_parent_left_Bigg: + chars.math_parent_left_top; % left parentheses +charlist chars.math_parent_right_big: + chars.math_parent_right_Big: chars.math_parent_right_bigg: chars.math_parent_right_Bigg: + chars.math_parent_right_top; % right parentheses +charlist chars.math_bracket_left_big: + chars.math_bracket_left_Big: chars.math_bracket_left_bigg: chars.math_bracket_left_Bigg: + chars.math_bracket_left_top; % left brackets +charlist chars.math_bracket_right_big: + chars.math_bracket_right_Big: chars.math_bracket_right_bigg: chars.math_bracket_right_Bigg: + chars.math_bracket_right_top; % right brackets +charlist chars.math_floor_left_big: + chars.math_floor_left_Big: chars.math_floor_left_bigg: chars.math_floor_left_Bigg: + chars.math_bracket_left_bot; % left floors +charlist chars.math_floor_right_big: + chars.math_floor_right_Big: chars.math_floor_right_bigg: chars.math_floor_right_Bigg: + chars.math_bracket_right_bot; % right floors +charlist chars.math_ceiling_left_big: + chars.math_ceiling_left_Big: chars.math_ceiling_left_bigg: chars.math_ceiling_left_Bigg: + chars.math_bracket_left_mid; % left ceilings +charlist chars.math_ceiling_right_big: + chars.math_ceiling_right_Big: chars.math_ceiling_right_bigg: chars.math_ceiling_right_Bigg: + chars.math_bracket_right_mid; % right ceilings +charlist chars.math_curly_brace_left_big: + chars.math_curly_brace_left_Big: chars.math_curly_brace_left_bigg: chars.math_curly_brace_left_Bigg: + chars.math_curly_brace_left_top; % left braces +charlist chars.math_curly_brace_right_big: + chars.math_curly_brace_right_Big: chars.math_curly_brace_right_bigg: chars.math_curly_brace_right_Bigg: + chars.math_curly_brace_right_top; % right braces +charlist chars.math_angle_left_big: + chars.math_angle_left_Big: chars.math_angle_left_bigg: chars.math_angle_left_Bigg; % left angle brackets +charlist chars.math_angle_right_big: + chars.math_angle_right_Big: chars.math_angle_right_bigg: chars.math_angle_right_Bigg; % right angle brackets +charlist chars.math_slash_big: + chars.math_slash_Big: chars.math_slash_bigg: chars.math_slash_Bigg; % slashes +charlist chars.math_backslash_big: + chars.math_backslash_Big: chars.math_backslash_bigg: chars.math_backslash_Bigg; % backslashes +charlist chars.math_root_big: + chars.math_root_Big: chars.math_root_bigg: chars.math_root_Bigg: + chars.math_root_bottom; % radical signs + +extensible chars.math_vertical_ext: 0,0,0,chars.math_vertical_ext; % vertical line +extensible chars.math_double_vertical_ext: 0,0,0,chars.math_double_vertical_ext; % double vertical line +extensible chars.math_parent_left_top: chars.math_parent_left_top,0,chars.math_parent_left_bot,chars.math_parent_left_mid; % left parenthesis +extensible chars.math_parent_right_top: chars.math_parent_right_top,0,chars.math_parent_right_bot,chars.math_parent_right_mid; % right parenthesis +extensible chars.math_bracket_left_top: chars.math_bracket_left_top,0,chars.math_bracket_left_bot,chars.math_bracket_left_mid; % left bracket +extensible chars.math_bracket_right_top: chars.math_bracket_right_top,0,chars.math_bracket_right_bot,chars.math_bracket_right_mid; % right bracket +extensible chars.math_bracket_left_bot: 0,0,chars.math_bracket_left_bot,chars.math_bracket_left_mid; % left floor bracket +extensible chars.math_bracket_right_bot: 0,0,chars.math_bracket_right_bot,chars.math_bracket_right_mid; % right floor bracket +extensible chars.math_bracket_left_mid: chars.math_bracket_left_top,0,0,chars.math_bracket_left_mid; % left ceiling bracket +extensible chars.math_bracket_right_mid: chars.math_bracket_right_top,0,0,chars.math_bracket_right_mid; % right ceiling bracket +extensible chars.math_curly_brace_left_top: chars.math_curly_brace_left_top,chars.math_curly_brace_left_mid,chars.math_curly_brace_left_bot,chars.math_curly_brace_left_ext; % left brace +extensible chars.math_curly_brace_right_top: chars.math_curly_brace_right_top,chars.math_curly_brace_right_mid,chars.math_curly_brace_right_bot,chars.math_curly_brace_right_ext; % right brace +extensible chars.math_curly_brace_left_mid: 0,0,0,chars.arrow_ext_mid; % arrow extension modules only +extensible chars.math_curly_brace_right_mid: 0,0,0,chars.arrow_double_ext_mid; % double arrow extension modules only +extensible chars.math_curly_brace_left_ext: 0,0,0,chars.math_curly_brace_left_ext; % left brace extension modules only +extensible chars.math_curly_brace_right_ext: 0,0,0,chars.math_curly_brace_right_ext; % right brace extension modules only +extensible chars.arrow_ext_mid: chars.arrow_ext_top,0,chars.arrow_ext_bot,chars.arrow_ext_mid; % updownarrow +extensible chars.math_parent_left_mid: 0,0,0,chars.math_parent_left_mid; % left parenthesis extension modules only +extensible chars.math_parent_right_mid: 0,0,0,chars.math_parent_right_mid; % right parenthesis extension modules only +extensible chars.math_root_bottom: chars.math_root_top,0,chars.math_root_bottom,chars.math_root_mid; % radical sign +extensible chars.arrow_double_ext_mid: chars.arrow_double_ext_top,0,chars.arrow_double_ext_bot,chars.arrow_double_ext_mid; % double updownarrow +extensible chars.arrow_ext_top: chars.arrow_ext_top,0,0,chars.arrow_ext_mid; % uparrow +extensible chars.arrow_ext_bot: 0,0,chars.arrow_ext_bot,chars.arrow_ext_mid; % downarrow +extensible chars.arrow_double_ext_top: chars.arrow_double_ext_top,0,0,chars.arrow_double_ext_mid; % double uparrow +extensible chars.arrow_double_ext_bot: 0,0,chars.arrow_double_ext_bot,chars.arrow_double_ext_mid; % double downarrow +%extensible oct"072": oct"070",0,oct"072",oct"076"; % sharp left parenthesis +%extensible oct"073": oct"071",0,oct"073",oct"076"; % sharp right parenthesis +%extensible oct"100": oct"070",0,oct"073",oct"076"; % left moustache +%extensible oct"101": oct"071",0,oct"072",oct"076"; % right moustache |