summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/fonts/source/public/boisik/bsklist-ex.mf
diff options
context:
space:
mode:
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.mf213
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