%Boisik list for math symbol font chars.math_minus:=0; chars.math_cdot:=1; chars.math_times:=2; chars.math_asterisk:=3; chars.math_division:=4; chars.math_diamond_op:=5; chars.math_plus_minus:=6; chars.math_minus_plus:=7; chars.math_circle_plus:=8; chars.math_circle_minus:=9; chars.math_circle_times:=10; chars.math_circle_divide:=11; chars.math_circle_dot:=12; chars.math_circle_copy:=13; chars.math_circle_op:=14; chars.math_bullet:=15; chars.math_hardy:=16; chars.math_equivalence:=17; chars.math_subset_eq:=18; chars.math_superset_eq:=19; chars.math_less_eq:=20; chars.math_greater_eq:=21; chars.math_precedes_eq:=22; chars.math_follows_eq:=23; chars.math_sim:=24; chars.math_approx:=25; chars.math_subset:=26; chars.math_superset:=27; chars.math_much_less:=28; chars.math_much_greater:=29; chars.math_precedes:=30; chars.math_follows:=31; chars.arrow_left:=32; chars.arrow_right:=33; chars.arrow_up:=34; chars.arrow_down:=35; chars.arrow_left_right:=36; chars.arrow_NE:=37; chars.arrow_SE:=38; chars.math_sim_eq:=39; chars.arrow_double_left:=40; chars.arrow_double_right:=41; chars.arrow_double_up:=42; chars.arrow_double_down:=43; chars.arrow_double_left_right:=44; chars.arrow_NW:=45; chars.arrow_SW:=46; chars.math_propto:=47; chars.math_prime:=48; chars.math_infinity:=49; chars.math_element:=50; chars.math_ownership:=51; chars.math_triangle_up:=52; chars.math_triangle_down:=53; chars.math_zero_slash:=54; chars.math_maps_to:=55; chars.math_forall:=56; chars.math_exists:=57; chars.math_logical_not:=58; chars.math_empty_set:=59; chars.math_Re:=60; chars.math_Im:=61; chars.math_lattice_top:=62; chars.math_lattice_bottom:=63; chars.math_aleph:=64; chars.cal_A:=65; chars.cal_B:=66; chars.cal_C:=67; chars.cal_D:=68; chars.cal_E:=69; chars.cal_F:=70; chars.cal_G:=71; chars.cal_H:=72; chars.cal_I:=73; chars.cal_J:=74; chars.cal_K:=75; chars.cal_L:=76; chars.cal_M:=77; chars.cal_N:=78; chars.cal_O:=79; chars.cal_P:=80; chars.cal_Q:=81; chars.cal_R:=82; chars.cal_S:=83; chars.cal_T:=84; chars.cal_U:=85; chars.cal_V:=86; chars.cal_W:=87; chars.cal_X:=88; chars.cal_Y:=89; chars.cal_Z:=90; chars.math_union:=91; chars.math_intersection:=92; chars.math_multiunion:=93; chars.math_logand:=94; chars.math_logor:=95; chars.math_lattice_left:=96; chars.math_lattice_right:=97; chars.math_floor_left:=98; chars.math_floor_right:=99; chars.math_ceiling_left:=100; chars.math_ceiling_right:=101; chars.math_curly_brace_left:=102; chars.math_curly_brace_right:=103; chars.math_angle_left:=104; chars.math_angle_right:=105; chars.math_vertical:=106; chars.math_vertical_double:=107; chars.arrow_up_down:=108; chars.arrow_double_up_down:=109; chars.math_backslash:=110; chars.math_wreath:=111; chars.math_root:=112; chars.math_coprod:=113; chars.math_nabla:=114; chars.math_int:=115; chars.math_squnion:=116; chars.math_sqintersection:=117; chars.math_sqsubset_eq:=118; chars.math_sqsuperset_eq:=119; chars.math_section:=120; chars.math_dag:=121; chars.math_dagger:=122; chars.sign_paragraph:=123; chars.sign_club_suit:=124; chars.sign_diamond_suit:=125; chars.sign_heart_suit:=126; chars.sign_spade_suit:=127;