% 17-point cmsy.
design_size := 17.28;
input b-cmsy;