% 12-point cmsy.
design_size := 12;
input b-cmsy;