%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_hat_wide_widest:=129; chars.math_accent_hat_very_wide:=130; chars.math_accent_tilde_wide:=101; chars.math_accent_tilde_wider:=102; chars.math_accent_tilde_widest:=103; chars.math_accent_tilde_wide_widest:=131; chars.math_accent_tilde_very_wide:=132; chars.math_accent_triangle_wide:=133; chars.math_accent_triangle_wider:=134; chars.math_accent_triangle_widest:=135; chars.math_accent_triangle_wide_widest:=136; chars.math_accent_triangle_very_wide:=137; 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; chars.math_int_up_text:=138; chars.math_int_up_disp:=139; 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_int_up_text: chars.math_int_up_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_accent_hat_wide: chars.math_accent_hat_wider: chars.math_accent_hat_widest: chars.math_accent_hat_wide_widest: chars.math_accent_hat_very_wide; charlist chars.math_accent_tilde_wide: chars.math_accent_tilde_wider: chars.math_accent_tilde_widest: chars.math_accent_tilde_wide_widest: chars.math_accent_tilde_very_wide; charlist chars.math_accent_triangle_wide: chars.math_accent_triangle_wider: chars.math_accent_triangle_widest: chars.math_accent_triangle_wide_widest: chars.math_accent_triangle_very_wide; 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